Algorithms and data structures Books
Springer International Publishing AG Probabilistic Databases
Book SynopsisProbabilistic databases are databases where the value of some attributes or the presence of some records are uncertain and known only with some probability. Applications in many areas such as information extraction, RFID and scientific data management, data cleaning, data integration, and financial risk assessment produce large volumes of uncertain data, which are best modeled and processed by a probabilistic database. This book presents the state of the art in representation formalisms and query processing techniques for probabilistic data. It starts by discussing the basic principles for representing large probabilistic databases, by decomposing them into tuple-independent tables, block-independent-disjoint tables, or U-databases. Then it discusses two classes of techniques for query evaluation on probabilistic databases. In extensional query evaluation, the entire probabilistic inference can be pushed into the database engine and, therefore, processed as effectively as the evaluation of standard SQL queries. The relational queries that can be evaluated this way are called safe queries. In intensional query evaluation, the probabilistic inference is performed over a propositional formula called lineage expression: every relational query can be evaluated this way, but the data complexity dramatically depends on the query being evaluated, and can be #P-hard. The book also discusses some advanced topics in probabilistic data management such as top-k query processing, sequential probabilistic databases, indexing and materialized views, and Monte Carlo databases. Table of Contents: Overview / Data and Query Model / The Query Evaluation Problem / Extensional Query Evaluation / Intensional Query Evaluation / Advanced TechniquesTable of ContentsOverview.- Data and Query Model.- The Query Evaluation Problem.- Extensional Query Evaluation.- Intensional Query Evaluation.- Advanced Techniques.
£26.99
Springer International Publishing AG Methods for Mining and Summarizing Text Conversations
Book SynopsisDue to the Internet Revolution, human conversational data -- in written forms -- are accumulating at a phenomenal rate. At the same time, improvements in speech technology enable many spoken conversations to be transcribed. Individuals and organizations engage in email exchanges, face-to-face meetings, blogging, texting and other social media activities. The advances in natural language processing provide ample opportunities for these "informal documents" to be analyzed and mined, thus creating numerous new and valuable applications. This book presents a set of computational methods to extract information from conversational data, and to provide natural language summaries of the data. The book begins with an overview of basic concepts, such as the differences between extractive and abstractive summaries, and metrics for evaluating the effectiveness of summarization and various extraction tasks. It also describes some of the benchmark corpora used in the literature. The book introduces extraction and mining methods for performing subjectivity and sentiment detection, topic segmentation and modeling, and the extraction of conversational structure. It also describes frameworks for conducting dialogue act recognition, decision and action item detection, and extraction of thread structure. There is a specific focus on performing all these tasks on conversational data, such as meeting transcripts (which exemplify synchronous conversations) and emails (which exemplify asynchronous conversations). Very recent approaches to deal with blogs, discussion forums and microblogs (e.g., Twitter) are also discussed. The second half of this book focuses on natural language summarization of conversational data. It gives an overview of several extractive and abstractive summarizers developed for emails, meetings, blogs and forums. It also describes attempts for building multi-modal summarizers. Last but not least, the book concludes with thoughts on topics for further development. Table of Contents: Introduction / Background: Corpora and Evaluation Methods / Mining Text Conversations / Summarizing Text Conversations / Conclusions / Final ThoughtsTable of ContentsIntroduction.- Background: Corpora and Evaluation Methods.- Mining Text Conversations.- Summarizing Text Conversations.- Conclusions.- Final Thoughts.
£25.19
Springer International Publishing AG Fundamentals of Physical Design and Query Compilation
Book SynopsisQuery compilation is the problem of translating user requests formulated over purely conceptual and domain specific ways of understanding data, commonly called logical designs, to efficient executable programs called query plans. Such plans access various concrete data sources through their low-level often iterator-based interfaces. An appreciation of the concrete data sources, their interfaces and how such capabilities relate to logical design is commonly called a physical design. This book is an introduction to the fundamental methods underlying database technology that solves the problem of query compilation. The methods are presented in terms of first-order logic which serves as the vehicle for specifying physical design, expressing user requests and query plans, and understanding how query plans implement user requests. Table of Contents: Introduction / Logical Design and User Queries / Basic Physical Design and Query Plans / On Practical Physical Design / Query Compilation and Plan Synthesis / Updating DataTable of ContentsIntroduction.- Logical Design and User Queries.- Basic Physical Design and Query Plans.- On Practical Physical Design.- Query Compilation and Plan Synthesis.- Updating Data.
£25.19
Springer International Publishing AG Managing Event Information
Book SynopsisWith the proliferation of citizen reporting, smart mobile devices, and social media, an increasing number of people are beginning to generate information about events they observe and participate in. A significant fraction of this information contains multimedia data to share the experience with their audience. A systematic information modeling and management framework is necessary to capture this widely heterogeneous, schemaless, potentially humongous information produced by many different people. This book is an attempt to examine the modeling, storage, querying, and applications of such an event management system in a holistic manner. It uses a semantic-web style graph-based view of events, and shows how this event model, together with its query facility, can be used toward emerging applications like semi-automated storytelling. Table of Contents: Introduction / Event Data Models / Implementing an Event Data Model / Querying Events / Storytelling with Events / An Emerging Application / ConclusionTable of ContentsIntroduction.- Event Data Models.- Implementing an Event Data Model.- Querying Events.- Storytelling with Events.- An Emerging Application.- Conclusion.
£25.19
Springer International Publishing AG Database Repairing and Consistent Query Answering
Book SynopsisIntegrity constraints are semantic conditions that a database should satisfy in order to be an appropriate model of external reality. In practice, and for many reasons, a database may not satisfy those integrity constraints, and for that reason it is said to be inconsistent. However, and most likely, a large portion of the database is still semantically correct, in a sense that has to be made precise. After having provided a formal characterization of consistent data in an inconsistent database, the natural problem emerges of extracting that semantically correct data, as query answers. The consistent data in an inconsistent database is usually characterized as the data that persists across all the database instances that are consistent and minimally differ from the inconsistent instance. Those are the so-called repairs of the database. In particular, the consistent answers to a query posed to the inconsistent database are those answers that can be simultaneously obtained from all the database repairs. As expected, the notion of repair requires an adequate notion of distance that allows for the comparison of databases with respect to how much they differ from the inconsistent instance. On this basis, the minimality condition on repairs can be properly formulated. In this monograph we present and discuss these fundamental concepts, different repair semantics, algorithms for computing consistent answers to queries, and also complexity-theoretic results related to the computation of repairs and doing consistent query answering. Table of Contents: Introduction / The Notions of Repair and Consistent Answer / Tractable CQA and Query Rewriting / Logically Specifying Repairs / Decision Problems in CQA: Complexity and Algorithms / Repairs and Data CleaningTable of ContentsIntroduction.- The Notions of Repair and Consistent Answer.- Tractable CQA and Query Rewriting.- Logically Specifying Repairs.- Decision Problems in CQA: Complexity and Algorithms.- Repairs and Data Cleaning.
£25.19
Springer International Publishing AG Spatial Data Management
Book SynopsisSpatial database management deals with the storage, indexing, and querying of data with spatial features, such as location and geometric extent. Many applications require the efficient management of spatial data, including Geographic Information Systems, Computer Aided Design, and Location Based Services. The goal of this book is to provide the reader with an overview of spatial data management technology, with an emphasis on indexing and search techniques. It first introduces spatial data models and queries and discusses the main issues of extending a database system to support spatial data. It presents indexing approaches for spatial data, with a focus on the R-tree. Query evaluation and optimization techniques for the most popular spatial query types (selections, nearest neighbor search, and spatial joins) are portrayed for data in Euclidean spaces and spatial networks. The book concludes by demonstrating the ample application of spatial data management technology on a wide range of related application domains: management of spatio-temporal data and high-dimensional feature vectors, multi-criteria ranking, data mining and OLAP, privacy-preserving data publishing, and spatial keyword search. Table of Contents: Introduction / Spatial Data / Indexing / Spatial Query Evaluation / Spatial Networks / Applications of Spatial Data Management TechnologyTable of ContentsIntroduction.- Spatial Data.- Indexing.- Spatial Query Evaluation.- Spatial Networks.- Applications of Spatial Data Management Technology.
£26.99
Springer International Publishing AG Declarative Networking
Book SynopsisDeclarative Networking is a programming methodology that enables developers to concisely specify network protocols and services, which are directly compiled to a dataflow framework that executes the specifications. Declarative networking proposes the use of a declarative query language for specifying and implementing network protocols, and employs a dataflow framework at runtime for communication and maintenance of network state. The primary goal of declarative networking is to greatly simplify the process of specifying, implementing, deploying and evolving a network design. In addition, declarative networking serves as an important step towards an extensible, evolvable network architecture that can support flexible, secure and efficient deployment of new network protocols. This book provides an introduction to basic issues in declarative networking, including language design, optimization and dataflow execution. The methodology behind declarative programming of networks is presented, including roots in Datalog, extensions for networked environments, and the semantics of long-running queries over network state. The book focuses on a representative declarative networking language called Network Datalog (NDlog), which is based on extensions to the Datalog recursive query language. An overview of declarative network protocols written in NDlog is provided, and its usage is illustrated using examples from routing protocols and overlay networks. This book also describes the implementation of a declarative networking engine and NDlog execution strategies that provide eventual consistency semantics with significant flexibility in execution. Two representative declarative networking systems (P2 and its successor RapidNet) are presented. Finally, the book highlights recent advances in declarative networking, and new declarative approaches to related problems. Table of Contents: Introduction / Declarative Networking Language / Declarative Networking Overview / Distributed Recursive Query Processing / Declarative Routing / Declarative Overlays / Optimization of NDlog / Recent Advances in Declarative Networking / ConclusionTable of ContentsIntroduction.- Declarative Networking Language.- Declarative Networking Overview.- Distributed Recursive Query Processing.- Declarative Routing.- Declarative Overlays.- Optimization of NDlog.- Recent Advances in Declarative Networking.- Conclusion.
£25.19
Springer International Publishing AG Query Answer Authentication
Book SynopsisIn data publishing, the owner delegates the role of satisfying user queries to a third-party publisher. As the servers of the publisher may be untrusted or susceptible to attacks, we cannot assume that they would always process queries correctly, hence there is a need for users to authenticate their query answers. This book introduces various notions that the research community has studied for defining the correctness of a query answer. In particular, it is important to guarantee the completeness, authenticity and minimality of the answer, as well as its freshness. We present authentication mechanisms for a wide variety of queries in the context of relational and spatial databases, text retrieval, and data streams. We also explain the cryptographic protocols from which the authentication mechanisms derive their security properties. Table of Contents: Introduction / Cryptography Foundation / Relational Queries / Spatial Queries / Text Search Queries / Data Streams / ConclusionTable of ContentsIntroduction.- Cryptography Foundation.- Relational Queries.- Spatial Queries.- Text Search Queries.- Data Streams.- Conclusion.
£26.59
Springer International Publishing AG P2P Techniques for Decentralized Applications
Book SynopsisAs an alternative to traditional client-server systems, Peer-to-Peer (P2P) systems provide major advantages in terms of scalability, autonomy and dynamic behavior of peers, and decentralization of control. Thus, they are well suited for large-scale data sharing in distributed environments. Most of the existing P2P approaches for data sharing rely on either structured networks (e.g., DHTs) for efficient indexing, or unstructured networks for ease of deployment, or some combination. However, these approaches have some limitations, such as lack of freedom for data placement in DHTs, and high latency and high network traffic in unstructured networks. To address these limitations, gossip protocols which are easy to deploy and scale well, can be exploited. In this book, we will give an overview of these different P2P techniques and architectures, discuss their trade-offs, and illustrate their use for decentralizing several large-scale data sharing applications. Table of Contents: P2P Overlays, Query Routing, and Gossiping / Content Distribution in P2P Systems / Recommendation Systems / Top-k Query Processing in P2P SystemsTable of ContentsP2P Overlays, Query Routing, and Gossiping.- Content Distribution in P2P Systems.- Recommendation Systems.- Top-k Query Processing in P2P Systems.
£25.19
Springer International Publishing AG Deep Web Query Interface Understanding and Integration
Book SynopsisThere are millions of searchable data sources on the Web and to a large extent their contents can only be reached through their own query interfaces. There is an enormous interest in making the data in these sources easily accessible. There are primarily two general approaches to achieve this objective. The first is to surface the contents of these sources from the deep Web and add the contents to the index of regular search engines. The second is to integrate the searching capabilities of these sources and support integrated access to them. In this book, we introduce the state-of-the-art techniques for extracting, understanding, and integrating the query interfaces of deep Web data sources. These techniques are critical for producing an integrated query interface for each domain. The interface serves as the mediator for searching all data sources in the concerned domain. While query interface integration is only relevant for the deep Web integration approach, the extraction and understanding of query interfaces are critical for both deep Web exploration approaches. This book aims to provide in-depth and comprehensive coverage of the key technologies needed to create high quality integrated query interfaces automatically. The following technical issues are discussed in detail in this book: query interface modeling, query interface extraction, query interface clustering, query interface matching, query interface attribute integration, and query interface integration. Table of Contents: Introduction / Query Interface Representation and Extraction / Query Interface Clustering and Categorization / Query Interface Matching / Query Interface Attribute Integration / Query Interface Integration / Summary and Future ResearchTable of ContentsIntroduction.- Query Interface Representation and Extraction.- Query Interface Clustering and Categorization.- Query Interface Matching.- Query Interface Attribute Integration.- Query Interface Integration.- Summary and Future Research.
£26.99
Springer International Publishing AG Business Processes
Book SynopsisWhile classic data management focuses on the data itself, research on Business Processes also considers the context in which this data is generated and manipulated, namely the processes, users, and goals that this data serves. This provides the analysts a better perspective of the organizational needs centered around the data. As such, this research is of fundamental importance. Much of the success of database systems in the last decade is due to the beauty and elegance of the relational model and its declarative query languages, combined with a rich spectrum of underlying evaluation and optimization techniques, and efficient implementations. Much like the case for traditional database research, elegant modeling and rich underlying technology are likely to be highly beneficiary for the Business Process owners and their users; both can benefit from easy formulation and analysis of the processes. While there have been many important advances in this research in recent years, there is still much to be desired: specifically, there have been many works that focus on the processes behavior (flow), and many that focus on its data, but only very few works have dealt with both the state-of-the-art in a database approach to Business Process modeling and analysis, the progress towards a holistic flow-and-data framework for these tasks, and highlight the current gaps and research directions. Table of Contents: Introduction / Modeling / Querying Business Processes / Other Issues / ConclusionTable of ContentsIntroduction.- Modeling.- Querying Business Processes.- Other Issues.- Conclusion.
£25.19
Springer International Publishing AG Foundations of Data Quality Management
Book SynopsisData quality is one of the most important problems in data management. A database system typically aims to support the creation, maintenance, and use of large amount of data, focusing on the quantity of data. However, real-life data are often dirty: inconsistent, duplicated, inaccurate, incomplete, or stale. Dirty data in a database routinely generate misleading or biased analytical results and decisions, and lead to loss of revenues, credibility and customers. With this comes the need for data quality management. In contrast to traditional data management tasks, data quality management enables the detection and correction of errors in the data, syntactic or semantic, in order to improve the quality of the data and hence, add value to business processes. While data quality has been a longstanding problem for decades, the prevalent use of the Web has increased the risks, on an unprecedented scale, of creating and propagating dirty data. This monograph gives an overview of fundamental issues underlying central aspects of data quality, namely, data consistency, data deduplication, data accuracy, data currency, and information completeness. We promote a uniform logical framework for dealing with these issues, based on data quality rules. The text is organized into seven chapters, focusing on relational data. Chapter One introduces data quality issues. A conditional dependency theory is developed in Chapter Two, for capturing data inconsistencies. It is followed by practical techniques in Chapter 2b for discovering conditional dependencies, and for detecting inconsistencies and repairing data based on conditional dependencies. Matching dependencies are introduced in Chapter Three, as matching rules for data deduplication. A theory of relative information completeness is studied in Chapter Four, revising the classical Closed World Assumption and the Open World Assumption, to characterize incomplete information in the real world. A data currency model is presented in Chapter Five, to identify the current values of entities in a database and to answer queries with the current values, in the absence of reliable timestamps. Finally, interactions between these data quality issues are explored in Chapter Six. Important theoretical results and practical algorithms are covered, but formal proofs are omitted. The bibliographical notes contain pointers to papers in which the results were presented and proven, as well as references to materials for further reading. This text is intended for a seminar course at the graduate level. It is also to serve as a useful resource for researchers and practitioners who are interested in the study of data quality. The fundamental research on data quality draws on several areas, including mathematical logic, computational complexity and database theory. It has raised as many questions as it has answered, and is a rich source of questions and vitality. Table of Contents: Data Quality: An Overview / Conditional Dependencies / Cleaning Data with Conditional Dependencies / Data Deduplication / Information Completeness / Data Currency / Interactions between Data Quality IssuesTable of ContentsData Quality: An Overview.- Conditional Dependencies.- Cleaning Data with Conditional Dependencies.- Data Deduplication.- Information Completeness.- Data Currency.- Interactions between Data Quality Issues.
£25.19
Springer International Publishing AG Incomplete Data and Data Dependencies in Relational Databases
Book SynopsisThe chase has long been used as a central tool to analyze dependencies and their effect on queries. It has been applied to different relevant problems in database theory such as query optimization, query containment and equivalence, dependency implication, and database schema design. Recent years have seen a renewed interest in the chase as an important tool in several database applications, such as data exchange and integration, query answering in incomplete data, and many others. It is well known that the chase algorithm might be non-terminating and thus, in order for it to find practical applicability, it is crucial to identify cases where its termination is guaranteed. Another important aspect to consider when dealing with the chase is that it can introduce null values into the database, thereby leading to incomplete data. Thus, in several scenarios where the chase is used the problem of dealing with data dependencies and incomplete data arises. This book discusses fundamental issues concerning data dependencies and incomplete data with a particular focus on the chase and its applications in different database areas. We report recent results about the crucial issue of identifying conditions that guarantee the chase termination. Different database applications where the chase is a central tool are discussed with particular attention devoted to query answering in the presence of data dependencies and database schema design. Table of Contents: Introduction / Relational Databases / Incomplete Databases / The Chase Algorithm / Chase Termination / Data Dependencies and Normal Forms / Universal Repairs / Chase and Database ApplicationsTable of ContentsIntroduction.- Relational Databases.- Incomplete Databases.- The Chase Algorithm.- Chase Termination.- Data Dependencies and Normal Forms.- Universal Repairs.- Chase and Database Applications.
£31.49
Springer International Publishing AG Semantics Empowered Web 3.0
Book SynopsisAfter the traditional document-centric Web 1.0 and user-generated content focused Web 2.0, Web 3.0 has become a repository of an ever growing variety of Web resources that include data and services associated with enterprises, social networks, sensors, cloud, as well as mobile and other devices that constitute the Internet of Things. These pose unprecedented challenges in terms of heterogeneity (variety), scale (volume), and continuous changes (velocity), as well as present corresponding opportunities if they can be exploited. Just as semantics has played a critical role in dealing with data heterogeneity in the past to provide interoperability and integration, it is playing an even more critical role in dealing with the challenges and helping users and applications exploit all forms of Web 3.0 data. This book presents a unified approach to harness and exploit all forms of contemporary Web resources using the core principles of ability to associate meaning with data through conceptual or domain models and semantic descriptions including annotations, and through advanced semantic techniques for search, integration, and analysis. It discusses the use of Semantic Web standards and techniques when appropriate, but also advocates the use of lighter weight, easier to use, and more scalable options when they are more suitable. The authors' extensive experience spanning research and prototypes to development of operational applications and commercial technologies and products guide the treatment of the material. Table of Contents: Role of Semantics and Metadata / Types and Models of Semantics / Annotation -- Adding Semantics to Data / Semantics for Enterprise Data / Semantics for Services / Semantics for Sensor Data / Semantics for Social Data / Semantics for Cloud Computing / Semantics for Advanced ApplicationsTable of ContentsRole of Semantics and Metadata.- Types and Models of Semantics.- Annotation -- Adding Semantics to Data.- Semantics for Enterprise Data.- Semantics for Services.- Semantics for Sensor Data.- Semantics for Social Data.- Semantics for Cloud Computing.- Semantics for Advanced Applications.
£26.59
Springer International Publishing AG Data Management in the Cloud
Book SynopsisCloud computing has emerged as a successful paradigm of service-oriented computing and has revolutionized the way computing infrastructure is used. This success has seen a proliferation in the number of applications that are being deployed in various cloud platforms. There has also been an increase in the scale of the data generated as well as consumed by such applications. Scalable database management systems form a critical part of the cloud infrastructure. The attempt to address the challenges posed by the management of big data has led to a plethora of systems. This book aims to clarify some of the important concepts in the design space of scalable data management in cloud computing infrastructures. Some of the questions that this book aims to answer are: the appropriate systems for a specific set of application requirements, the research challenges in data management for the cloud, and what is novel in the cloud for database researchers? We also aim to address one basic question: whether cloud computing poses new challenges in scalable data management or it is just a reincarnation of old problems? We provide a comprehensive background study of state-of-the-art systems for scalable data management and analysis. We also identify important aspects in the design of different systems and the applicability and scope of these systems. A thorough understanding of current solutions and a precise characterization of the design space are essential for clearing the "cloudy skies of data management" and ensuring the success of DBMSs in the cloud, thus emulating the success enjoyed by relational databases in traditional enterprise settings. Table of Contents: Introduction / Distributed Data Management / Cloud Data Management: Early Trends / Transactions on Co-located Data / Transactions on Distributed Data / Multi-tenant Database Systems / Concluding RemarksTable of ContentsIntroduction.- Distributed Data Management.- Cloud Data Management: Early Trends.- Transactions on Co-located Data.- Transactions on Distributed Data.- Multi-tenant Database Systems.- Concluding Remarks.
£25.19
Springer International Publishing AG Interactive GPU-based Visualization of Large Dynamic Particle Data
Book SynopsisPrevalent types of data in scientific visualization are volumetric data, vector field data, and particle-based data. Particle data typically originates from measurements and simulations in various fields, such as life sciences or physics. The particles are often visualized directly, that is, by simple representants like spheres. Interactive rendering facilitates the exploration and visual analysis of the data. With increasing data set sizes in terms of particle numbers, interactive high-quality visualization is a challenging task. This is especially true for dynamic data or abstract representations that are based on the raw particle data. This book covers direct particle visualization using simple glyphs as well as abstractions that are application-driven such as clustering and aggregation. It targets visualization researchers and developers who are interested in visualization techniques for large, dynamic particle-based data. Its explanations focus on GPU-accelerated algorithms for high-performance rendering and data processing that run in real-time on modern desktop hardware. Consequently, the implementation of said algorithms and the required data structures to make use of the capabilities of modern graphics APIs are discussed in detail. Furthermore, it covers GPU-accelerated methods for the generation of application-dependent abstract representations. This includes various representations commonly used in application areas such as structural biology, systems biology, thermodynamics, and astrophysics.Table of ContentsAcknowledgments.- Figure Credits.- Introduction.- History.- GPU-based Glyph Ray Casting.- Acceleration Strategies.- Data Structures.- Efficient Nearest Neighbor Search on the GPU.- Improved Visual Quality.- Application-driven Abstractions.- Summary and Outlook.- Bibliography.- Authors' Biographies.
£26.99
Springer International Publishing AG Recent Advances in Computational Optimization:
Book SynopsisThis book presents recent advances in computational optimization. The book includes important real problems like modeling of physical processes, parameter settings for controlling different processes, transportation problems, machine scheduling, air pollution modeling, solving multiple integrals and systems of differential and integral equations which describe real processes, solving engineering and financial problems.It shows how to develop algorithms for them based on new intelligent methods like evolutionary computations, ant colony optimization, constrain programming Monte Carlo method and others. This research demonstrates how some real-world problems arising in engineering, economics and other domains can be formulated as optimization problems.Table of ContentsLearning to Optimize.- Optimal seating assignment in the COVID-19 era via Quantum Computing.- Hybrid Ant Colony Optimization Algorithms – Behaviour Investigation Based on Intuitionistic Fuzzy Logic.- Scheduling algorithms for single machine problem with release and delivery times.- Key Performance Indicators to Improve e-Mail Service Quality through ITIL Framework.- Contemporary Bioprocesses Control Algorithms for Educational Purposes.- Monitoring a Fleet of Autonomous Vehicles through A* like Algorithms and Reinforcement Learning.- Rather "good in, good out" than "garbage in, garbage out": A comparison of various discrete subsampling algorithms using COVID-19 data without a response variable.
£116.99
Springer International Publishing AG Artificial Intelligence in Medicine: 20th
Book SynopsisThis book constitutes the refereed proceedings of the 20th International Conference on Artificial Intelligence in Medicine, AIME 2022, held in Halifax, NS, Canada, in June 2022. The 39 full papers presented together with 7 short papers were selected from 113 submissions. The papers are grouped in topical sections on knowledge-based system; machine learning; medical image processing; predictive modeling; natural language processing.Table of ContentsKnowledge-Based Systems Explainable Decision Support Using Task Network Models in Notation.- Computerizing Lipid Management Clinical Guidelines as Interactive Task Networks.- Towards an AI planning-based pipeline for the management of multimorbid patients.- A Knowledge Graph Completion Method Applied to Literature-Based Discovery for Predicting Missing Links Targeting Cancer Drug Repurposing.- Ontological Representation of Causal Relations for a Deep Understanding of Associations between Variables in Epidemiology.- Explainable Clinical Decision Support: Towards Patient-Facing Explanations for Education and Long-term Behavior Change.- Machine Learning Assessing Knee Biomechanical Osteoarthritis Severity and Biomechanical Changes After Total Knee Arthroplasty Using Self-Organizing Maps.- NeuralSympCheck: A Symptom Checking and Disease Diagnostic Neural Model with Extracting Surrogate Decision Trees from Black-box Models to Explain the Temporal Importance of Clinical Features in Predicting Kidney Graft Survival.- Recurrence and Self-Attention vs the Transformer for Time-Series Classification: A Comparative Study.- Integrating Graph Convolutional Neural Networks and Long Short-Term Memory for Efficient Diagnosis of Autism.- Hierarchical Deep Multi-task learning for Classification of Patient Diagnoses.- TTS-GAN: A Transformer-based Time-Series Generative Adversarial Network.- Predicting Next Kidney Offer for Transplant Candidate Declining Current One.- Wrist Ultrasound Segmentation by Deep Learning.- Early Detection and Classification of Patient-Ventilator Asynchrony using Machine Learning.- On graph construction for classification of clinical trials protocols using Graph Neural Networks.- Medical Image Processing Malignant Mesothelioma Subtyping of Tissue Images via Sampling Driven Multiple Instance Prediction.- Calibrating Histopathology Image Classifiers using Label Smoothing.- InvUNET: Involuted UNET for Breast Tumor Segmentation from Ultrasound.- MRI reconstruction with LassoNet and compressed sensing.- Predictive Modeling A 3-window-based framework for the discovery of predictive functional dependencies from clinical data.- When can I expect the mHealth user to return? Prediction meets time series with gaps.- A novel survival analysis approach to predict the need for intubation in intensive care units.- Awareness of being tested and its effect on reading behaviour.- Natural Language Processing Generating extremely short summaries from the scientific literature to support decisions in primary healthcare: a human evaluation study.- A Russian Medical Language Understanding Benchmark.- Biomedical Semantic Textual Similarity: Evaluation of Sentence Representations Enhanced With Principal Component Reduction and Word Frequency Weighting.
£107.99
Springer International Publishing AG Graph Transformation: 15th International
Book SynopsisThis book constitutes the refereed proceedings of the 15th International Conference on Graph Transformation, ICGT 2022, which took place Nantes, France in July 2022.The 10 full papers and 1 tool paper presented in this book were carefully reviewed and selected from 19 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of graph transformation as well as tool presentation papers that demonstrate main new features and functionalities of graph-based tools.Table of ContentsTheoretical Advances.- Application Domains.- Tool Presentation.
£44.99
Springer International Publishing AG The Semantic Web: ESWC 2022 Satellite Events: Hersonissos, Crete, Greece, May 29 – June 2, 2022, Proceedings
Book SynopsisThis book constitutes the proceedings of the satellite events held at the 19th Extended Semantic Web Conference, ESWC 2022, during May—June in Hersonissos, Greece, 2022. The included satellite events are: the poster and demo session; the PhD symposium; industry track; project networking; workshops and tutorials. During ESWC 2022, the following ten workshops took place:10th Linked Data in Architecture and Construction Workshop (LDAC 2022); 5th International Workshop on Geospatial Linked Data (GeoLD 2022); 5th Workshop on Semantic Web solutions for large-scale biomedical data analytics (SeMWeBMeDA 2022); 7th Natural Language Interfaces for the Web of Data (NLIWOD+QALD 2022); International Workshop on Knowledge Graph Generation from Text (Text2KG 2022); 3rd International Workshop on Deep Learning meets Ontologies and Natural Language Processing (DeepOntoNLP 2022); 1st Workshop on Modular Knowledge (ModularK 2022); Third International Workshop On Knowledge Graph Construction (KGCW 2022); Third International Workshop On Semantic Digital Twins (SeDIT 2022); and the 1st International Workshop on Semantic Industrial Information Modelling (SemIIM 2022). Table of Contents Summary of Workshops and Tutorials at European Semantic Web Conference 2022.- Posters and Demos.- Towards UML-style Visual Queries over Wikidata.- Using the ODRL Profile for Access Control for Solid Pod Resource Governance.- Relation Canonicalization in Open Knowledge Graphs: A Quantitative Analysis.- Harmonizing and Using Numismatic Linked Data in Digital Humanities Research and Application Development: Case DigiNUMA.- Extending AgreementMakerLight to Perform Holistic Ontology Matching.- It’s all in the Name: Entity Typing using Multilingual Language Models.- The Supervised Semantic Similarity Toolkit.- Tab2Onto: Unsupervised Semantification with Knowledge Graph Embeddings.- DataSpecer: A Model-Driven Approach to Managing Data Specifications.- Towards Query Processing over Heterogeneous Federations of RDF Data sources.- SAND: A Tool for Creating Semantic Descriptions of Tabular Sources.- BLAST: Block Applications for Things.- Leibniz Data Manager – A Research Data Management System.- Towards Knowledge Graph-Agnostic SPARQL Query Validation for Improving Question Answering.- Towards Generalized Welding Ontology in line with ISO and Knowledge Graph Construction.- O’FAIRe: Ontology FAIRness Evaluator in the AgroPortal semantic resource repository.- domOS Common Ontology: Web of Things Discovery in Smart Buildings.- WeaKG-MF: a Knowledge Graph of Observational Weather Data.- DAGOBAH UI: A New Hope For Semantic Table Interpretation.- KartoGraphI: Drawing a Map of Linked Data.- WikidataComplete – An easy-to-use method for rapid validation of text-extracted new facts applied to the Wikidata knowledge graph.- Query-based Industrial Analytics over Knowledge Graphs with Ontology Reshaping.- Semantic Video Entity Linking.- Walk this Way! Entity Walks and Property Walks for RDF2vec.- Self-Verifying Web Resource Representations using Solid, RDF-star and Signed URIs.- From OWL to Graphol: importing ontologies into Eddy the editor.- Audio Ontologies for Intangible Cultural Heritage.- Ontology Matching Through Absolute Orientation of Embedding Spaces.- Semantic modeling and reconstruction of drones’ Trajectories.- How to Search and Contextualize Scenes inside Videos for Enriched Watching Experience: Case Stories of the Second World War Veterans.- PhD Symposium.- (Semi-) Automatic construction of knowledge graph Metadata.- Towards a Similarity Algorithm for Controlled Vocabularies within the Digital Humanities.- Causal Domain Adaptation for Information Extraction from Complex Conversations.- Knowledge Graph Population with Out-of-KG Entities.- Dynamic Knowledge Graph Embeddings via Local Embedding Reconstructions.- Leveraging Standards in Model-Centric Geospatial Knowledge Graph Creation.- Building Narrative Structures from Knowledge Graphs.- Using Referential Language Games for Task-oriented Ontology Alignment.- Balancing RDF generation from heterogeneous data sources.- Geological Information Capture with Sketches and Ontologies.- Industry.- The Data Value Quest: A Holistic Semantic Approach at Bosch.- Extracting Subontologies from SNOMED CT.- “Semantify” business and content to meet demands for expert solutions in professional markets.- Enhancing Knowledge Graph Generation with Ontology Reshaping – Bosch Case.- Semantic Data Integration for Monitoring Operators’ Ergonomics in an Automotive Manufacturing Setting.- Semantic Description of Equipment and its Controls in Building Automation Systems.
£58.49
Springer International Publishing AG Diagrammatic Representation and Inference: 13th
Book SynopsisThis book constitutes the refereed proceedings of the 13th International Conference on the Theory and Application of Diagrams, Diagrams 2022, held in Rome, Italy, in September 2022. The 11 full papers and 19 short papers presented together with 5 posters were carefully reviewed and selected from 58 submissions. 8 chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
£44.99
Springer International Publishing AG Big Data and Public Policy: Course, Content and
Book SynopsisThis book provides a comprehensive overview of how the course, content and outcome of policy making is affected by big data. It scrutinises the notion that big and open data makes policymaking a more rational process, in which policy makers are able to predict, assess and evaluate societal problems. It also examines how policy makers deal with big data, the problems and limitations they face, and how big data shapes policymaking on the ground. The book considers big data from various perspectives, not just the political, but also the technological, legal, institutional and ethical dimensions. The potential of big data use in the public sector is also assessed, as well as the risks and dangers this might pose. Through several extended case studies, it demonstrates the dynamics of big data and public policy. Offering a holistic approach to the study of big data, this book will appeal to students and scholars of public policy, public administration and data science, as well as those interested in governance and politics. Trade Review“Big data and public policy: course, content, and outcome … is an excellent book for those who are involved in policy-making processes and looking to learn how big data and public policy are strengthened together. The book is well structured and easy to follow, with plenty of case studies to help readers understand the concepts and put them into practice. … big data in public policy has the potential to improve decision-making, increase efficiency, and promote better outcomes for citizens.” (Mihailescu Marius Iulian, Computing Reviews, May 25, 2023)Table of ContentsChapter 1: Introduction Chapter 2: Big Data Chapter 3: Public Policymaking Chapter 4: Big Data and Public Policymaking Chapter 5: Research Strategy Chapter 6: DARE in Rotterdam Chapter 7: Food Security in Denmark Chapter 8: Noise Pollution in Dublin Chapter 9: Analysis Chapter 10: Discussion
£104.49
Springer International Publishing AG Algorithmic Aspects in Information and
Book SynopsisThis book constitutes the proceedings of the 16th International Conference on Algorithmic Aspects in Information and Management, AAIM 2022, which was held online during August 13-14, 2022. The conference was originally planned to take place in Guangzhou, China, but changed to a virtual event due to the COVID-19 pandemic.The 41 regular papers included in this book were carefully reviewed and selected from 59 submissions. Table of ContentsAn improvement of the bound on the odd chromatic number of 1-planar graphs.- AoI Minimizing of Wireless Rechargeable Sensor Network based on Trajectory Optimization of Laser-Charged UAV.- Monotone k-Submodular Knapsack Maximization: An Analysis of the Greedy+Singleton Algorithm.- The constrained parallel-machine scheduling problem with divisible processing times and penalties.- Energy-constrained Geometric Covering Problem.- Fast searching on $k$-combinable graphs.- Three Algorithms for Converting Control Flow Statements from Python to XD-M.- Class Ramsey numbers involving induced graphs.- An Approximation Algorithm for the Clustered Path Travelling Salesman Problem.- Hyperspectral Image Reconstruction for SD-CASSI systems based on Residual Attention Network.- Improved Approximation Algorithm for the Asymmetric Prize-Collecting TSP.- Injective edge coloring of power graphs and necklaces.- Guarantees for Maximization of $k$-Submodular Functions with a Knapsack and a Matroid Constraint.- Incremental SDN Deployment to Achieve Load Balance in ISP Networks.- Approximation scheme for single-machine rescheduling with job delay and rejection.- Defense of Scapegoating Attack in Network Tomography.- A Binary Search Double Greedy Algorithm for Non-monotone DR-submodular Maximization.- Streaming Adaptive Submodular Maximization.- Constrained Stochastic Submodular Maximization with State-Dependent Costs.- Online early work maximization problem on two hierarchical machines with buffer or rearrangements.- Polynomial time algorithm for k-vertex-edge dominating problem in interval graphs.- Adaptive Competition-based Diversified-profit Maximization with Online Seed Allocation.- Collaborative Service Caching in Mobile Edge Nodes.- A Decentralized Auction Framework with Privacy Protection in Mobile Crowdsourcing.- On-line single machine scheduling with release dates and submodular rejection penalties.- Obnoxious Facility Location Games with Candidate Locations.- Profit Maximization for Multiple Products in Community-based Social Networks.- MCM: A Robust Map Matching Method by Tracking Multiple Road Candidates.- Security on Ethereum: Ponzi Scheme Detection in Smart Contract.- Cyclically orderable generalized Petersen graphs.- The r-dynamic chromatic number of planar graphs without special short cycles.- Distance Labeling of the Halved Folded $n$-Cube.- Signed network embedding based on muti-attention mechanism.- Balanced Graph Partitioning based on Mixed 0-1 Linear Programming and Iteration Vertex Relocation Algorithm.- Partial inverse min-max spanning tree problem under the weighted bottleneck Hamming distance.- Mixed Metric Dimension of Some Plane Graphs.- The Optimal Dynamic Rationing Policy in the Stock-Rationing Queue.- Pilot Pattern Design with Branch and Bound in PSA-OFDM System.- Bicriteria Algorithms for Maximizing the Difference Between Submodular Function and Linear Function under Noise.- On the Transversal Number of k-Uniform Connected Hypergraphs.- Total coloring of planar graphs without some adjacent cycles.
£40.49
Springer International Publishing AG Business Process Management: 20th International
Book SynopsisThis book constitutes the refereed proceedings of the 20th International Conference on Business Process Management, BPM 2022, which took place in Münster, Germany, in September 2022. The 22 papers included in this book were carefully reviewed and selected from 98 submissions. They were organized in topical sections as follows: task mining; design methods; process mining; process mining practice; analytics; and systems. The book also includes one keynote talk in full-paper length and 5 tutorial papers. Table of ContentsKeynote.- Advancing Business Process Science via the Co-Evolution of Substantive and Methodological Knowledge.- Tutorials.- BPM in Digital Transformation: New Tools and Productivity Challenges.- Multi-Dimensional Process Analysis.- Theory and Practice - What, With What and How Is Business Process Management Taught at German Universities.-How to Leverage Process Mining in Organizations - Towards Process Mining Capabilities.- Mastering Robotic Process Automation with Process Mining.- Task Mining.- A Reference Data Model for Process-Related User Interaction Logs.- Analysing Variable Human Actions for Robotic Process Automation.- The SWORD is Mightier than the Interview: A Framework for Semi-automatic WORkaround Detection.- Design Methods.- Back to the Roots – Investigating the Theoretical Foundations of Business Process Maturity Models.- Applying Process Mining in Small and Medium sized IT Enterprises – Challenges and Guidelines.- A Process Mining Success Factors Model.- Process Mining.- No Time to Dice: Learning Execution Contexts from Event Logs for Resource-Oriented Process Mining.- A Purpose-Guided Log Generation Framework.- Conformance Checking with Uncertainty via SMT.- Process Mining Practice.- The Dark Side of Process Mining. How Identifiable Are Users Despite Technologically Anonymized Data? A Case Study From the Health Sector.- Analyzing How Process Mining Reports Answer Time Performance Questions.- Process Mining of Knowledge-Intensive Processes: An Action Design Research Study in Manufacturing.- Process Mining Practices: Evidence from Interviews.- Analytics.- Measuring Inconsistency in Declarative Process Specifications.- Understanding and Decomposing Control-Flow Loops in Business Process Models.- Reasoning on Labelled Petri Nets and their Dynamics in a Stochastic Setting.- Incentive Alignment through Secure Computations.- Business Process Simulation with Differentiated Resources: Does it Make a Difference.- Uncovering Object-centric Data in Classical Event Logs for the Automated Transformation from XES to OCEL.- Systems.- Why Companies Use RPA: A Critical Reflection of Goals.- A trustworthy decentralized change propagation mechanism for declarative choreographies.- Architecture of decentralized Process Management Systems.
£53.99
Springer International Publishing AG Machine Learning Algorithms: Adversarial
Book SynopsisThis book demonstrates the optimal adversarial attacks against several important signal processing algorithms. Through presenting the optimal attacks in wireless sensor networks, array signal processing, principal component analysis, etc, the authors reveal the robustness of the signal processing algorithms against adversarial attacks. Since data quality is crucial in signal processing, the adversary that can poison the data will be a significant threat to signal processing. Therefore, it is necessary and urgent to investigate the behavior of machine learning algorithms in signal processing under adversarial attacks. The authors in this book mainly examine the adversarial robustness of three commonly used machine learning algorithms in signal processing respectively: linear regression, LASSO-based feature selection, and principal component analysis (PCA). As to linear regression, the authors derive the optimal poisoning data sample and the optimal feature modifications, and also demonstrate the effectiveness of the attack against a wireless distributed learning system. The authors further extend the linear regression to LASSO-based feature selection and study the best strategy to mislead the learning system to select the wrong features. The authors find the optimal attack strategy by solving a bi-level optimization problem and also illustrate how this attack influences array signal processing and weather data analysis. In the end, the authors consider the adversarial robustness of the subspace learning problem. The authors examine the optimal modification strategy under the energy constraints to delude the PCA-based subspace learning algorithm. This book targets researchers working in machine learning, electronic information, and information theory as well as advanced-level students studying these subjects. R&D engineers who are working in machine learning, adversarial machine learning, robust machine learning, and technical consultants working on the security and robustness of machine learning are likely to purchase this book as a reference guide.Table of ContentsChapter. 1. IntroductionChapter. 2. Optimal Feature Manipulation Attacks Against Linear RegressionChapter. 3. On the Adversarial Robustness of LASSO Based Feature SelectionChapter. 4. On the Adversarial Robustness of Subspace LearningChapter. 5. Summary and ExtensionsChapter. 6. Appendix
£98.99
Springer International Publishing AG Handbook of Computational Social Science for
Book SynopsisThis open access handbook describes foundational issues, methodological approaches and examples on how to analyse and model data using Computational Social Science (CSS) for policy support. Up to now, CSS studies have mostly developed on a small, proof-of concept, scale that prevented from unleashing its potential to provide systematic impact to the policy cycle, as well as from improving the understanding of societal problems to the definition, assessment, evaluation, and monitoring of policies. The aim of this handbook is to fill this gap by exploring ways to analyse and model data for policy support, and to advocate the adoption of CSS solutions for policy by raising awareness of existing implementations of CSS in policy-relevant fields. To this end, the book explores applications of computational methods and approaches like big data, machine learning, statistical learning, sentiment analysis, text mining, systems modelling, and network analysis to different problems in the social sciences. The book is structured into three Parts: the first chapters on foundational issues open with an exposition and description of key policymaking areas where CSS can provide insights and information. In detail, the chapters cover public policy, governance, data justice and other ethical issues. Part two consists of chapters on methodological aspects dealing with issues such as the modelling of complexity, natural language processing, validity and lack of data, and innovation in official statistics. Finally, Part three describes the application of computational methods, challenges and opportunities in various social science areas, including economics, sociology, demography, migration, climate change, epidemiology, geography, and disaster management. The target audience of the book spans from the scientific community engaged in CSS research to policymakers interested in evidence-informed policy interventions, but also includes private companies holding data that can be used to study social sciences and are interested in achieving a policy impact. Table of Contents- Part I Foundational Issues. - 1. Computational Social Science for Public Policy. - 2. Computational Social Science for the Public Good: Towards a Taxonomy of Governance and Policy Challenges. - 3. Data Justice, Computational Social Science and Policy. - 4. The Ethics of Computational Social Science. - Part II Methodological Aspects. - 5. Modelling Complexity with Unconventional Data: Foundational Issues in Computational Social Science. - 6. From Lack of Data to Data Unlocking. - 7. Natural Language Processing for Policymaking. - 8. Describing Human Behaviour Through Computational Social Science. - 9. Data and Modelling for the Territorial Impact Assessment (TIA) of Policies. - 10. Challenges and Opportunities of Computational Social Science for Official Statistics. - Part III Applications. - 11. Agriculture, Food and Nutrition Security: Concept, Datasets and Opportunities for Computational Social Science Applications. - 12. Big Data and Computational Social Science for Economic Analysis and Policy. - 13. Changing Job Skills in a Changing World. - 14. Computational Climate Change: How Data Science and Numerical Models Can Help Build Good Climate Policies and Practices. - 15. Digital Epidemiology. - 16. Learning Analytics in Education for the Twenty-First Century. - 17. Leveraging Digital and Computational Demography for Policy Insights. - 18. New Migration Data: Challenges and Opportunities. - 19. New Data and Computational Methods Opportunities to Enhance the Knowledge Base of Tourism. - 20. Computational Social Science for Policy and Quality of Democracy: Public Opinion, Hate Speech, Misinformation, and Foreign Influence Campaigns. - 21. Social Interactions, Resilience, and Access to Economic Opportunity: A Research Agenda for the Field of Computational Social Science. - 22. Social Media Contribution to the Crisis Management Processes: Towards a More Accurate Response Integrating Citizen-Generated Content and Citizen-Led Activities. - 23. The Empirical Study of Human Mobility: Potentials and Pitfalls of Using Traditional and Digital Data. - 24. Towards a More Sustainable Mobility.
£31.49
Springer International Publishing AG Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings
Book SynopsisThis book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods.
£49.49
Springer International Publishing AG Design and Applications of Nature Inspired
Book SynopsisThis book gives a detailed information of various real-life applications from various fields using nature inspired optimization techniques. These techniques are proven to be efficient and robust in many difficult problems in literature. The authors provide detailed information about real-life problems and how various nature inspired optimizations are applied to solve these problems. The authors discuss techniques such as Biogeography Based Optimization, Glow Swarm Optimization, Elephant herd Optimization Algorithm, Cuckoo Search Algorithm, Ant Colony Optimization, and Grey Wolf Optimization etc. These algorithms are applied to a wide range of problems from the field of engineering, finance, medicinal etc. As an important part of the Women in Science and Engineering book series, the work highlights the contribution of women leaders in nature inspired optimization, inspiring women and men, girls and boys to enter and apply themselves to the field.Table of Contents1) AN OVERVIEW OF SWARM INTELLIGENCE BASED ALGORITHMS2) Particle Swarm Optimization and its Applications in the Manufacturing Industry3) Role of Machine Learning in Bioprocess Engineering: Current Perspectives and Future Directions 4) Advanced Selection Operation for Differential Evolution Algorithm 5) Profit Optimization of Two-Unit Briquetting System using grey wolf Optimization algorithm 6) Solving Portfolio optimization using Sine-cosine Algorithm embedded mutation operations7) Detecting Group Shilling Profiles in Recommender Systems: A Hybrid Clustering and Grey Wolf Optimizer Technique8) SINGLE IMAGE REFLECTION REMOVAL USING DEEP LEARNING 9) Social media analysis: A tool for popularity prediction using machine learning classifiers
£89.99
Springer International Publishing AG Guide to Computer Processor Architecture: A
Book SynopsisThis unique, accessible textbook presents a succession of implementations of the open-source RISC-V processor. Implementations are offered in increasing difficulty (non-pipelined, pipelined, deeply pipelined, multi-threaded, multicore).Each implementation is shown as a High-Level Synthesis (HLS) code in C++. This facilitates synthesis and testing on an FPGA-based development board (Such a board can be freely obtained from the Xilinx University Program targeting university professors).The book can be useful for several reasons. First, it is a novel way to introduce computer architecture: The codes given can serve as labs for a processor architecture course. Second, the book content is based on the RISC-V Instruction Set Architecture, which is an open-source machine language promising to become the main machine language to be taught, replacing DLX and MIPS. Third, all the designs are implemented through the HLS tool, which is able to translate a C program into an intellectual property (IP). Lastly, HLS will become the new standard for IP implementations, replacing Verilog/VHDL; already there are job positions tied to HLS, with the argument of rapid IP development.Hence, in addition to offering undergraduates a firm introduction, the textbook/guide can also serve engineers willing to implement processors on FPGA, as well as researchers willing to develop RISC-V based hardware simulators.Bernard Goossens is Professor in the Faculty of Sciences at the Université de Perpignan, France. He is author of the French-language book from Springer, Architecture et microarchitecture des processeurs, 2002.Table of ContentsPart I. Single core processors.- 1. Getting Ready.- 2. Building a RISC-V Processor.- 3. Building a Pipelined RISC-V Processor.- 4. Building a RISC-V Processor with a Multi-cycle Pipeline.- 5. Building a RISC-V Processor with a Multiple Hart Pipeline.- Part II. Multiple core processors.- 6. Connecting IPs.- 7. A Multi-core RISC-V Processor.- 8. A Multi-core RISC-V Processor with Multi-hart Cores.
£42.80
Springer International Publishing AG Advances in Practical Applications of Agents,
Book SynopsisThis book constitutes the proceedings of the 20th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2022, held in L'Aquila, Italy in July 2022.The 37 full papers in this book were reviewed and selected from 67 submissions. Another 10 demonstrations papers were selected from 11 submissions are presented here as short papers. The papers deal with the application and validation of agent-based models, methods, and technologies in a number of key applications areas, including: advanced models and learning, agent-based programming, decision-making, education and social interactions, formal and theoretic models, health and safety, mobility and the city, swarms and task allocation.
£40.49
Springer International Publishing AG String Processing and Information Retrieval: 29th International Symposium, SPIRE 2022, Concepción, Chile, November 8–10, 2022, Proceedings
Book SynopsisThis book constitutes the refereed proceedings of the 29th International Symposium on String Processing and Information Retrieval, SPIRE 2022, held in Concepción, Chile, in November 2022.The 23 full papers presented in this volume were carefully reviewed and selected from 43 submissions. They cover topics such as: data structures; algorithms; information retrieval; compression; combinatorics on words; and computational biology.Table of ContentsString Algorithms.- Subsequence Covers of Words.- Maximal Closed Substrings.- Online Algorithms for Finding Distinct Substrings with Length and Multiple Prefix and Suffx Conditions.- The Complexity of the Co-Occurrence Problem.- Reconstructing Parameterized Strings from Parameterized Suffx and LCP Arrays.- Computing the Parameterized Burrows–Wheeler Transform Online.- Accessing the Suffx Array via ϕ−1 –Forest.- On the Optimisation of the GSACA Suffx Array Construction Algorithm.- String Compression.- Balancing Run-Length Straight-Line Programs.- Substring Complexities on Run-length Compressed Strings.- Information Retrieval.- How Train–Test Leakage Affects Zero-shot Retrieval.- Computational Biology.- Genome Comparison on Succinct Colored de Bruijn Graphs.- Sorting Genomes by Prefix Double-Cut-and-Joins.- KATKA: A KRAKEN-like Tool with k Given at Query Time.- Computing all-vs-all MEMs in Run-Length-Encoded Collections of HiFi Reads.- Space-Effcient Data Structures.- Internal Masked Prefix Sums and Its Connection to Fully Internal Measurement Queries.- Compressed String Dictionaries via Data-Aware Subtrie Compaction.- On representing the Degree Sequences of Sublogarithmic-Degree Wheeler Graphs.- Engineering Compact Data Structures for Rank and Select Queries on Bit Vectors.- Pattern Matching in Strings, Graphs, and Trees.- Matching Patterns with Variables Under Edit Distance.- On the Hardness of Computing the Edit Distance of Shallow Trees.- Quantum Time Complexity and Algorithms for Pattern Matching on Labeled Graphs.- Pattern Matching under DTW Distance.
£53.99
Springer International Publishing AG Algorithms for Big Data: DFG Priority Program 1736
Book SynopsisThis open access book surveys the progress in addressing selected challenges related to the growth of big data in combination with increasingly complicated hardware. It emerged from a research program established by the German Research Foundation (DFG) as priority program SPP 1736 on Algorithmics for Big Data where researchers from theoretical computer science worked together with application experts in order to tackle problems in domains such as networking, genomics research, and information retrieval. Such domains are unthinkable without substantial hardware and software support, and these systems acquire, process, exchange, and store data at an exponential rate. The chapters of this volume summarize the results of projects realized within the program and survey-related work.This is an open access book.Table of ContentsAlgorithms for Large and Complex Networks Algorithms for Large-scale Network Analysis and the NetworKit Toolkit.- Generating Synthetic Graph Data from Random Network Models.- Sampling Efficiency for the Link Assessment Problem.- A Custom Hardware Architecture for the Link Assessment Problem.- Graph-based Methods for Rational Drug Design.- Recent Advances in Practical Data Reduction.- Skeleton-based Clustering by Quasi-Threshold Editing.- The Space Complexity of Undirected Graph Exploration.- Algorithms for Big Data and their Applications Scalable Cryptography.- Distributed Data Streams.- Energy-Efficient Scheduling.- The GENO Software Stack.- Laue Algorithms for Big Data Problems in de Novo Genome Assembly.- Scalable Text Index Construction. Big Data, Scalability, Algorithms, Applications, Graphs, Networks, Parallelism, Distributed, Memory Hierarchy, Algorithm Engineering, Network Analysis, Random Graphs, Graph Clustering, Data Streams, Cryptography, Energy Efficiency, Text Indices.
£31.49
Springer International Publishing AG Measuring Ontologies for Value Enhancement: Aligning Computing Productivity with Human Creativity for Societal Adaptation: First International Workshop, MOVE 2020, Virtual Event, October 17–18, 2020, Revised Selected Papers
Book SynopsisThis book constitures selected and revised papers presented at the First International Workshop on Measuring Ontologies for Value Enhancement, MOVE 2020, held as Virtual Event in October 2020. The 7 extended and revised papers presented were thoroughly reviewed and selected from the 13 submissions. Along with them, the volume presents 5 invited papers. The volume articles are arranged in the topical sections on complexity of knowledge-intensive endeavors; ontology modeling; enterprise ontologies; knowledge discovery and innovations. Table of ContentsComplexity of Knowledge-Intensive Endeavors.- Ontology Modeling.- Enterprise Ontologies.- Knowledge Discovery and Innovations.
£56.99
Springer International Publishing AG Arithmetic of Finite Fields: 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 – September 2, 2022, Revised Selected Papers
Book SynopsisThis book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on the Arithmetic of Finite Field, WAIFI 2022, held in Chengdu, China, in August – September 2022.The 19 revised full papers and 3 invited talks presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections: structures in finite fields; efficient finite field arithmetic; coding theory; cryptography; sequences.Table of ContentsStructures in Finite Fields.- On a conjecture on irreducible polynomials over finite fields with restricted coefficients.- On two applications of polynomials xk – cx – d over finite fields and more.- Efficient Finite Field Arithmetic.- Polynomial Constructions of Chudnovsky-Type Algorithms for Multiplication in Finite Fields with Linear Bilinear Complexity.- Reduction-free Multiplication for Finite Fields and Polynomial Rings.- Finite Field Arithmetic in Large Characteristic for Classical and Post-Quantum Cryptography.- Fast enumeration of superspecial hyperelliptic curves of genus 4 with automorphism group V4.- Coding theory.- Two Classes of Constacyclic Codes with Variable Parameters.- Near MDS Codes with Dimension 4 and Their Application in Locally Recoverable Codes.- Optimal possibly nonlinear 3-PIR codes of small size.- PIR codes from combinatorial structures.- The Projective General Linear Group PGL(2, 5m) and Linear Codes of Length 5m + 1.- Private Information Retrieval Schemes Using Cyclic Codes.- Two Classes of Optimal Few-Weight Codes over Fq + uFq.- Explicit Non-Malleable Codes from Bipartite Graphs.- Cryptography.- Algebraic Relation of Three MinRank Algebraic Modelings.- Decomposition of Dillon's APN permutation with efficient hardware implementation.- New Versions of Miller-loop Secured against Side-Channel Attacks.- A Class of Power Mappings with Low Boomerang Uniformity.- New Classes of Bent Functions via the Switching Method.- Sequences.- Correlation measure of binary sequence families with trace representation.- Linear complexity of generalized cyclotomic sequences with period pnqm.- On the 2-adic complexity of cyclotomic binary sequences with period p2 and 2p2.
£56.99
Springer International Publishing AG Computational Data and Social Networks: 11th International Conference, CSoNet 2022, Virtual Event, December 5–7, 2022, Proceedings
Book SynopsisThis book constitutes the refereed proceedings of the 11th International Conference on Computational Data and Social Networks, CSoNet 2022, held as a Virtual Event, during December 5–7, 2022. The 17 full papers and 7 short papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Machine Learning and Prediction, Security and Blockchain, Fact-checking, Fake News, and Hate Speech, Network Analysis, Optimization.Table of ContentsMachine Learning and Prediction.- Incorporating Neighborhood Information and Sentence Embedding Similarity into a Repost Prediction Model in Social Media Networks.- Driving factors of polarization on Twitter during protests against COVID19 mitigation measures in Vienna.- Categorizing Memes about the Ukraine Conflict.- Analyzing Scientometric Indicators of Journals and Chief Editors: A Case Study in Articial Intelligence (AI) Domain.- Link Prediction of Complex Networks based on Local Path and Closeness Centrality.- The influence of color on prices of abstract paintings.- ELA: A Time-Series Forecasting Model for LinerShipping Based on EMD-LSTM and Attention.- Knowledge transfer via word alignment and its application to Vietnamese POS tagging.- A group clustering recommendation approach based on energy distance.- Security and Blockchain.- An Implementation and Evaluation of Layer 2 for Ethereum with zkRollup.- Targeted Attack of the Air Transportation Network Global Component.- Measuring Cryptocurrency Mining in Public Cloud Services: A Security Perspective.- Do Content Management Systems Impact the Security of Free Content Websites?.- Fact-checking, Fake News, and Hate Speech.- BNnetXtreme: An enhanced methodology for Bangla fake news detection online.- Heuristic Gradient Optimization Approach to Controlling Susceptibility to Manipulation in Online Social Networks.- Identifying Targeted and Generalized Offensive Speech from Anti-Asian Social Media Conversations.- US News and Social Media Framing around Vaping.- Network Analysis.- Social Network Analysis of the Caste-Based Reservation System in India.- Structure, stability, persistence and entropy of stock networks during financial crises.- A Community Detection Algorithm using Random Walk.- Learning Heuristics for the Maximum Clique Enumeration Problem Using Low Dimensional Representations.- Optimization.- Competitive influence maximisation with nonlinear allocations.- Frank Wolfe Algorithm for Nonmonotone One-sided Smooth Function Maximization Problem.- Non-monotone $k$-submodular function maximization with individual size constraints.- A Heuristic Algorithm for Student-Project Allocation Problem.- Online File Caching on Multiple Caches in Latency-Sensitive Systems.
£47.49
Springer International Publishing AG Modelling and Development of Intelligent Systems: 8th International Conference, MDIS 2022, Sibiu, Romania, October 28–30, 2022, Revised Selected Papers
Book SynopsisThis book constitutes the refereed proceedings of the 8th International Conference on Modelling and Development of Intelligent Systems, MDIS 2022, held in Sibiu, Romania, during October 28–30, 2022.The 21 papers included in this book were carefully reviewed and selected from 48 submissions. They were organized in the following topical sections as follows: intelligent systems for decision support; machine learning; mathematical models for development of intelligent systems; and modelling and optimization of dynamic systems.Table of ContentsIntelligent Systems for Decision Support.- Effective LSTM Neural Network with Adam Optimizer for Improving Frost Prediction in Agriculture Data Stream.- Gaze Tracking: A Survey of Devices, Libraries and Applications.- Group Decision-Making Involving Competence of Experts in Relation to Evaluation Criteria: Case Study for e-Commerce Platform Selection.- Transparency and Traceability for AI-based Defect Detection in PCB Production.- Tasks Management Using Modern Devices.- Machine Learning.- A Method for Target Localization by Multistatic Radars.- Intrusion Detection by XGBoost Model Tuned by Improved Social Network Search Algorithm.- Bridging the Resource Gap in Cross-lingual Embedding Space.- Classification of Microstructure Images of Metals using Transfer Learning.- Generating Jigsaw Puzzles and an AI Powered Solver.- Morphology of Convolutional Neural Network with Diagonalized Pooling.- Challenges and Opportunities in Deep Learning Driven Fashion Design and Textiles Patterns Development.- Feature Selection and Extreme Learning Machine Tuning by Hybrid Sand Cat Optimization Algorithm for Diabetes Classification.- Enriching SQL-Driven Data Exploration With Different Machine Learning Models.- Mathematical Models for Development of Intelligent Systems.- Analytical Solution of the Simplest Entropiece Inversion Problem.- Latent Semantic Structure in Malicious Programs.- Innovative Lattice Sequences Based on Component by Component Construction Method for Multidimensional Sensitivity Analysis.- On an Optimization of the Lattice Sequence for the Multidimensional Integrals Connected with Bayesian Statistics.- Modelling and Optimization of Dynamic Systems.- Numerical Optimization Identification of a Keller-Segel Model for Thermoregulation in Honey Bee Colonies in Winter.- Gradient Optimization in Reconstruction of the Diffusion Coefficient in a Time Fractional Integro-Differential Equation of Pollution in Porous Media.- Flash Flood Simulation Between Slănic and Vărbilău Rivers in Vărbilău Village, Prahova County, Romania, Using Hydraulic Modeling and GIS Techniques.
£58.49
Springer International Publishing AG New Frontiers in Artificial Intelligence:
Book SynopsisThis book constitutes extended, revised, and selected papers from the JSAI annual conference, JSAI 2022, and the 14th International Symposium on Artificial Intelligence, JSAI-isAI 2022, held in Kyoto, Japan, in June 2022. The 18 full papers were carefully selected from 67 submissions and presented during the two events: 16th International Workshop on Juris-informatics, JURISIN 2022, and JSAI 2022 Intenational Session. This papers present discussion on fundamental and practical issues in Juris-informatics among researchers from various backgrounds such as law, social science, information and intelligent technology, logic, and philosophy, including the conventional AI and Law area. Table of ContentsJURISIN 2022.- Differential-aware Transformer for Partially Amended Sentence Translation.- On Complexity and Generality of Contrary Prioritized Defeasible Theory.- Mapping Similar Provisions between Japanese and Foreign Laws.- COLIEE 2022 Summary: Methods for Legal Document Retrieval and Entailment.- JNLP team: Deep Learning Approaches for Tackling Long and Ambiguous Legal Documents in COLIEE 2022.- Semantic-based Classification of Relevant Case Law.- nigam@COLIEE-22: Legal Case Retrieval and Entailment using Cascading of Lexical and Semantic-based models.- HUKB at the COLIEE 2022 Statute Law Task.- Using Textbook Knowledge for Statute Retrieval and Entailment Classification.- Legal Textual Entailment using Ensemble of Rule-based and BERT-based method with Data Augmentation by Related Article Generation.- Less is Better: Constructing Legal Question Answering System by Weighing Longest Common Subsequence of Disjunctive Union Text.- JSAI 2022 International Session.- Proposal for Turning Point Detection Method using Financial Text and Transformer.- Product Portfolio Optimization for LTV Maximization.- An Examination of Eating Experiences in Relation to Psychological States, Loneliness, and Depression Using BERT.- Objective Detection of High-risk Tackle in Rugby by Combination of Pose Estimation and Machine Learning.- Incremental informational value of floorplans for rent price prediction - Applications of modern computer vision techniques in real-estate.- Transaction Prediction by Using Graph Neural Network and Textual Industry Information.- Overfitting Problem in the Approximate Bayesian Computation Method Based on Maxima Weighted Isolation Kernel.
£47.49
Springer International Publishing AG Internet of Things, Smart Spaces, and Next
Book SynopsisThis book constitutes the joint refereed proceedings of the 22nd International Conference on Internet of Things, Smart Spaces, and Next Generation Networks and Systems, NEW2AN 2022, held in Tashkent, Uzbekistan, in December 2022.The 58 regular papers presented in this volume were carefully reviewed and selected from 282 submissions. The papers of NEW2AN address various aspects of next-generation data networks, while special attention is given to advanced wireless networking and applications. In particular, the authors have demonstrated novel and innovative approaches to performance and efficiency analysis of 5G and beyond systems, employed game-theoretical formulations, advanced queuing theory, and machine learning. It is also worth mentioning the rich coverage of the Internet of Things, optics, signal processing, as well as digital economy and business aspects.Table of ContentsTangential shear stress in an oscillatory flow of a viscoelastic fluid in a flat channel.- Comparison of Finite Difference Schemes of Different Orders of Accuracy for the Burgers Wave Equation Problem.- Numerical solution of the combustion process using the computer package ANSYS fluent.- Simulation Modeling of Reliability of Packet Switching Unit.- Analytical Model for Assessing the Reliability of the Functioning of the Adaptive Switching Node.- Artificial intelligence software architecture in the field of cardiology and application in the cardio vessel project using CJM and customer development methods.- Using discretization and numerical methods of problem 1d-3d-1d model for blood vessel walls with Navier-Stokes.- Numerical simulation of a flow in a two-dimensional channel on the basis of a two-liquid turbulence model.- Application fuzzy neural network methods to detect cryptoattacks on financial information systems based on blockchain technology.- Method authentication of objects information communication systems.- TEDCTSSA: Trust Enabled Data Collection Technique based Sparrow Search Algorithm for WSN-based Applications.- ISTOA: An improved Sooty Tern Optimization Algorithm for multilevel threshold image segmentation.- Implementing digital transformation in the logistics system of Uzbekistan.- Numerical modeling of vertical axis wind turbines using ANSYS FLUENT software.- "i’ll wait 4 ur answr!” A Study on Modern Style of Cyber-Writing and User Reactions.- Improvement of information support in intelligent information energy systems.- The Assessment of the Effectiveness of the Development of Digital Technologies in Commercial Banks in Uzbekistan.- The Study of the Impact of the Digital Economy on the Growth of E-Government Services in Uzbekistan.- Deep learning algorithm for classifying dilated cardiomyopathy and hypertrophy cardiomyopathy in transport workers.- eCommerce benchmarking: theoretical background, variety of types, and application of competitive-integration benchmarking.- Cryptocurrencies as the money of the future.- A Data Security Technique Combining Asymmetric Cryptography and Compressive Sensing for IoT Enabled Wireless Sensor Networks.- Energy Efficient and Secure Scheme based Compressive Sensing method for Internet of Vehicles.- Impact of digital technologies on women’s employment.- The impact of digitalisation on the safe development of individuals in society.- Econometric Evaluation of the Efficiency of the Management of theEnterprise through the Supply of Raw Materials in Oil Enterprises in the Conditions of the Digital Economy.- The impact of digital infrastructure, foreign direct investment and trade openness on economic growth: In the case of Uzbekistan.- The impact of the financial ratios on the financial performance. A caseof Chevron Corporation (CVX).- The impact of the digitalisation of payment systems on the profitabilityof commercial banks.- The main aspects and benefits of digital transformation of business entities.- The influence of the capital structure of state enterprises on the profitability of the enterprise.- Exploring the development of China’s digital trade in the context of the domestic and international double cycle.- A systematic mapping study of using the cutting-edge technologies in marketing: the state of the art of four key new-age technologies.- Social Media Marketing for Educational Purposes: Goals, Objectivesand Content of the Training Course.- Digital Marketing and Smart Technology Marketing Systems as thefuture of metaverse.- The impact of the digital economy on the development of higher education.- What is the state-of-the-art contribution of the higher education system to the digital economy: a systematic mapping study on changes and challenges.- Innovating primary education of promoting students’ languagecompetencies through mobile assisted language learning approach: Selection framework of innovative digital technologies.- Econometric assessment of the dynamics of development of the export authority of small business and private business subjects in the conditions of the digital economy.- The significance of the Internet of Things for ensuring the smooth operation of network functions in fintech.- Impact of E-government on Poverty Rate: a Cross- Country Empirical Assessment.- An empirical investigation of the relationship between e-government development and multidimensional poverty.- On Digital Twin Software and Cyber Threats.- On local services based on non-standard Wi-Fi Direct usage model.- Compatibility analysis between 5G NR and ultra-wideband devices in the 6425-7125 MHz frequency band.- 6 GHz band sharing study for FWA base stations and GEO satellite receivers.- Federated Learning Strategies Over Wireless Channels.- Data Routing in UAV Networks with Multiple Data Sources using Steiner Tree.- Reduced complexity distributed arithmetic architecture for FIR filters.- Blockchain-driven Hybrid Model for IoT Authentication.- An Heuristic Approach for Mapping of Service Function Chains in Softwarized 5G Networks.- Multi-threshold hysteresis-Based Congestion Control for UAV-based Detection Sensor Network.- Analysis of the capacity gain of Probability Shaping QAM.- LoRa Mesh Network for Image Transmission: An Experimental Study.- Blockchain Technology – Innovation for Better Collaboration and Increased Efficieny. The U.S. Logistics and Trucking Industry Case.- Econometric Study of the Impact of the Digital Economy on the Gross Product in Anti-monopoly Conditions.- Predictive models for effective management of e- commerce in New Uzbekistan.- The role of IT on transportation, logistics and the economic growth among Central Asian countries.
£75.99
Springer International Publishing AG Algorithms and Complexity: 13th International
Book SynopsisThis book constitutes the refereed proceedings of the 13th International Conference on Algorithms and Complexity, CIAC 2023, which took place in Larnaca, Cyprus, during June 13–16, 2023. The 25 full papers included in this book were carefully reviewed and selected from 49 submissions. They cover all important areas of research on algorithms and complexity such as algorithm design and analysis; sequential, parallel and distributed algorithms; data structures; computational and structural complexity; lower bounds and limitations of algorithms; randomized and approximation algorithms; parameterized algorithms and parameterized complexity classes; smoothed analysis of algorithms; alternatives to the worst-case analysis of algorithms (e.g., algorithms with predictions), on-line computation and competitive analysis, streaming algorithms, quantum algorithms and complexity, algorithms in algebra, geometry, number theory and combinatorics, computational geometry, algorithmic game theory and mechanism design, algorithmic economics (including auctions and contests), computational learning theory, computational biology and bioinformatics, algorithmic issues in communication networks, algorithms for discrete optimization (including convex optimization) and algorithm engineering.Table of ContentsUnifying Gathering Strategies for Swarms of Mobile Robots.- The Complexity of Secure RAMs.- Selected Combinatorial Problems Through the Prism of Random Intersection Graphs Models.- The power of the Binary Value Principle.- Independent Set under a Change Constraint from an Initial Solution.- Asynchronous Fully-Decentralized SGD in the Cluster-Based Model.- Non-Crossing Shortest Paths Lengths in Planar Graphs in Linear Time.- How Vulnerable is an Undirected Planar Graph with respect to Max Flow.- Maximum Flows in Parametric Graph Templates.- Dynamic Coloring on Restricted Graph Classes.- Enumeration of Minimal Tropical Connected Sets.- Dynamic Flows with Time-Dependent Capacities.- On One-Sided Testing Affine Subspaces.- Stable Scheduling in Transactional Memory.- Parameterizing Path Partitions.- Maintaining Triconnected Components under Node Expansion.- Approximating Power Node-Deletion Problems.- Phase transition in count approximation by Count-Min sketch with conservative updates.- Minimum-link ´ $C$-Oriented Paths Visiting a Sequence of Regions in the Plane.- Grouped Domination Parameterized by Vertex Cover, Twin Cover, and Beyond.- Broadcasting in Split Graphs.- Partitioning Subclasses of Chordal Graphs with Few Deletions.- Complete Decomposition of Symmetric Tensors in Linear Time and Polylogarithmic Precision.- Improved Deterministic Leader Election in Diameter-Two Networks.- Fast Cauchy Sum Algorithms for Polynomial Zeros and Matrix Eigenvalues.- On the Parameterized Complexity of the Structure of Lineal Topologies (Depth-First Spanning Trees) of Finite Graphs: The Number of Leaves.- Efficiently Enumerating All Spanning Trees of a Plane 3-Tree.- Communication-Efficient Distributed Graph Clustering and Sparsification under Duplication Models.
£56.99
Springer International Publishing AG Tools and Algorithms for the Construction and
Book SynopsisThis open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.Table of ContentsTool Demos.- EVA: a Tool for the Compositional Verification of AUTOSAR Models.- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification.- Multiparty Session Typing in Java, Deductively.- PyLTA: A Verification Tool for Parameterized Distributed Algorithms.- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format.- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit.- Combinatorial Optimization/Theorem Proving.- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization.- Verified reductions for optimization.- Specifying and Verifying Higher-order Rust Iterators.- Extending a High-Performance Prover to Higher-Order Logic.- Tools (Regular Papers).- The WhyRel Prototype for Relational Verification of Pointer Programs.- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter.- CoPTIC: Constraint Programming Translated Into C.- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability.- Synthesis.- Computing Adequately Permissive Assumptions for Synthesis.- Verification-guided Programmatic Controller Synthesis.- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications.- Lockstep Composition for Unbalanced Loops.- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification.- LTL Reactive Synthesis with a Few Hints.- Timed Automata Verification and Synthesis via Finite Automata Learning.- Graphs/Probabilistic Systems.- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition.- Transforming quantified Boolean formulas using biclique covers.- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration.- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants.- Runtime Monitoring/Program Analysis.- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote.- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis.- Explainable Online Monitoring of Metric Temporal Logic.- 12th Competition on Software Verification — SV-COMP 2023.- Competition on Software Verification and Witness Validation: SV-COMP 2023.- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution).- 2LS: Arrays and Loop Unwinding (Competition Contribution).- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution).- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution).- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution).- Java Ranger: Supporting String and Array Operations (Competition Contribution).- Korn–Software Verification with Horn Clauses (Competition Contribution).- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution).- PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution).- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution).- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution).- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution).- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution).
£31.49
Springer International Publishing AG Tools and Algorithms for the Construction and
Book SynopsisThis open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France.The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems. Table of ContentsInvited Talk.-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.- Model Checking.- Bounded Model Checking for Asynchronous Hyperproperties.- Model Checking Linear Dynamical Systems under Floating-point Rounding.- Efficient Loop Conditions for Bounded Model Checking Hyperproperties.- Reconciling Preemption Bounding with DPOR.- Optimal Stateless Model Checking for Causal Consistency.- Symbolic Model Checking for TLA+ Made Faster.- AutoHyper: Explicit-State Model Checking for HyperLTL.- Machine Learning/Neural Networks.- Feature Necessity & Relevancy in ML Classifier Explanations.- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks.- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks.- Neural Network-Guided Synthesis of Recursive List Functions.- Automata.- Modular Mix-and-Match Complementation of Buechi automata.- Validating Streaming JSON Documents With Learned VPAs.- Antichains Algorithms for the Inclusion Problem Between ω -VPL.- Stack-Aware Hyperproperties.- Proofs.- Propositional Proof Skeletons.- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers.- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format.- Constraint Solving/Blockchain.- The Packing Chromatic Number of the Infinite Square Grid is 15.- Active Learning for SAT Solver Benchmarking.- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving.- Inferring Needless Write Memory Accesses on Ethereum Bytecode.- Markov Chains/Stochastic Control.- A Practitioner’s Guide to MDP Model Checking Algorithms.- Correct Approximation of Stationary Distributions.- Robust Almost-Sure Reachability in Multi-Environment MDPs.- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning.- Verification.- A Formal CHERI-C Semantics for Verification.- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm.- Parameterized Verification under TSO with Data Types.- Verifying Learning-Based Robotic Navigation Systems: A Case Study.- Make flows small again: revisiting the flow framework.- ALASCA: Reasoning in Quantified Linear Arithmetic.- A Matrix-Based Approach to Parity Games.- A GPU Tree Database for Many-Core Explicit State Space Exploration.
£33.24
Springer International Publishing AG Algorithms and Models for the Web Graph: 18th
Book SynopsisThis book constitutes the proceedings of the 18th International Workshop on Algorithms and Models for the Web Graph, WAW 2023, held in Toronto, Canada, in May 23–26, 2023.The 12 Papers presented in this volume were carefully reviewed and selected from 21 submissions. The aim of the workshop was understanding of graphs that arise from the Web and various user activities on the Web, and stimulate the development of high-performance algorithms and applications that exploit these graphs.Table of ContentsCorrecting for Granularity Bias in Modularity-Based Community Detection Methods.- The emergence of a giant component in one-dimensional inhomogeneous networks with long-range effects.- Unsupervised Framework for Evaluating Structural Node Embeddings of Graphs.- Modularity Based Community Detection in Hypergraphs.- Establishing Herd Immunity is Hard Even in Simple Geometric Networks.- Multilayer hypergraph clustering using the aggregate similarity matrix.- The Myth of the Robust-Yet-Fragile Nature of Scale-Free Networks: An Empirical Analysis.- A Random Graph Model for Clustering Graphs.- Topological Analysis of Temporal Hypergraphs.- PageRank Nibble on the sparse directed stochastic block model.- A simple model of influence.- The Iterated Local Transitivity Model for Tournaments.
£42.74
Springer International Publishing AG Keywords In and Out of Context
Book SynopsisThis book explores the rich history of the keyword from its earliest manifestations (long before it appeared anywhere in Google Trends or library cataloging textbooks) in order to illustrate its implicit and explicit mediation of human cognition and communication processes. The author covers the concept of the keyword from its deictic origins in primate and proto-speech communities, through its development within oral traditions, to its initial appearances in numerous graphical forms and its workings over time within a variety of indexing traditions and technologies. The book follows the history all the way to its role in search engine optimization and social media strategies and its potential as an element in the slowly emerging semantic web, as well as in multiple voice search applications. The author synthesizes different perspectives on the significance of this often-invisible intermediary, both in and out of the library and information science context, helping readers to understand how it has come to be so embedded in our daily life.This book: Provides a thorough history of the keyword, from primate and proto-speech communities to current times Explains how the concept of the keyword relates to human cognition and communication processes Highlights the applications of the keyword, both in and out of the library and information science context Table of ContentsChapter 1 - Representation, Reference, Relevance, and Retention.- Chapter 2 - Signals, Semiotics.- Chapter 3 - Proto-Words, Proto-Signs.- Chapter 4 - Philologies, Philosophies, Pragmatics.- Chapter 5 - Rites, Religions.- Chapter 6 - Writing, Indexing.- Chapter 7 - Progress, Public.- Chapter 8 - Discovery, Retrieval.- Chapter 9 - Databases, Search Engines.
£23.74
Springer International Publishing AG Combinatorics on Words: 14th International
Book SynopsisThis book constitutes the refereed proceedings of the 14th International Conference on Combinatorics on Words, WORDS 2023, held in Umeå, Sweden, during June 12–16, 2023.The 19 contributed papers presented in this book were carefully reviewed and selected from 28 submissions. In addition, the volume also contains 3 invited papers. WORDS is the main conference series devoted to combinatorics on words. This area is connected to several topics from computer science and mathematics, including string algorithms, automated proofs, discrete dynamics, number theory and, of course, classical combinatoricsTable of ContentsInvited Papers: Minimal Complexities for Infinite Words Written with d Letters.- Alternate Base Numeration Systems.- On the number of distinct squares in finite sequences: some old and new results. Contributed Papers: Ranking and Unranking k-Subsequence Universal Words.- Longest common subsequence with gap constraints.- On Substitutions Preserving their Return Sets.- Recurrence and frequencies.- Sturmian and infinitely desubstitutable words accepted by an ω-automaton.- String attractors for factors of the Thue-Morse word.- Critical exponent of Arnoux-Rauzy sequences.- On a class of 2-balanced sequences.- Order conditions for languages.- On Sensitivity of Compact Directed Acyclic Word Graphs.- Smallest and Largest Block Palindrome Factorizations.- String attractors of fixed points of k-bonacci-like morphisms.- Magic Numbers in Periodic Sequences.- Dyck Words, Pattern Avoidance, and Automatic Sequences.- Rudin-Shapiro Sums Via Automata Theory and Logic.- Automaticity and Parikh-collinear morphisms.- On the solution sets of entire systems of word equations.- On arch factorization and subword universality for words and compressed words.- Characteristic sequences of the sets of sums of squares as columns of cellular automata.
£56.99
Springer International Publishing AG Mathematical Optimization Theory and Operations
Book SynopsisThis book constitutes the refereed proceedings of the 22nd International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2023, held in Ekaterinburg, Russia, during July 2–8, 2023. The 28 full papers and 1 short paper included in this book were carefully reviewed and selected from 89 submissions. They were organized in topical sections as follows: Mathematical programming and applications; discrete and combinatorial optimization; stochastic optimization; scheduling; game theory; and optimal control and mathematical economics. The book also contains one invited talk in full paper length. Table of ContentsInvited papers.- General equilibrium models in production networks with substitution of inputs.- Mathematical programming and applications.- On decentralized nonsmooth optimization.- Byzantine-robust loopless stochastic variance-reduced gradient.- Semi-supervised k-means clustering via DC programming approach.- On the uniqueness of identification the thermal conductivity and heat capacit of substance.- On the uniqueness of identification the thermal conductivity and heat capacity of substance.- Discrete and combinatorial optimization.- Constant-factor approximation algorithms for some maximin multiclustering problems.- Aggregation tree construction using hierarchical structures.- Enumeration and unimodular equivalence of empty delta-modular simplices.- PTAS for p-means q-medoids r-given clustering problem.- Nested (2,3)-instances of the Cutting Stock Problem.- Stochastic optimization.- On the resource allocation problem to increase reliability of transport systems.- Distributionally robust optimization by probability criterion for estimating a bounded signal.- Scheduling.- Approximation algorithms for two-machine proportionate routing open shop on a tree.- MIP heuristics for a resource constrained project scheduling problem with workload stability constraints.- Hybrid evolutionary algorithm with optimized operators for total weighted tardiness problem.- Game theory.- Equilibrium arrivals to preemptive queueing system with fixed reward for completing request.- On optimal positional strategies in fractional optimal control problems.- On a single-type differential game of retention in a ring.- Harmonic numbers in Gambler’s Ruin Problem.- Exploitation and recovery periods in dynamic resource management problem.- Trade-off mechanism to sustain cooperation in pollution reduction.- Communication restriction-based characteristic function in differential games on networks.- Optimal control and mathematical economics.- Guaranteed expectation of the flock position with random distribution of items.- Method for solving a differential inclusion with a subdifferentiable support function of the right-hand side.- Approximate solution of small-time control synthesis problem based on linearization.- A Priori Estimates of the Objective Function in the Speed-in-Action Problem for a Linear Two-Dimensional Discrete-Time System.- An approach to solving input reconstruction problems in stochastic differential equations: dynamic algorithms and tuning their parameters.- Mathematical modeling of the household behavior on the labor market.- Visual positioning of a moving object using multi-objective control algorithm.
£61.74
Springer International Publishing AG New Frontiers in Artificial Intelligence:
Book SynopsisThis book constitutes extended, revised, and selected papers from the 13th International Symposium on Artificial Intelligence supported by the Japanese Society for Artificial Intelligence, JSAI-isAI 2021, held online in November 2021. The 26 full papers were carefully selected from 86 submissions. The papers are organized in the volume according to the following workshops: 15th International Workshop on Juris-Informatics, JURISIN 2021; 18th Workshop on Logic and Engineering of Natural Language Semantics, LENLS 18, 5th International Workshop on SCIentific DOCument Analysis, SCI-DOCA 2021; Workshop on Artificial Affective (Kansei) Intelligence, KANSEI-AI 2021; 5th Workshop on Artificial Intelligence of and for Business, AI-Biz 2021.Table of ContentsJURISIN 2021.- LENLS 18.- SCIDOCA 2021.- KANSEIAI 2021.- AI-Biz 2021.
£56.99
Springer International Publishing AG Advances in Practical Applications of Agents,
Book SynopsisThis book constitutes the proceedings of the 21st International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2023, held in Guimaraes, Portugal, in July 2023.The 32 full papers in this book were reviewed and selected from 70 submissions. 5 demonstration papers are also included in this volume. The papers deal with the application and validation of agent-based models, methods, and technologies in a number of key applications areas, including: advanced models and learning, agent-based programming, decision-making, education and social interactions, formal and theoretic models, health and safety, mobility and the city, swarms and task allocation.Table of ContentsPAAMS 2023 - MAIN TRACK.- Brain waves classification using a single-channel dry EEG headset: an application for controlling an intelligent wheelchair.- AJAN: An Engineering Framework for Semantic Web-Enabled Agents and Multi-Agent Systems.- Adaptive consumption by continuous negotiation.- When Extrinsic Payoffs meet Intrinsic Expectations.- Multi-Agent Reinforcement Learning for Structured Symbolic Music Generation.- A multi-level density-based crowd simulation architecture.- Resolving the Dilemma of Responsibility in Multi-Agent Flow Networks.- Lessons Learned on the Design of a Predictive Agent for LoRaWAN Network Planning.- A solution concept with an exploration bias for repeated stochastic coalitional games.- Governing online forum interactions with multi-agent system: A Reddit use case with the JaCaMo platform.- Fuzzy Hyperplane based Twin-KSVC and Its Applications to Stock Price Movement Direction Prediction Based on News Articles.- Enhancing Safety Checking Coverage with Multi-swarm Particle Swarm Optimization.- A Decentralized Resource Allocation Protocol in Social Networks.- Multi-agent learning of causal networks in the Internet of Things.- Investigation of Integrating Solution Techniques for Lifelong MAPD Problem Considering Endpoints.- Towards Norm Entrepreneurship in Agent Societies.- Velluscinum: A Middleware for Using Digital Assets in Multi-Agent Systems.- Parking Problem with Multiple Gates.- UAV Swarm Control and Coordination Using Jason BDI Agents on top of ROS.- Traffic Assignment Optimization using Flow-based Multi-Maps.- A Monitoring Agent for Advancing Elderly Care through Mobile Health Technology.- Extrinsic Emotion Regulation by Intelligent Agents: A computational model based on Arousal-Valence dimensions.- Optimization of Complex Systems in Photonics by Multi-Agent Robotic Control.- GTG-CoL: A new Decentralized Federated Learning based on Consenssus for dynamic networks.- A novel framework for multi-agent knowledge-based federated learning systems.- Exploring Planner-Guided Swarms Running on Real Robots.- Integrating Policy Summaries with Reward Decomposition for Explaining Reinforcement Learning Agents.- A Multi-Agent Based Dynamic Network Slice Tarification Framework.- An IDE to Support the Development of Embedded Multi-Agent Systems. Bioinspired Artificial Cockroach Colony Strategy combined with 2-type Fuzzy Logic for the Priority-Based Sanitization of Railway Stations.- Embedding Autonomous Agents into Low-Power Wireless Sensor Networks.- Safe Autonomous Decision-Making with vGOAL.- PAAMS 2023 - DEMONSTRATIONS.- Towards Exception Handling in the SARL Agent Platform.- Multi-Agent Path Finding for Indoor Quadcopters.- Energy community integration of a smart home based on an open source multiagent system.- Cognitive Assistant for Enhanced eHealth Monitoring.- Extended Green Cloud - Modeling Cloud Infrastructure with Green Energy Sources.
£61.74
Springer International Publishing AG Knowledge Science, Engineering and Management:
Book SynopsisThis volume set constitutes the refereed proceedings of the 16th International Conference on Knowledge Science, Engineering and Management, KSEM 2023, which was held in Guangzhou, China, during August 16–18, 2023. The 114 full papers and 30 short papers included in this book were carefully reviewed and selected from 395 submissions. They were organized in topical sections as follows: knowledge science with learning and AI; knowledge engineering research and applications; knowledge management systems; and emerging technologies for knowledge science, engineering and management. Table of ContentsKnowledge Engineering Research and Applications.- Knowing before Seeing: Incorporating Post-Retrieval Information into Pre-Retrieval Query Intention Classification.- LSRN: Live-Streaming Identification Based on Reasoning Network with Core Traffic Set.- Implicit Offensive Speech Detection Based on Multi-feature Fusion.- SIE-YOLOv5: Improved YOLOv5 for Small Object Detection in Drone-Captured-Scenarios.- Learning-based Dichotomy Graph Sketch for Summarizing Graph Streams with High Accuracy.- SNAFA-Net: Squared Normalization Attention and Feature Alignment for Visible-Infrared Person Re-identification.- A comparative study of chatbot response generation: traditional approaches versus large language models.- Investigating the Impact of Product Contours on User Perception of Product Attributes.- Conf-UNet: A model for speculation on unknown Oracle Bone Characters.- An Efficient One-Shot Network and Robust Data Associations in Multi-Pedestrian Tracking.- Sampling Spatial-Temporal Attention Network for Traffic Forecasting.- ST-MAN: Spatio-Temporal Multimodal Attention Network for Traffic Prediction.- Sparse-view CT Reconstruction via Implicit Neural Intensity Functions.- Tennis action recognition based on multi-branch mixed attention.- Cascade Sampling via Dual Uncertainty for Active Entity Alignment.- Template Shift and Background Suppression for Visual Object Tracking.- Reversible Data Hiding in Encrypted Images Based on A Multi-Granularity Adaptive Classification Mechanism.- Enhanced Entity Interaction Modeling for Multi-modal Entity Alignment.- Monte Carlo Medical Volume Rendering Denoising via Auxiliary Feature Guided Self-Attention and Convolution Integrated.- View Distribution Alignment with Progressive Adversarial Learning for UAV Visual Geo-Localization.- HBay: Predicting Human Mobility via Hyperspherical Bayesian Learning.- Spatial-Temporal Diffusion Probabilistic Learning for Crime Prediction.- DBA: An Efficient Approach to Boost Transfer-based Adversarial Attack Performance through Information Deletion.- A Graph Partitioning Algorithm Based on Graph Structure and Label Propagation for Citation Network Prediction.- Hybrid Heterogeneous Graph Neural Networks for Fund Performance Prediction.- WGCN: A Novel Wavelet Graph Neural Network for Metro Ridership Prediction.- GMiRec: A Multi-image Visual Recommendation Model based on a Gated Neural Network.- Semi-supervised entity alignment via noisy student-based self training.- Modeling Chinese Ancient Book Catalog.- JOINT EXTRACTION OF NESTED ENTITIES AND RELATIONS BASED ON MULTI-TASK LEARNING.- A Grasping System with Structured Light 3D Machine Vision Guided Strategy Optimization.- A Cognitive Knowledge Enriched Joint Framework for Social Emotion and Cause Mining.- TKSP: Long-term Stance Prediction for Social Media Users by Fusing Time Series Features and Event Dynamic Evolution Knowledge.- A Cross-Document Coreference Resolution Approach to Low-Resource Languages.- Network Flow Based IoT Anomaly Detection Using Graph Neural Network.- Disentangled Multi-factor Graph Neural Network for Non-coding RNA-drug Resistance Association Prediction.
£61.74
