Books in the Lecture Notes in Computer Science series

This book constitutes the refereed proceedings of the 23rd International Conference on Asia-Pacific Digital Libraries, ICADL 2021, which was held in December 2021.

Spatial and Temporal Data Analysis. Part II: Deep Learning (1), Deep Learning (2), Recommender Systems (1), Recommender Systems (2), Text Mining (1), Text Mining (2), Service Computing and Cloud Computing (1), Service Computing and Cloud Computing (2), Tutorial and Demo.

This book constitutes the refereed proceedings of the 6th ECML PKDD Workshop on Advanced Analytics and Learning on Temporal Data, AALTD 2021, held during September 13-17, 2021. Classification of Univariate and Multivariate Time Series; and Multivariate Time Series Anomaly Detection.

This book constitutes the proceedings of the 24rd International Conference on Information Security, ISC 2021, held virtually, in November 2021. The 21 full papers presented in this volume were carefully reviewed and selected from 87 submissions. web and OS security; network security; and machine learning for security.

This two-volume set of LNCS 13017 and 13018 constitutes the refereed proceedings of the 16th International Symposium on Visual Computing, ISVC 2021, which was held in October 2021.

This two-volume set of LNCS 13017 and 13018 constitutes the refereed proceedings of the 16th International Symposium on Visual Computing, ISVC 2021, which was held in October 2021.

This book includes revised selected papers from the International Workshops on AI Approaches to the Complexity of Legal Systems, AICOL-XI@JURIX2018, held in Groningen, The Netherlands, on December 12, 2018;

This book constitutes the refereed proceedings of the 22nd International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2021, which took place during November 25-27, 2021. They deal with emerging and challenging topics in intelligent data analytics and associated machine learning paradigms and systems.

This book constitutes the refereed proceedings of the Brazilian Symposium on Bioinformatics, BSB 2021, held in November 2021. Due to COVID-19 pandemic the conference was held virtually The 10 revised full papers and 5 short papers were carefully reviewed and selected from 28 submissions.

This book constitutes the refereed proceedings of the 4th International Conference on Innovative Technologies and Learning, ICITL 2021, held in November/December 2021. Due to COVID-19 pandemic the conference was held virtually. The 59 full papers presented together with 2 short papers were carefully reviewed and selected from 110 submissions.

Due to COVID-19 pandemic the conference was held as a hybrid event.The 20 revised papers, including 14 full papers, 3 short papers and 3 industry papers, presented were carefully reviewed and selected from 48 submissions.

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.

It is one of several "symbolic approaches" to security protocol analysis in which the underlying details of cryptographic primitives are abstracted away, allowing a focus on potential flaws in the communication patterns between participants.

This book constitutes the refereed proceedings of the 26th Nordic Conference on Secure IT Systems, NordSec 2021, which was held online during November 2021.The 11 full papers presented in this volume were carefully reviewed and selected from 29 submissions.

This book constitutes the proceedings of the 19th International Conference on Service-Oriented Computing, ICSOC 2020, which is held virtually in November 2021.The 29 full, 28 short, and 3 vision papers included in this volume were carefully reviewed and selected from 189 submissions.

This book constitutes the proceedings of the 17th International Symposium on Bioinformatics Research and Applications, ISBRA 2021, held in Shenzhen, China, in November 2021. The 51 full papers presented in this book were carefully reviewed and selected from 135 submissions. Biomedical data; sequencing data analysis.

This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021. The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches.

This book constitutes the refereed post-conference proceedings of 9 workshops held at the 35th International ISC High Performance 2021 Conference, in Frankfurt, Germany, in June-July 2021:Second International Workshop on the Application of Machine Learning Techniques to Computational Fluid Dynamics and Solid Mechanics Simulations and Analysis; HPC-IODC: HPC I/O in the Data Center Workshop; Compiler-assisted Correctness Checking and Performance Optimization for HPC; Machine Learning on HPC Systems;4th International Workshop on Interoperability of Supercomputing and Cloud Technologies;2nd International Workshop on Monitoring and Operational Data Analytics;16th Workshop on Virtualization in High­-Performance Cloud Computing; Deep Learning on Supercomputers; 5th International Workshop on In Situ Visualization. The 35 papers included in this volume were carefully reviewed and selected. They cover all aspects of research, development, and application of large-scale,high performance experimental and commercial systems. Topics include high-performance computing (HPC), computer architecture and hardware, programming models, system software, performance analysis and modeling, compiler analysis and optimization techniques, software sustainability, scientific applications, deep learning.Chapter ¿Machine-Learning-Based Control of Perturbed and Heated Channel Flows¿ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes the proceedings of the 17th Conference on Computability in Europe, CiE 2021, organized by the University of Ghent in July 2021.

This book constitutes the refereed proceedings of the 15th International Conference on Provable Security, ProvSec 2021, held in Guangzhou, China, in November 2021.

This book constitutes the refereed proceedings of the 12th International Conference on Decision and Game Theory for Security, GameSec 2021,held in October 2021. Due to COVID-19 pandemic the conference was held virtually. The 20 full papers presented were carefully reviewed and selected from 37 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the 21st Japanese Conference on Discrete and Computational Geometry and Graphs, JCDCGGG 2018, held in Quezon City, Philippines, in September 2018. The total of 14 papers included in this volume was carefully reviewed and selected from 25 submissions.

This book constitutes the revised selected papers from the 22nd International Conference on Information Security Applications, WISA 2021, which took place on Jeju Island, South Korea, during August 2021. The 23 papers included in this book were carefully reviewed and selected from 66 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021.The 12 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 38 submissions.