Böcker i Lecture Notes in Computer Science-serien

This book constitutes the refereed proceedings of the 10th International Conference on Computational Data and Social Networks, CSoNet 2021, which was held online during November 15-17, 2021. special track on fact-checking, fake news and malware detection in online social networks; and special track on information spread in social and data networks.

This book constitutes the Second Automatization of Cranial Implant Design in Cranioplasty Challenge, AutoImplant 2021, which was held in conjunction with the 24th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2021, in Strasbourg, France, in September, 2021.

This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021. The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions.

This book constitutes the revised selected papers of the 9th International Conference on Networked Systems, NETYS 2021, held virtually in May 2021.The 15 revised full papers and 2 short papers presented were carefully reviewed and selected from 32 submissions.

This book constitutes the refereed proceedings of the 10th International Conference on Games and Learning Alliance, GALA 2021, held in La Spezia, Italy, in December 2021. The 21 full papers and 10 short papers were carefully reviewed and selected from 50 submissions. The papers cover a broad spectrum of topics: Serious Games Applications;

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.