This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System.

This book constitutes the thoroughly refereed proceedings of the 39th National Conference of Theoretical Computer Science, NCTCS 2021, held in Yinchuan, China, in July 2021. The 67 full papers were carefully reviewed and selected from 145 submissions, and 14 of them were selected for the volume. The papers present recent research in the areas of information hiding, data detection and recognition, system scheduling, time series prediction, and formal analysis.

This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018. The 65 full papers presented were carefully reviewed and selected from 120 submissions. The events whose papers are included in this volume are: CoSim-CPS 2018: 2nd International Workshop on Formal Co-Simulation of Cyber-Physical Systems DataMod 2018: 7th International Symposium From Data to Models and Back FMIS 2018: 7th International Workshop on Formal Methods for Interactive Systems FOCLASA 2018: 16th International Workshop on Foundations of Coordination Languages and Self-adaptative Systems GCM 2018: 9th International Workshop on Graph Computation Models MDE@DeRun 2018: 1st International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems MSE 2018: 3rd International Workshop on Microservices: Science and Engineering SecureMDE 2018: 1st International Workshop on Security for and by Model-Driven Engineering

Clustertechnologien.- High Performance Computing.- Public Resource Computing: vernetzte Welt zum Rechnen nutzen?.- Berkeley Open Infrastructure for Network Computing (BOINC).- Architektur des BOINC-Systems.- Technik.- Serveristallation.- Serveradministration.- Die Grundlagen der BOINC-Programmierung.- Die BOINC-Schaltzentrale modifizieren - Programmierung der BOINC Server Komponenten.- Debuggen - Fehlersuche in BOINC.- Praxis.- Kreiszahl@home: Monte-Carlo-Algorithmus fur die Kreiszahl.- Eine Filmsequenz mit Bildverarbeitungsfunktionen modifizieren.- ComsolGrid: COMSOL Multiphysics und BOINC.- [email protected] Verwendung von Legacy-Applikationen.- Die C/C++-Schnittstelle von BOINC.- BOINC-Fehlernummern und Fehlermeldungen.- BOINC-Konfigurationsdateien.- Literaturverzeichnis.- Sachverzeichnis.

This book provides a practically applicable guide to the methodologies and technologies for the application of interactive process mining paradigm. Case studies are presented where this paradigm has been successfully applied in emergency medicine, surgery processes, human behavior modelling, strokes and outpatients' services, enabling the reader to develop a deep understanding of how to apply process mining technologies in healthcare to support them in inferring new knowledge from past actions, and providing accurate and personalized knowledge to improve their future clinical decision-making. Interactive Process Mining in Healthcare comprehensively covers how machine learning algorithms can be utilized to create real scientific evidence to improve daily healthcare protocols, and is a valuable resource for a variety of health professionals seeking to develop new methods to improve their clinical decision-making.

This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented in this book together with 1-page summaries of the three invited talks. The papers cover topics such as static program analysis, abstract domain, abstract interpretation, automated deduction, debugging techniques, deductive methods, model checking, data science, program optimizations and transformations, program synthesis, program verification, and security analysis.

This book constitutes the refereed proceedings of the 13th International Conference on Social Robotics, ICSR 2021, held in Singapore, Singapore, in November 2021. The conference was held as a hybrid event.The 64 full papers and 15 short papers presented were carefully reviewed and selected from 114 submissions. The conference presents topics on humans and intelligent robots and on the integration of robots into the fabric of our society. The theme of the 2021 edition was "Robotics in our everyday lives", emphasizing on the increasing importance of robotics in human daily living.

This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. The book is subdivided into two blocks: Modelling & Composition and Verification. Chapter "A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes revised and selected papers from the First International Conference on Society 5.0, Society 5.0 2021, held virtually in June 2021. The 12 full papers and 3 short papers presented in this volume were thoroughly reviewed and selected from the 54 qualified submissions. The papers discuss topics on application of the fourth industrial revolution innovations (e.g. Internet of Things, Big Data, Artificial intelligence, and the sharing economy) in healthcare, mobility, infrastructure, politics, government, economy and industry.

The three-volume set CCIS 1467, CCIS 1468, and CCIS 1469 constitutes the thoroughly refereed proceedings of the 7th International Conference on Life System Modeling and Simulation, LSMS 2021, and of the 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, held in Hangzhou, China, in October 2021. The 159 revised papers presented were carefully reviewed and selected from over 430 submissions. The papers of this volume are organized in topical sections on: Medical Imaging and Analysis Using Intelligence Computing; Biomedical signal processing, imaging, visualization and surgical robotics; Computational method in taxonomy study and neural dynamics; Intelligent medical apparatus, clinical applications and intelligent design of biochips; Power and Energy Systems; Computational Intelligence in Utilization of Clean and Renewable Energy Resources, and Intelligent Modelling, Control and Supervision for Energy Saving and Pollution Reduction; Intelligent Methods in Developing Electric Vehicles, Engines and Equipment; Intelligent Control Methods in Energy Infrastructure Development and Distributed Power Generation Systems; Intelligent Modeling, Simulation and Control of Power Electronics and Power Networks; Intelligent Techniques for Sustainable Energy and Green Built Environment, Water Treatment and Waste Management; Intelligent Robot and Simulation; Intelligent Data Processing, Analysis and Control in Complex Systems; Advanced Neural Network Theory and Algorithms; Advanced Computational Methods and Applications; Fuzzy, Neural, and Fuzzy-neuro Hybrids; Intelligent Modelling, Monitoring, and Control of Complex Nonlinear Systems; Intelligent manufacturing, autonomous systems, intelligent robotic systems; Computational Intelligence and Applications.

This book is focused on fuzzy group decision making, offering technical details including methodology, collaboration and aggregation mechanisms, system architectures, and applications. It explores the two categories of fuzzy-group decision making - anterior-aggregation and posterior-aggregation - and highlights how imperative collaboration amongst decision makers is for both forms. Advances in Fuzzy Group Decision Making will be of interest to researchers in decision making, artificial intelligence, soft computing, operations management, and information management, as well as practicing managers and engineers.

This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research. Besides being an excellent scientist, Bengt is also a leader who has greatly influenced the careers of both his students and his colleagues. His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning.

The three-volume set LNCS 12937 - 12939 constitutes the proceedings of the 16th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2021, which was held during June 25-27, 2021. The conference took place in Nanjing, China.The 103 full and 57 short papers presented in these proceedings were carefully reviewed and selected from 315 submissions. The following topics are covered in Part I of the set: network protocols, signal processing, wireless telecommunication systems, blockchain, IoT and edge computing, artificial intelligence, computer security, distributed computer systems, machine learning, and others.

This book constitutes the refereed proceedings of the 20th EPIA Conference on Artificial Intelligence, EPIA 2021, held virtually in September 2021.The 62 full papers and 6 short papers presented were carefully reviewed and selected from a total of 108 submissions. The papers are organized in the following topical sections: artificial intelligence and IoT in agriculture; artificial intelligence and law; artificial intelligence in medicine; artificial intelligence in power and energy systems; artificial intelligence in transportation systems; artificial life and evolutionary algorithms; ambient intelligence and affective environments; general AI; intelligent robotics; knowledge discovery and business intelligence; multi-agent systems: theory and applications; and text mining and applications.

This book constitutes refereed proceedings of the Workshops of the 17th European Dependable Computing Conference, EDCC: Second Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2021, Third Workshop on Dependable Solutions for Intelligent Electricity Distribution Grids, DSOGRI 2021, 13th Workshop on Software Engineering for Resilient Systems, SERENE 2021, held in September 2021. Due to the COVID-19 pandemic the workshops were held virtually. The 14 workshop papers presented were thoroughly reviewed and selected from 22 submissions. The workshop papers complement the main conference topics by addressing dependability or security issues in specic application domains or by focussing in specialized topics, such as system resilience.

This book constitutes the thoroughly refereed proceedings of the 5th International Conference on Information and Knowledge Systems, ICIKS 2021, which was held online during June 22-23, 2021.The International Conference on Information and Knowledge Systems (ICIKS 2021) gathered both researchers and practitioners in the fields of Information Systems, Artificial Intelligence, Knowledge Management and Decision Support. ICIKS seeks to promote discussions on various organizational, technological, and socio-cultural aspects of research in the design and use of information and knowledge systems in organizations. The 10 full and 2 short papers presented in this volume were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: knowledge systems and decision making; machine learning, recommender systems, and knowledge systems; and security, artificial intelligence, and information systems.

The LNCS journal Transactions on Large-scale Data and Knowledge-centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing across different sites connected through networks has led to an evolution of data- and knowledge-management systems from centralized systems to decentralized systems enabling large-scale distributed applications providing high scalability. This, the 49th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains four fully revised and extended papers selected from the 36th conference on Data Management - Principles, Technologies and Applications, BDA 2020. The topics cover a wide range of timely data management research topics on crowdsourcing, data streams, skyline queries and data protection.

This volume constitutes the refereed proceedings of the 8th Workshop on Engineering Applications, WEA 2021, held in Medellin, Colombia, in October 2021. Due to the COVID-19 pandemic the conference was held in a hybrid mode. The 33 revised full papers and 11 short papers presented in this volume were carefully reviewed and selected from 127 submissions. The papers are organized in the following topical sections: computational intelligence; bioengineering; Internet of Things (IoT); optimization and operations research; engineering applications.

This book provides modern technical answers to the legal requirements of pseudonymisation as recommended by privacy legislation. It covers topics such as modern regulatory frameworks for sharing and linking sensitive information, concepts and algorithms for privacy-preserving record linkage and their computational aspects, practical considerations such as dealing with dirty and missing data, as well as privacy, risk, and performance assessment measures. Existing techniques for privacy-preserving record linkage are evaluated empirically and real-world application examples that scale to population sizes are described. The book also includes pointers to freely available software tools, benchmark data sets, and tools to generate synthetic data that can be used to test and evaluate linkage techniques. This book consists of fourteen chapters grouped into four parts, and two appendices. The first part introduces the reader to the topic of linking sensitive data, the second part covers methods and techniques to link such data, the third part discusses aspects of practical importance, and the fourth part provides an outlook of future challenges and open research problems relevant to linking sensitive databases. The appendices provide pointers and describe freely available, open-source software systems that allow the linkage of sensitive data, and provide further details about the evaluations presented. A companion Web site at https://dmm.anu.edu.au/lsdbook2020 provides additional material and Python programs used in the book. This book is mainly written for applied scientists, researchers, and advanced practitioners in governments, industry, and universities who are concerned with developing, implementing, and deploying systems and tools to share sensitive information in administrative, commercial, or medical databases. The Book describes how linkage methods work and how to evaluate their performance. It covers all the major concepts and methods and also discusses practical matters such as computational efficiency, which are critical if the methods are to be used in practice - and it does all this in a highly accessible way!David J. Hand, Imperial College, London

This is the first monograph on the emerging area of linguistic linked data. Presenting a combination of background information on linguistic linked data and concrete implementation advice, it introduces and discusses the main benefits of applying linked data (LD) principles to the representation and publication of linguistic resources, arguing that LD does not look at a single resource in isolation but seeks to create a large network of resources that can be used together and uniformly, and so making more of the single resource. The book describes how the LD principles can be applied to modelling language resources. The first part provides the foundation for understanding the remainder of the book, introducing the data models, ontology and query languages used as the basis of the Semantic Web and LD and offering a more detailed overview of the Linguistic Linked Data Cloud. The second part of the book focuses on modelling language resources using LD principles, describing how to model lexical resources using Ontolex-lemon, the lexicon model for ontologies, and how to annotate and address elements of text represented in RDF. It also demonstrates how to model annotations, and how to capture the metadata of language resources. Further, it includes a chapter on representing linguistic categories. In the third part of the book, the authors describe how language resources can be transformed into LD and how links can be inferred and added to the data to increase connectivity and linking between different datasets. They also discuss using LD resources for natural language processing. The last part describes concrete applications of the technologies: representing and linking multilingual wordnets, applications in digital humanities and the discovery of language resources. Given its scope, the book is relevant for researchers and graduate students interested in topics at the crossroads of natural language processing / computational linguistics and the Semantic Web / linked data. It appeals to Semantic Web experts who are not proficient in applying the Semantic Web and LD principles to linguistic data, as well as to computational linguists who are used to working with lexical and linguistic resources wanting to learn about a new paradigm for modelling, publishing and exploiting linguistic resources.

This volume presents selected contributions from the "Advanced Research Workshop on Explosives Detection" hosted by the Department of Information Engineering of the University of Florence, Italy in 2018. The main goal of the workshop was to find out how Science for Peace and Security projects in the field of Explosives Detection contribute to the development and/or refinement of scientific and technical knowledge and competencies. The findings of the workshop, presented in the last section of the book, determine future actions and direction of the SPS Programme in the field of explosives detection and management.The NATO Science for Peace and Security (SPS) Programme, promotes dialogue and practical cooperation between NATO member states and partner nations based on scientific research, technological innovation and knowledge exchange. Several initiatives were launched in the field of explosive detection and clearance, as part of NATO's enhanced role in the international fight against terrorism. Experts and scientists from NATO members and partner countries have been brought together in multi-year projects, within the framework of the SPS Programme, to cooperate in the scientific research in explosive detection field, developing new technologies and methods to be implemented in order to detect explosive substances in different contexts.

The three-volume set constitutes the proceedings of the 16th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2021, which was held during June 25-27, 2021. The conference took place in Nanjing, China.The 103 full and 57 short papers presented in these proceedings were carefully reviewed and selected from 315 submissions. The contributions in Part II of the set are subdivided into the following topical sections: Scheduling & Optimization II; Security; Data Center Networks and Cloud Computing; Privacy-Aware Computing; Internet of Vehicles; Visual Computing for IoT; Mobile Ad-Hoc Networks.

This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

This book constitutes the refereed post-conference proceedings of the 12th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2020, held in August 2020.The 8 papers presented were carefully reviewed and cover the following topics: testing ACID compliance in the LDBC social network benchmark; experimental performance evaluation of stream processing engines made easy; revisiting issues in benchmarking metric selection; performance evaluation for digital transformation; experimental comparison of relational and NoSQL document systems; a framework for supporting repetition and evaluation in the process of cloud-based DBMS performance benchmarking; benchmarking AI inference; a domain independent benchmark evolution model for the transaction processing performance council.

This book summarizes the research findings presented at the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), which took place on August 24-26, 2020. JCKBSE 2020 was originally planned to take place in Larnaca, Cyprus. Unfortunately, the COVID-19 pandemic forced it be rescheduled as an online conference. JCKBSE is a well-established, international, biennial conference that focuses on the applications of artificial intelligence in software engineering. The 2020 edition of the conference was organized by Hiroyuki Nakagawa, Graduate School of Information Science and Technology, Osaka University, Japan, and George A. Tsihrintzis and Maria Virvou, Department of Informatics, University of Piraeus, Greece. This research book is a valuable resource for experts and researchers in the field of (knowledge-based) software engineering, as well as general readers in the fields of artificial and computational Intelligence and, more generally, computer science wanting to learn more about the field of (knowledge-based) software engineering and its applications. An extensive list of bibliographic references at the end of each paper helps readers to probe further into the application areas of interest to them.