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 is an open access book. This book comprises all the single courses given as part of the First Summer School on Process Mining, PMSS 2022, which was held in Aachen, Germany, during July 4-8, 2022. This volume contains 17 chapters organized into the following topical sections: Introduction; process discovery; conformance checking; data preprocessing; process enhancement and monitoring; assorted process mining topics; industrial perspective and applications; and closing.

This book comprises theoretical foundations to deep learning, machine learning and computing system, deep learning algorithms, and various deep learning applications. The book discusses significant issues relating to deep learning in data analytics. Further in-depth reading can be done from the detailed bibliography presented at the end of each chapter. Besides, this book's material includes concepts, algorithms, figures, graphs, and tables in guiding researchers through deep learning in data science and its applications for society. Deep learning approaches prevent loss of information and hence enhance the performance of data analysis and learning techniques. It brings up many research issues in the industry and research community to capture and access data effectively. The book provides the conceptual basis of deep learning required to achieve in-depth knowledge in computer and data science. It has been done to make the book more flexible and to stimulate further interest in topics. All these help researchers motivate towards learning and implementing the concepts in real-life applications.

This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022. The 15 revised full papers and 3 short papers presented were carefully reviewed and selected from 27 initial submissions. The papers focus on model-based and automated ways of assessing safety and other attributes of dependability of complex systems. They are organized in topical sections on safety analysis automation, MBSA practices, causal models and failure modeling strategies, designing mitigations of faults and attacks, data based safety analysis, dynamic risk assessment.

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 proceedings of the 18th International Workshop on OpenMP, IWOMP 2022, held in Chattanooga, TN, USA, in September 2022.The 11 full papers presented in this volume were carefully reviewed and selected for inclusion in this book from the 13 submissions. The papers are organized in topical sections named: OpenMP and multiple nodes; exploring new and recent OpenMP extensions; effectie use of advanced heterogeneous node architectures; OpenMP tool support; OpenMP and multiple translation units. Chapter "Improving Tool Support for Nested Parallel Regions with Introspection Consistency" is publshed Open Access and licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/).

This book constitutes the post-conference proceedings of the 2nd International Conference on Modern Problems of Robotics, MPoR 2020, held in Moscow, Russia, in March 2020.The 16 revised full papers were carefully reviewed and selected from 21 submissions. The volume includes the following topical sections: Collaborative Robotic Systems, Robotic Systems Design and Simulation, and Robots Control. The papers are devoted to the most interesting today's investigations in Robotics, such as the problems of the human-robot interaction, the problems of robot design and simulation, and the problems of robot and robotic complexes control.

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 volume focuses on predicting users' attendance at a future event at specific time and location based on their common interests. Event attendance prediction has attracted considerable attention because of its wide range of potential applications. By predicting event attendance, events that better fit users' interests can be recommended, and personalized location-based or topic-based services related to the events can be provided to users. Moreover, it can help event organizers estimating the event scale, identifying conflicts, and help manage resources. This book first surveys existing techniques on event attendance prediction and other related topics in event-based social networks. It then introduces a context-aware data mining approach to predict the event attendance by learning how users are likely to attend future events. Specifically, three sets of context-aware attributes are identified by analyzing users' past activities, including semantic, temporal, and spatial attributes. This book illustrates how these attributes can be applied for event attendance prediction by incorporating them into supervised learning models, and demonstrates their effectiveness through a real-world dataset collected from event-based social networks.

This book constitutes the refereed proceedings of the 9th International Conference on Well-Being in the Information Society, WIS 2022, held in Turku, Finland, in August 2022. The 14 revised full papers presented were carefully reviewed and selected from 17 submissions. The proceedings are structured in four sections as follows: mental well-being and e-health; social media and well-being; innovative solution for well-being in the information society; driving well-being in the information society.

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.

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022. The 11 regular papers and one short paper presented in this book were carefully reviewed and selected from 22 submissions. COORDINATION provides a well-established forum for the growing community of researchers interested in coordination models and languages, architectures, verification and implementation techniques necessary to cope with the complexity induced by the demands of today's software development.

The 4-volume set LNAI 13455 - 13458 constitutes the proceedings of the 15th International Conference on Intelligent Robotics and Applications, ICIRA 2022, which took place in Harbin China, during August 2022.The 284 papers included in these proceedings were carefully reviewed and selected from 442 submissions. They were organized in topical sections as follows: Robotics, Mechatronics, Applications, Robotic Machining, Medical Engineering, Soft and Hybrid Robots, Human-robot Collaboration, Machine Intelligence, and Human Robot Interaction.

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 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.

Eingebettete Systeme ubernehmen komplexe Steuerungs- und Regelungsaufgaben fur technische Systeme. Ihre Funktionalitat wird durch das Zusammenspiel von Spezialhardware, Standardprozessoren, Peripherie und Software realisiert. Oft liegt der Schwerpunkt auf Hardware-Aspekten. Tatsachlich spielt der Softwareentwurf eine mindestens genauso wichtige Rolle beim Entwurf dieser Systeme. Hier setzt das Buch an und liefert einen guten Uberblick uber das Thema. Klassifikationen und Themen wie Nebenlaufigkeit, Echtzeit und Echtzeitbetriebssysteme bilden die Grundlagen. Die Programmierung eingebetteter Systeme wird mit C++, Java sowie an den Beispielen von Esterel und Giotto erlautert. Ausgewahlte Softwareentwurfstechniken wie Statecharts, hybride Systeme, UML und Hardware-Software Co-Design werden ausfuhrlich vorgestellt. Eingebettete Systeme finden oft in sicherheitskritischen Bereichen Einsatz. Die Sicherung der Softwarequalitat ist daher von zentraler Bedeutung und bildet einen weiteren wichtigen Teil des Buches."

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 open access book provides a comprehensive view on data ecosystems and platform economics from methodical and technological foundations up to reports from practical implementations and applications in various industries. To this end, the book is structured in four parts: Part I "Foundations and Contexts" provides a general overview about building, running, and governing data spaces and an introduction to the IDS and GAIA-X projects. Part II "Data Space Technologies" subsequently details various implementation aspects of IDS and GAIA-X, including eg data usage control, the usage of blockchain technologies, or semantic data integration and interoperability. Next, Part III describes various "Use Cases and Data Ecosystems" from various application areas such as agriculture, healthcare, industry, energy, and mobility. Part IV eventually offers an overview of several "Solutions and Applications", eg including products and experiences from companies like Google, SAP, Huawei, T-Systems, Innopay and many more. Overall, the book provides professionals in industry with an encompassing overview of the technological and economic aspects of data spaces, based on the International Data Spaces and Gaia-X initiatives. It presents implementations and business cases and gives an outlook to future developments. In doing so, it aims at proliferating the vision of a social data market economy based on data spaces which embrace trust and data sovereignty.

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.

This book constitutes the post-conference proceedings of the First International Conference on Emerging Technologies and the Digital Transformation of Museums and Heritage Sites, RISE IMET 2020, held in Nicosia, Cyprus, in June 2021*.The 23 revised full papers were carefully reviewed and selected from 38 submissions. The papers are organized in the following topical sections: digital curation and visitor engagement in museums and heritage sites; VR, AR, MR, mobile applications and gamification in museums and heritage sites; digital storytelling and embodied characters for the interpretation of cultural heritage; emerging technologies, difficult heritage and affective practices; participatory approaches, crowdsourcing and new technologies; digitization, documentation and digital representation of cultural heritage. * The conference was held virtually due to the COVID-19 pandemic.

This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Data Management Technologies and Applications, DATA 2020, which was supposed to take place in Paris, France, in July 2020. Due to the Covid-19 pandemic the event was held virtually. The 14 revised full papers were carefully reviewed and selected from 70 submissions. The papers deal with the following topics: datamining; decision support systems; data analytics; data and information quality; digital rights management; big data; knowledge management; ontology engineering; digital libraries; mobile databases; object-oriented database systems; data integrity.

This book constitutes the refereed proceedings of the 17th International Conference on Mobile Web and Intelligent Information Systems, MobiWIS 2021, held as a virtual event, in August 2021. The 15 full papers presented in this book were carefully reviewed and selected from 40 submissions. The papers of MobiWIS 2021 deal focus on topics such as security and privacy; web and mobile applications; networking and communication; intelligent information systems; and IoT and ubiquitous computing.

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 thoroughly refereed proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, which was held virtually due to the Covid-19 pandemic. The 12 revised full papers were carefully reviewed and selected from 95 submissions. The papers deal with the following topics: business process modelling; IT service management; interoperability and service-oriented architecture; project management software; scheduling and estimating; software metrics; requirements elicitation and specification; software and systems integration among others.