Bücher der Reihe Lecture Notes in Computer Science

This book constitutes the First Segmentation of the Aorta Challenge, SEG.A. 2023, which was held in conjunction with the 26th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2023, on October 8, 2023. The 8 full and 3 short papers presented have been carefully reviewed and selected for inclusion in the book. They focus specifically on robustness, visual quality and meshing of automatically generated segmentations of aortic vessel trees from CT imaging. The challenge was organized as a ¿container submission¿ challenge, where participants had to upload their algorithms to Grand Challenge in the form of Docker containers. Three tasks were created for SEG.A. 2023.

This book constitutes the proceedings of the 14th International Workshop, CDMRI 2023, held in conjunction with MICCAI 2023, the 26th International Conference on Medical Image Computing and Computer-Assisted Intervention. The conference took place in Vancouver, BC, Canada, on October 8, 2023.The 17regular papers presented in this book were carefully reviewed and selected from 19 submissions. These contributions cover various aspects, including preprocessing, signal modeling, tractography, bundle segmentation, and clinical applications. Many of these studies employ novel machine learning implementations, highlighting the evolving landscape of techniques beyond the more traditional physics-based algorithms.

This double volume set LNCS 14393-14394 constitutes the proceedings from the workshops held at the 26th International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2023 Workshops, which took place in Vancouver, BC, Canada, in October 2023. The 54 full papers together with 14 short papers presented in this volume were carefully reviewed and selected from 123 submissions from all workshops.The papers of the workshops are presenting the topical sections: Eighth International Skin Imaging Collaboration Workshop (ISIC 2023) First Clinically-Oriented and Responsible AI for Medical Data Analysis (Care-AI 2023) Workshop First International Workshop on Foundation Models for Medical Artificial General Intelligence (MedAGI 2023) Fourth Workshop on Distributed, Collaborative and Federated Learning (DeCaF 2023) First MICCAI Workshop on Time-Series Data Analytics and Learning First MICCAI Workshop on Lesion Evaluation and Assessment with Follow-Up (LEAF) AI For Treatment Response Assessment and predicTion Workshop (AI4Treat 2023) Fourth International Workshop on Multiscale Multimodal Medical Imaging (MMMI 2023) Second International Workshop on Resource-Effcient Medical Multimodal Medical Imaging Image Analysis (REMIA 2023)

This book constitutes the refereed proceedings of the 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, held in Kanazawa, Japan, during March 18¿20, 2024. The 28 full papers presented in this book, together with two extended abstracts of invited talks, were carefully reviewed and selected from 80 submissions. They cover diverse areas of algorithms and computation, that is, approximation algorithms, algorithmic graph theory and combinatorics, combinatorial algorithms, combinatorial optimization, computational biology, combinatorial reconfiguration, computational complexity, computational geometry, discrete geometry, data structures, experimental algorithm methodologies, graph algorithms, graph drawing, parallel and distributed algorithms, parameterized algorithms, parameterized complexity, network optimization, online algorithms, randomized algorithms, and string algorithms.

This book constitutes the refereed conference proceedings of the 12th International Conference on Computational Data and Social Networks, CSoNet 2023, held in Hanoi, Vietnam, in December 2023.The 23 full papers and 14 short papers presented in this book were carefully reviewed and selected from 64 submissions. The papers are divided into the following topical sections: machine learning and prediction; optimization; security and blockchain; and network analysis.

¿This book constitutes the proceedings of the 14th International Workshop on Statistical Atlases and Computational Models of the Heart, STACOM 2023, as well as the Cardiac MRI Reconstruction Challenge, CMRxRecon Challenge. There was a total of 53 submissions to the workshop. The 24 regular workshop papers included in this volume were carefully reviewed and selected from 29 paper submissions. They deal with cardiac segmentation, modelling, strain quantification, registration, statistical shape analysis, and quality control. In addition, 21 papers from the CMRxRecon challenge are included in this volume. They focus on fast CMR image reconstruction and provide a benchmark dataset that enables the broader research community to promote advances in this area of research.

Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification. Concepts from active objects made their way into languages such as Rust, ABS, Akka, JavaScript, and Go. This is the first comprehensive state-of-art overview on the subject, the invited contributions are written by experts in the areas of distributed systems, formal methods, and programming languages.

This book constitutes the refereed proceedings of the 10th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2024, held in Bhilai, India during February 15¿17, 2024.The 22 full papers included in this book were carefully reviewed and selected from 57 submissions. They were organized in topical sections as follows: Algorithms and Complexity; Computational Geometry; Discrete Applied Mathematics; Graph Algorithms; Graph Theory.

This book constitutes the refereed post-proceedings of the 9th International Conference on Mobile, Secure, and Programmable Networking, MSPN 2023, held in Paris, France, during October 26¿27, 2023.The 15 full papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows vertical tools on machine leaning and artificial intelligence, network programming and Cloud computing, Industrial Internet of things, Digital Twins and Security.

This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024. The 33 full papers presented in this book were carefully reviewed and selected from 81 submissions. The book also contains one invited talk in full paper length. They focus on original research and challenges in foundations of computer science including algorithms, AI-based methods, computational complexity, and formal models.

This book constitutes revised selected papers from the thoroughly refereed conference proceedings of the 16th International Conference on Innovative Security Solutions for Information Technology and Communications, SecITC 2023, held in Bucharest, Romania, in November 2023. The 14 full papers included in the book were carefully reviewed and selected from 57 submissions. They focus on all theoretical and practical aspects related to information technology and communications security.

This book constitutes the refereed proceedings of the 8th International Conference on Internet on Things, ICIOT 2023, held as part of SCF 2023, in Shenzhen, China, during December 17¿18, 2023.The 8 full papers presented in this volume were carefully reviewed and selected from 28 submissions. The papers cover topics in the field of sensors and other types of sensing devices, wired and wireless networks, platforms and tools, data processing/visualization/analysis and integration engines.

This book constitutes the refereed conference proceedings of the 11th Pacific-Rim Symposium on Image and Video Technology, PSIVT 2023, held in Auckland, New Zealand, during November 22¿24, 2023.The 34 full papers presented in this book were carefully reviewed and selected from 75 submissions. The main conference focuses on Image and Video Technology, a conference that gathers researchers and practitioners from around the globe to discuss the latest breakthroughs in image and video processing, analysis, and applications.

This book constitutes the refereed proceedings of the 14th BenchCouncil International Symposium on Benchmarking, Measuring, and Optimizing, Bench 2023, held in Sanya, China, during December 3¿5, 2023. The 11 full papers included in this book were carefully reviewed and selected from 20 submissions. The Bench symposium invites papers that exhibit three defining characteristics: (1) It provides a high-quality, single-track forum for presenting results and discussing ideas that further the knowledge and understanding of the benchmark community; (2) It is a multi-disciplinary conference, attracting researchers and practitioners from different communities, including architecture, systems, algorithms, and applications; (3) The program features both invited and contributed talks.

This book constitutes the refereed proceedings of the 7th International Conference on Edge Computing, EDGE 2023, held in Shenzhen, China, during December 17¿18, 2023. The 8 full papers in this book were carefully reviewed and selected from 14 submissions. They were organized in topical sections as follows: Practice of Edge Computing, identify emerging research topics, and define the future of Edge Computing.

This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023.The 11 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: cloud computing, cyber-physical and critical systems, and the Internet of Things.

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15¿16, 2023. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic.

This book constitutes the refereed proceedings of the 7th International Conference on Cloud Computing, CLOUD 2023, held in Shenzhen, China, during December 17¿18, 2023.The 5 full papers and 3 short papers in this book were carefully reviewed and selected from 13 submissions. The conference facilitates the exploration of emerging research areas and the shaping of the future landscape of cloud computing.

This book constitutes the refereed proceedings of the 20th International Conference on Services Computing, SCC 2023, held in Shenzhen, China, during December 17¿18, 2023.The 6 full papers in this book were carefully reviewed and selected from 18 submissions. They are organized in topical sections as follows: business modeling, business consulting, solution creation, service delivery, and software architecture design, development, and deployment.

This book constitutes the refereed proceedings of the 26th International Conference on Practical Aspects of Declarative Languages, PADL 2024, held in London, UK, during January 17¿19, 2024.The 13 full papers included in this book were carefully reviewed and selected from 25 submissions. The accepted papers span a range of topics related to functional and logic programming, including reactive programming, hardware implementations, implementation of marketplaces, query languages, and applications of declarative programming techniques to artificial intelligence and machine learning.

This book constitutes the refereed proceedings of the 13th International Conference on Security, Privacy, and Applied Cryptography Engineering, SPACE 2023, held in Roorkee, India, in December 2023.The 14 papers included in these proceedings were carefully reviewed and selected from 45 submissions. They focus on various aspects of security, privacy, applied cryptography, and cryptographic engineering.