Böcker i Lecture Notes in Computer Science-serien

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.

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.

This book constitutes the proceedings of the 10th International Conference on Big Data Analytics, BDA 2022, which took place in a hybrid mode during December 2022 in Aizu, Japan.The 14 full papers included in this volume were carefully reviewed and selected from 70 submissions. They were organized in topical sections as follows: big data analytics, networking, social media, search, information extraction, image processing and analysis, spatial, text, mobile and graph data analysis, machine learning, and healthcare.

This book constitutes three challenges that were held in conjunction with the 25th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2022, which took place in Singapore in September 2022. The peer-reviewed 10 papers included in this volume stem from the following three challenges: Kidney Parsing Challenge 2022: Multi-Structure Segmentation for Renal Cancer Treatment (KiPA 2022) The 2022 Correction of Brain Shift with Intra-Operative Ultrasound-Segmentation Challenge (CuRIOUS-SEG 2022) The 2022 Mediastinal Lesion Analysis Challenge (MELA 2022)

This book constitutes the proceedings of the 24th International Conference, PAM 2023, held as a virtual event, March 21¿23, 2023.The 18 full papers and 9 short papers presented in this volume were carefully reviewed and selected from 80 submissions. The papers are organized in the following topical sections: VPNs and Infrastructure; TLS; Applications; Measurement Tools; Network Performance; Topology; Security and Privacy; DNS; and Web.

This book constitutes the refereed post-conference proceedings of the workshops held at the 16th Asian Conference on Computer Vision, ACCV 2022, which took place in Macao, China, in December 2022. The 25 papers included in this book were carefully reviewed and selected from 40 submissions. They have been organized in topical sections as follows: Learning with limited data for face analysis; adversarial machine learning towards advanced vision systems; computer vision for medical computing; machine learning and computing for visual semantic analysis; vision transformers theory and applications; and deep learning-based small object detection from images and videos.

This book constitutes the proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2023, which took place in Augsburg, Germany, during April 3¿6, 2023.The 17 papers presented in this book were carefully reviewed and selected from 26 submissions.They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.Apart from the submitted articles, this volume features the abstracts of the presentations of the three invited speakers.

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, which was held virtually in April 2022.The 9 full papers presented in this volume were carefully reviewed and selected from 13 submissions. The workshop covers a wide range of topics such as dynamic semantics, logical dynamics, Dynamic Epistemic Logic, Discourse Representation Theory, formal semantics, free choice inference, update semantics, and donkey sentences.

This book constitutes the refereed proceedings of the 14th International Conference on Metaheuristics, MIC 2022, held in Syracuse, Italy, in July 2022.The 48 full papers together with 17 short papers presented were carefully reviewed and selected from 72 submissions. The papers detail metaheuristic techniques.Chapter ¿Evaluating the Effects of Chaos in Variable Neighbourhood Search¿ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes the refereed proceedings and revised selected papers from the 16th International Workshop on Data Privacy Management, DPM 2021, and the 5th International Workshop on Cryptocurrencies and Blockchain Technology, CBT 2021, which were held online on October 8, 2021, in conjunction with ESORICS 2021. The workshops were initially planned to take place in Darmstadt, Germany, and changed to an online event due to the COVID-19 pandemic.The DPM 2021 workshop received 25 submissions and accepted 7 full and 3 short papers for publication. These papers were organized in topical sections as follows: Risks and privacy preservation; policies and regulation; privacy and learning.For CBT 2021 6 full papers and 6 short papers were accepted out of 31 submissions. They were organized in topical sections as follows: Mining, consensus and market manipulation; smart contracts and anonymity.

This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023.The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.

This book constitutes the refereed proceedings of the 12th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2022 held in Leiden, The Netherlands, during March 20-24, 2023.The 44 regular papers presented in this book were carefully reviewed and selected from 65 submissions.The papers are divided into the following topical sections: Algorithm Design and Engineering; Machine Learning and Multi-criterion Optimization; Benchmarking and Performance Assessment; Indicator Design and Complexity Analysis; Applications in Real World Domains; and Multi-Criteria Decision Making and Interactive Algorithms..

This book constitutes the refereed proceedings of the 18th International Conference on Information Security and Cryptology, Inscrypt 2022, held in Beijing, China during December 11¿13, 2022. The 23 full papers and 3 short papers included in this book were carefully reviewed and selected from 68 submissions. They were organized in topical sections as follows: Block Ciphers, Public key Encryption & Signature, Quantum, MPC, Cryptanalysis, Mathematical aspects of Crypto, Stream ciphers, Malware, Lattices.

This book constitutes the proceedings of the 17th International Conference and Workshops on Algorithms and Computation, WALCOM 2023, which took place in Hsinchu, Taiwan, in March 2023.The 30 full papers presented together with 2 invited papers were carefully reviewed and selected from 75 submissions. They cover topics such as: computational geometry; string algorithm; optimization; graph algorithm; approximation algorithm; and parameterized complexity.