Books in the Lecture Notes in Computer Science series

The 30-volume set, comprising the LNCS books 12346 until 12375, constitutes the refereed proceedings of the 16th European Conference on Computer Vision, ECCV 2020, which was planned to be held in Glasgow, UK, during August 23-28, 2020.

The 30-volume set, comprising the LNCS books 12346 until 12375, constitutes the refereed proceedings of the 16th European Conference on Computer Vision, ECCV 2020, which was planned to be held in Glasgow, UK, during August 23-28, 2020.

This book constitutes the refereed proceedings of the 28th International Conference on Case-Based Reasoning Research and Development, ICCBR 2020, held in Salamanca, Spain*, in June 2020. The 20 full papers and 2 short papers presented in this book were carefully reviewed and selected from 64 submissions.

This book constitutes the proceedings of the 20th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2020, which was supposed to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020.

The two-volume set LNCS 12110 and 12111 constitutes the refereed proceedings of the 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, PKC 2020, held in Edinburgh, UK, in May 2020. The 44 full papers presented were carefully reviewed and selected from 180 submissions.

This book constitutes the refereed proceedings of the 10th International Conference on Security, Privacy, and Applied Cryptography Engineering, SPACE 2020, held in Kolkata, India, in December 2020.

This book constitutes the refereed conference proceedings of the 7th International Conference on Mining Intelligence and Knowledge Exploration, MIKE 2019, held in Goa, India, in December 2019. The 31 full papers were carefully reviewed and selected from 83 submissions.

This volume constitutes the proceedings of the 14th International Conference on Combinatorial Optimization and Applications, COCOA 2020, held in Dallas, TX, USA, in December 2020. The 55 full papers presented in this volume were carefully reviewed and selected from 104 submissions. Search, Facility and Graphs; and Graph Problems.

The three-volume proceedings LNCS 12491, 12492, and 12493 constitutes the proceedings of the 26th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2020, which was held during December 7-11, 2020. side-channel analysis.Part II: public key cryptography;

The three-volume proceedings LNCS 12491, 12492, and 12493 constitutes the proceedings of the 26th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2020, which was held during December 7-11, 2020. side-channel analysis.Part II: public key cryptography;

The three-volume proceedings LNCS 12491, 12492, and 12493 constitutes the proceedings of the 26th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2020, which was held during December 7-11, 2020. side-channel analysis.Part II: public key cryptography;

This book constitutes the proceedings of the 19th International Conference on Software and Systems Reuse, ICSR 2020, held in Hammamet, Tunesia in December 2020. Due to COVID-19 pandemic the Conference was held virtually. The 16 full papers and 2 short papers included in this book were carefully reviewed and selected from 60 submissions.

This book contains revised and extended versions of selected papers from the 9th International Conference on Pattern Recognition, ICPRAM 2020, held in Valletta, Malta, in February 2020.

Petri-Net, Simulation, and Scheduling.- An Approach for Supervisor Reduction of Discrete-event Systems.- Multi-robot path planning using Petri nets.- Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets With Novel Colored Capacity.- The Modeling and Simulation on SRM Drive System Using Variable-proportional-desaturation PI Regulator.- Vehicle Scheduling Problem in Terminals: a Review.- Coverage Analysis of Net Inscriptions in Coloured Petri Net Models.- ON/OFF control trajectory computation for steady state reaching in batches Petri nets.- Towards efficient partial order techniques for time Petri nets.- Towards a Generic Framework for Formal Verification and Performance Analysis of Real-time Scheduling Algorithms.- Accurate Strategy for Mixed Criticality Scheduling.- Formal Modeling and Verification, Testing.- Model-based Design of Resilient Systems Using Quantitative Risk Assessment.- An Evaluation of Estimation Techniques for Probabilistic Verification.- Formal Verification of a Certified Policy Language.- Multi-path Coverage of all Final States for Model-Based Testing Theory using Spark In-memory Design.- Artificial Intelligence and Machine Learning.- A C-IFGSM Based Adversarial Approach for Deep Learning Based Intrusion Detection.- Deep Reinforcement Learning for Solving AGVs Routing Problem.- Research on Vehicle Detection based on Visual Convolution Network Optimization.- A Self-Adaptive Multi-Hierarchical Modular Neural Network for Complex Problems.- Multi-Scale Risk Assessment Model of Network Security Based on LSTM.- Weighted lightweight image retrieval method based on linear regression.

This book constitutes the refereed proceedings of the 15th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2020, held in Bordeaux, France, in November 2020. The 18 full papers were carefully reviewed and selected from 22 submissions.

This book constitutes the refereed post-conference proceedings of the 16th International Conference on Advances in Computer Games, ACG 2019, held in Macao, China, in August 2019. The 12 full papers presented together with 2 invited papers were carefully reviewed and selected from 19 submissions.

This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLi 2019, held in Prague, Czech Republic in October 2020.

Conceptual Modeling Meets Artificial Intelligence and Data-Driven Decision Making (CMAI) 2020.- How to Induce Trust in Medical AI Systems.- Towards Automated Support for Conceptual Model Diagnosis and Repair.- Superimposition: Augmenting Machine Learning Outputs with Conceptual Models for Explainable AI.- Evaluating Tree Explanation Methods for Anomaly Reasoning: A Case Study of SHAP TreeExplainer and TreeInterpreter.- Conceptual Modeling for Life Sciences (CMLS) 2020.- The Importance of the Temporal Dimension in Identifying Relevant Genomic Variants: a Case Study.- Towards the Generation of a Species-Independent Conceptual Schema of the Genome.- Conceptual Human Emotion Modeling (HEM).- Towards an Ontology for Tertiary Bioinformatics Research Process.- Using BioPAX-Parser (BiP) to annotate lists of biological entities with pathway data.- Relational Text-type for Biological Sequences.- Conceptual Modeling, Ontologies and (Meta)data Management for Findable, Accessible, Interoperable and Reusable (FAIR) Data (CMOMM4FAIR) 2020.- Mapping the Web Ontology Language to the OpenAPI Specification.- Evaluating FAIRness of Genomic Databases.- Reusable FAIR Implementation Pro les as Accelerators of FAIR Convergence.- Conceptual Modeling for NoSQL Data Stores (CoMoNoS) 2020.- Deimos: A Model-based NoSQL Data Generation Language.- Managing Physical Schemas in MongoDB Stores.- JSON Schema Inference Approaches.- Empirical Methods in Conceptual Modeling (EmpER) 2020.- Empirical evaluation of a new DEMO modelling tool that facilitates model transformations.- Acquiring and sharing the monopoly of legitimate naming in organizations, an application in conceptual modeling.- Replicability and Reproducibility of a Schema Evolution Study in Embedded Databases.- Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas.- Experimental practices for measuring the intuitive comprehensibility of modeling constructs: an example design.

The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.

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

This book constitutes the refereed proceedings of the 4th ECML PKDD Workshop on Advanced Analytics and Learning on Temporal Data, AALTD 2019, held in Ghent, Belgium, in September 2020. The 15 full papers presented in this book were carefully reviewed and selected from 29 submissions.

This book constitutes the joint refereed proceedings of the 20th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2020, and the 13th Conference on Internet of Things and Smart Spaces, ruSMART 2020.

This book constitutes the refereed proceedings of the 14th International Conference on Network and System Security, NSS 2020, held in Melbourne, VIC, Australia, in November 2020. The 17 full and 9 short papers were carefully reviewed and selected from 60 submissions.

This book constitutes the joint refereed proceedings of the 20th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2020, and the 13th Conference on Internet of Things and Smart Spaces, ruSMART 2020.

This book constitutes the proceedings of the 17th International Conference on Distributed Computing and Internet Technology, ICDCIT 2020, held in Bhubaneswar, India, in January 2021. The 13 full papers presented together with 4 short papers were carefully reviewed and selected from 99 submissions.