Bücher der Reihe Lecture Notes in Computer Science

This book constitutes the refereed proceedings of the 18th International Conference on Persuasive Technology, PERSUASIVE 2023, held in Eindhoven, The Netherlands, April 19¿21, 2023.The 24 full papers and 2 short papers included in this book were carefully reviewed and selected from 69 submissions. They were organized in topical sections as follows: Persuasive Technologies in Virtual and Augmented Reality; Persuasive Strategies; Persuasive Design and Applications; Methods for Tailoring and Personalisation; Artificial Persuasive Agents; Gamification; and Personal Factors in Persuasion.

This book constitutes the proceedings of the International Conference on Big Data Intelligence and Computing, DataCom 2022, which took place in Denarau Island, Fiji, in December 2022. The 30 full papers included in this volume were carefully reviewed and selected from 88 submissions. The papers detail big data analytics solutions, distributed computation paradigms, on-demand services, autonomic systems, and pervasive applications.

This book constitutes the refereed proceedings of the 25th International Conference on Applications of Evolutionary Computation, EvoApplications 2023, held as part of Evo*2023, in April 2023, co-located with the Evo*2023 events EuroGP, EvoCOP, and EvoMUSART. The EuroGP focused on the technique of genetic programming, EvoCOP targeted evolutionary computation in combinatorial optimization, and EvoMUSART was dedicated to evolved and bio-inspired music, sound, art, and design.The EvoApplications 2023 presents papers on the different areas: Analysis of Evolutionary Computation Methods: Theory, Empirics, and Real-World Applications, Applications of Bio-inspired Techniques on Social Networks, Evolutionary Computation in Edge, Fog, and Cloud Computing, Evolutionary Computation in Image Analysis, Signal Processing, and Pattern Recognition and others.

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Human Computer Interaction, IHCI 2022, held in Tashkent, Uzbekistan, during October 20¿22, 2022. The 47 full papers and 13 short papers included in this book were carefully reviewed and selected from 148 submissions. They were organized in topical sections as follows: Bio-inspired Computing; Cognitive computing; Human Centered AI; Intelligent Technology for Post-Covid and Web Frameworks.

This book constitutes the proceedings of the 23rd International Conference on Parallel and Distributed Computing, Applications, and Technologies, PDCAT 2022, which took place in Sendai, Japan, during December 7-9, 2022.The 24 full papers and 16 short papers included in this volume were carefully reviewed and selected from 95 submissions. The papers are categorized into the following topical sub-headings: Heterogeneous System (1; HPC & AI; Embedded systems & Communication; Blockchain; Deep Learning; Quantum Computing & Programming Language; Best Papers; Heterogeneous System (2); Equivalence Checking & Model checking; Interconnect; Optimization (1); Optimization (2); Privacy; and Workflow.

This book constitutes the post proceedings of the 18th International Workshop on Security and Trust Management, STM 2022, co-located with the 27th European Symposium on Research in Computer Security, ESORICS 2022, which took place in Copenhagen, Denmark, in September 2022.The 7 full papers together with 4 short papers included in this volume were carefully reviewed and selected from 18 submissions. The workshop presents papers with topics such as security and trust access control, cryptographic protocols, identity management, security metrics, and privacy.

This book constitutes the refereed proceedings of the 29th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2023, which took place in Barcelona, Spain, during April 17-20, 2023.The 12 full technical design and scientific evaluation papers, 8 short research previews and vision papers, and 5 experience reports presented in this volume were carefully reviewed and selected from 78 submissions.They were organized in topical sections as follows: Requirements communication and conceptualization; NLP and machine learning for AI; RE for artificial intelligence; crowd RE; and RE in practice.

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

This book constitutes the refereed proceedings of the 15th International Symposium on Foundations and Practice of Security, FPS 2022, held in Ottawa, ON, Canada, during December 12¿14, 2022.The 26 regular and 3 short papers presented in this book were carefully reviewed and selected from 83 submissions. The papers have been organized in the following topical sections: Cryptography; Machine Learning; Cybercrime and Privacy; Physical-layer Security; Blockchain; IoT and Security Protocols; and Short Papers.

This book constitutes the proceedings of the 21st International Symposium on Intelligent Data Analysis, IDA 2022, which was held in Louvain-la-Neuve, Belgium, during April 12-14, 2023.The 38 papers included in this book were carefully reviewed and selected from 91 submissions. IDA is an international symposium presenting advances in the intelligent analysis of data. Distinguishing characteristics of IDA are its focus on novel, inspiring ideas, its focus on research, and its relatively small scale.

This book constitutes the refereed proceedings of the 23rd European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2023, held as part of Evo*2023, in Brno, Czech Republic in April 2023, co-located with the Evo*2023 events: EvoMUSART, EvoApplications, and EuroGP.The 15 revised full papers presented in this book were carefully reviewed and selected from 32 submissions. They present recent theoretical and experimental advances in combinatorial optimization, evolutionary algorithms, and related research fields.

This book constitutes the proceedings of the 7th International Conference on Smart Computing and Communication, SmartCom 2022, held in New York City, NY, USA, during November 18¿20, 2022.The 64 papers included in this book were carefully reviewed and selected from 312 submissions. SmartCom 2023 focus on recent booming developments in Web-based technologies and mobile applications which have facilitated a dramatic growth in the implementation of new techniques, such as cloud computing, edge computing, big data, pervasive computing, Internet of Things, security and privacy, blockchain, Web 3.0, and social cyber-physical systems.The conference gathered all high-quality research/industrial papers related to smart computing and communications and aimed at proposing a reference guideline for further research.

This book constitutes the refereed proceedings of the 19th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2022, held in Izola, Slovenia, in September 2022. The 4 full papers presented in this book were carefully reviewed and selected from 22 submissions. In addition, this book includes 6 work-in-progress papers, 4 new ideas paper, and two invited papers. This series of conferences serves as a meeting place to bring together distributed systems expertise (e.g., in resource allocation, quality of service management, and energy consumption) with economics expertise (focusing on both micro- and macro-economic modelling and analysis) for creating effective solutions in this space.

This book constitutes the refereed proceedings of the 25th International Conference, ICISC 2022, held in Seoul, South Korea, during November 30¿December 2, 2022. The 24 full papers included in this book were carefully reviewed and selected from 69 submissions. They were organized in topical sections as follows: ¿Public Key Encryption with Hierarchical Authorized Keyword Search, Implicit Key-stretching Security of Encryption Schemes.

This book constitutes the proceedings of the 10th International Workshop on Code-Based Cryptography, CBCrypto 2022, which was held during May 29-30, 2022 in Trondheim, Norway.The 8 papers presented in this volume were carefully reviewed and selected from 23 submissions. These contributions span all aspects of code-based cryptography, from design to software and hardware implementations, works about recent NIST PQC standardization candidates, side channel analysis, and improved decoding techniques.

This book constitutes the refereed proceedings of the 26th European Conference on Genetic Programming, EuroGP 2023, held as part of EvoStar 2023, in Brno, Czech Republic, during April 12¿14, 2023, and co-located with the EvoStar events, EvoCOP, EvoMUSART, and EvoApplications. The 14 revised full papers and 8 short papers presented in this book were carefully reviewed and selected from 38 submissions. The wide range of topics in this volume reflects the current state of research in the field. The collection of papers cover topics including developing new variants of GP algorithms for both optimization and machine learning problems as well as exploring GP to address complex real-world problems.

The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003.The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.

This book constitutes the refereed post-conference proceedings the 14th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2022, which was held in Sydney, NSW, Australia, on September 5, 2022.The 5 revised full papers presented were carefully selected from 12 submissions. The conference focuses on Pick and Mix Isolation Levels; Benchmarking considerations for Trustworthy and Responsible AI (Panel); Preliminary Scaling Characterization with TPCx-AI and New Initiatives.

This book constitutes the refereed proceedings of the 14th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2023, held in Munich, Germany, during April 3¿4, 2023. The 12 full papers included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: fault-injection analyses and countermeasures; side-channel analyses and countermeasures; attacks on PQC and countermeasure; and analyses and tools.

This book constitutes the refereed proceedings of the 6th ECML PKDD Workshop on Advanced Analytics and Learning on Temporal Data, AALTD 2021, held during September 13-17, 2021. The workshop was planned to take place in Bilbao, Spain, but was held virtually due to the COVID-19 pandemic. The 12 full papers presented in this book were carefully reviewed and selected from 21 submissions. They focus on the following topics: Temporal Data Clustering; Classification of Univariate and Multivariate Time Series; Multivariate Time Series Co-clustering; Efficient Event Detection; Modeling Temporal Dependencies; Advanced Forecasting and Prediction Models; Cluster-based Forecasting; Explanation Methods for Time Series Classification; Multimodal Meta-Learning for Time Series Regression; and Multivariate Time Series Anomaly Detection.  

This book constitutes the Third 3D Head and Neck Tumor Segmentation in PET/CT Challenge, HECKTOR 2022, which was held in conjunction with the 25th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2022, on September 22, 2022.The 22 contributions presented, as well as an overview paper, were carefully reviewed and selected from 24 submissions. This challenge aims to evaluate and compare the current state-of-the-art methods for automatic head and neck tumor segmentation. In the context of this challenge, a dataset of 883 delineated PET/CT images was made available for training.

This volume constitutes the revised selected papers from 4 workshops:Workshop on Adaptive Service-oriented and Cloud Applications (ASOCA 2022), 3rd International Workshop on AI-enabled Process Automation (AI-PA 2022), 3rd International Workshop on Architectures for Future Mobile Computing and Internet of Things (FMCIoT 2022), and 18th International Workshop on Engineering Service-Oriented Applications and Cloud Services (WESOACS 2022) held in conjunction with the 20th International Conference on Service-Oriented Computing, ICSOC 2022. The conference was held in Sevilla, Spain, in November/December 2022.