Bücher der Reihe Lecture Notes in Computer Science

This book constitutes the refereed proceedings of the 4th International Conference on Next Generation Arithmetic, CoNGA 2023, held in Singapore, during March 1-2, 2023.The 11 full papers in this book were carefully reviewed and selected from 16 submissions. They were organized in topical sections as follows: Lossless FFTs Using Posit Arithmetic, PLAUs: Posit Logarithmic Approximate Units to Implement Low-Cost Operations with Real Numbers.

This book constitutes the refereed post-conference proceedings of the 15th International Conference on Innovative Security Solutions for Information Technology and Communications, SecITC 2022, held as a virtual event, during December 8¿9, 2022.The 19 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 53 submissions. The papers cover topics such as cryptographic algorithms, digital forensics and cyber security and much more.

This book constitutes the proceedings of the 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, which was held in Pretoria, South Africa, from May 31¿June 2, 2023.The 29 full papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers are organized in the following topical sections: Design-oriented Research for Society 5.0 (Theme Track); Design of Systems Using Emerging Technologies; Human-Centered Artificial Intelligence (HCAI); Healthcare Systems and Quality of Life; Innovation and Entrepreneurship; Emerging DSR Methods and Processes; Education and DRS; Human Safety and Cybersecurity; Co-Desing and Collective Creativity for Addressing Grand Challenges; and Sustainability and Responsible Design.

This book constitutes the refereed proceedings of the 30th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2023, held in Alcalá de Henares, Spain, during June 6¿9, 2023.The 26 full papers presented in this book were carefully reviewed and selected from 48 submissions. SIROCCO is devoted to the study of the interplay between structural knowledge, communication, and computing in decentralized systems of multiple communicating entities. Special emphasis is given to innovative approaches leading to better understanding of the relationship between computing and communication. This is the 30th edition of SIROCCO, and 3 of the 26 papers in this book are devoted to celebrating this fact, plus an additional paper about a recent trend to study special models of computation.

This book constitutes the thoroughly refereed post-conference proceedings of the 35th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2022, held in Chicago, IL, USA, in October 2022. The 9 revised full papers were carefully reviewed and selected from 12 submissions. The conference covers all aspects of languages, compiler techniques, run-time environments, and compiler-related performance evaluation for parallel and high-performance computing. The scope of the workshop encompasses foundational results, as well as practical experience reports and bold new ideas for future systems.

This book constitutes the proceedings of the Workshop on Asynchronous Many-Task Systems and Applications 2023 in Baton Rouge, LA, USA, February 2023. The workshop present the advantages and challenges of task-based programming on modern and future HPC systems.The 6 full papers included in this volume were carefully reviewed and selected from 7 submissions.

This book constitutes the proceedings of the 38th International Conference on High Performance Computing, ISC High Performance 2023, which took place in Hamburg, Germany, in May 2023. The 21 papers presented in this volume were carefully reviewed and selected from 78 submissions. They were organized in topical sections as follows: Architecture, Networks, and Storage; HPC Algorithms & Applications; Machine Learning, AI, & Quantum Computing; Performance Modeling, Evaluation, & Analysis; and Programming Environments & Systems Software.

This book constitutes the First Left Atrial and Scar Quantification and Segmentation Challenge, LAScarQS 2022, which was held in conjunction with the 25th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2022, in Singapore, in September 2022.The 15 papers presented in this volume were carefully reviewed and selected form numerous submissions. The aim of the challenge is not only benchmarking various LA scar segmentation algorithms, but also covering the topic of general cardiac image segmentation, quantification, joint optimization, and model generalization, and raising discussions for further technical development and clinical deployment.

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26¿27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.

This book constitutes the proceedings of the 9th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2023, which took place in Santa Margherita di Pula, Italy, in May 2023. The 57 papers presented in this volume were carefully reviewed and selected from 72 submissions. They were organized in topical sections as follows: Inverse Problems in Imaging; Machine and Deep Learning in Imaging; Optimization for Imaging: Theory and Methods; Scale Space, PDEs, Flow, Motion and Registration.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Modelling and Simulation for Autonomous Systems, MESAS 2021, held as a virtual event due COVID-19, in October 2021.The 30 full papers together with 2 short papers included in the volume were carefully reviewed and selected from 50 submissions. They are organized in the following topical sections: M&S of intelligent systems,  R&D and application; and AxS/AI in context of future warfare and security environment and future challenges of Advance M&S Technology.

This book constitutes revised selected papers from the workshops held at the 28th International European Conference on Parallel and Distributed Computing, Euro-Par 2022, which took place in Glasgow, UK, in August 22¿26, 2022Out of a total of 35 submissions 24 papers have been accepted, 19 of these are included in this book.They stem from the following workshops:- Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms (HeteroPar)- Workshop on Asynchronous Many-Task systems for Exascale (AMTE) - Workshop on Domain Specific Languages for High-Performance Computing (DSL-HPC)- Workshop on Distributed and Heterogeneous Programming in C and C++ (DHPCC++)- Workshop on Resiliency in High Performance Computing in Clouds, Grids, and Clusters (Resilience)In addition, the proceedings alsocontains 6 extended abstracts from the PhD Symposium.

This book constitutes the proceedings of the 18th International Workshop on Algorithms and Models for the Web Graph, WAW 2023, held in Toronto, Canada, in May 23¿26, 2023.The 12 Papers presented in this volume were carefully reviewed and selected from 21 submissions. The aim of the workshop was understanding of graphs that arise from the Web and various user activities on the Web, and stimulate the development of high-performance algorithms and applications that exploit these graphs.

This book constitutes the proceedings of the Workshop Empowering Novel Geometric Algebra for Graphics and Engineering, ENGAGE 2022, held in conjunction with Computer Graphics International conference, CGI 2022, which took place virtually, in September 2022. The 10 full papers included in this volume were carefully reviewed and selected from 12 submissions. The workshop focused specifically on important aspects of geometric algebra including algebraic foundations, digitized transformations, orientation, conic fitting, protein modelling, digital twinning, and multidimensional signal processing.

This book constitutes the thoroughly refereed conference proceedings of the 16th International Workshop on Design and Architecture for Signal and Image Processing, DASIP 2023, held in Toulouse, France in January 2023.The 9 full included in the volume were carefully reviewed and selected from 17 submissions. They are organized in the following topical sections: Methods and Applications, Hardware Architectures and Implementations and others.

This book constitutes the conference proceedings of the 10th Pacific Rim Symposium on Image and Video Technology, PSIVT 2022, held in Bintan Island, Indonesia, in November 2022.A total of 15 papers were carefully reviewed and selected from 18 submissions. The main conference focuses on theoretical advances or practical implementations in image and video technology.

The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques and related issues that are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate students, postdocs, young researchers, and senior researchers wishing to deepen their knowledge. As in the previous years, lectures in the summer school were given by a distinguished group of expert lecturers. The broad theme of this year's summer school was ¿Reasoning in Probabilistic Models and Machine Learning¿ and it covered various aspects of ontological reasoning and related issues that are of particular interest to Semantic Web and Linked Data applications. The following eight lectures were presented during the school: Logic-Based Explainability in Machine Learning; Causal Explanations and Fairness in Data; Statistical Relational Extensions of Answer Set Programming; Vadalog: Its Extensions and Business Applications; Cross-Modal Knowledge Discovery, Inference, and Challenges; Reasoning with Tractable Probabilistic Circuits; From Statistical Relational to Neural Symbolic Artificial Intelligence; Building Intelligent Data Apps in Rel using Reasoning and Probabilistic Modelling.

This book constitutes the refereed proceedings of the 13th International Conference on Algorithms and Complexity, CIAC 2023, which took place in Larnaca, Cyprus, during June 13¿16, 2023. The 25 full papers included in this book were carefully reviewed and selected from 49 submissions. They cover all important areas of research on algorithms and complexity such as algorithm design and analysis; sequential, parallel and distributed algorithms; data structures; computational and structural complexity; lower bounds and limitations of algorithms; randomized and approximation algorithms; parameterized algorithms and parameterized complexity classes; smoothed analysis of algorithms; alternatives to the worst-case analysis of algorithms (e.g., algorithms with predictions), on-line computation and competitive analysis, streaming algorithms, quantum algorithms and complexity, algorithms in algebra, geometry, number theory and combinatorics, computational geometry, algorithmic game theory and mechanism design, algorithmic economics (including auctions and contests), computational learning theory, computational biology and bioinformatics, algorithmic issues in communication networks, algorithms for discrete optimization (including convex optimization) and algorithm engineering.

This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

This open access book constitutes the proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 12 regular papers presented in this volume were carefully reviewed and selected from 50 submissions. The proceedings also contain 2 tool papers, 2 NIER papers, and 2 competition papers from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications. .

This book constitutes the joint refereed proceedings of the 22nd International Conference on Internet of Things, Smart Spaces, and Next Generation Networks and Systems, NEW2AN 2022, held in Tashkent, Uzbekistan, in December 2022.The 58 regular papers presented in this volume were carefully reviewed and selected from 282 submissions. The papers of NEW2AN address various aspects of next-generation data networks, while special attention is given to advanced wireless networking and applications. In particular, the authors have demonstrated novel and innovative approaches to performance and efficiency analysis of 5G and beyond systems, employed game-theoretical formulations, advanced queuing theory, and machine learning. It is also worth mentioning the rich coverage of the Internet of Things, optics, signal processing, as well as digital economy and business aspects.

This book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2023, CT-RSA 2023, held in San Francisco, CA, USA, in April 2023.The 26 full papers presented in this volume were carefully reviewed and selected from 76 submissions. The conference presents papers on subjects such as Cryptographic Implementations, Quantum Cryptanalysis, Advanced Public-Key Encryption, Tools for Privacy-Enhancing Technologies, Symmetric Cryptanalysis, Multiparty Protocols, Digital Signatures, Fault Attacks and Side Channels, Heuristic Approaches, Symmetric-Key Constructions, and Key Agreement.

This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023.The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

This book constitutes the refereed proceedings of the 8th International Conference on Security Standardisation Research, SSR 2023, held in Lyon, France, on April 22-23, 2023.The papers broadly cover cryptographic techniques, network security, identity management, security processes, standardization procedures, and more in the area of existing and newly developed security standards..