Bücher der Reihe Lecture Notes in Computer Science

This book constitutes the refereed proceedings of the 11th International Conference on Computational Data and Social Networks, CSoNet 2022, held as a Virtual Event, during December 5¿7, 2022. The 17 full papers and 7 short papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Machine Learning and Prediction, Security and Blockchain, Fact-checking, Fake News, and Hate Speech, Network Analysis, Optimization.

This book constitutes the refereed proceedings of the 18th International Conference on Computer-Aided Systems Theory, EUROCAST 2022, held in Las Palmas de Gran Canaria, Spain, during February 20¿25, 2022. The 77 full papers included in this book were carefully reviewed and selected from 110 submissions. They were organized in topical sections as follows: Systems Theory and Applications, Theory and Applications of Metaheuristic Algorithms, Model-Based System Design, Verification and Simulation, Applications of Signal Processing Technology, Artificial Intelligence and Data Mining for Intelligent Transportation Systems and Smart Mobility, Computer Vision, Machine Learning for Image Analysis and Applications, Computer and Systems Based Methods and Electronic Technologies in Medicine, Systems in Industrial Robotics, Automation and IoT, Systems Thinking. Relevance for Technology, Science and Management Professionals.

This two-volume set constitutes the refereed proceedings of the 16th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2022, held as part of the 24th International Conference, HCI International 2022, held as a virtual event, in June-July 2022. A total of 1271 papers and 275 posters included in the 39 HCII 2022 proceedings volumes. UAHCI 2022 includes a total of 73 papers; they focus on topics related to universal access methods, techniques and practices, studies on accessibility, design for all, usability, UX and technology acceptance, emotion and behavior recognition for universal access, accessible media, access to learning and education, as well universal access to virtual and intelligent assistive environments.

This book constitutes the refereed proceedings of the 10th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2022, held as part of Evo* 2022, in April 2022, co-located with the Evo* 2022 events, EvoCOP, EvoApplications, and EuroGP. The 20 full papers and 6 short papers presented in this book were carefully reviewed and selected from 66 submissions. They cover a wide range of topics and application areas, including generative approaches to music and visual art, deep learning, and architecture.

This book constitutes the proceedings of the 37th International Conference, IVCNZ 2022, which took place in Auckland, New Zealand, in November 2022.The 37 papers (14 accepted for long oral presentation, 23 for short oral presentation) included in this volume were carefully reviewed and selected from 79 submissions. The conference presents papers on all aspects of computer vision, image processing, computer graphics, virtual and augmented reality, visualization, and HCI applications related to these fields.

This book constitutes the proceedings of the 9th International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2023, which was held in Gandhinagar, India, during February 9-11, 2023.The 32 papers presented in this volume were carefully reviewed and selected from 67 submissions. The papers were organized in topical sections named: algorithms and optimization; computational geometry; game theory; graph coloring; graph connectivity; graph domination; graph matching; graph partition and graph covering.

This book constitutes the revised selected papers from the 23rd International Conference on Information Security Applications, WISA 2022, which took place on Jeju Island, South Korea, during August 2022.The 25 papers included in this book were carefully reviewed and selected from 76 submissions. They were organized in topical sections as follows: network security; cryptography; vulnerability analysis; privacy enhancing technique; security management; security engineering.

This book constitutes the refereed proceedings of the 28th China Conference on Information Retrieval, CCIR 2022, held in Chongqing, China, in September 2022. Information retrieval aims to meet the demand of human on the Internet to obtain information quickly and accurately. The 8 full papers presented were carefully reviewed and selected from numerous submissions. The papers provide a wide range of research results in information retrieval area.

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17¿18, 2022.The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers describe software verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

This book constitutes the proceedings of the 6th International Workshop on Chatbot Research and Design, CONVERSATIONS 2022, which was held during November 2022.The 12 papers included in this volume were carefully reviewed and selected from a total of 27 submissions. They were organized in topical sections named: chatbot users and user experience; chatbot design and applications.

This book constitutes the refereed proceedings of the 17th International Conference on Green, Pervasive, and Cloud Computing, GPC 2022, held in Chengdu, China, in December 2022.The 19 full papers presented in this book were carefully reviewed and selected from 104 submissions. GPC 2022 shares novel ideas and experiences in the areas of Green, Pervasive, and Cloud Computing.

This book constitutes the post-conference proceedings of the First MICCAI Workshop on Medical Applications with Disentanglements, MAD 2022, held in conjunction with MICCAI 2022, in Singapore, on September22, 2022. The 8 full papers presented in this book together with one short paper were carefully reviewed and cover generative adversarial networks (GAN), variational autoencoders (VAE) and normalizing-flow architectures as well as a wide range of medical applications, like brain age prediction, skull reconstruction and unsupervised pathology disentanglement.

This book constitutes the proceedings of the 10th International Conference on Big Data Analytics, BDA 2022, which took place in Hyderabad, India, in December 2022.The 7 full papers and 7 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The book also contains 4 keynote talks in full-paper length. The papers are organized in the following topical sections: Big Data Analytics: Vision and Perspectives; Data Science: Architectures; Data Science: Applications; Graph Analytics; Pattern Mining; Predictive Analytics in Agriculture.

This volume constitutes the refereed proceedings of the 5th International Workshop on Emerging Technologies for Authorization and Authentication, ETAA 2022, held in Copenhagen, Denmark, on September 30, 2022, co-located with ESORICS 2022.The revised 8 full papers presented together with one invited paper were carefully reviewed and selected from 10 submissions. They cover topics such as: new techniques for biometric and behavioral based authentication, authentication and authorization in the IoT and in distributed systems in general, including the smart home environment.

This book constitutes the refereed proceedings of the 21st International Workshop, IWDW 2022, held in Guilin, China, during November 18-19, 2022. The 14 full papers included in this book were carefully reviewed and selected from 30 submissions. They were organized in topical sections as follows: Steganology, Forensics and Security Analysis, Watermarking.

This book constitutes the proceedings of the 21st International Conference on Smart Card Research and Advanced Applications, CARDIS 2022, which took place in November 2022. The conference took place in Birmingham, United Kingdom. The 15 full papers presented in this volume were carefully reviewed and selected from 29 submissions. They were organized in topical sections named: physical attacks; physical countermeasures; protecting AES; evaluation methodologies; attacking NTRU; next-generation cryptography.

This book constitutes the proceedings of the 13th International Workshop on Statistical Atlases and Computational Models of the Heart, STACOM 2022, held in conjunction with the 25th MICCAI conference.The 34 regular workshop papers included in this volume were carefully reviewed and selected after being revised and deal with topics such as: common cardiac segmentation and modelling problems to more advanced generative modelling for ageing hearts, learning cardiac motion using biomechanical networks, physics-informed neural networks for left atrial appendage occlusion, biventricular mechanics for Tetralogy of Fallot, ventricular arrhythmia prediction by using graph convolutional network, and deeper analysis of racial and sex biases from machine learning-based cardiac segmentation.In addition, 14 papers from the CMRxMotion challenge are included in the proceedings which aim to assess the effects of respiratory motion on cardiac MRI (CMR) imaging quality and examine the robustness of segmentation models in face of respiratory motion artefacts. A total of 48 submissions to the workshop was received.

This book constitutes the refereed proceedings of the 18th European Workshop on Computer Performance Engineering, EPEW 2022, held in Santa Pola, Spain, in September 2022.The 14 papers presented in this volume together with one invited talk were carefully reviewed and selected from 14 submissions. The papers presented at the workshop reflect the diversity of modern performance engineering. The sessions covered a wide range of topics including robustness analysis, machine learning, edge and cloud computing, as well as more traditional topics on stochastic modelling, techniques and tools.

This book constitutes the proceedings of the MICCAI 2022 Challenge, FLARE 2022, held in Conjunction with MICCAI 2022, in Singapore, on September 22, 2022.The 28 full papers presented in this book were carefully reviewed and selected from 48 submissions. The papers present research and results for abdominal organ segmentation which has many important clinical applications, such as organ quantification, surgical planning, and disease diagnosis.

This book constitutes revised selected papers from two VLDB workshops: The International Workshop on Polystore Systems for Heterogeneous Data in Multiple Databases with Privacy and Security Assurances, Poly 2022, and the 8th International Workshop on Data Management and Analytics for Medicine and Healthcare, DMAH 2022, which were held virtually on September 9, 2022.The proceedings include 3 full papers each from Poly 2022 and from DMAH 2022. DMAH deals with innovative data management and analytics technologies highlighting end-to-end applications, systems, and methods to address problems in healthcare, public health, and everyday wellness, with clinical, physiological, imaging, behavioral, environmental, and omic - data, and data from social media and the Web.Poly is focusing on the broader real-world polystore problem, which includes data management, data integration, data curation, privacy, and security.

This open access book surveys the progress in addressing selected challenges related to the growth of big data in combination with increasingly complicated hardware. It emerged from a research program established by the German Research Foundation (DFG) as priority program SPP 1736 on Algorithmics for Big Data where researchers from theoretical computer science worked together with application experts in order to tackle problems in domains such as networking, genomics research, and information retrieval. Such domains are unthinkable without substantial hardware and software support, and these systems acquire, process, exchange, and store data at an exponential rate. The chapters of this volume summarize the results of projects realized within the program and survey-related work.This is an open access book.

This book constitutes the proceedings of the 30th International Symposium on Graph Drawing and Network Visualization, GD 2022, held in Tokyo, Japan, during September 13-16, 2022. The 25 full papers, 7 short papers, presented together with 2 invited talks, one report on graph drawing contest, and one obituary in these proceedings were carefully reviewed and selected from 70 submissions. The abstracts of 5 posters presented at the conference can be found in the back matter of the volume. The contributions were organized in topical sections as follows: properties of drawings of complete graphs; stress-based visualizations of graphs; planar and orthogonal drawings; drawings and properties of directed graphs; beyond planarity; dynamic graph visualization; linear layouts; and contact and visibility graph representations.

This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

This book constitutes the refereed proceedings of the 14th International Conference on Artificial General Intelligence, AGI 2021, held as a hybrid event in San Francisco, CA, USA, in October 2021.The 36 full papers presented in this book were carefully reviewed and selected from 50 submissions. The papers cover topics from foundations of AGI, to AGI approaches and AGI ethics, to the roles of systems biology, goal generation, and learning systems, and so much more.

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on the Arithmetic of Finite Field, WAIFI 2022, held in Chengdu, China, in August ¿ September 2022.The 19 revised full papers and 3 invited talks presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections: structures in finite fields; efficient finite field arithmetic; coding theory; cryptography; sequences.