Applied computing Books

314 products


  • Developing Services for the Wireless Internet

    Springer London Ltd Developing Services for the Wireless Internet

    Out of stock

    Book SynopsisDeveloping Services for the Wireless Internet offers state-of-the-art technological knowledge and practical know-how to practitioners – project managers, software architects and designers, process engineers and quality assurance workers. The book supports the developers of services and applications for mobile phones, PDAs and smart phones. This new emerging domain is characterized by a very fast pace of change in the underlying technology, exposing products and applications to a constant risk of obsolescence. The relative youth of this field means that knowledge is comparatively limited. The book identifies an approach to mitigate the above risks by focusing on: The development process, the underlying technology and its effects on connectivity, and software architectures. It provides an essential tool kit for all working in this field.Trade ReviewFrom the reviews: "The book takes upon itself a fascinating and challenging task, that is, to describe the exigencies and difficulties involved in developing this type of system, and the specific technical and management areas that need to be evaluated and adapted to achieve this goal. … I would recommend this book for an academic library … . It is clear that this book has value to the practitioner … ." (Mordechal Ben-Menachem, Computing Reviews, December, 2006)Table of ContentsSoftware Development Processes.- Technology.- Software Architecture of Wireless Services.- WISE Experience Pearls.- Pilot Projects.

    Out of stock

    £67.49

  • Balanced Website Design: Optimising Aesthetics, Usability and Purpose

    Springer London Ltd Balanced Website Design: Optimising Aesthetics, Usability and Purpose

    15 in stock

    Book SynopsisReal Website Design is a new methodology that fuses traditional strengths of structured, stepped, and iterative approaches to design and implementation, sharply focused throughout a project on defining and achieving the desired purpose, usability and aesthetic characteristics – which are essential requirements of any website. This book offers practical discussion of new perspectives on usability and aesthetics, and a down-to-earth, structured approach to designing a website or teaching website design.Trade ReviewFrom the reviews: "‘Balanced Website Design (BWD) is a new methodology that fuses the strengths of traditional structured, stepped, and iterative approaches with … the desired characteristics of purpose, usability and aesthetics.’ … Throughout the book, there are many helpful figures and tables to support the methodology. The structure of the book makes it appropriate for academic use. In addition, practitioners looking for ways to improve or broaden their skills, to serve clients with varying needs and interests, will be interested in reading the book." (M. G. Murphy, ACM Computing Reviews, Vol. 49 (3), March, 2008)Table of ContentsGrounding.- Balanced Website Design (BWD): The Context Explained.- The World of Website Design.- Website Usability.- Aesthetics and Websites.- Methodology Process.- Requirements – Initial Acquisition.- Design Needs – Building the Picture.- Designing the Solution.- Creating the Website.- Implementation Issues.- Software Tools.- Website Hosting and Website Management.

    15 in stock

    £42.74

  • Computer Graphics for Artists II: Environments and Characters

    Springer London Ltd Computer Graphics for Artists II: Environments and Characters

    1 in stock

    Book SynopsisIn this second volume of Computer Graphics for Artists the author, Andrew Paquette, guides the reader through the creation of realistic computer-generated backgrounds and characters. Rather than teach using a specific program, the author focuses on the theory required to ensure that the artist can create a convincing landscape, building, person or whatever they turn their attention to. Part One covers the core areas of background generation, such as CG terrain, plant life and architecture, but also deals with specific concepts such as photo-texturing and lighting, explaining all the advantages and pitfalls involved. Part Two introduces the reader to the study of the body-shape and movement and their consequent effects upon successful digital-recreation, as well as addressing some of the fundamental elements of appearance; hair, skin and fat. It is assumed that readers will be familiar with the terms and concepts described in the first volume of this work. Table of Contents3D3/Environments.- Real-World Terrain.- CG Terrain.- Plant Life.- Civil Engineering.- Architecture.- Texturing.- Lighting.- Project, Grading, and Conclusion.- 3D4/Anatomy for Characters.- Anatomy.- The Skeleton/Axial.- Appendicular Skeleton.- Musculature.- Musculature (Continued).- Joints.- CG Anatomy.- Projects and Conclusion.

    1 in stock

    £40.49

  • Digital Media: The Future

    Springer London Ltd Digital Media: The Future

    1 in stock

    Book SynopsisThis volume presents state-of-the-art research from a wide area of subjects brought about by the digital convergence of computing, television, telecommunications and the World-Wide Web. It represents a unique snapshot of trends across a wide range of subjects including virtual environments; virtual reality; telepresence; human-computer interface design; interactivity; avatars; and the Internet. Both researchers and practitioners will find it an invaluable source of reference.Table of ContentsNew Media Technologies: The European Perspective (Eric Badiqu).- From Web-Site to On-Line Presence: From Internet to Information Society (Peter Thomas).- Human Computer Interaction with Global Information Spaces - Beyond Data Mining (Jim Thomas et al).- Transparent Access to Video Over the Web: A Review of Current Approaches (Peter J. Macer).- Ubiquitous Communications and Media: Steps Towards a Wearable Learning Tool (Nick Dyer et al).- Grafting the User Interface onto Reality (David Johnston et al).- Challenges for the World-Wide Web Graphics Web - FRA Hopgood Watermarking of Digital Images - Current Techniques and Future Prospects (Roger Green et al).- An Evolving Vision of Sound: An Intuitive User Interface for Creative Control of Complex Musical Objects (P.J. Comerford et al).- Integrating Paper and Digital Documents (Heather Brown).- Smart Documents with ActiveX 3D Data Visualisation Components (Michael Jern).- 3D Fashion Design and The Virtual Catwalk (Pascal Volino et al).- Artificial Garments for Synthetic Humans in Global Retailing (G.K. Stylios).- CATS: A Multimedia Tool for Scenographic Simulation in Theatre and TV - (F. Martinez et al).- Interpretation and Performance Assessment of Actors Representations in Virtual Rehearsals (I.J. Palmer).- Real-Time Virtual Humans (Norman Badler et al).- Dialogue Design for a Virtual Interactive Presenter (Marc Cavazza).- Virtual Humans Behaviour: Individuals, Groups and Crowds (Daniel Thalmann et al).- An Inhabited 3D Oil Platform for Immersive CSCW (Roland M. Banks).- 3D Virtual Community Building Applications in the PANAIVE Architecture (Chris Flerackers et al).- Telepresence - The Future of Telephony (Graham Walker).- A Journey to the Hemispheric User Interface - Creative and Technical Achievements (Janice Webster).

    1 in stock

    £67.49

  • A Practical Guide for Nurse Practitioner Faculty

    Wolters Kluwer Health A Practical Guide for Nurse Practitioner Faculty

    5 in stock

    Book SynopsisAuthored by expert simulation researchers, educators, nurse practitioner faculty, and clinicians, A Practical Guide for Nurse Practitioner Faculty Using Simulation in Competency-Based Education looks at topics related to simulation design, development, and implementation for nurse practitioner and other graduate-level nursing programs. The new educational requirements based on the AACN Essentials and move to competency-based outcomes require nursing graduates to provide documented skill competencies to care for all types of patients in all types of diverse healthcare settings. Whether a graduate is working in acute care, primary care, or within the community, clinical simulations serve as a vital approach to creating student-centered, experiential learning that engages and prepares the graduate for real-world practice. Once the exception, clinical simulations are becoming more commonplace in nurse practitioner programs. This book supports nurse practitioner faculty as they learn new pedagogy and teaching strategies using clinical simulations. It focuses on developing and preparing nurse educators and superusers of simulations as they create, implement, and evaluate this pedagogy in nurse practitioner education. Table of Contents CHAPTER 1 State of the Science of Clinical Simulations in NP Education CHAPTER 2 Theoretical Frameworks for Simulation Design, Development, and Implementation CHAPTER 3 Competency-Based Nursing Education CHAPTER 4 Student-Centered Learning in NP Education CHAPTER 5 Integration of Simulation in the NP Curriculum CHAPTER 6 Healthcare Simulation Standards of Best Practice™ and Nurse Practitioner Education CHAPTER 7 Attainment of Competency Through Simulation: The ACTS Model CHAPTER 8 Simulation Operations CHAPTER 9 Methods and Models for Debriefing in Graduate Clinical Education CHAPTER 10 Working with Standardized and Simulated Patients CHAPTER 11 Assessment and Evaluations in Simulation CHAPTER 12 Simulation to Prepare Nurse Practitioner Students for Role Transition CHAPTER 13 The Future of Graduate Nurse Practitioner Education: A Case for Simulation

    5 in stock

    £47.49

  • Internet Science: INSCI 2018 International Workshops, St. Petersburg, Russia, October 24–26, 2018, Revised Selected Papers

    Springer Nature Switzerland AG Internet Science: INSCI 2018 International Workshops, St. Petersburg, Russia, October 24–26, 2018, Revised Selected Papers

    1 in stock

    Book SynopsisThis book constitutes the refereed post-conference proceedings of 4 workshops, held at the 5th International Conference on Internet Science, St. Petersburg, Russia, in October 2018: Workshop 1 : Detecting Social Problems in Online Content, Workshop 2: CONVERSATIONS, Workshop 3: The Future of Decentralized Governance: A Workshop on Encryption,Blockchains, and Personal Data, and Workshop 4: Internet as an issue: An international workshop on governmentand media narratives. The 20 full papers presented together with 4 short papers were carefully reviewed and selected from 38 submissions. The contributions of the Workshop 1: Detecting Social Problems in Online Content has united Russian scholars who work upon Russian-language datasets. Workshop 2: CONVERSATIONS: An international workshop on chatbot research and design regularly discusses the novel issues in their research and production area. Workshop 3: The Future of Decentralized Governance: A Workshop on Encryption, Blockchains, and Personal Data. At this workshop scholars and industry representatives from France, the Netherlands, the UK, and Russia have discussed distributed governance technologies based on blockchain and other privacy-protecting technologies. Workshop 4: Internet as an issue: An international workshop on government and media narratives took a rare approach and regarded Internet as a focus for public discussion. Table of ContentsDetecting Social Problems in Online Content.- CONVERSATIONS 2018 - 2nd International Workshop on Chatbot Research.- The Future of Decentralized Governance Workshop.- Internet as an Issue: an International Workshop on Government andMedia Narratives.

    1 in stock

    £44.99

  • Software Product Management: Finding the Right

    Springer Nature Switzerland AG Software Product Management: Finding the Right

    1 in stock

    Book SynopsisThis book is for product managers, product owners, product marketing managers, VPs and Heads of Product, CEOs, and start-up founders. In short, it serves anyone interested personally or professionally in software product management. You’ll learn how to plan, coordinate and execute all activities required for software product success. It enables you to find the right balance for delivering customer value and long-term product success.The book offers a comprehensive introduction for beginners as well as proven practices and a novel, holistic approach for experienced product managers. It provides much-needed clarity regarding the numerous tasks and responsibilities involved in the professional and successful management of software products. Readers can use this book as a reference book if they are interested in or have the urgent need to improve one of the following software product management dimensions: Product Viability, Product Development, Go-to-Market / Product Marketing, Software Demonstrations and Training, The Market / Your Customers, or Organizational Maturity.The book helps product people to maximize their impact and effectiveness. Whether you’re a seasoned practitioner, new to software product management, or just want to learn more about the best-of-all disciplines and advance your skills, this book introduces a novel and “business” tested approach to structure and orchestrate the vital dimensions of software product management. You will learn how to create focus and alignment on the things that matter for product success.The book describes a holistic framework to keep the details that matter for product success in balance, taking into consideration the limiting factors, strategies and responsibilities that determine the overall product yield potential. It explains how to leverage and adapt the framework with regard to aspects like product viability, product development, product marketing and software demonstrations and training, as well as more general aspects like markets, customers and organizational maturity.The book focuses on the unique challenges of software product managers or any related roles, whether you are a founder of a small to mid-sized software company or working in the complex ecosystems of large software enterprises or corporate IT departments.Trade Review“This book is recommended for readers who are looking for a way to assess their own product management practices or who are interested in learning about how software product management can be introduced to an organization.” (Julia Yousefi, Computing Reviews, April 29, 2021)Table of ContentsPart I: Setting the Scene and Introducing the Product Yield Potential Radar.- Part II: PYPR Software Product Management Dimensions in Detail.- Part III: Case Studies Applying PYPR.

    1 in stock

    £62.99

  • Advanced Information Systems Engineering: 31st

    Springer Nature Switzerland AG Advanced Information Systems Engineering: 31st

    1 in stock

    Book SynopsisThis book constitutes the refereed proceedings of the 31st International Conference on Advanced Information Systems Engineering, CAiSE 2019, held in Rome, Italy, in June 2019. The 41 full papers presented in this volume were carefully reviewed and selected from 206 submissions. The book also contains one invited talk in full paper length. The papers were organized in topical sections named: information system engineering; requirements and modeling; data modeling and analysis; business process modeling and engineering; information system security; and learning and mining in information systems. Abstracts on the CAiSE 2019 tutorials can be found in the back matter of the volume. Table of ContentsInvited Talk.- Direct and reverse rewriting in data interoperability.- Information System Engineering.- Efficient Engineering Data Exchange in Multi-Disciplinary Systems Engineering Enterprises.- Bing-CF-IDF+: A Semantics-Driven News Recommender System.- Methodological Framework to Guide the Development of Continual Evolution Methods.- Inter-organizational integration in the AEC/FM industry: Exploring the "addressed" and "unaddressed" information exchange needs between stakeholders.- A Lightweight Framework for Multi-Device Integration and Multi-Sensor Fusion to Explore Driver Distraction.- Exhaustive Simulation and Test Generation Using fUML Activity Diagrams.- A Block-Free Distributed Ledger for P2P Energy Trading: Case with IOTA.- Profile Reconciliation through Dynamic Activities across Social Networks.- Requirements and Modeling.- Towards an Ontology-based Approach for Eliciting Possible Solutions to Non-Functional Requirements.- Using a Modelling Language to Describe the Quality of Life Goals of People Living with Dementia.- Multi-Platform Chatbot Modeling and Deployment with the Jarvis Framework.- Information Systems Modeling: Language, Verification, and Tool Support.- Expert2Vec: Experts Representation in Community Question Answering for Question Routing.- A Pattern Language for Value Modeling in ArchiMate.- Paving Ontological Foundation for Social Engineering Analysis.- Improving Traceability Links Recovery in Process Models through an Ontological Expansion of Requirements.- Requirements Engineering for Cyber Physical Production Systems.- Data modeling and Analysis.- A Fourth Normal Form for Uncertain Data.- Revealing the Conceptual Schemas of RDF Datasets.- Modeling and In-Database Management of Relational, Data-Aware Processes.- D2IA: Stream Analytics on User-Defined Event Intervals.- Business Process Modeling and Engineering.- Extracting Declarative Process Models from Natural Language.- From Process Models to Chatbots.- Dynamic Role Binding in Blockchain-Based Collaborative Business Processes.- 3D virtual world BPM training systems: process gateway experimental results.- Deriving and Combining Mixed Graphs from Regulatory Documents Based on Constraint Relations.- A Method to Improve the Early Stages of the Robotic Process Automation Lifecycle.- Generation and Transformation of Compliant Process Collaboration Models to BPMN.- GameOfFlows: Process Instance Adaptation in Complex, Dynamic and Potentially Adversarial Domains.- Information System Security.- Security Vulnerability Information Service with Natural Language Query Support.- Automated Interpretation and Integration of Security Tools Using Semantic Knowledge.- An Assessment Model for Continuous Security Compliance in Large Scale Agile Environments.- Learning and Mining in Information Systems.- Proactive Process Adaptation using Deep Learning Ensembles.- Using Machine Learning Techniques for Evaluating the Similarity of Enterprise Architecture Models.- Efficient Discovery of Compact Maximal Behavioral Patterns from Event Logs.- Discovering Responsibilities with Dynamic Condition Response Graphs.- Fifty Shades of Green: How Informative is a Compliant Process Trace.- Solution Patterns for Machine Learning.- Managing and Simplifying Cognitive Business Operations using Process Architecture Models.- A Constraint Mining Approach to Support Monitoring Cyber-Physical Systems.- Behavior-Derived Variability Analysis: Mining Views for Comparison and Evaluation.

    1 in stock

    £80.99

  • Designing Enterprise Information Systems: Merging

    Springer Nature Switzerland AG Designing Enterprise Information Systems: Merging

    1 in stock

    Book SynopsisThis book brings together enterprise modeling and software specification, providing a conceptual background and methodological guidelines that concern the design of enterprise information systems. In this, two corresponding disciplines (enterprise engineering and software engineering) are considered in a complementary way. This is how the widely recognized gap between domain experts and software engineers could be effectively addressed. The content is, on the one hand, based on a conceptual invariance (embracing concepts whose essence transcends the barriers between social and technical disciplines) while on the other, the book is featuring a modeling duality, by bringing together social theories (that are underlying with regard to enterprise engineering) and computing paradigms (that are underlying as it concerns software engineering). In addition, the proposed approach as well as its guidelines and related notations further foster such enterprise-software modeling, by facilitating modeling generations and transformations. Considering unstructured business information in the beginning, the modeling process would progress through the methodological construction of enterprise models, to reach as far as a corresponding derivation of software specifications. Finally, the enterprise-software alignment is achieved in a component-based way, featuring a potential for re-using modeling constructs, such that the modeling effectiveness and efficiency are further stimulated. For the sake of grounding the presented studies, a case study and illustrative examples are considered. They are not only justifying the idea of bringing together (in a component-based way) enterprise modeling and software specification but they are also demonstrating various strengths and limitations of the proposed modeling approach.The book was mainly written for researchers and graduate students in enterprise information systems, and also for professionals whose work involves the specification and realization of such systems. In addition, researchers and practitioners entering these fields will benefit from the blended view on enterprise modeling and software specification, for the sake of an effective and efficient design of enterprise information systems.Table of Contents1 Introduction.- 2 Systems.- 3 System Environment and Context-Awareness.- 4 Social Theories.- 5 Computing Paradigms.- 6 The SDBC Approach.- 7 Case Study and Examples.

    1 in stock

    £62.99

  • Collaboration Technologies and Social Computing: 25th International Conference, CRIWG+CollabTech 2019, Kyoto, Japan, September 4–6, 2019, Proceedings

    Springer Nature Switzerland AG Collaboration Technologies and Social Computing: 25th International Conference, CRIWG+CollabTech 2019, Kyoto, Japan, September 4–6, 2019, Proceedings

    1 in stock

    Book SynopsisThis book constitutes the refereed proceedings of the 25th International Conference, CRIWG+CollabTech 2019, held in Kyoto, Japan in September 2019. The 12 full papers presented in this book together with 8 work-in-progress papers were carefully reviewed and selected from 28 submissions, and the program also included an invited talk. This year presented a merger of the CRIWG and CollabTech conferences after having been jointly held since 2014. The papers published in this proceedings focus on innovative collaboration technologies and social computing.Table of ContentsAwareness of Complementary Knowledge in CSCL: Impact on Learners’ Knowledge Exchange in Small Groups.- Identifying Socio-Technical Means to Support Small Loosely Coupled Groups of Volunteers.- The analysis of collaborative science learning with simulations through dual eye-tracking techniques.- Hybrid Meetings in the Modern Workplace: Stories of Success and Failure.- A CSCL script for supporting moral reasoning in the ethics classroom.- Tailorable Remote Assistance with RemoteAssistKit: A Study of and Design Response to Remote Assistance in the Manufacturing Industry.- Vision-Based Indoor Positioning (VBIP) - An Indoor AR Navigation System With A Virtual Tour Guide.- Developing Hyper-stories in the Context of Cultural Heritage Appreciation.- A Method for Automated Detection of Cultural Difference.- FootstepsMixer: a Tool to Express Multiple People’s Footsteps in a Footstep Transmission System for Awareness Support.- Speech Speed Awareness System Slows Down Native Speaker’s Talk.- A Comic-style Chat System with Japanese Expression Techniques for More Expressive Communication.- Modeling of non-verbal behaviors of students in cooperative learning by using OpenPose.- Implementing a Serious Game to Improve Communication and Social Skills for Children with Autism.- DiAna-AD: Dialog Analysis for Adjusting Duration during Face-to-face Collaborative Discussion.- Group Dynamics in Gameful Collaborative Innovation Processes.- Discovering Latent Country Words: A Step towards Cross-cultural Emotional Communication.- Evaluation of a campus navigation application using an AR character guide.- An Automated Structural Approach to Support Theatrical Performances by Introducing Gesture Recognition to a Cuing System.- Proposal of Emphasized Pseudo Expression for Improving the Recognition of the Presence and Contribution of Remote Participants in Cooperative Work.

    1 in stock

    £44.99

  • Data Visualisation with R: 111 Examples

    Springer Nature Switzerland AG Data Visualisation with R: 111 Examples

    3 in stock

    Book SynopsisThis book introduces readers to the fundamentals of creating presentation graphics using R, based on 111 detailed and complete scripts. It shows how bar and column charts, population pyramids, Lorenz curves, box plots, scatter plots, time series, radial polygons, Gantt charts, heat maps, bump charts, mosaic and balloon charts, and a series of different thematic map types can be created using R’s Base Graphics System. Every example uses real data and includes step-by-step explanations of the figures and their programming. This second edition contains additional examples for cartograms, chord-diagrams and networks, and interactive visualizations with Javascript.The open source software R is an established standard and a powerful tool for various visualizing applications, integrating nearly all technologies relevant for data visualization. The basic software, enhanced by more than 14000 extension packs currently freely available, is intensively used by organizations including Google, Facebook and the CIA. The book serves as a comprehensive reference guide to a broad variety of applications in various fields.This book is intended for all kinds of R users, ranging from experts, for whom especially the example codes are particularly useful, to beginners, who will find the finished graphics most helpful in learning what R can actually deliver.Trade Review“The book can be one of the favourites of a wide range of users from beginners with basic R knowledge to experts. It is especially recommended for students and researchers from social, environmental, and economic fields requiring a consistent and thorough reference always within reach.” (Márta Ladányi, ISCB News, iscb.info, Issue 69, July, 2020)Table of ContentsData for Everybody.- Structure and Technical Requirements.- Implementation in R.- Beyond R.- Regarding the Examples.- Categorical Data.- Distributions.- Time Series.- Scatter Plots.- Maps.- Illustrative Examples.- Interactive Visualisation with JavaScript: Highcharts and Mapael.- Appendix

    3 in stock

    £40.49

  • Digital Libraries for Open Knowledge: 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Oslo, Norway, September 9-12, 2019, Proceedings

    Springer Nature Switzerland AG Digital Libraries for Open Knowledge: 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Oslo, Norway, September 9-12, 2019, Proceedings

    1 in stock

    Book SynopsisThis book constitutes the proceedings of the 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, held in Olslo, Norway, in September 2019. The 16 revised full papers,12 short papers and 18 poster papers presented were carefully reviewed and selected from 75 submissions. The general theme of TPDL 2019 was Connecting with Communities and so the papers attempt to facilitate establishing connections and convergences between diverse research communities such as Digital Humanities, Information Sciences and others that could benefit from ecosystems offered by digital libraries and repositories. To become especially useful to the diverse research and practitioner communities digital libraries need to consider special needs and requirements for effective data utilization, management and exploitation.Table of ContentsConer: A Collaborative Approach for Long-Tail Named Entity Recognition in Scientific Publications.- An unsupervised method for concept association analysis in text collections.- Linking Semantic Fingerprints of Literature.- Learning to Rank Claim-Evidence Pairs to Assist Scientific-Based Argumentation.- The OpenAIRE Research Community Dashboard: on Blending Scientific Workows and Scientific Publishing.- A Framework for Citing Nanopublications.- Analysis of Transaction Logs from National Museums Liverpool.- Knowledge Graph Implementation of Archival Descriptions through CIDOC-CRM.- Investigating Correlations of Inter-coder Agreement and Machine Annotation Performance for Historical Video Data.- Who is Mona L.? Identifying Mentions of Artworks in Historical Archives.- Gatekeeper: Quantifying the Impacts of Service to the Scientific Community.- A Study on the Readability of Scientific Publications.- Interdisciplinary Collaborations in the Brazilian Scientific Community.- Exploring Scholarly Data by Semantic Query on Knowledge Graph Embedding Space.- The Memento Tracer Framework: Balancing Quality and Scalability for Web Archiving.- The immigration dilemma; Legal, ethical and practical issues in creating a living, growing archive.- Segmenting User Sessions in Search Engine Query Logs Leveraging Word Embeddings.- A Human-friendly Query Generation Frontend for a Scientific Events Knowledge Graph.- User Interface for Interactive Scientific Publications: A Design Case Study.- Stable Word-clouds for Visualising Text-changes over Time.- A Hierarchical Label Network for Multi-Label EuroVoc Classification of Legislative Contents.- Can Language Inference Support Metadata Generation?.- Information Governance Maturity Assessment using Enterprise Architecture Model Analysis and Description Logics.- Finding Documents Related to Taiwan in the Veritable Records of Qing Using Relevance Feedback.- Fake News Detection with the New German Dataset "GermanFakeNC".- The CSO Classifier: Ontology-Driven Detection of Research Topics in Scholarly Articles.- Non-parametric Subject Prediction.- Visual Summarization of Scholarly Videos using Word Embeddings and Keyphrase Extraction.- Towards Serendipitous Research Paper Recommender using Tweets and Diversification.- Enriching the Cultural Heritage Metadata Using Historical Events: a Graph-Based Representation.- Open Research Knowledge Graph: A System Walkthrough.- The Biodiversity Heritage Library: Unveiling a World of Knowledge About Life on Earth.- Clipping the Page { Automatic Article Detection and Marking Software in Production of Newspaper Clippings in a Digitized Historical Journalistic Collection.- Document recommendations in Slovenian academic digital libraries.- An Evaluation of the Effect of Reference Strings and Segmentation on Citation Matching.- A la Carte: Turning Historical Menu into Menu Network.- Semantic Representation of Scientific Publications.- Determining How Citations Are Used in Citation Contexts.- Dendro: a FAIR, open-source data sharing platform.- User's Behavior in Digital Libraries: Process Mining Exploration.- SciTo Trends: Visualising Scientific Topic Trends.- The-Shelf Semantic Author Name Disambiguation for Bibliographic Data Bases.- Rending Behaviour in Educational Search.- Qatar Digital Library as a Platform for Digital Repatriation of Qatar's Cultural Heritage.- Correcting and redesigning metadata for the excavation of an archaeological site.- Topic Modelling vs Distant Supervision: A Comparative Evaluation based on the Classification of Parliamentary Enquiries.

    1 in stock

    £58.49

  • The Semantic Web – ISWC 2019: 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part II

    Springer Nature Switzerland AG The Semantic Web – ISWC 2019: 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part II

    1 in stock

    Book SynopsisThe two-volume set of LNCS 11778 and 11779 constitutes the refereed proceedings of the 18th International Semantic Web Conference, ISWC 2019, held in Auckland, New Zealand, in October 2019. The ISWC conference is the premier international forum for the Semantic Web / Linked Data Community.The total of 74 full papers included in this volume was selected from 283 submissions. The conference is organized in three tracks: for the Research Track 42 full papers were selected from 194 submissions; the Resource Track contains 21 full papers, selected from 64 submissions; and the In-Use Track features 11 full papers which were selected from 25 submissions to this track.The chapter "The SEPSES knowledge graph: An integrated resource for cybersecurity" is open access under a CC BY 4.0 license at link.springer.com.Table of ContentsResources Track.- The KEEN Universe: An Ecosystem for Knowledge Graph Embeddings with a Focus on Reproducibility and Transferability.- VLog: A Rule Engine for Knowledge Graphs.- ArCo: the Italian Cultural Heritage Knowledge Graph.- Making Study Populations Visible through Knowledge Graphs.- LC-QuAD 2.0: A large dataset for complex question answering over Wikidata and DBpedia.- SEO: A Scientific Events Data Model.- DBpedia FlexiFusion - The Best of Wikipedia > Wikidata > Your Data.- The Microsoft Academic Knowledge Graph: A Linked Data Source with 8 Billion Triples of Scholarly Data.- The RealEstateCore Ontology.- FoodKG: Semantics-Driven Knowledge Graph for Food Recommendation.- BTC-2019: The 2019 Billion Triple Challenge Dataset.- Extending the YAGO2 Knowledge Graph with Precise Geospatial Knowledge.- The SEPSES knowledge graph: An integrated resource for cybersecurity.- SemanGit: A Linked Dataset from git.- Squerall: Virtual Ontology-Based Access to Heterogeneous and Large Data Sources.- List.MID: A MIDI-Based Benchmark for Evaluating RDF Lists.- A Scalable Framework for Quality Assessment of RDF Datasets.- QaldGen: Towards Microbenchmarking of Question Answering Systems Over Knowledge Graphs.- Sparklify: A Scalable Software Component for Efficient evaluation of SPARQL queries over distributed RDF datasets.- ClaimsKG: A Knowledge Graph of Fact-Checked Claims.- CoCoOn: Cloud Computing Ontology for IaaS Price and Performance Comparison.- In-Use Track.- Semantically-enabled Optimization of Digital Marketing Campaigns.- An End-to-end Semantic Platform For Nutritional Diseases Management.- VLX-Stories: building an online Event Knowledge Base with Emerging Entity detection.- Personalized Knowledge Graphs for the Pharmaceutical Domain.- Use of OWL and Semantic Web Technologies at Pinterest.- An Assessment of Adoption and Quality of Linked Data in European Open Government Data.- Easy Web API Development with SPARQL Transformer.- Benefit graph extraction from healthcare policies.- Knowledge Graph Embedding for Ecotoxicological Effect Prediction.- Improving Editorial Workflow and Metadata Quality at Springer Nature.- A Pay-as-you-go Methodology to Design and Build Enterprise Knowledge Graphs from Relational Databases.

    1 in stock

    £62.99

  • Computer Networks and the Internet: A Hands-On Approach

    Springer Nature Switzerland AG Computer Networks and the Internet: A Hands-On Approach

    15 in stock

    Book SynopsisThe goal of this textbook is to provide enough background into the inner workings of the Internet to allow a novice to understand how the various protocols on the Internet work together to accomplish simple tasks, such as a search. By building an Internet with all the various services a person uses every day, one will gain an appreciation not only of the work that goes on unseen, but also of the choices made by designers to make life easier for the user.Each chapter consists of background information on a specific topic or Internet service, and where appropriate a final section on how to configure a Raspberry Pi to provide that service.While mainly meant as an undergraduate textbook for a course on networking or Internet protocols and services, it can also be used by anyone interested in the Internet as a step–by–step guide to building one's own Intranet, or as a reference guide as to how things work on the global Internet Trade Review“The detailed coverage of networking topics together with practical hands-on illustrations of the principles using the Raspberry Pi laboratory network make this an excellent candidate for a course textbook. In addition, the detailed table of contents, good index, and extensive list of references also make it useful for reference … . If you want just one book in your technical library to cover the Internet and networking technology, then this is an ideal candidate.” (David B. Henderson, Computing Reviews, August 17, 2021)Table of Contents1. Introduction.- 2. The OSI Seven Layer Model.- 3. The Physical Layer, L1.- 4. The Data Layer, L2.- 5. The Network Layer, L3.- 6. The OSI Upper Layers.- 7. Flow Control.- 8. The Laboratory Network.- 9. Raspberry Pi Operating System.- 10. Routing.- 11. The Router.- 12. Populating and Maintaining the Route Table.- 13. Shortest Path Through the Network.- 14. Dynamic Host Configuration.- 15. Routing Protocols.- 16. Route Interchange Protocol.- 17. Open Shortest Path First.- 18. Service Provider Protocols.- 19. Babel.- 20. Domain Name Service.- 21. Hyper Text Transfer Protocol: The Web.- 22. Simple Mail Transfer Protocol: Email.- 23. Other Services.- Glossary.- References.- Index.

    15 in stock

    £47.49

  • Internet Computing: Principles of Distributed

    Springer Nature Switzerland AG Internet Computing: Principles of Distributed

    Out of stock

    Book SynopsisThis book introduces the reader to the fundamentals of contemporary, emerging and future technologies and services in Internet computing. It covers essential concepts such as distributed systems architectures and web technologies, contemporary paradigms such as cloud computing and the Internet of things, and emerging technologies like distributed ledger technologies and fog computing. The book also highlights the interconnection and recombination of these Internet-based technologies, which together form a critical information infrastructure with major impacts on individuals, organizations, governments, economies, and society as a whole.Intended as a textbook for upper undergraduate and graduate classes, it features a wealth of examples, learning goals and summaries for every chapter, numerous recommendations for further reading, and questions for checking students’ comprehension. A dedicated author website offers additional teaching material and more elaborate examples. Accordingly, the book enables students and young professionals in IT-related fields to familiarize themselves with the Internet’s basic mechanisms, and with the most promising Internet-based technologies of our time. Table of Contents1 Introduction to Internet Computing.- 2 Information Systems Architecture.- 3 Design of Good Information Systems Architectures.- 4 Internet Architectures.- 5 Middleware.- 6 Web services.- 7 Cloud Computing.- 8 Fog and Edge Computing.- 9 Distributed Ledger Technology.- 10 The Internet of Things.- 11 Critical Information Infrastructures.- 12 Emerging Technologies.- Glossary.

    Out of stock

    £53.99

  • Smart Technologies for Smart Cities

    Springer Nature Switzerland AG Smart Technologies for Smart Cities

    1 in stock

    Book SynopsisThis book provides a scholarly forum for researchers both in academia and industry from a wide range of application areas of smart cities and smart technologies to share their research findings. This book presents contributions on emerging approaches and case studies including future technological trends and challenges. This book is intended for researchers and companies in several areas such as transportation, computer science, and electrical engineering, among others. The book is composed of extended versions of selected papers from the 1st International Conference on Smart Cities and Smart Technologies (MIC-Smart 2019), 7-9 June 2019 Istanbul Turkey. Presents research from a wide range of application areas into smart cities and smart technologies; Includes topics such as smart devices, smart grid, and smart transportation and vehicles; Composed of extended versions of selected papers from the 1st International Conference on Smart Cities and Smart Technologies (MIC-Smart 2019). Table of ContentsIntroduction.- Smart Cities.- Smart Technologies.- Smart Devices.- Smart Grid.- Smart Transportation and Vehicles.- Conclusion.

    1 in stock

    £98.99

  • Distributed Computing for Emerging Smart Networks: First International Workshop, DiCES-N 2019, Hammamet, Tunisia, October 30, 2019, Revised Selected Papers

    Springer Nature Switzerland AG Distributed Computing for Emerging Smart Networks: First International Workshop, DiCES-N 2019, Hammamet, Tunisia, October 30, 2019, Revised Selected Papers

    15 in stock

    Book SynopsisThis book contains extended versions of the best papers presented at the First International Workshop on Distributed Computing for Emerging Smart Networks, DiCES-N 2019, held in Hammamet, Tunisia, in October 2019.The 9 revised full papers included in this volume were carefully reviewed and selected from 24 initial submissions. The papers are organized in the following topical sections: ​intelligent transportation systems; distributed computing for networking and communication; articial intelligence applied to cyber physical systems.Table of ContentsIntelligent Transportation Systems.- Distributed Computing for Networking and Communication.- Articial Intelligence Applied to Cyber Physical Systems.

    15 in stock

    £52.24

  • Technology, Innovation, Entrepreneurship and Education: 3rd EAI International Conference, TIE 2019, Braga, Portugal, October 17–18, 2019, Proceedings

    Springer Nature Switzerland AG Technology, Innovation, Entrepreneurship and Education: 3rd EAI International Conference, TIE 2019, Braga, Portugal, October 17–18, 2019, Proceedings

    15 in stock

    Book SynopsisThis book constitutes the refereed proceedings of the 3rd International Conference on Technology, Innovation, Entrepreneurship and Education, TIE 2019, held in Braga, Portugal, in October 2019. The 11 full and 2 short papers focus on emerging technologies for education, entertainment, well-being, creativity, arts and business development. In addition, it aims at promoting new venture creation opportunities that emerge from these innovations, as well as innovation methods that target these core subjects.Table of ContentsInnovating and Exploring Children´s Learning.- Reading to Level Up: Gamifying Reading Fluency.- Rethinking the Design of Hotspots in Children’s Digital Picturebooks: Insights from an Exploratory Study.- Children’s tinkering activity with Collapse Informatics: the Internalization of Environmental Consciousness.- ”Play and learn”: exploring CodeCubes Innovating Media Usage.- Question & Answering interface to improve the students’ experience in an e-learning course with a virtual tutor.- Exploring the Use of Augmented Reality Concepts to Enhance the TV Viewer Experience.- Design Experiments in Nonrepresentational VR and Symmetric Texture Generation in Real-Time Innovation for Special Needs.- Didactic toy for children with special needs.- Digitally-mediated Learning Environments and Information Literacy for Active Ageing: A Pilot Study.- European video game development and disability: Reflections on data, rights, decisions and assistance Innovating Methods.- From community datamining to enterprising villagers.- The transformational effect of a designerly approach within a research project.- Visual Quotes and Physical Activity Tracking: Can Aesthetic Pleasure Motivate Our Short-term Exercise Motivation?.- Raising the Odds of Success for Innovative Product by Experimentation and Utilizing Input of Future User.

    15 in stock

    £37.99

  • A Primer on Process Mining: Practical Skills with Python and Graphviz

    Springer Nature Switzerland AG A Primer on Process Mining: Practical Skills with Python and Graphviz

    15 in stock

    Book SynopsisThe main goal of this book is to explain the core ideas of process mining, and to demonstrate how they can be implemented using just some basic tools that are available to any computer scientist or data scientist. It describes how to analyze event logs in order to discover the behavior of real-world business processes. The end result can often be visualized as a graph, and the book explains how to use Python and Graphviz to render these graphs intuitively. Overall, it enables the reader to implement process mining techniques on his or her own, independently of any specific process mining tool. An introduction to two popular process mining tools, namely Disco and ProM, is also provided. In this second edition the code snippets have been updated to Python 3, and some smaller errors have been corrected.The book will be especially valuable for self-study or as a precursor to a more advanced text. Practitioners and students will be able to follow along on their own, even if they have no prior knowledge of the topic. After reading this book, they will be able to more confidently proceed to the research literature if needed.Table of ContentsEvent Logs.- Control-Flow Perspective.- Organizational Perspective.- Performance Perspective.- Process Mining in Practice.

    15 in stock

    £52.24

  • Web Engineering: 20th International Conference, ICWE 2020, Helsinki, Finland, June 9–12, 2020, Proceedings

    Springer Nature Switzerland AG Web Engineering: 20th International Conference, ICWE 2020, Helsinki, Finland, June 9–12, 2020, Proceedings

    15 in stock

    Book SynopsisThis book constitutes the proceedings of the 20th International Conference on Web Engineering, ICWE 2020, which was planned to take place in Helsinki, Finland, during June 9-12, 2020. Due to the corona pandemic the conference changed to a virtual format. The total of 24 full and 10 short contributions presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains 4 PhD and 7 demo papers. The papers were organized in topical sections named: User interface technologies; performance of Web technologies; machine learning; testing of Web applications; emotion detection; location-aware applications; sentiment analysis; open data; liquid Web applications; Web-based learning; PhD symposium; demos and posters.Table of ContentsUser Interface Technologies.- Detecting Responsive Design Bugs with Declarative Speci cations.- Layout as a Service (LaaS): A Service Platform for Self-Optimizing Web Layouts.- Structural Pro ling of Web Sites in the Wild.- Performance of Web Technologies.- Accelerating Web Start-up with Resource Preloading.- An Analysis of Throughput and Latency Behaviours under Microservice Decomposition.- W-ADE: Timing Performance Prediction in Web of Things.- Comparing a polling and push-based approach for live Open Data interfaces.- NuMessage: Providing Scalable and Reliable Messaging Service in Distributed Systems.- Machine Learning.- A Credit Scoring Model for SMEs Based on Social Media Data.- Who's Behind That Website? Classifying Websites by the Degree of Commercial Intent.- I Don't Have That Much Data! Reusing User Behavior Models for Websites from Different Domains.- Improving Detection Accuracy For Malicious JavaScript Using GAN.- VISH: Does Your Smart Home Dialogue System Also Need Training Data.- Neighborhood Aggregation Embedding Model for Link Prediction in Knowledge Graphs.- Testing of Web Applications.- Automatic Model Completion for Web Applications.- Almost Rerere: an approach for automating con ict resolution from similar resolved conflicts.- Generation of Realistic Navigation Paths for Web Site Testing using Recurrent Neural Networks and Generative Adversarial Neural Networks.- Emotion Detection.- Scalable Real-time Emotion Detection for Personalized Onboarding Guides.- Creating and Capturing Arti cial Emotions in Autonomous Robots and Software Agents.- On Emotions in Con ict Wikipedia Talk Pages Discussions.- Location-aware Applications.- Geospatial partitioning of open transit data.- Efficient Live Public Transport Data Sharing for Route Planning on the Web.- Web-Based Development and Visualization Dashboards for Smart City Applications.- Sentiment Analysis.- Detecting Rumor on Microblogging Platforms via a Heterogeneous Stance Attention Mechanism.- A Hybrid Approach for Aspect-Based Sentiment Analysis Using Deep Contextual Word Embeddings and Hierarchical Attention.- Just the Right Mood for HIT! Analyzing the Role of Worker Moods in Conversational Microtask Crowdsourcing.- Open Data.- SolidRDP: Applying Solid Data Containers for Research Data Publishing.- Applying Natural Language Processing Techniques to Generate Open Data Web APIs Documentation.- Liquid Web Applications.- WebDelta: Lightweight Migration of Web Applications with Modified Execution State.- User-side service synchronization in multiple devices environment.- An approach to build P2P Web Extensions.- Web-based Learning.- Blended or Distance Learning? Comparing Student Performance between University and Open University.- Teaching Web Stream Processing: Lessons Learned.- Teaching Container-based DevOps Practices.- PhD Symposium.- Predicting the outbreak of con ict in online discussions using emotion-based features.- An APIfication Approach to Facilitate the Access and Reuse of Open Data.- A Personal Health Trajectory API: addressing problems in health institution-oriented systems.- Context-Aware Encoding & Delivery in the Web.- Demos and posters.- An OpenAPI-based Testing Framework to Monitor Non-Functional Properties of REST APIs.- OpenAPI Bot: A Chatbot to Help You Understand REST APIs.- A different Web Analytics Perspective through Copy to Clipboard Heatmaps.- A Web Augmentation Framework for Accessibility based on Voice Interaction.- Annotated knowledge graphs for teaching in Higher Education: Supporting mentors and mentees by digital systems.- A Universal Application Programming Interface to access and reuse Linked Open Data.- OntoSemStats: an ontology to express the use of semantics in RDF-based knowledge graphs.

    15 in stock

    £66.49

  • Towards Interoperable Research Infrastructures for Environmental and Earth Sciences: A Reference Model Guided Approach for Common Challenges

    Springer Nature Switzerland AG Towards Interoperable Research Infrastructures for Environmental and Earth Sciences: A Reference Model Guided Approach for Common Challenges

    15 in stock

    Book SynopsisThis open access book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together more than 20 environmental and Earth science research infrastructures into a single community. It provides readers with a systematic overview of the common challenges faced by research infrastructures and how a ‘reference model guided’ engineering approach can be used to achieve greater interoperability among such infrastructures in the environmental and earth sciences. The 20 contributions in this book are structured in 5 parts on the design, development, deployment, operation and use of research infrastructures. Part one provides an overview of the state of the art of research infrastructure and relevant e-Infrastructure technologies, part two discusses the reference model guided engineering approach, the third part presents the software and tools developed for common data management challenges, the fourth part demonstrates the software via several use cases, and the last part discusses the sustainability and future directions.Table of ContentsSupporting cross-domain system-level environmental and earth science.- ICT infrastructure for environmental and earth sciences.- Common challenges and requirements.- ENVRI reference model.- Reference model guided engineering.- Semantic and knowledge engineering using ENVRI RM.- Data curation and preservation.- Data cataloguing.- Data identification and citation.- Data processing.- Virtual infrastructure optimization.- Data provenance.- Metadata, semantic linking.- Authentication, Authorization, and Accounting.- Virtual research environment.- Case study: e.g., data subscriptions using elastic Cloud service.- Case study: e.g., D4Science: a VRE solution for RI.- Case study: LifeWatch.- Sustainability.- Future challenges.

    15 in stock

    £42.74

  • Knowledge Graphs and Big Data Processing

    Springer Nature Switzerland AG Knowledge Graphs and Big Data Processing

    15 in stock

    Book SynopsisThis open access book is part of the LAMBDA Project (Learning, Applying, Multiplying Big Data Analytics), funded by the European Union, GA No. 809965. Data Analytics involves applying algorithmic processes to derive insights. Nowadays it is used in many industries to allow organizations and companies to make better decisions as well as to verify or disprove existing theories or models. The term data analytics is often used interchangeably with intelligence, statistics, reasoning, data mining, knowledge discovery, and others. The goal of this book is to introduce some of the definitions, methods, tools, frameworks, and solutions for big data processing, starting from the process of information extraction and knowledge representation, via knowledge processing and analytics to visualization, sense-making, and practical applications. Each chapter in this book addresses some pertinent aspect of the data processing chain, with a specific focus on understanding Enterprise Knowledge Graphs, Semantic Big Data Architectures, and Smart Data Analytics solutions. This book is addressed to graduate students from technical disciplines, to professional audiences following continuous education short courses, and to researchers from diverse areas following self-study courses. Basic skills in computer science, mathematics, and statistics are required.Table of ContentsFoundations.- Chapter 1. Ecosystem of Big Data.- Chapter 2. Knowledge Graphs: The Layered Perspective.- Chapter 3. Big Data Outlook, Tools, and Architectures.- Architecture.- Chapter 4. Creation of Knowledge Graphs.- Chapter 5. Federated Query Processing.- Chapter 6. Reasoning in Knowledge Graphs: An Embeddings Spotlight.- Methods and Solutions.- Chapter 7. Scalable Knowledge Graph Processing using SANSA.- Chapter 8. Context-Based Entity Matching for Big Data.- Applications.- Chapter 9. Survey on Big Data Applications.- Chapter 10. Case Study from the Energy Domain.

    15 in stock

    £34.99

  • Smart Service Management: Design Guidelines and

    Springer Nature Switzerland AG Smart Service Management: Design Guidelines and

    1 in stock

    Book SynopsisThis book presents the main theoretical foundations behind smart services as well as specific guidelines and practically proven methods on how to design them. Furthermore, it gives an overview of the possible implementation architectures and shows how the designed smart services can be realized with specific technologies. Finally, it provides four specific use cases that show how smart services have been realized in practice and what impact they have within the businesses.The first part of the book defines the basic concepts and aims to establish a shared understanding of terms, such as smart services, service systems, smart service systems or cyber-physical systems. On this basis, it provides an analysis of existing work and includes insights on how an organization incorporating smart services could enhance and adjust their management and business processes. The second part on the design of smart services elaborates on what constitutes a successful smart service and describes experiences in the area of interdisciplinary teams, strategic partnerships, the overall service systems and the common data basis. In the third part, technical reference architectures are presented in detail, encompassing topics on the design of digital twins in cyber physical systems, the communication between entities and sensors in the age of Industry 4.0 as well as data management and integration. The fourth part then highlights a number of analytical possibilities that can be realized and that can constitute or be part of smart services, including machine learning and artificial intelligence methods. Finally, the applicability of the introduced design and development method is demonstrated by considering specific real-world use cases. These include services in the industrial and mobility sector, which were developed in direct cooperation with industry partners.The main target audience of this book is industry-focused readers, especially practitioners from industry, who are involved in supporting and managing digital business. These include professionals working in business development, product management, strategy, and development, ranging from middle management to Chief Digital Officers. It conveys all the basics needed for developing smart services and successfully placing them on the market by explaining technical aspects as well as showcasing practical use cases.Table of ContentsPart I: Introduction to Smart Services.- Introduction to Smart Service Management.- Grasping the Terminology: Smart Services, Smart Service Systems, and Cyber-Physical Systems.- Industrial Maintenance in the Digital World.- Part II: Smart Service Design.- Introduction to Smart Service Design.- Smart Service Engineering.- Smart Service Prototyping.- Capturing the Value: How to Charge for Smart Services.- Market Launch of Smart Services.- Part III: Smart Service Architecture.- Introduction to Smart Service Architectures.- Reference Architecture Models for Smart Services.- Reference ArchitectureModels for Smart Service Networks.- Smart Services in the PhysicalWorld: Digital Twins.- Part IV: Smart Service Analytics.- Service Analytics: Putting the “Smart” in Smart Services.- Part V: Smart Service Use Cases.- Introduction to Smart Service Use Cases.- Designing a Smart Service for Customer Need Identification in B2B Ticketing Systems.- Smart Services: A Condition Monitoring Use Case Utilizing System-Wide Analyses.- Developing Real-Time Smart Industrial Analytics for Industry 4.0 Applications.- How Transformational Management Enabled the Development of a Next Level Condition Monitoring Solution.

    1 in stock

    £61.74

  • Understanding Programming Languages

    Springer Nature Switzerland AG Understanding Programming Languages

    Out of stock

    Book SynopsisThis book is about describing the meaning of programming languages. The author teaches the skill of writing semantic descriptions as an efficient way to understand the features of a language. While a compiler or an interpreter offers a form of formal description of a language, it is not something that can be used as a basis for reasoning about that language nor can it serve as a definition of a programming language itself since this must allow a range of implementations. By writing a formal semantics of a language a designer can yield a far shorter description and tease out, analyse and record design choices. Early in the book the author introduces a simple notation, a meta-language, used to record descriptions of the semantics of languages. In a practical approach, he considers dozens of issues that arise in current programming languages and the key techniques that must be mastered in order to write the required formal semantic descriptions. The book concludes with a discussion of the eight key challenges: delimiting a language (concrete representation), delimiting the abstract content of a language, recording semantics (deterministic languages), operational semantics (non-determinism), context dependency, modelling sharing, modelling concurrency, and modelling exits. The content is class-tested and suitable for final-year undergraduate and postgraduate courses. It is also suitable for any designer who wants to understand languages at a deep level. Most chapters offer projects, some of these quite advanced exercises that ask for complete descriptions of languages, and the book is supported throughout with pointers to further reading and resources. As a prerequisite the reader should know at least one imperative high-level language and have some knowledge of discrete mathematics notation for logic and set theory. Trade Review“This book is much more than a textbook … . Overall, the book is very well written and organised. … this book is a very good tour of the history and development of mainstream programming languages from a formal methods perspective. It is both technically sound and a well-structured narrative. I would consider this a must-read for anyone in the discipline of formal methods.” (Andrew Butterfield, Formal Aspects of Computing, Vol. 34 (3-4), November, 2022)“One of the great strengths of this book … is the continual reference to the research culture, both contemporary and historical. There are voluminous references, copious footnotes and a light-touch set of asides on the history of ideas in this field which I think will strongly motivate the best students to read and fully engage with the topic, and to understand that there are open questions and opportunities to make their own future contributions.” (Adrian Johnstone, bcs.org, July, 2021)“This well-written textbook focuses on a precise description of programming language semantics in a relatively easily understood manner, utilizing a notation derived from a subset of the Vienna development method (VDM). … The author developed both the formalism and textbook over an extended period, using ten years of classes to refine the content. The resultant book is easy to read, well organized, and appropriate for an upper-level undergraduate or graduate class.” (Michael Oudshoorn, Computing Reviews, June 29, 2021)Table of Contents

    Out of stock

    £33.74

  • Semantic Systems. In the Era of Knowledge Graphs: 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7–10, 2020, Proceedings

    Springer Nature Switzerland AG Semantic Systems. In the Era of Knowledge Graphs: 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7–10, 2020, Proceedings

    15 in stock

    Book SynopsisThis open access book constitutes the refereed proceedings of the 16th International Conference on Semantic Systems, SEMANTiCS 2020, held in Amsterdam, The Netherlands, in September 2020. The conference was held virtually due to the COVID-19 pandemic.Table of ContentsThe New DBpedia Release Cycle: Increasing Agility and Efficiency in Knowledge Extraction Workflows.- DBpedia Archivo - A Web-Scale Interface for Ontology Archiving under Consumer-oriented Aspects,. A Knowledge Retrieval Framework for Household Objects and Actions with External Knowledge.- Semantic Annotation, Representation and Linking of Survey Data.- QueDI: from Knowledge Graph Querying to Data Visualization.- EcoDaLo: Federating advertisement targeting with Linked Data.- MINDS: a translator to embed mathematical expressions inside SPARQL queries.- Integrating Historical Person Registers as Linked Open Data in the WarSampo Knowledge Graph.

    15 in stock

    £34.99

  • High Performance Computing: ISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21–25, 2020, Revised Selected Papers

    Springer Nature Switzerland AG High Performance Computing: ISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21–25, 2020, Revised Selected Papers

    15 in stock

    Book SynopsisThis book constitutes the refereed post-conference proceedings of 10 workshops held at the 35th International ISC High Performance 2020 Conference, in Frankfurt, Germany, in June 2020: First Workshop on Compiler-assisted Correctness Checking and Performance Optimization for HPC (C3PO); First International Workshop on the Application of Machine Learning Techniques to Computational Fluid Dynamics Simulations and Analysis (CFDML); HPC I/O in the Data Center Workshop (HPC-IODC); First Workshop \Machine Learning on HPC Systems" (MLHPCS); First International Workshop on Monitoring and Data Analytics (MODA); 15th Workshop on Virtualization in High-Performance Cloud Computing (VHPC). The 25 full papers included in this volume were carefully reviewed and selected. They cover all aspects of research, development, and application of large-scale, high performance experimental and commercial systems. Topics include high-performance computing (HPC), computer architecture and hardware, programming models, system software, performance analysis and modeling, compiler analysis and optimization techniques, software sustainability, scientific applications, deep learning.Table of ContentsChecking and Performance Optimization for HPC (C3PO'20).- Compiler-assisted type-safe checkpointing.- Static analysis to enhance programmability and performance in OmpSs-2 21 Automatic detection of MPI assertions.- Automatic Code Motion to Extend MPI Nonblocking Overlap Window.- First International Workshop on the Application of Machine Learning Techniques to Computational Fluid Dynamics Simulations and Analysis (CFDML) .-Complete Deep Computer-Vision Methodology for Investigating Hydrodynamic Instabilities.- Prediction of Acoustic Fields using a Lattice-Boltzmann Method and Deep Learning.- Unsupervised Learning of Particle Image Velocimetry.- Reduced order modeling of dynamical systems using arti cial neural networks applied to water circulation.- Parameter Identification of RANS turbulence model using Physics-embedded neural network.- Investigating the Overhead of the REST Protocol when Using Cloud Services for HPC Storage.- Characterizing I/O Optimization E ect Through Holistic Log Data Analysis of Parallel File Systems and Interconnects.- The Importance of Temporal Behavior when Classifying Job IO Patterns Using Machine Learning Techniques.- GOPHER, an HPC framework for large scale graph exploration and inference.- Ensembles of Networks Produced from Neural Architecture Search.- SmartPred: Unsupervised Hard Disk Failure Detection.- Application IO analysis with Lustre Monitoring using LASSi for ARCHER.- Characterizing HPC Performance Variation with Monitoring and Unsupervised Learning.- Service Function Chaining Based on Segment Routing Using P4 and SR-IOV (P4-SFC) .- Seamlessly managing HPC workloads through Kubernetes.- Interference-aware Orchestration in Kubernetes.- RustyHermit: A Scalable, Rust-based Virtual Execution Environment.- Rootless Containers with Podman for HPC.- Bioinformatics application with Kube ow for batch processing in clouds.- Converging HPC, Big Data and Cloud technologies for precision agriculture data analytics on supercomputers.

    15 in stock

    £56.99

  • Reflections on Artificial Intelligence for Humanity

    Springer Nature Switzerland AG Reflections on Artificial Intelligence for Humanity

    15 in stock

    Book SynopsisWe already observe the positive effects of AI in almost every field, and foresee its potential to help address our sustainable development goals and the urgent challenges for the preservation of the environment. We also perceive that the risks related to the safety, security, confidentiality, and fairness of AI systems, the threats to free will of possibly manipulative systems, as well as the impact of AI on the economy, employment, human rights, equality, diversity, inclusion, and social cohesion need to be better assessed. The development and use of AI must be guided by principles of social cohesion, environmental sustainability, resource sharing, and inclusion. It has to integrate human rights, and social, cultural, and ethical values of democracy. It requires continued education and training as well as continual assessment of its effects through social deliberation. The “Reflections on AI for Humanity” proposed in this book develop the following issues and sketch approaches for addressing them: How can we ensure the security requirements of critical applications and the safety and confidentiality of data communication and processing? What techniques and regulations for the validation, certification, and audit of AI tools are needed to develop confidence in AI? How can we identify and overcome biases in algorithms? How do we design systems that respect essential human values, ensuring moral equality and inclusion? What kinds of governance mechanisms are needed for personal data, metadata, and aggregated data at various levels? What are the effects of AI and automation on the transformation and social division of labor? What are the impacts on economic structures? What proactive and accommodation measures will be required? How will people benefit from decision support systems and personal digital assistants without the risk of manipulation? How do we design transparent and intelligible procedures and ensure that their functions reflect our values and criteria? How can we anticipate failure and restore human control over an AI system when it operates outside its intended scope? How can we devote a substantial part of our research and development resources to the major challenges of our time such as climate, environment, health, and education? Table of ContentsReflections on AI for Humanity: Introduction.- Trustworthy AI.- Democratising the digital revolution: the role of data governance.- Artificial Intelligence and the Future of Work.- Reflections on Decision-Making and Artificial Intelligence.- AI and Human values: inequalities, biases, fairness, nudge and feedback loops.- Next big challenges in core AI technology.- AI for Humanity: The Global Challenges.- AI and Constitutionalism: the challenges ahead.- Analyzing the Contributions of ethical charters to building the Future of Artificial Intelligence governance.- What does “Ethical by Design” Mean?.- AI for Digital Humanities and Computational Social Sciences.- Augmented Human and Human-Machine Co-Evolution: efficiency and ethics.- Democratizing AI for Humanity: A Common Goal.- A Framework for Global Cooperation on Artificial Intelligence and its Governance.

    15 in stock

    £56.99

  • Graph Structures for Knowledge Representation and Reasoning: 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

    Springer Nature Switzerland AG Graph Structures for Knowledge Representation and Reasoning: 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

    15 in stock

    Book SynopsisThis open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence.The 7 revised full papers presented together with 2 invited contributions were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background, which allows to bridge the gap between the different communities.Table of ContentsExtended Workshop Papers.- Active Semantic Relations in Layered Enterprise Architecture Development.- A Belief Update System Using an Event Model for Location of People in a Smart Home.- A Natural Language Generation Technique for Automated Psychotherapy.- Creative Composition Problem: A Knowledge Graph Logical-based AI Construction and Optimization Solution.- Set Visualisations with Euler and Hasse Diagrams.- Usage Patterns Identification Using Graphs and Machine Learning.- Collaborative Design and Manufacture: Information Structures for Team Formation and Coordination.- Invited Additional Contributions.- Approximate Knowledge Graph Query Answering: From Ranking to Binary Classification.- Galois Connections for Patterns: An Algebra of Labelled Graphs.

    15 in stock

    £34.99

  • Handbook of Dynamic Data Driven Applications

    Springer Nature Switzerland AG Handbook of Dynamic Data Driven Applications

    5 in stock

    Book SynopsisThe Handbook of Dynamic Data Driven Applications Systems establishes an authoritative reference of DDDAS, pioneered by Dr. Darema and the co-authors for researchers and practitioners developing DDDAS technologies. Beginning with general concepts and history of the paradigm, the text provides 32 chapters by leading experts in ten application areas to enable an accurate understanding, analysis, and control of complex systems; be they natural, engineered, or societal: The authors explain how DDDAS unifies the computational and instrumentation aspects of an application system, extends the notion of Smart Computing to span from the high-end to the real-time data acquisition and control, and manages Big Data exploitation with high-dimensional model coordination. The Dynamically Data Driven Applications Systems (DDDAS) paradigm inspired research regarding the prediction of severe storms. Specifically, the DDDAS concept allows atmospheric observing systems, computer forecast models, and cyberinfrastructure to dynamically configure themselves in optimal ways in direct response to current or anticipated weather conditions. In so doing, all resources are used in an optimal manner to maximize the quality and timeliness of information they provide. Kelvin Droegemeier, Regents’ Professor of Meteorology at the University of Oklahoma; former Director of the White House Office of Science and Technology Policy We may well be entering the golden age of data science, as society in general has come to appreciate the possibilities for organizational strategies that harness massive streams of data. The challenges and opportunities are even greater when the data or the underlying system are dynamic - and DDDAS is the time-tested paradigm for realizing this potential. Sangtae Kim, Distinguished Professor of Mechanical Engineering and Distinguished Professor of Chemical Engineering at Purdue UniversityTrade ReviewThe Dynamically Data Driven Applications Systems (DDDAS) paradigm inspired research regarding the prediction of severe storms. Specifically, the DDDAS concept allows atmospheric observing systems, computer forecast models, and cyberinfrastructure to dynamically configure themselves in optimal ways in direct response to current or anticipated weather conditions. In so doing, all resources are used in an optimal manner to maximize the quality and timeliness of information they provide. Kelvin Droegemeier, Regents’ Professor of Meteorology at the University of Oklahoma; former Director of the White House Office of Science and Technology Policy We may well be entering the golden age of data science, as society in general has come to appreciate the possibilities for organizational strategies that harness massive streams of data. The challenges and opportunities are even greater when the data or the underlying system are dynamic - and DDDAS is the time-tested paradigm for realizing this potential. Sangtae Kim, Distinguished Professor of Mechanical Engineering and Distinguished Professor of Chemical Engineering at Purdue University Table of Contents1 Introduction to Dynamic Data Driven Applications Systems.- 2 Tractable Non-Gaussian Representation in Dynamic Data Driven Coherent Fluid Mapping.- 3 Dynamic Data-Driven Adaptive Observations in Data Assimilation for Multi-scale Systems.- 4 Dynamic Data-Driven Uncertainty Quantification via Polynomial Chaos for Space Situational Awareness.- 5 Towards Learning Spatio-Temporal Data Stream Relationships for Failure Detection in Avionics.- 6 Markov Modeling of Time Series via Spectral Analysis for Detection of Combustion Instabilities.- 7 Dynamic Space-Time Model for Syndromic Surveillance with Particle Filters and Dirichlet Process.- 8 A Computational Steering Framework for Large-Scale Composite Structures.- 9 Development of Intelligent and Predictive Self-Healing Composite Structures using Dynamic Data-Driven Applications Systems.- 10 Dynamic Data-Driven Approach for Unmanned Aircraft Systems aero-elastic response analysis.- 11 Transforming Wildfire Detection and Prediction using New and Underused Sensor and Data Sources Integrated with Modeling.- 12 Dynamic Data Driven Application Systems for Identification of Biomarkers in DNA Methylation.- 13 Photometric Steropsis for 3D Reconstruction of Space Objects.- 14 Aided Optimal Search: Data-Driven Target Pursuit from On-Demand Delayed Binary Observations.- 15 Optimization of Multi-Target Tracking within a Sensor Network via Information Guided Clustering.- 16 Data-Driven Prediction of Confidence for EVAR in Time-varying Datasets.- 17 DDDAS for Attack Detection and Isolation of Control Systems.- 18 Approximate Local Utility Design for Potential Game Approach to Cooperative Sensor Network Planning.- 19 Dynamic Sensor-Actor Interactions for Path-Planning in a Threat Field.- 20 Energy-Aware Dynamic Data-Driven Distributed Traffic Simulation for Energy and Emissions Reduction.- 21 A Dynamic Data-Driven Optimization Framework for Demand Side Management in Microgrids.- 22 Dynamic Data Driven Partitioning of Smart Grid Using Learning Methods.- 23 Design of a Dynamic Data-Driven System for Multispectral Video Processing.- 24 Light Field Image Compression.- 25 On Compression of Machine-derived Context Sets for Fusion of Multi-model Sensor Data.- 26 Simulation-based Optimization as a Service for Dynamic Data-driven Applications Systems.- 27 Privacy and Security Issues in DDDAS Systems.- 28 Dynamic Data Driven Application Systems (DDDAS) for Multimedia Content Analysis.- 29 Parzen Windows: Simplest Regularization Algorithm.- 30 Multiscale DDDAS Framework for Damage Prediction in Aerospace Composite Structures.- 31 A Dynamic Data-Driven Stochastic State-awareness Framework for the Next Generation of Bio-inspired Fly-by-feel Aerospace Vehicles.- DDDAS: The Way Forward.

    5 in stock

    £189.99

  • Human-Computer Interaction. Design and User

    Springer Nature Switzerland AG Human-Computer Interaction. Design and User

    1 in stock

    Book SynopsisThe three-volume set LNCS 12762, 12763, and 12764 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 23rd International Conference on Human-Computer Interaction, HCII 2021, which took place virtually in July 2021.The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 submissions. The 139 papers included in this HCI 2021 proceedings were organized in topical sections as follows: Part I, Theory, Methods and Tools: HCI theory, education and practice; UX evaluation methods, techniques and tools; emotional and persuasive design; and emotions and cognition in HCI Part II, Interaction Techniques and Novel Applications: Novel interaction techniques; human-robot interaction; digital wellbeing; and HCI in surgery Part III, Design and User Experience Case Studies: Design case studies; user experience and technology acceptance studies; and HCI, social distancing, information, communication and workTable of ContentsDesign Case Studies.- Graphic Representations of Spoken Interactions from Journalistic Data: Persuasion and Negotiations.- A Study on Universal Design of Musical Performance System.- Developing a Knowledge-based System for Lean Communications between Designers and Clients.- Learn & Share to Control Your Household Pests: Designing a Communication Based App to Bridge the Gap between Local Guides & The New Users Looking for a Reliable & Affordable Pest Control Solutions.- Developing User Interface Design Strategy to Improve Media Credibility of Mobile Portal News.- Elderly-Centered Design: A New Numeric Typeface for Increased Legibility.- Research on Interactive Experience Design of Peripheral Visual Interface of Autonomous Vehicle.- Human-Centered Design Reflections on Providing Feedback to Primary Care Physicians.- Interaction with Objects and Humans based on Visualized Flow using a Background-oriented Schlieren Method.- Research on Aging Design of News APP Interface Layout Based on Perceptual Features.- Research on Modular Design of Children's Furniture based on Scene Theory.- A Design Method of Children Playground Based on Bionic Algorithm.- Bias in, Bias out – The Similarity-Attraction Effect between Chatbot Designers and Users.- Research on Immersive Virtual Reality Display Design Mode of Cantonese Porcelain based on Embodied Interaction.- Design and Research of Children’s Robot Based on Kansei Engineering.- User Experience and Technology Acceptance Studies.- Exploring Citizens' Attitudes towards Voice-Based Government Services in Switzerland.- Too Hot to Enter: Investigating Users' Attitudes toward Thermoscanners in COVID times.- Teens’ Conceptual Understanding of Web Search Engines: The Case of Google Search Engine Result Pages (SERPs).- What Futuristic Technology Means for First Responders: Voices from the Field.- Blinking LEDs: Usability and User Experience of Domestic Modem Routers Indicator Lights.- The Smaller the Better? A Study on Acceptance of 3D Display of Exhibits of Museum's Mobile Media.- Research on Information Visualization Design for Public Health Security Emergencies.- Comparative Study of the Interaction of Digital Natives with Mainstream Web Mapping Services.- Success is not Final; Failure is not Fatal – Task Success and User Experience in Interactions with Alexa, Google Assistant and Siri.- Research on the Usability Design of HUD Interactive Interface.- Current Problems, Future Needs: Voices of First Responders about Communication Technology.- Exploring the Antecedents of Verificator Adoption.- Are Professional Kitchens Ready for Dummies? A Comparative Usability Evaluation between Expert and non-Expert Users.- Verification of the Appropriate Number of Communications between Drivers of Bicycles and Vehicles.- User Assessment of Webpage Usefulness.- How Workarounds Occur in Relation to Automatic Speech Recognition at Danish Hospitals.- Secondary Task Behavioral Analysis Based on Depth Image During Driving.- Research on the Relationship between the Partition Position of the Central Control Display Interface and the Interaction Efficiency.- HCI, Social Distancing, Information, Communication and Work.- Attention-based Design and Selective Exposure Amid COVID-19 Misinformation Sharing.- Digital Communication to Compensate for Social Distancing? - Results of a Survey on the Local Communication App DorfFunk.- An Evaluation of Remote Workers' Preferences for the Design of a Mobile App on Workspace Search.- Feasibility of Estimating Concentration Level for Not Disturbing Remote Office Workers Based on Kana-Kanji Conversion Confirmation Time.- A Smart City Stakeholder Online Meeting Interface.- Fostering Empathy and Privacy: The Effect of Using Expressive Avatars for Remote Communication.- PerformEyebrow: Design and Implementation of an Artificial Eyebrow Device Enabling Augmented Facial Expression.- Improving Satisfaction in Group Dialogue: A Comparative Study of Face-to-Face and Online Meetings.- EmojiCam: Emoji-Assisted Video Communication System Leveraging Facial Expressions.- Pokerepo Join: Construction of a Virtual Companion Experience System.- Visual Information in Computer-Mediated Interaction Matters: Investigating the Association Between the Availability of Gesture and Turn Transition Timing in Conversation.

    1 in stock

    £42.74

  • The Once-Only Principle: The TOOP Project

    Springer Nature Switzerland AG The Once-Only Principle: The TOOP Project

    15 in stock

    Book SynopsisThis open access State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project (TOOP). The Once-Only Principle (OOP) is part of the seven underlying principles of the eGovernment Action Plan 2016-2020. It aims to make the government more effective and to reduce administrative burdens by asking citizens and companies to provide certain standard information to the public authorities only once.The project was horizontal and policy-driven with the aim of showing that the implementation of OOP in a cross-border and cross-sector setting is feasible. The book summarizes the results of the project from policy, organizational, architectural, and technical points of view. Table of ContentsThe Once-Only Principle: A Matter of Trust.- Implementation of the 'once-only' principle in Europe – national approaches.- Drivers for and Barriers to the Cross-Border Implementation of the Once-Only Principle - Once-Only Principle Good Practices in Europe.- The Single Digital Gateway Regulation as an Enabler and Constraint of Once-Only in Europe.- Legal Basis and Regulatory Applications of the Once-Only Principle: the Italian Case.- TOOP Trust Architecture.- The Technical challenges in OOP application across the European Union and the TOOP OOP architecture.- Testing methodology for the TOOP pilots.- TOOP pilot experiences: challenges and achievements in implementing once-only in different domains and Member States.- Measuring the Impact of the Once Only Principle for Businesses Across Borders.- The Future of the Once-Only Principle in Europe.

    15 in stock

    £34.99

  • Applied Cryptography in Computer and Communications: First EAI International Conference, AC3 2021, Virtual Event, May 15-16, 2021, Proceedings

    Springer Nature Switzerland AG Applied Cryptography in Computer and Communications: First EAI International Conference, AC3 2021, Virtual Event, May 15-16, 2021, Proceedings

    1 in stock

    Book SynopsisThis book constitutes the refereed post-conference proceedings of the First International Conference on Applied Cryptography in Computer and Communications, AC3 2021, and the First International Workshop on Security for Internet of Things (IoT). The conference was held in May 2021 and due to COVID-19 pandemic virtually.The 15 revised full papers were carefully reviewed and selected from 42 submissions. The papers present are grouped in 4 tracks on blockchain; authentication; secure computation; practical crypto application. They detail technical aspects of applied cryptography, including symmetric cryptography, public-key cryptography, cryptographic protocols, cryptographic implementations, cryptographic standards and practices.

    1 in stock

    £58.49

  • Modern Socio-Technical Perspectives on Privacy

    Springer Nature Switzerland AG Modern Socio-Technical Perspectives on Privacy

    5 in stock

    Book SynopsisThis open access book provides researchers and professionals with a foundational understanding of online privacy as well as insight into the socio-technical privacy issues that are most pertinent to modern information systems, covering several modern topics (e.g., privacy in social media, IoT) and underexplored areas (e.g., privacy accessibility, privacy for vulnerable populations, cross-cultural privacy). The book is structured in four parts, which follow after an introduction to privacy on both a technical and social level: Privacy Theory and Methods covers a range of theoretical lenses through which one can view the concept of privacy. The chapters in this part relate to modern privacy phenomena, thus emphasizing its relevance to our digital, networked lives. Next, Domains covers a number of areas in which privacy concerns and implications are particularly salient, including among others social media, healthcare, smart cities, wearable IT, and trackers. The Audiences section then highlights audiences that have traditionally been ignored when creating privacy-preserving experiences: people from other (non-Western) cultures, people with accessibility needs, adolescents, and people who are underrepresented in terms of their race, class, gender or sexual identity, religion or some combination. Finally, the chapters in Moving Forward outline approaches to privacy that move beyond one-size-fits-all solutions, explore ethical considerations, and describe the regulatory landscape that governs privacy through laws and policies. Perhaps even more so than the other chapters in this book, these chapters are forward-looking by using current personalized, ethical and legal approaches as a starting point for re-conceptualizations of privacy to serve the modern technological landscape. The book’s primary goal is to inform IT students, researchers, and professionals about both the fundamentals of online privacy and the issues that are most pertinent to modern information systems. Lecturers or teachers can assign (parts of) the book for a “professional issues” course. IT professionals may select chapters covering domains and audiences relevant to their field of work, as well as the Moving Forward chapters that cover ethical and legal aspects. Academics who are interested in studying privacy or privacy-related topics will find a broad introduction in both technical and social aspects.Table of Contents1. Introduction and Overview.- Part I: Privacy Theory and Methods.- 2. Privacy Theories and Frameworks.- 3. Revisiting APCO.- 4. Privacy and Behavioral Economics.- 5. The Development of Privacy Norms.- 6. Privacy Beyond the Individual Level.- Part II: Domains.- 7. Social Media and Privacy.- 8. Privacy-Enhancing Technologies.- 9. Tracking and Personalization.- 10. Healthcare Privacy.- 11. Privacy and the Internet of Things.- Part III: Audiences.- 12. Cross-Cultural Privacy Differences.- 13. Accessible Privacy.- 14. Privacy in Adolescence.- 15. Privacy and Vulnerable Populations.- Part IV: Moving Forward.- 16. User-Tailored Privacy.- 17. The Ethics of Privacy in Research and Design: Principles, Practices, and Potential.- 18. EU GDPR: Toward a Regulatory Initiative for Deploying a Private Digital Era.- 19. Reflections: Bringing Privacy to Practice.

    5 in stock

    £40.49

  • Modern Socio-Technical Perspectives on Privacy

    Springer Nature Switzerland AG Modern Socio-Technical Perspectives on Privacy

    1 in stock

    Book SynopsisThis open access book provides researchers and professionals with a foundational understanding of online privacy as well as insight into the socio-technical privacy issues that are most pertinent to modern information systems, covering several modern topics (e.g., privacy in social media, IoT) and underexplored areas (e.g., privacy accessibility, privacy for vulnerable populations, cross-cultural privacy). The book is structured in four parts, which follow after an introduction to privacy on both a technical and social level: Privacy Theory and Methods covers a range of theoretical lenses through which one can view the concept of privacy. The chapters in this part relate to modern privacy phenomena, thus emphasizing its relevance to our digital, networked lives. Next, Domains covers a number of areas in which privacy concerns and implications are particularly salient, including among others social media, healthcare, smart cities, wearable IT, and trackers. The Audiences section then highlights audiences that have traditionally been ignored when creating privacy-preserving experiences: people from other (non-Western) cultures, people with accessibility needs, adolescents, and people who are underrepresented in terms of their race, class, gender or sexual identity, religion or some combination. Finally, the chapters in Moving Forward outline approaches to privacy that move beyond one-size-fits-all solutions, explore ethical considerations, and describe the regulatory landscape that governs privacy through laws and policies. Perhaps even more so than the other chapters in this book, these chapters are forward-looking by using current personalized, ethical and legal approaches as a starting point for re-conceptualizations of privacy to serve the modern technological landscape. The book’s primary goal is to inform IT students, researchers, and professionals about both the fundamentals of online privacy and the issues that are most pertinent to modern information systems. Lecturers or teachers can assign (parts of) the book for a “professional issues” course. IT professionals may select chapters covering domains and audiences relevant to their field of work, as well as the Moving Forward chapters that cover ethical and legal aspects. Academics who are interested in studying privacy or privacy-related topics will find a broad introduction in both technical and social aspects.Table of Contents1. Introduction and Overview.- Part I: Privacy Theory and Methods.- 2. Privacy Theories and Frameworks.- 3. Revisiting APCO.- 4. Privacy and Behavioral Economics.- 5. The Development of Privacy Norms.- 6. Privacy Beyond the Individual Level.- Part II: Domains.- 7. Social Media and Privacy.- 8. Privacy-Enhancing Technologies.- 9. Tracking and Personalization.- 10. Healthcare Privacy.- 11. Privacy and the Internet of Things.- Part III: Audiences.- 12. Cross-Cultural Privacy Differences.- 13. Accessible Privacy.- 14. Privacy in Adolescence.- 15. Privacy and Vulnerable Populations.- Part IV: Moving Forward.- 16. User-Tailored Privacy.- 17. The Ethics of Privacy in Research and Design: Principles, Practices, and Potential.- 18. EU GDPR: Toward a Regulatory Initiative for Deploying a Private Digital Era.- 19. Reflections: Bringing Privacy to Practice.

    1 in stock

    £31.49

  • Quantum Computing: An Applied Approach

    Springer Nature Switzerland AG Quantum Computing: An Applied Approach

    15 in stock

    Book SynopsisThis book integrates the foundations of quantum computing with a hands-on coding approach to this emerging field; it is the first to bring these elements together in an updated manner. This work is suitable for both academic coursework and corporate technical training.The second edition includes extensive updates and revisions, both to textual content and to the code. Sections have been added on quantum machine learning, quantum error correction, Dirac notation and more. This new edition benefits from the input of the many faculty, students, corporate engineering teams, and independent readers who have used the first edition.This volume comprises three books under one cover: Part I outlines the necessary foundations of quantum computing and quantum circuits. Part II walks through the canon of quantum computing algorithms and provides code on a range of quantum computing methods in current use. Part III covers the mathematical toolkit required to master quantum computing. Additional resources include a table of operators and circuit elements and a companion GitHub site providing code and updates.Jack D. Hidary is a research scientist in quantum computing and in AI at Alphabet X, formerly Google X. Trade Review“This well-put-together book is a valuable addition to the literature in the field.” (Shrisha Rao, Computing Reviews, February 3, 2023)Table of Contents-Preface the the Second Edition.- Preface to the First Edition.- Acknowledgements.- Navigating this Book.- I. Foundations.- 1. Superposition, Entanglement and Reversibility.- 2. A Brief History of Quantum Computing.- 3. Qubits, Operators and Measurement.- 4. Complexity Theory.- II. 5. Building a Quantum Computer.- 6. Development Libraries for Quantum Computer Programming.- 7. Teleportation, Superdense Coding and Bell’s Inequality.- 8. The Canon: Code Walkthroughs.- 9. Quantum Computing Methods.- 10. Applications and Quantum Supremacy.- III. Toolkit.- 11. Mathematical Tools for Quantum Computing I.- 12. Mathematical Tools for Quantum Computing II.- 13. Mathematical Tools for Quantum Computing III.- 14. Dirac Notation.- 15. Table of Quantum Operators and Core Circuits.- Works Cited.- Index.

    15 in stock

    £28.49

  • Engineering the Transformation of the Enterprise:

    Springer Nature Switzerland AG Engineering the Transformation of the Enterprise:

    15 in stock

    Book SynopsisThe topics in this book cover a broad range of research interests: from business engineering and its application in corporate and business networking contexts to design science research as well as applied topics, where those research methods have been employed for modeling, data warehousing, information systems management, enterprise architecture management, management of large and complex projects, and enterprise transformation. The book is a Festschrift for Robert Winter in order to appreciate his work and to honor him as a personality with a high reputation in the information systems community. To this end, many professional colleagues or long-time companions both from the Institute of Information Management at the University of St. Gallen as well as from the international research community dedicated articles on topics related to Robert’s research. They reflect his ambition to uncompromisingly conduct high-class research that fuels the research community and at the same time contributes to improved industrial practice. The book is organized in three major parts: Part I “Business Engineering and Beyond” focuses on the methodology strongly shaped by Robert in St. Gallen with a focus on research being applied in corporate contexts. Part II “Design Science Research” spans from reflections on the practice of design science research to perspectives on design science research methodologies and eventually up to considerations to teach design science research methodology. Part III “Applied Fields” combines various applications of design science and related research methodologies with practical problems and future research topics. Table of ContentsPart I: Business Engineering and Beyond.- From Business Engineering to Life Engineering.- Management of Artificial Intelligence: Feasibility, Desirability and Viability.- How Fair Is IS Research?.- From Business Engineering to Digital Engineering: The Role of Metamodeling in Digital Transformation.- From Business Engineering to Digital Engineering: The Role of Metamodeling in Digital Transformation.- On Model-Based Coordination of Change in Organizations.- Part II: Design Science Research.- Reflections on the Practice of Design Science in Information Systems.- Design Science Research of High Practical Relevance.- Design Pattern as a Bridge Between Problem-Space and Solution-Space.- Incremental Accumulation of Information Systems Design Theory.- Assessing the Temporal Validity of Design Knowledge.- Pedagogy for Doctoral Seminars in Design Science Research.- Part III: Applied Fields.- Management of Enterprise-Wide Information Systems.- The Competence Center Health Network Engineering: A Retrospective.- A Research Agenda for Studying Platform Ecosystems.- A Concept for an IT-Supported Integrated Earnings and Risk Management to Strengthen the Resilience of Companies in Times of Crisis.- Data Vault as a Modeling Concept for the Data Warehouse.- Evaluating a Forward-Looking Maturity Model for Enterprise Performance Management.- The Evolution of IT Management Standards in Digital Transformation: Current Status and Research Implications.- Towards Conscious Enterprises: The Role of Enterprise Engineering in Realizing Living Sciences Paradigms into Management Sciences.- Digital Resilience to Normal Accidents in High-Reliability Organizations.- Mind the Gap: Why There Is a Gap Between Information Systems Research and Practice, and How to Manage It.- The Connection Between Winter and Information Systems.

    15 in stock

    £116.99

  • Business Process Management: Blockchain and Robotic Process Automation Forum: BPM 2021 Blockchain and RPA Forum, Rome, Italy, September 6–10, 2021, Proceedings

    Springer Nature Switzerland AG Business Process Management: Blockchain and Robotic Process Automation Forum: BPM 2021 Blockchain and RPA Forum, Rome, Italy, September 6–10, 2021, Proceedings

    1 in stock

    Book SynopsisThis book constitutes the proceedings of the Blockchain and RPA Forum, held as part of the 19th International Conference on Business Process Management, BPM 2021, which took place during September 6-10, 2021, in Rome, Italy.The Blockchain Forum and the RPA Forum have in common that they are centered around an emerging and exciting technology. The blockchain is a sophisticated distributed ledger technology, while RPA software allows for mimicking human, repetitive actions. Each of these have the potential to fundamentally change how business processes are being orchestrated and executed in practice. The 8 papers presented in this volume were carefully reviewed and selected from a total of 14 submissions. Table of ContentsRobotic Process Automation Forum.- Humans, Processes and Robots: a journey to Hyperautomation.- A Framework of Cost Drivers for Robotic Process Automation Projects.- Adding Decision Management to Robotic Process Automation.- AIRPA: An architecture to support the execution and maintenance of AI-powered RPA robots.- Blockchain Forum.- An empirical evaluation of smart contract-based data quality assessment in Ethereum.- Blockchain as a Countermeasure Solution for Security Threats of Healthcare Applications.- Studying Bitcoin privacy attacks and their Impact on Bitcoin-based Identity Methods.- Enhancing Blockchain-based Processes with Decentralized Oracles.- Methods for Decentralized Identities: Evaluation and Insights.

    1 in stock

    £49.49

  • Technology-Enhanced Learning for a Free, Safe, and Sustainable World: 16th European Conference on Technology Enhanced Learning, EC-TEL 2021, Bolzano, Italy, September 20-24, 2021, Proceedings

    Springer Nature Switzerland AG Technology-Enhanced Learning for a Free, Safe, and Sustainable World: 16th European Conference on Technology Enhanced Learning, EC-TEL 2021, Bolzano, Italy, September 20-24, 2021, Proceedings

    15 in stock

    Book SynopsisChapters "Investigating the Role of Educational Robotics in Formal Mathematics Education: The Case of Geometry for 15-Year-Old Students" and "From Paper to Online: Digitizing Card Based Co-creation of Games for Privacy Education" are available open access under a Creative Commons Attribution 4.0 International License via springer.com.Table of ContentsThe Impact of Explicating Learning Goals on Teaching and Learning in Higher Education: Evaluating a Learning Goal Visualization.- Catching group criteria semantic information when forming collaborative learning groups.- The role of social practices of knowledge appropriation for sustaining TEL innovations in the classroom.- Visual Aids for Teaching Piano to Students with Autism: Designing a Web App through Practice.- Interactive and explainable advising dashboard opens the black box of student success prediction.- Investigating the role of educational robotics in formal mathematics education: a case study of geometry for 15-year-old students.- Peer Assessment Interactions and Their Temporal Dynamics Using a Graphlet-Based Method.- VLE Limits and Perspectives for Digital Integration in Teaching Practices Lessons Learned from the French Basic Education Teachers’ Experience during the COVID-19 Pandemic.- First-year university students in distance learning: motivations and early experiences.- The dire cost of early disengagement: A four-year learning analytics study over a full program.- Analysis of the ”D’oh!” moments. Physiological markers of performance in cognitive switching tasks.- Examining the Effect of Self-Explanations in Distributed Self-Assessment.- 148 Cheng-Yu Chung and I-Han Hsiao Examining the relationship between reflective writing behaviour and self-regulated learning competence: A time-series analysis.- From Paper to Online: Digitizing Card Based Co-Creation of Games for Privacy Education.- An in-depth methodology to predict at-risk learners.- A Framework to Guide Educational Technology Studies in the Evolving Classroom Research Environment.- Using Prompts and Remediation to Improve Primary School Students Self-Evaluation and Self-Efficacy in a Literacy Web Application.- Student Creativity to Design Fake News Literacy Training: An Overview of Twelve Graduate Student Projects.- Recommendations for Orchestration of Formative Assessment Sequences: a Data-driven Approach.- Surveying Teachers’ Preferences and Boundaries regarding Human-AI Control in Dynamic Pairing of Students for Collaborative Learning.- What Do Learning Designs Show about Pedagogical Adoption? An Analysis Approach and a Case Study on Inquiry-Based Learning.- On the Linguistic and Pedagogical Quality of Automatic Question Generation via Neural Machine Translation.- Developing a prototype of an Open Educational Resource on research methods for PhD candidates in Technology-Enhanced Learning.- Comparing usage in and between primary and secondary schools for a blended TEL portal.- Investigating the Associations between Emotion, Cognitive Load and Personal Learning Goals: The Case for MOOCs.- I need more motivation: Engaging Students in the Gamification Design Process.- Augmented Reality as Educational Tool: Perceptions, Challenges, and Requirements from Teachers.- Towards a self-assessment tool for teachers to improve LMS mastery based on Teaching Analytics.- Uncovering Latent Profiles Based on How Students Review Paper-based Assessments.- Orchestrating an ubiquitous learning situation about Cultural Heritage with Casual Learn.- Bibliometric Analysis of the Last Ten Years of the European Conference on Technology-enhanced Learning.

    15 in stock

    £71.24

  • Creative Solutions for a Sustainable Development:

    Springer Nature Switzerland AG Creative Solutions for a Sustainable Development:

    5 in stock

    Book SynopsisThis book constitutes the refereed proceedings of the 21st International TRIZ Future Conference on Automated Invention for Smart Industries, TFC 2021, held virtually in September 2021 and sponsored by IFIP WG 5.4. The 28 full papers and 8 short papers presented were carefully reviewed and selected from 48 submissions. They are organized in the following thematic sections: inventiveness and TRIZ for sustainable development; TRIZ, intellectual property and smart technologies; TRIZ: expansion in breadth and depth; TRIZ, data processing and artificial intelligence; and TRIZ use and divulgation for engineering design and beyond. Chapter ‘Domain Analysis with TRIZ to Define an Effective “Design for Excellence’ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.Table of ContentsInventiveness and TRIZ for Sustainable Development.- An ideality-based map to describe sustainable design initiatives.- Sustainable digitalization: a systematic literature review to identify how to make digitalization more sustainable.- Nature-Inspired Principles for Sustainable Process Design in Chemical Engineering.- Comparative Analysis of Methods for Identifying Opportunities for Reusing Solid Waste.- TRIZ Evolution Trend-based Public Service Innovation for Enhancing Social Participation of Life Garbage Classification.- Concept Design of Appropriate Technology Based on Circular Economy for Sustainable Development Inferred from Korea Traditional Heating System.- Sustainability in yacht and vessel design through smart spaces: opportunities offered by digital technologies and new materiality.- Hybrid heat pump systems as a possible solution for the energy transition towards sustainable heating systems for buildings.- TRIZ, Intellectual Property and Smart Technologies.- Identifying new application fields of a given technology.- Extraction and Modeling of Chinese Patent Information for Technical Advancement Evaluation.- Concept extraction based on semantic models using big amount of patents and scientific publications data.- Automatic extraction of potentially contradictory parameters from specific field patent texts.- Patent specialization for deep learning information retrieval algorithms.- Patent Data Driven Innovation Logic: Textual pattern exploration to identify innovation logic data.- Patent intelligence analysis to support technology roadmap on the sector of renewable energy.- TRIZ: Expansion in Breadth and Depth.- Matrix 2022: Re-Imagining The Contradiction Matrix.- Improving the construction of RCA+ contradiction trees.- Indicating and assessing quality criteria for cause-effect models.- Application of an FMEA based method to prioritize the initial problem choices in Inventive Design.- TRIZ Application for Digital Product Design & Management.- A reasoned evolutionary study on the actual design of farm tractors.- TRIZ contradiction modelling in family business succession process management: quantitative approach with an application of Grey Incidence Analysis.- A pioneering project on laser pyrolysis based entirely on TRIZ.- TRIZ, Data Processing and Artificial Intelligence.- Element Variation Innovation Thinking: A method of simplifying and reorganizing TRIZ.- Method for formulation, selection and application of elementary TRIZ inventive principles for automated idea generation.- Replicating TRIZ Reasoning through Deep Learning.- Bringing together engineering problems and basic science knowledge, one step closer to systematic invention.- TRIZ Use and Divulgation for Engineering Design and Beyond.- Triz-based Remodelling of Multiple True-False Questions.- Pedagogical approaches and course modality affecting students’ self-efficacy and problem-solving attitudes in a TRIZ-oriented course.- Facilitation of a creative culture through the implementation and initial evaluation of a TRIZ course within an organization.- Main Parameters of Value (MPV) Analysis: Where MPV Candidates Come From.- A global approach to point out priority problems out of experts’ qualitative data.- Integrated Use of TRIZ Tools in Systematic Conceptual Design.- Domain analysis with TRIZ to define an effective “design for excellence” framework.- The Efficient Work with Resources in TRIZ - Resource-Oriented Search (ROS).- Solution Concept Modeling and Evaluation Based on Function- Structure and Behavior Approach in the Context of Inventive Design.

    5 in stock

    £98.99

  • Artificial Intelligence: 19th Russian Conference, RCAI 2021, Taganrog, Russia, October 11–16, 2021, Proceedings

    Springer Nature Switzerland AG Artificial Intelligence: 19th Russian Conference, RCAI 2021, Taganrog, Russia, October 11–16, 2021, Proceedings

    1 in stock

    Book SynopsisThis book constitutes the proceedings of the 19th Russian Conference on Artificial Intelligence, RCAI 2021, held in Moscow, Russia, in October 2021. The 19 full papers and 7 short papers presented in this volume were carefully reviewed and selected from 80 submissions. The conference deals with a wide range of topics, categorized into the following topical headings: cognitive research; data mining, machine learning, classification; knowledge engineering; multi-agent systems and robotics; natural language processing; fuzzy models and soft computer; intelligent systems; and tools for designing intelligent systems. Table of ContentsCognitive Research.- Heterogeneous Formal Neurons and Modeling of Multi-Transmitter Neural Ensembles.- Methods for Recognition of Frustration-Derived Reactions in Social Media.- Identification of the Network State Based on the ART-2 Neural Network with a Hierarchical Memory Structure in Parallel Mode.- Data Mining, Machine Learning, Classification.- Ranking Weibull Survival Model: Boosting Concordance Index of Weibull Time-to-event Prediction Model with Ranking Losses.- Predicting Different Health and Lifestyle Behaviors of Social Media Users.- Methods for Finding Consequences with Specified Properties.- Data Mining Methods for Analysis and Forecast of Emerging Technology Trend: A Systematic Mapping Study from SCOPUS Papers.- Machine Learning for Assessment of Cardiometabolic Risk Factors Predictive Potential and Prediction of Obstructive Coronary Arteries Lesions.- Knowledge Engineering.- Application of FCA for Domain Model Theory Investigation.- The Metagraph Model for Complex Networks: Definition, Calculus and Granulation Issues.- Subjective Expert Evaluations in the Model-Theoretic Representation of Object Domain Knowledge.- Multiagent Systems and Robotics.- Q-Mixing Network for Multi-Agent Path Finding in Partially Observable Grid Environments.- Subdefinite Computations for Reducing the Search Space in Mobile Robot Localization Task.- Enhancing Exploration Algorithms for Navigation with Visual SLAM.- Natural Language Processing.- Relying on Discourse Trees to Extract Medical Ontologies from Text.- TITANIS: A Tool for Intelligent Text Analysis in Social Media.- Approach to the Automated Development of Scientific Subject Domain Ontologies Based on Heterogeneous Ontology Design Patterns.- Fuzzy Models and Soft Computing.- PC-algorithm of Algebraic Bayesian Network Secondary Structure Training.- Logistic-based Design of Fuzzy Interpretable Classifiers.- Intelligent Systems.- Knowledge-Based Diagnostic System with a Precedent Library.- Semiotic Models in Monitoring and Decision Support Systems.- Cognitive Patterns for Semantic Presentation of Natural-language Descriptions of Well-formalizable Problems.- Detecting Anomalous Behavior of Users of Data Centers based on the Application of Artificial Neural Networks.- Tools for Designing Intelligent Systems.- Study of the Feasibility of Creating of a Real-time Neuronetwork Infrared Ground Objects Recognition System.- The Implementation of the Ontological Approach to Control of the Processes of Designing Integrated Expert Systems Based on the Problem-oriented Methodology.- A Module for Industrial Safety Inspection Planning Based on Self-organization.-

    1 in stock

    £67.49

  • Network Games, Control and Optimization: 10th International Conference, NetGCooP 2020, France, September 22–24, 2021, Proceedings

    Springer Nature Switzerland AG Network Games, Control and Optimization: 10th International Conference, NetGCooP 2020, France, September 22–24, 2021, Proceedings

    15 in stock

    Book SynopsisThis book constitutes the conference proceedings of the 10th International Conference on Network Games, Control and Optimization, NETGCOOP 2020, held in Cargèse, Corsica, France, in September 2021*.The 12 full papers and 16 short papers were carefully reviewed and selected from 44 submissions. The papers are organized in the following topical sections: ​game theory and iterative algorithms applied to wireless communication; stochastic models for network performance analysis; game theory in mobile and wireless networks; scheduling and resource allocation problems in networks; advance in game theory; social network; electrical network.* The conference was postponed to 2021 due to the COVID-19 pandemic.Table of ContentsGame theory and iterative algorithms applied to wireless communication.- Stochastic models for network performance analysis.- Game theory in Mobile and Wireless Networks.- Scheduling and resource allocation problems in networks.- Advance in game theory.- Social network.- Electrical network.

    15 in stock

    £66.49

  • Advances in Model and Data Engineering in the Digitalization Era: MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021, Proceedings

    Springer Nature Switzerland AG Advances in Model and Data Engineering in the Digitalization Era: MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021, Proceedings

    1 in stock

    Book SynopsisThis book constitutes the thoroughly refereed papers of the workshops held at the 10th International Conference on New Trends in Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021: Workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETECT 2021; Symposium on Intelligent and Autonomous Systems, SIAS 2021; Worjshop on Control Software: Methods, Models, and Languages, CSMML 2021; Blockchain for Inter-Organizational Collaboration, BIOC 2021; The International Health Data Workshop, HEDA 2021.The 20 full and the 4 short workshop papers presented were carefully reviewed and selected from 61 submissions. The papers are organized according to the workshops: Workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETECT 2021; Symposium on Intelligent and Autonomous Systems, SIAS 2021; Worjshop on Control Software: Methods, Models, and Languages, CSMML 2021; Blockchain for Inter-Organizational Collaboration, BIOC 2021; The International Health Data Workshop, HEDA 2021.Table of ContentsmoDeling, vErification and Testing of dEpendable CriTical systems (DETECT).- Symposium on Intelligent and Autonomous Systems (SIAS).- Control Software : Methods, Models, and Languages (CSMML).- Blockchain for Inter-Organizational Collaboration (BIOC).- The International Health Data Workshop (HEDA).

    1 in stock

    £62.99

  • Information and Communications Security: 23rd International Conference, ICICS 2021, Chongqing, China, November 19-21, 2021, Proceedings, Part II

    Springer Nature Switzerland AG Information and Communications Security: 23rd International Conference, ICICS 2021, Chongqing, China, November 19-21, 2021, Proceedings, Part II

    15 in stock

    Book SynopsisThis two-volume set LNCS 12918 - 12919 constitutes the refereed proceedings of the 23nd International Conference on Information and Communications Security, ICICS 2021, held in Chongqing, China, in September 2021. The 49 revised full papers presented in the book were carefully selected from 182 submissions. The papers in Part II are organized in the following thematic blocks:​ machine learning security; multimedia security; security analysis; post-quantum cryptography; applied cryptography.Table of ContentsMachine Learning Security.- Multimedia Security.- Security Analysis.- Post-Quantum Cryptography.- Applied Cryptography.

    15 in stock

    £61.74

  • IoT for Sustainable Smart Cities and Society

    Springer Nature Switzerland AG IoT for Sustainable Smart Cities and Society

    3 in stock

    Book SynopsisThis book provides a sound theoretical base and an extensive practical expansion of smart sustainable cities and societies, while also examining case studies in the area to help readers understand IoT driven solutions in smart cities. The book covers fundamentals, applications, and challenges of IoT for sustainable smart cities and society. With a good understanding of IoT and smart cities, and the associated communication protocols, the book provides an insight into its applications in several areas of smart cities. Models, architectures, and algorithms are presented that provide additional solutions. The main challenges discussed that are associated with IoT involved include security, privacy, authenticity, etc. The book is relevant to researchers, academics, professionals, and students.Trade Review“IoT for sustainable smart cities and society joins a growing body of knowledge that provides fresh insights … . It consists of 14 chapters, with research and case studies on IoT and related technologies applied to the real-world problems. A preface provides a gentle introduction to each. … Readers interested in policy and planning for a country to move toward a human centered smart society, called society 5.0 in japan, should read … .” (Ernest Hughes, Computing Reviews, February 28, 2023)Table of Contents1. Role of Machine Learning and Deep Learning in Internet of Things Tarana singh, Arun Solanki, Sanjay Kumar Sharma 2. Understanding New Age of Intelligent Video Surveillance and Deeper Analysis on Deep Learning Techniques for Object Tracking Preeti Nagrath, Narina Thakur, Rachna Jain, Dharmender Saini, Nitika Sharma, Jude Hemanth 3. Tech to TakeCare: IoT based Smart Solution for Real Time Supervision Srishti Sharma, Virendra Pratap Singh 4. IoT in Healthcare – A 360 degree View Rishika Mehta, Kavita Khannaa, Jyoti Sahni5. Industrial IoT Applications Jyotsana Grover6. An Interactive Analysis Platform for Bus Movement: A Case Study of One of the World’s Largest Annual Gathering. Emad Felemban, Faizan Ur Rehman7. Vehicle Payload Monitoring System Nishant Yadav, Nishita yadav, Dr. Anjali Garg8. Implementation and Comparison of MQTT and CoAP Protocols for Smart Home Application in Node-RED Simran Kaur, Vandana Khanna 9. Comparative Study of Static and Hybrid Analysis using Machine Learning and Artificial Intelligence in Smart Cities Shagil Chaudhary, Ramesh Amgai, Shouvik Das Gupta, Nida Iftekhar, Sherin Zafar, Anil Kumar Mahto 10. Automated Weather Monitoring Station Based on IOT for Smart Cities Shaifali Madan, Mishti Gautam 11. Energy Harvesting for sustainability Paru. l Agarwal, M. Afshar Alam, Sheikh Mohammad Idrees, Ajay Vikram Singh, Joel J.P. C. Rodrigues 12. A Review of Machine Learning Models in Renewable Energy Anuj Gupta, Kapil Gupta, Sumit Saroha 13. Security and Privacy Issues in IoT enabled Smart Cities Aditya Sam Koshy, Nida Fatima, Parul Agarwal, Joel J.P. C. Rodrigues14. Efficacy of Bio-Absorbent Concept in Textile Effluent Treatment Technology Using Low-Cost Materials by implementing Banna bark and Orange Peel Arivoli. A, Agnello J. Naveen

    3 in stock

    £104.49

  • Constructive Side-Channel Analysis and Secure Design: 12th International Workshop, COSADE 2021, Lugano, Switzerland, October 25–27, 2021, Proceedings

    Springer Nature Switzerland AG Constructive Side-Channel Analysis and Secure Design: 12th International Workshop, COSADE 2021, Lugano, Switzerland, October 25–27, 2021, Proceedings

    15 in stock

    Book SynopsisThis book constitutes revised selected papers from the 11th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2021, held in Lugano, Switzerland, in October 2021.The 14 full papers carefully reviewed and selected from 31 submissions are presented in this volume together with the 4 extended keynote abstracts. The workshop covers the following subjects: cryptography, side-channel analysis, cryptographic implementations, fault attacks, implementation attacks, post-quantum cryptography, hardware accelerators, etc.

    15 in stock

    £61.74

  • The Practice of Enterprise Modeling: 14th IFIP WG 8.1 Working Conference, PoEM 2021, Riga, Latvia, November 24–26, 2021, Proceedings

    Springer Nature Switzerland AG The Practice of Enterprise Modeling: 14th IFIP WG 8.1 Working Conference, PoEM 2021, Riga, Latvia, November 24–26, 2021, Proceedings

    15 in stock

    Book SynopsisThis book constitutes the proceedings papers of the 14th IFIP Working Conference on the Practice of Enterprise Modeling, held in Riga, Latvia, during November 24-26, 2021. PoEM offers a forum for sharing experiences and knowledge between the academic community and practitioners from industry and the public sector. This year the theme of the conference is the use of enterprise modeling and enterprise architecture towards ensuring sustainability and resilience of enterprises and societies. The 14 full and 6 short papers presented in this volume were carefully reviewed and selected from a total of 47 submissions. They were organized in topical sections named: enterprise modeling and enterprise architecture; enterprise modeling methods and method engineering; business process modeling and management; requirements engineering for privacy, security and governance; and case studies and experiences.Table of ContentsEnterprise Modeling and Enterprise Architecture.- Enterprise Coherence with GEA – a 15 Year Co-evolution of Practice and Theory.- Machine Learning-Based Enterprise Modeling Assistance: Approach and Potentials.- The Models for Knowledge Acquisition in PMI Specific Requirements Engineering.- Using Knowledge Graphs to Detect Enterprise Architecture Smells.- “Mind the Gap!”: Learning Missing Constraints from Annotated Conceptual Model Simulations.- Detecting value capture processes using FEM.- OLIVE, a Model-Aware Microservice Framework.- Enterprise Modeling Methods and Method Engineering.- An Experience Report on the Implementation of the KYKLOS Modeling Method.- Validation and Verification in Domain-Specific Modeling Method Engineering.- A Foundation for Design, Analysis, and Management of Digital Business Ecosystem through Situational Method Engineering.- Business Process Modeling and Management.- Design Guidelines to Derive ane3valueBusinessModel from a BPMN process model in the Financial Securities Sector.- Context-Aware Process Modelling for Medicinal Product Development.- Process Model Repair Meets Theory Revision - Initial Ideas.- Upper-bounded Model Checking for Declarative Process Models.- Requirements Engineering for Privacy, Security and Governance.- On the Philosophical Foundations of Privacy: Five Theses.- A Cyber Security Digital Twin for Critical Infrastructure Protection: the Intelligent Transport System Use Case.- Expanding Data Governance Across Company Boundaries – An Inter-Organizational Perspective of Roles and Responsibilities.- Case Studies and Experiences.- Can SysML Be Used for Enterprise Modelling?.- A Collaborative Model for Connecting Product Design and Assembly Line Design: an Aeronautical Case.- Assignment of Actors to Activities at Process-oriented Applications: A Research Agenda.

    15 in stock

    £56.99

  • Computational Data and Social Networks: 10th International Conference, CSoNet 2021, Virtual Event, November 15–17, 2021, Proceedings

    Springer Nature Switzerland AG Computational Data and Social Networks: 10th International Conference, CSoNet 2021, Virtual Event, November 15–17, 2021, Proceedings

    15 in stock

    Book SynopsisThis book constitutes the refereed proceedings of the 10th International Conference on Computational Data and Social Networks, CSoNet 2021, which was held online during November 15-17, 2021. The conference was initially planned to take place in Montreal, Quebec, Canada, but changed to an online event due to the COVID-19 pandemic. The 24 full and 8 short papers included in this book were carefully reviewed and selected from 57 submissions. They were organized in topical sections as follows: Combinatorial optimization and learning; deep learning and applications to complex and social systems; measurements of insight from data; complex networks analytics; special track on fact-checking, fake news and malware detection in online social networks; and special track on information spread in social and data networks. Table of ContentsCombinatorial Optimization and Learning.- Streaming algorithms for maximizing non-submodular functions on the integer lattice.- Causal Inference for Influence Propagation --- Identifiability of the In-dependent Cascade Model.- Streaming algorithms for Budgeted $k$-Submodular Maximization problem.- Approximation algorithms for the lower bounded correlation clustering problem.- Approximation Algorithm for Maximizing Nonnegative Weakly Mono-tonic Set Functions.- Differentially Private Submodular Maximization over Integer Lattice.- Maximizing the sum of a supermodular function and a monotone DR-submodular function subject to a knapsack constraint on the integer lattice.- Deep Learning and Applications to Complex and Social Systems.- A Framework for Accelerating Graph Convolution Networks on Massive Datasets.- AdvEdge: Optimizing Adversarial Perturbations against Interpretable Deep Learning.- Incorporating Transformer Models for Sentiment Analysis and News Classification in Khmer.- Deep Bangla Authorship Attribution using Transformer Models.- A Deep Learning Based Traffic Sign Detection for Intelligent Transportation Systems.- Detecting Hate Speech Contents Using Embedding Models.- MIC Model for Cervical Cancer Risk Factors Deep Association Analysis.- Power Grid Cascading Failure Prediction Based on Transforme.- Measurements of Insight from Data.- Security Breaches in the Healthcare Domain: A Spatiotemporal Analysis.- Social and Motivational Factors for the Spread of Physical Activities in a Health Social Network.- Understanding the Issues Surrounding COVID-19 Vaccine Roll Out Via User Tweets.- Complex Networks Analytics.- Minimize Travel Time with Traffic Flow Density Equilibrium on Road Network.- Network based Framework to Compare Vaccination Strategies.- Groups Influence with Minimum Cost in Social Network.- Recovering communities in temporal networks using persistent edges.- Community Detection using Semilocal Topological Features and Label Propagation Algorithm.- Twitter Analysis of Covid-19 Misinformation in Spain.- Comparing Community-aware Centrality Measures in Online Social Networks.- Two-Tier Cache-Aided Full-Duplex Content Delivery in Satellite-Terrestrial Networks.- Special Track: Fact-Checking, Fake News and Malware Detection in Online Social Networks.- Mean User-Text Agglomeration (MUTA): Practical User Representation and Visualization for Detection of Online Influence Operations.- The Role of Information Organization and Knowledge Structuring in Combatting Misinformation: A Literary Analysis.- Fake News Detection using LDA Topic Modelling and K-Nearest Neighbor Classifier.- Special Track: Information Spread in Social and Data Networks.- Summarization Algorithms for News: a Study of the Coronavirus Theme and its Impact on the News Extracting Algorithm.- Social cohesion during stay-at-home phase during the first wave of COVID-19 in Poland.- Influence and Activation Thresholds Target Set Selection within Community Structure.

    15 in stock

    £61.74

  • Product-Focused Software Process Improvement: 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings

    Springer Nature Switzerland AG Product-Focused Software Process Improvement: 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings

    15 in stock

    Book SynopsisThis book constitutes the refereed proceedings of the 22nd International Conference on Product-Focused Software Process Improvement, PROFES 2021, held in Turin, Italy, in November 2021. Due to COVID-19 pandemic the conference was held as a hybrid event. The 20 revised papers, including 14 full papers, 3 short papers and 3 industry papers, presented were carefully reviewed and selected from 48 submissions. The papers cover a broad range of topics related to professional software development and process improvement driven by product and service quality needs. They are organized in the following topical sections: agile and migration, requirements, human factors, and software quality.Table of ContentsAgile and Migration.- Migration from Ionic to Android: Implications.- The migration journey towards microservices.- Migrating from a Centralized Data Warehouse to a Decentralized Data Platform Architecture.- How Do Agile Teams Manage Impediments?.- Keeping the momentum: Driving continuous improvement after the large-scale agile transformation.- Requirements.- How Do Practitioners Interpret Conditionals in Requirements?.- Situation- and Domain-specific Composition and Enactment of Business Model Development Methods.- Using a data-driven context model to support the elicitation of context-aware functionalities – a controlled experiment.- A Transformation Model for Excelling in Product Roadmapping in Dynamic and Uncertain Market Environments.- Introducing Traceability in GitHub for Medical Software Development.- Human Factors.- An Empirical Study on Personality Traits and Team Climate in a Smart-Working Development Context.- Searching for bellwether developers for cross-personalized defect prediction.- Using Machine Learning to Recognise Novice and Expert Developers.- Is knowledge the key? An experiment on debiasing architectural decision-making - a pilot study.-Communicating Cybersecurity Vulnerability Information: A Producer-Acquirer Case Study.- Software quality.- Analyzing SAFe Practices with respect to Quality Requirements: Findings from a Qualitative Study.- Capitalizing on Developer-Tester Communication – A Case Study.- Toward a Technical Debt Relationship with the Pivoting of Growth Phase Startups.- Towards a Common Testing Terminology for Software Engineering and Artificial Intelligence Experts.- Towards RegOps: A DevOps Pipeline for Medical Device Software.-

    15 in stock

    £52.24

© 2026 Book Curl

    • American Express
    • Apple Pay
    • Diners Club
    • Discover
    • Google Pay
    • Maestro
    • Mastercard
    • PayPal
    • Shop Pay
    • Union Pay
    • Visa

    Login

    Forgot your password?

    Don't have an account yet?
    Create account