Books in the Lecture Notes in Computer Science series

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 12th International Conference on the Theory and Application of Cryptographic Techniques in Africa, AFRICACRYPT 2020, held in Cairo, Egypt, in July 2020. The 21 papers presented in this book were carefully reviewed and selected from 49 submissions.

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.

This book constitutes the First Myocardial Pathology Segmentation Combining Multi-Sequence CMR Challenge, MyoPS 2020, which was held in conjunction with the 23rd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2020, in Lima, Peru, in October 2020.

This book constitutes the proceedings of the 16th International Conference on Information Systems Security, ICISS 2020, held in Jammu, India, during December 16-20, 2020.The 11 regular papers, 2 short papers and 3 work-in-progress papers included in this volume were carefully reviewed and selected from a total of 53 submissions.

This book constitutes the refereed proceedings of the 19th International Conference on Cryptology and Network Security, CANS 2020, held in Vienna, Austria, in December 2020.*The 30 full papers were carefully reviewed and selected from 118 submissions.

This book constitutes the proceedings of the 18th International Conference on Service-Oriented Computing, ICSOC 2020, which was planned to take place in Dubai, UAE, during December 14-17, 2020. smart data and smart services;

This book constitutes the thoroughly refereed proceedings of the 21st International Conference on Information Security Applications, WISA 2020, held in Jeju Island, South Korea, in August 2020. The 30 full research papers included in this book were carefully reviewed and selected from 89 submissions.

This book constitutes the proceedings of the 33rd Australasian Joint Conference on Artificial Intelligence, AI 2020, held in Canberra, ACT, Australia, in November 2020.*The 36 full papers presented in this volume were carefully reviewed and selected from 57 submissions.

This book constitutes the proceedings of the 16th International Conference on Web and Internet Economics, WINE 2020, held in Beijing, China, in December 2020.

This volume contains 8 lecture notes of the 16th Reasoning Web Summer School (RW 2020), held in Oslo, Norway, in June 2020. The Reasoning Web series of annual summer schools has become the prime educational event in the field of reasoning techniques on the Web, attracting both young and established researchers.

This book constitutes the thoroughly refereed proceedings of the Second International Conference on Brain Function Assessment in Learning, BFAL 2020, held in Heraklion, Crete, Greece, in October 2020*. The 11 revised full papers and 10 short papers presented were carefully selected from 35 submissions.

The seven-volume set LNCS 12261, 12262, 12263, 12264, 12265, 12266, and 12267 constitutes the refereed proceedings of the 23rd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2020, held in Lima, Peru, in October 2020.

The conference was planned to take place in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.From a total of 6326 submissions, a total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings before the conference took place.

Temporal-Adaptive Graph Convolutional Network for Automated Identification of Major Depressive Disorder with Resting-State fMRI.- Error Attention Interactive Segmentation of Medical Images through Matting and Fusion.- A Novel fMRI Representation Learning Framework with GAN.- Semi-supervised Segmentation with Self-Training Based on Quality Estimation and Refinement.- 3D Segmentation Networks for Excessive Numbers of Classes: Distinct Bone Segmentation in Upper Bodies.- Super Resolution of Arterial Spin Labeling MR Imaging Using Unsupervised Multi-Scale Generative Adversarial Network.- Self-Recursive Contextual Network for Unsupervised 3D Medical Image Registration.- Automated Tumor Proportion Scoring for Assessment of PD-L1 Expression Based on Multi-Stage Ensemble Strategy.- Uncertainty Quantification in Medical Image Segmentation with Normalizing Flows.- Out-of-Distribution Detection for Skin Lesion Images with Deep Isolation Forest.- A 3D+2D CNN Approach Incorporating Boundary Loss for Stroke Lesion Segmentation.- Linking Adolescent Brain MRI to Obesity via Deep Multi-cue Regression Network.- Robust Multiple Sclerosis Lesion Inpainting with Edge Prior.- Segmentation to Label: Automatic Coronary Artery Labeling from Mask Parcellation.- GSR-Net: Graph Super-Resolution Network for Predicting High-Resolution from Low-Resolution Functional Brain Connectomes.- Anatomy-Aware Cardiac Motion Estimation.- Division and Fusion: Rethink Convolutional Kernels for 3D Medical Image Segmentation.- LDGAN: Longitudinal-Diagnostic Generative Adversarial Network for Disease Progression Prediction with Missing Structural MRI.- Unsupervised MRI Homogenization: Application to Pediatric Anterior Visual Pathway Segmentation.- Boundary-aware Network for Kidney Tumor Segmentation.- O-Net: An Overall Convolutional Network for Segmentation Tasks.- Label-Driven Brain Deformable Registration Using Structural Similarity and Nonoverlap Constraints.- EczemaNet: Automating Detection and Severity Assessment of Atopic Dermatitis.- Deep Distance Map Regression Network with Shape-aware Loss for Imbalanced Medical Image Segmentation.- Joint Appearance-Feature Domain Adaptation: Application to QSM Segmentation Transfer.- Exploring Functional Difference between Gyri and Sulci via Region-Specific 1D Convolutional Neural Networks.- Detection of Ischemic Infarct Core in Non-Contrast Computed Tomography.- Bayesian Neural Networks for Uncertainty Estimation of Imaging Biomarkers.- Extended Capture Range of Rigid 2D/3D Registration by Estimating Riemannian Pose Gradients.- Structural Connectivity Enriched Functional Brain Network using Simplex Regression with GraphNet.- Constructing High-Order Dynamic Functional Connectivity Networks from Resting-State fMRI for Brain Dementia Identification.- Multi-tasking Siamese Networks for Breast Mass Detection using Dual-view Mammogram Matching.- 3D Volume Reconstruction from Single Lateral X-ray Image via Cross-Modal Discrete Embedding Transition.- Cleft Volume Estimation and Maxilla Completion Using Cascaded Deep Neural Networks.- A Deep Network for Joint Registration and Reconstruction of Images with Pathologies.- Learning Conditional Deformable Shape Templates for Brain Anatomy     .- Demographic-Guided Attention in Recurrent Neural Networks for Modeling Neuropathophysiological Heterogeneity.- Unsupervised Learning for Spherical Surface Registration.- Anatomy-guided Convolutional Neural Network for Motion Correction in Fetal Brain MRI.- Gyral Growth Patterns of Macaque Brains Revealed by Scattered Orthogonal Nonnegative Matrix Factorization.- Inhomogeneity Correction in Magnetic Resonance Images Using Deep Image Priors.- Hierarchical and Robust Pathology Image Reading for High-Throughput Cervical Abnormality Screening .- Importance Driven Continual Learning for Segmentation Across Domains.- RDCNet: Instance segmentation with a minimalist recurrent residual network.- Automatic Segmentation of Achilles Tend