Books in the Lecture Notes in Computer Science series

This book constitutes the refereed proceedings of the First International Conference on Big Scientific Data Management, BigSDM 2018, held in Beijing, Greece, in November/December 2018.The 24 full papers presented together with 7 short papers were carefully reviewed and selected from 86 submissions. The topics involved application cases in the big scientific data management, paradigms for enhancing scientific discovery through big data, data management challenges posed by big scientific data, machine learning methods to facilitate scientific discovery, science platforms and storage systems for large scale scientific applications, data cleansing and quality assurance of science data, and data policies.

This book constitutes the refereed proceedings of the 25th International Conference, CRIWG+CollabTech 2019, held in Kyoto, Japan in September 2019. The 12 full papers presented in this book together with 8 work-in-progress papers were carefully reviewed and selected from 28 submissions, and the program also included an invited talk. This year presented a merger of the CRIWG and CollabTech conferences after having been jointly held since 2014. The papers published in this proceedings focus on innovative collaboration technologies and social computing.

This book constitutes the proceedings of the 22nd International Conference on Text, Speech, and Dialogue, TSD 2019, held in Ljubljana, Slovenia, in September 2019. The 33 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The book also contains one invited talk in full paper length.

This book constitutes the refereed proceedings of the 16th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2019, held in Linz, Austria, in August 2019 in conjunction with DEXA 2019. The 11 full papers presented were carefully reviewed and selected from 24 submissions.

This book constitutes the refereed proceedings of the 9th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2019, held in Linz, Austria, in August 2019. The 14 full papers presented were carefully reviewed and selected from 15 submissions, and 2 invited papers were also included.

This two volume set of LNCS 11706 and LNCS 11707 constitutes the refereed proceedings of the 30th International Conference on Database and Expert Systems Applications, DEXA 2019, held in Linz, Austria, in August 2019.The 32 full papers presented together with 34 short papers were carefully reviewed and selected from 157 submissions.

This book constitutes the refereed proceedings of the 19th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2019, held in Pythagorion, Samos, Greece, in July 2019. The 21 regular papers presented were carefully reviewed and selected from 55 submissions.

This two volume set of LNCS 11706 and LNCS 11707 constitutes the refereed proceedings of the 30th International Conference on Database and Expert Systems Applications, DEXA 2019, held in Linz, Austria, in August 2019. The 32 full papers presented together with 34 short papers were carefully reviewed and selected from 157 submissions.

This book includes the post-conference proceedings of the 22nd RoboCup International Symposium, held in Montreal, QC, Canada, in June 2018.

autonomous control of unmanned aircraft systems.Part III: marine bio-inspired robotics and soft robotics: materials, mechanisms, modelling, and control;

autonomous control of unmanned aircraft systems.Part III: marine bio-inspired robotics and soft robotics: materials, mechanisms, modelling, and control;

autonomous control of unmanned aircraft systems.Part III: marine bio-inspired robotics and soft robotics: materials, mechanisms, modelling, and control;

autonomous control of unmanned aircraft systems.Part III: marine bio-inspired robotics and soft robotics: materials, mechanisms, modelling, and control;

autonomous control of unmanned aircraft systems.Part III: marine bio-inspired robotics and soft robotics: materials, mechanisms, modelling, and control;

autonomous control of unmanned aircraft systems.Part III: marine bio-inspired robotics and soft robotics: materials, mechanisms, modelling, and control;

This book constitutes the refereed proceedings of the 21st International Conference on Big Data Analytics and Knowledge Discovery, DaWaK 2019, held in Linz, Austria, in September 2019. The 12 full papers and 10 short papers presented were carefully reviewed and selected from 61 submissions.

This two-volume set LNCS 11662 and 11663 constitutes the refereed proceedings of the 16th International Conference on Image Analysis and Recognition, ICIAR 2019, held in Waterloo, ON, Canada, in August 2019. The 58 full papers presented together with 24 short and 2 poster papers were carefully reviewed and selected from 142 submissions.

This book constitutes the refereed proceedings of the 11th International Symposium on Search-Based Software Engineering, SSBSE 2019, held in Tallinn, Estonia, in August/September 2019.

This volume constitutes the proceedings of the 13th International Conference on Algorithmic Aspects in Information and Management, AAIM 2019, held in Bejing, China in August 2019. The 31 full papers presented were carefully reviewed and selected. The papers deal with most aspects of theoretical computer science and their applications.

This two-volume set LNCS 11662 and 11663 constitutes the refereed proceedings of the 16th International Conference on Image Analysis and Recognition, ICIAR 2019, held in Waterloo, ON, Canada, in August 2019. The 58 full papers presented together with 24 short and 2 poster papers were carefully reviewed and selected from 142 submissions.

This book constitutes the proceedings of the 4th International Conference on Geometric Science of Information, GSI 2019, held in Toulouse, France, in August 2019. The 79 full papers presented in this volume were carefully reviewed and selected from 105 submissions.

The three-volume set, LNCS 11692, LNCS 11693, and LNCS 11694, constitutes the refereed proceedings of the 39th Annual International Cryptology Conference, CRYPTO 2019, held in Santa Barbara, CA, USA, in August 2019. The 81 revised full papers presented were carefully reviewed and selected from 378 submissions.

The three-volume set, LNCS 11692, LNCS 11693, and LNCS 11694, constitutes the refereed proceedings of the 39th Annual International Cryptology Conference, CRYPTO 2019, held in Santa Barbara, CA, USA, in August 2019. The 81 revised full papers presented were carefully reviewed and selected from 378 submissions.

The three-volume set, LNCS 11692, LNCS 11693, and LNCS 11694, constitutes the refereed proceedings of the 39th Annual International Cryptology Conference, CRYPTO 2019, held in Santa Barbara, CA, USA, in August 2019. The 81 revised full papers presented were carefully reviewed and selected from 378 submissions.

This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019. The 16 full and 5 short papers included in this volume were carefully reviewed and selected from 65 submissions.

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2019, 38th International Conference on Computer Safety, Reliability and Security, in September 2019 in Turku, Finland. The 32 regular papers included in this volume were carefully reviewed and selected from 43 submissions; the book also contains two invited papers. The workshops included in this volume are:ASSURE 2019: 7th International Workshop on Assurance Cases for Software-Intensive SystemsDECSoS 2019: 14th ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-SystemsSASSUR 2019: 8th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical SystemsSTRIVE 2019: Second International Workshop on Safety, securiTy, and pRivacy In automotiVe systEmsWAISE 2019: Second International Workshop on Artificial Intelligence Safety Engineering

This book constitutes the refereed proceedings of the 7th Pacific Rim Conference on Multimedia, PCM 2006, held in Hangzhou, China in November 2006. The 116 revised papers presented cover a wide range of topics, including all aspects of multimedia, both technical and artistic perspectives and both theoretical and practical issues.

This Festschrift is in honor of Mario de Jes├║s P├⌐rez-Jim├⌐nez, Professor in the Department of Computer Science of University of Seville, Spain, on the occasion of his 70th birthday. The title of this volume reflects both his main research area, viz., Natural Computing, and the guiding principle of his functioning: ΓÇ£once you choose to do something, enjoy doing it".The respect that Professor Mario de Jes├║s P├⌐rez-Jim├⌐nez enjoys in the scientific community was well demonstrated by the enthusiastic response received to the request to contribute to this book. The contributions by more than 70 authors from 15 countries cover a wide spectrum of research areas and reflect well the broad range of research interests of Professor Mario de Jes├║s P├⌐rez-Jim├⌐nez. The research areas presented in this Festschrift include membrane computing, spiking neural networks, phylogenetic networks, ant colonies optimization, workbench for biocomputing, reaction systems, entropy of computation, rewriting systems, and insertion-deletion systems.

They deal with various aspects of the complexity of finite automata, the information content of online problems, stability of approximation algorithms, reoptimization algorithms, computer science education, and many other topics within the fields of algorithmics and complexity theory.

During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking.