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.

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

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.

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.

This book constitutes the refereed post-conference proceedings of the 16th International Conference on Persuasive Technology, PERSUASIVE 2021, held as a virtual event, in April 2021. The 17 full papers presented in this book together with 8 short papers were carefully reviewed and selected from 67 submissions. The papers are grouped in topical sections as follows: persuasive affective technology; digital marketing, ecommerce, etourism and smart ecosystems; and persuasion and education.

This book constitutes the proceedings of the 17th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2020, held in Zhengzhou, China, in September 2020. The 34 full and 7 short papers presented in this volume were carefully reviewed and selected from 95 submissions. They were organized in topical sections named: accelerator; AI; algorithm; architecture and hardware; big data and cloud; edge computing; emerging; network; and storage.

This book constitutes the refereed conference proceedings of the 28th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2021, held in Wroclaw, Poland, in June 2021. Due to COVID-19, the conference will be held online. The 20 full papers presented in this book were carefully reviewed and selected from 48 submissions. The papers are solicited from all areas of study of local structural knowledge and global communication and computational complexities. Among the typical areas are distributed computing, communication networks, game theory, parallel computing, social networks, mobile computing

This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which was held online during July 7-8, 2021. The 11 papers included in this book were carefully reviewed and selected from 21 submissions. The book also contains 2 invited talks in full-paper length, 3 work-in-progress papers and 1 tool paper. They were organized in topical sections named: programming and programming languages; reversible concurrent computation; theory and foundations; and circuit synthesis.

This book constitutes the proceedings of the 8th International Conference on End-User Development, IS-EUD 2021, held in July 2021. Due to COVID-19 pandemic the conference was held virtually.The paper track received 26 submissions, of which 11 full and 4 short papers were selected after a rigorous double-blind review process. The papers focus on "Democratizing AI development", namely on EUD for AI-based systems, where end users are called-on to become end-user developers of intelligent agents, digital twins, collaborative systems and social robots.

This two-volume set constitutes the refereed proceedings of the 15th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2021, held as part of the 23rd International Conference, HCI International 2021, held as a virtual event, 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. UAHCI 2021 includes a total of 84 papers; they focus on topics related to universal access methods, techniques and practices, studies on accessibility, design for all, usability, UX and technology acceptance, emotion and behavior recognition for universal access, accessible media, access to learning and education, as well universal access to virtual and intelligent assistive environments.

This two-volume set constitutes the refereed proceedings of the 15th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2021, held as part of the 23rd International Conference, HCI International 2021, held as a virtual event, 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. UAHCI 2021 includes a total of 84 papers; they focus on topics related to universal access methods, techniques and practices, studies on accessibility, design for all, usability, UX and technology acceptance, emotion and behavior recognition for universal access, accessible media, access to learning and education, as well universal access to virtual and intelligent assistive environments.

This book constitutes the proceedings of the 17th International Symposium on Applied Reconfigurable Computing, ARC 2021, held as a virtual event, in June 2021. The 14 full papers and 11 short presentations presented in this volume were carefully reviewed and selected from 40 submissions. The papers cover a broad spectrum of applications of reconfigurable computing, from driving assistance, data and graph processing acceleration, computer security to the societal relevant topic of supporting early diagnosis of Covid infectious conditions.

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.

This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021. The 9 regular papers and 4 short papers presented were carefully reviewed and selected from 26 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above. Due to the Corona pandemic this event was held virtually.

This book constitutes the refereed proceedings of the 10th International Conference on Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021. The 16 full papers and 8 short papers presented in this book were carefully reviewed and selected from 47 submissions. Additionally, the volume includes 3 abstracts of invited talks. The papers cover broad research areas on both theoretical, systems and practical aspects. Some papers include mining complex databases, concurrent systems, machine learning, swarm optimization, query processing, semantic web, graph databases, formal methods, model-driven engineering, blockchain, cyber physical systems, IoT applications, and smart systems. Due to the Corona pandemic the conference was held virtually.

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 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 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 conference proceeding LNCS 12796 constitutes the thoroughly refereed proceedings of the 2nd International Conference on Design, Operation and Evaluation of Mobile Communications, MOBILE 2021 which was held as part of the 23rd HCI International Conference, HCII 2021 as a virtual event, due to COVID-19, in July 2021. The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes were carefully reviewed and selected from 5222 submissions. MOBILE 2021 includes a total of 27 papers; they were organized in topical sections named: Designing, Developing and Evaluating Mobile Interaction Systems and User Experience, Acceptance and Impact of Mobile Communications.

This book constitutes the refereed post proceedings of the XIXth International Conference of the Italian Association for Artificial Intelligence, AIxIA 2020, held in Milano, Italy, in November 2020.Due to the COVID-19 pandemic, the conference was "rebooted"/ re-organized w.r.t. the original format. The 27 full papers were carefully reviewed and selected from 89 submissions. The society aims at increasing the public awareness of Artificial Intelligence, encouraging the teaching and promoting research in the field.

This book constitutes the refereed proceedings of the 18th International Semantic Web Conference, ESWC 2021, held virtually in June 2021. The 41 full papers and 2 short papers presented were carefully reviewed and selected from 167 submissions. The papers were submitted to three tracks: the research track, the resource track and the in-use track. These tracks showcase research and development activities, services and applications, and innovative research outcomes making their way into industry. The research track caters to both long-standing and emerging research topics in the form of the following subtracks: ontologies and reasoning; knowledge graphs (understanding, creating, and exploiting); semantic data management, querying and distributed data; data dynamics, quality, and trust; matching, integration, and fusion; NLP and information retrieval; machine learning; science data and scholarly communication; and problems to solve before you die.

The book highlights new trends and challenges in research on agents and the new digital and knowledge economy. It includes papers on business process management, agent-based modeling and simulation and anthropic-oriented computing that were originally presented at the 14th International KES Conference on Agents and Multi-Agent Systems: Technologies and Applications (KES-AMSTA 2020), being held as a Virtual Conference in June 17-19, 2020. The respective papers cover topics such as software agents, multi-agent systems, agent modeling, mobile and cloud computing, big data analysis, business intelligence, artificial intelligence, social systems, computer embedded systems and nature inspired manufacturing, all of which contribute to the modern digital economy.