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.

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

This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Paris, France, in August 2021. The 8 full papers that were carefully reviewed and selected from 19 submissions are presented in this volume with 2 invited talks. The papers focus on topics such as probabilistic computation, logic and verification, robotic planning, complexity of timed pattern matching, safety violations in real-time systems, modal and temporal logics, and others.

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 constitutes revised and selected papers of the First International Conference on Computational Sciences - Modelling, Computing and Soft Computing, held in Kozhikode, Kerala, India, in September 2020. The 15 full papers and 6 short papers presented were thoroughly reviewed and selected from the 150 submissions. They are organized in the topical secions on computing; soft computing; general computing; modelling.

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.

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.

This book discusses the smooth integration of optical and RF networks in 5G and beyond (5G+) heterogeneous networks (HetNets), covering both planning and operational aspects. The integration of high-frequency air interfaces into 5G+ wireless networks can relieve the congested radio frequency (RF) bands. Visible light communication (VLC) is now emerging as a promising candidate for future generations of HetNets. Heterogeneous RF-optical networks combine the high throughput of visible light and the high reliability of RF. However, when implementing these HetNets in mobile scenarios, several challenges arise from both planning and operational perspectives. Since the mmWave, terahertz, and visible light bands share similar wave propagation characteristics, the concepts presented here can be broadly applied in all such bands. To facilitate the planning of RF-optical HetNets, the authors present an algorithm that specifies the joint optimal densities of the base stations by drawing on stochastic geometry in order to satisfy the users' quality-of-service (QoS) demands with minimum network power consumption. From an operational perspective, the book explores vertical handovers and multi-homing using a cooperative framework. For vertical handovers, it employs a data-driven approach based on deep neural networks to predict abrupt optical outages; and, on the basis of this prediction, proposes a reinforcement learning strategy that ensures minimal network latency during handovers. In terms of multi-homing support, the authors examine the aggregation of the resources from both optical and RF networks, adopting a two-timescale multi-agent reinforcement learning strategy for optimal power allocation. Presenting comprehensive planning and operational strategies, the book allows readers to gain an in-depth grasp of how to integrate future coexisting networks at high-frequency bands in a cooperative manner, yielding reliable and high-speed 5G+ HetNets.

Architectural stress is the inability of a system design to respond to new market demands. It is an important yet often concealed issue in high tech systems. In "From scientific instrument to industrial machine, " we look at the phenomenon of architectural stress in embedded systems in the context of a transmission electron microscope system built by FEI Company. Traditionally, transmission electron microscopes are manually operated scientific instruments, but they also have enormous potential for use in industrial applications. However, this new market has quite different characteristics. There are strong demands for cost-effective analysis, accurate and precise measurements, and ease-of-use. These demands can be translated into new system qualities, e.g. reliability, predictability and high throughput, as well as new functions, e.g. automation of electron microscopic analyses, automated focusing and positioning functions.

"From scientific instrument to industrial machine" takes a pragmatic approach to the problem of architectural stress. In particular, it describes the outcomes of the Condor project, a joint endeavour by a consortium of industrial and academic partners. In this collaboration an integrated approach was essential to successfully combine various scientific results and show the first steps towards a new direction. System modelling and prototyping were the key techniques to develop better understanding and innovative solutions to the problems associated with architectural stress.

"From scientific instruments to industrial machine" is targeted mainly at industrial practitioners, in particular system architects and engineers working on high tech systems. It can therefore be read without particular knowledge of electron microscope systems or microscopic applications. The book forms a bridge between academic and applied science, and high tech industrial practice. By showing the approaches and solutions developed for the electron microscope, it is hoped that system designers will gain some insights in how to deal with architectural stress in similar challenges in the high tech industry.

The proliferation of Internet of Things (IoT) has enabled rapid enhancements for applications, not only in home and environment scenarios, but also in factory automation. Now, Industrial Internet of Things (IIoT) offers all the advantages of IoT to industry, with applications ranging from remote sensing and actuating, to de-centralization and autonomy. In this book, the editor presents the IIoT and its place during the new industrial revolution (Industry 4.0) as it takes us to a better, sustainable, automated, and safer world. The book covers the cross relations and implications of IIoT with existing wired/wireless communication/networking and safety technologies of the Industrial Networks. Moreover, the book includes practical use-case scenarios from the industry for the application of IIoT on smart factories, smart cities, and smart grids. IoT-driven advances in commercial and industrial building lighting and in street lighting are presented as an example to shed light on the application domain of IIoT. The state of the art in Industrial Automation is also presented to give a better understanding of the enabling technologies, potential advantages, and challenges of the Industry 4.0 and IIoT. Finally, yet importantly, the security section of the book covers the cyber-security related needs of the IIoT users and the services that might address these needs. User privacy, data ownership, and proprietary information handling related to IIoT networks are all investigated. Intrusion prevention, detection, and mitigation are all covered at the conclusion of the book.

This book constitutes the proceedings of the Third International Workshop on Explainable, Transparent AI and Multi-Agent Systems, EXTRAAMAS 2021, which was held virtually due to the COVID-19 pandemic. The 19 long revised papers and 1 short contribution were carefully selected from 32 submissions. The papers are organized in the following topical sections: XAI & machine learning; XAI vision, understanding, deployment and evaluation; XAI applications; XAI logic and argumentation; decentralized and heterogeneous XAI.

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.

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 focuses on smart results in the field of smart automotive mobility concentrating on (semi-)autonomous cars. The results are based on 5 recently finished public-funded research projects with a budget of over 15 million Euro. Providing insights into the next generation of personalized mobility on the road the authors discuss personalized, adaptive cooperative systems for highly automated cars and how they can be developed in a human-centered way. Furthermore, the book reports on a cooperative driver-vehicle interaction. How can the driver and the vehicle support each other? What are their best skills and how can they benefit from each other? It also gives novel insights on intuitive steering gestures on the steering wheel which initiate maneuvers to be executed by the automation, and to be supervised by, influenced or interrupted by the driver. The book finishes with information on a cooperative laser beam system which improves the communication between the different road participants to optimize the road safety of tomorrow. Smart Automotive Mobility: Reliable Technology for the Mobile Human is an ideal source for researchers, students and practitioners working in the area of intelligent systems for the automotive industry. It gives valuable and condensed information from multi-million Euro research projects funded by the German Federal Ministry of Education and Research.

The three-volume set CCIS 1419, CCIS 1420, and CCIS 1421 contains the extended abstracts of the posters presented during the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held virtually in July 2021. The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 submissions.The posters presented in these three volumes are organized in topical sections as follows: Part I: HCI theory and methods; perceptual, cognitive and psychophisiological aspects of interaction; designing for children; designing for older people; design case studies; dimensions of user experience; information, language, culture and media. Part II: interaction methods and techniques; eye-tracking and facial expressions recognition; human-robot interaction; virtual, augmented and mixed reality; security and privacy issues in HCI; AI and machine learning in HCI. Part III: interacting and learning; interacting and playing; interacting and driving; digital wellbeing, eHealth and mHealth; interacting and shopping; HCI, safety and sustainability; HCI in the time of pandemic.

This book constitutes the proceedings of the 10th International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2020, held in December 2020. Due to COVID-19 pandemic the conference was held virtually.The 6 regular and 5 invited papers presented in this book were carefully reviewed and selected from 16 submissions. The use of high throughput technologies is fundamentally changing the life sciences and leading to the collection of large amounts of biological and medical data. The papers show how the use of this data can help expand our knowledge of fundamental biological processes and improve human health - using novel computational models and advanced analysis algorithms.

This book constitutes the refereed proceedings of 3 workshops co-located with International Conference for High Performance Computing, Networking, Storage, and Analysis, SC19, held in Denver, CO, USA, in November 2019. The 12 full papers presented in this proceedings feature the outcome of the 6th Annual Workshop on HPC User Support Tools, HUST 2019, International Workshop on Software Engineering for HPC-Enabled Research, SE-HER 2019, and Third Workshop on Interactive High-Performance Computing, WIHPC 2019.

The book discusses the opportunities and challenges of managing knowledge in the new reality of Industry 4.0. Addressing paradigmatic changes in value creation due to the development of digital technologies applied to manufacturing (additive manufacturing, IoT, robotics, etc.), it includes theoretical and empirical contributions on how Industry 4.0 technologies allow firms to create and exploit knowledge. The carefully selected expert contributions highlight the potential of these technologies in acquiring knowledge from a larger number of sources and examine approaches to innovation, organization of activities, and stakeholder development in the context of this next industrial revolution.

The 3-volume set CCIS 1422, CCIS 1423 and CCIS 1424 constitutes the refereed proceedings of the 7th International Conference on Artificial Intelligence and Security, ICAIS 2021, which was held in Dublin, Ireland, in July 2021. The total of 131 full papers and 52 short papers presented in this 3-volume proceedings was carefully reviewed and selected from 1013 submissions. The papers were organized in topical sections as follows: Part I: artificial intelligence; Part II: artificial intelligence; big data; cloud computing and security internet; Part III: cloud computing and security; encryption and cybersecurity; information hiding; IoT security.

This book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021.The 37 full papers presented in this volume were carefully reviewed and selected from 73 submissions. They deal with theory and applications of the propositional satisfiability problem, broadly construed. Aside from plain propositional satisfiability, the scope of the meeting includes Boolean optimization, including MaxSAT and pseudo-Boolean (PB) constraints, quantified Boolean formulas (QBF), satisfiability modulo theories (SMT), and constraint programming (CP) for problems with clear connections to Boolean reasoning.

his two-volume set LNCS 12689-12690 constitutes the refereed proceedings of the 12th International Conference on Advances in Swarm Intelligence, ICSI 2021, held in Qingdao, China, in July 2021. The 104 full papers presented in this volume were carefully reviewed and selected from 177 submissions. They cover topics such as: Swarm Intelligence and Nature-Inspired Computing; Swarm-based Computing Algorithms for Optimization; Particle Swarm Optimization; Ant Colony Optimization; Differential Evolution; Genetic Algorithm and Evolutionary Computation; Fireworks Algorithms; Brain Storm Optimization Algorithm; Bacterial Foraging Optimization Algorithm; DNA Computing Methods; Multi-Objective Optimization; Swarm Robotics and Multi-Agent System; UAV Cooperation and Control; Machine Learning; Data Mining; and Other Applications.