Bücher der Reihe Lecture Notes in Computer Science

This book constitutes the thoroughly refereed conference proceedings of the First International Workshop on Design and Architecture for Signal and Image Processing, DASIP 2022, held in Budaypest, Hungary in June 2022. The 13 full included in the volume were carefully reviewed and selected from 32 submissions. They are organized in the following topical sections: leading signal, image and video processing and machine learning in custom embedded, edge and cloud computing architectures and systems.

This volume LNCS 13428 constitutes the papers of the 24 th International Conference on Big Data Analytics and Knowledge Discovery, held in August 2022 in Vienna, Austria. The 12 full papers presented together with 12 short papers in this volume were carefully reviewed and selected from a total of 57 submissions. The papers reflect a wide range of topics in the field of data integration, data warehousing, data analytics, and recently big data analytics, in a broad sense. The main objectives of this event are to explore, disseminate, and exchange knowledge in these fields.

This book constitutes the proceedings of the 33rd International Conference on Parallel and Distributed Computing, Euro-Par 2022, held in GLasgow, UK, in August 2022.The 25 full papers presented in this volume were carefully reviewed and selected from 102 submissions. The conference Euro-Par 2022 covers all aspects of parallel and distributed computing, ranging from theory to practice, scaling from the smallestto the largest parallel and distributed systems, from fundamental computational problems and models to full-fledged applications, from architecture and interface design and implementation to tools, infrastructures and applications.  

This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2 invited tutorials and an experience report.

This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6-10, 2021.The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks.SEFM 2021 presents the following four workshops:CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology;ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem Development.Due to the Corona pandemic this event was held virtually.

This book constitutes the refereed proceedings of the 26th Conference on Medical Image Understanding and Analysis, MIUA 2022, held in Cambridge, UK, in July 2022. The 65 full papers presented were carefully reviewed and selected from 95 submissions. They were organized according to following topical sections: biomarker detection; image registration, and reconstruction; image segmentation; generative models, biomedical simulation and modelling; classification; image enhancement, quality assessment, and data privacy; radiomics, predictive models, and quantitative imaging.Chapter "e;FCN-Transformer Feature Fusion for Polyp Segmentation"e; is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This two-volume set LNAI 13355 and 13356 constitutes the refereed proceedings of the 23rd International Conference on Artificial Intelligence in Education, AIED 2022, held in Durham, UK, in July 2022.The 40 full papers and  40 short papers presented together with 2 keynotes, 6 industry papers, 12 DC papers, 6 Workshop papers, 10 Practitioner papers, 97 Posters and Late-Breaking Results were carefully reviewed and selected from 243 submissions. The conference presents topics such as intelligent systems and the cognitive sciences for the improvement and advancement of education, the science and engineering of intelligent interactive learning systems. The theme for the AIED 2022 conference was AI in Education: Bridging the gap between academia, business, and non-pro t in preparing future-proof generations towards ubiquitous AI."e;

This book constitutes the refereed post-conference proceedings of the 17th International Conference on Advances in Computer Games, ACG 2021, which was held as a virtual event during November 23-25, 2021. The 22 full papers included in this book were carefully reviewed and selected from 34 submissions. They were organized in topical sections as follows: learning in games; search in games; solving games; chess patterns; player modelling; and game systems.

This book constitutes the refereed proceedings of the 12th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2022, held in Helsinki, Finland, in June 2022. The 13 full papers presented were carefully reviewed and selected from 21 submissions. The papers address various topics such as  information and knowledge systems, including submissions that apply ideas, theories or methods from specific disciplines to information andknowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, databases, information theory, complexity theory, algorithmics and computation, statistics and optimization.

This volume constitutes the papers of several workshops which were held in conjunction with the 27th International Conference on Database Systems for Advanced Applications, DASFAA 2022, held as virtual event in April 2022.The 30 revised full papers presented in this book were carefully reviewed and selected from 65 submissions. DASFAA 2022 presents the following five workshops:nbsp;        First  workshop on Pattern mining and Machine learning in Big complex Databases (PMBD 2021)nbsp;        6th International Workshop on Graph Data Management and Analysis (GDMA 2022)nbsp;        First International Workshop on Blockchain Technologies (IWBT2022)nbsp;        8th International Workshop on Big Data Management and Service (BDMS 2022)nbsp;        First workshop on Managing Air Quality Through Data Sciencenbsp;        7th International Workshop on Big Data Quality Management (BDQM 2022).

This book constitutes the refereed proceedings of the 10th International Workshop on Biomedical Image Registration, WBIR 2020, which was supposed to be held in Munich, Germany, in July 2022.The 11 full and poster papers together with 17 short papers included in this volume were carefully reviewed and selected from 32 submitted papers. The papers are organized in the following topical sections: optimization, deep learning architectures, neuroimaging, diffeomorphisms, uncertainty, topology and metrics.

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, colocated with ETAPS 2022, held in Munich, Germany, in April 2022. The 9 revised full papers were carefully reviewed and selected from 12 submissions. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras.

This book constitutes the refereed proceedings of the 36th Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy, DBSec 2022, held in Newark, NJ, USA, in July 2022.The 12 full papers and 6 short papers presented were carefully reviewed and selected from 33 submissions. The conference covers research in data and applications security and privacy.

This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques.

This book constitutes revised selected papers from the refereed conference proceedings of the 11th International Workshop on Socio-Technical Aspects in Security and Trust, STAST 2021, held in conjunction with ESORICS, the European Symposium on Research in Computer Security, as a virtual event, in October 2021.The 10 full papers included in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: web and apps; context and modelling; and from the present to the future.

This book constitutes the refereed conference proceedings of the 29th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2022, held in Paderborn, Germany, in June 2022. The 16 full papers presented in this book were carefully reviewed and selected from 30 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 book constitutes the refereed proceedings of the 52nd International Simulation and Gaming Association Conference, ISAGA 2021, held in Indore, India, during September 6-10, 2021.  The 24 full papers included in this book were carefully reviewed and selected from 58 submissions. They were organized in topical sections as follows: game design and facilitation; gaming in education; player experience in simulations; and policy formulation and serious games.

This book constitutes the thoroughly refereed proceedings of the 22nd International Conference on Web Engineering, ICWE 2022, held in Bari, Italy, in July 2022. The 23 revised full papers and 5 short papers presented were carefully reviewed and selected from 81 submissions. The books also contains 6 demonstration and poster papers, 7 symposium and 5 tutorial papers. They are organized in topical sections named: recommender systems based on web technology; social web applications; web applications modelling and engineering; web big data and web data analytics; web mining and knowledge extraction; web security and privacy; web user interfaces.

This book constitutes the refereed proceedings of the 15th International Conference on Graph Transformation, ICGT 2022, which took place Nantes, France in July 2022.The 10 full papers and 1 tool paper presented in this book were carefully reviewed and selected from 19 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of graph transformation as well as tool presentation papers that demonstrate main new features and functionalities of graph-based tools.

This book constitutes the refereed proceedings of the Third International Conference on Next Generation Arithmetic, CoNGA 2022, which was held in Singapore, during March 1-3, 2022.  The 8 full papers included in this book were carefully reviewed and selected from 12 submissions. They deal with emerging technologies for computer arithmetic focusing on the demands of both AI and high-performance computing. 

This book constitutes the proceedings of the 19th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2022, held in Cagliari, Italy, in June - July 2021. The 10 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 39 submissions. 

The LNCS volume 13269 constitutes the proceedings of the 20th International Conference on Applied Cryptography and Network Security, ACNS 2022, which will take place in a hybrid mode in Rome, Italy in June 2022. The 44 full papers together with 5 short papers presented in this proceeding were carefully reviewed and selected from a total of 185 submissions. They were organized in topical sections as follows: Encryption, Attacks, Cryptographic Protocols, System Security., Cryptographic Primitives, MPC, Blockchain, Block-Cyphers, and Post-Quantum Cryptography.

This book constitutes the refereed proceedings of the 14th International Conference on Reversible Computation, RC 2022, which was held in Urbino, Italy, during July 5-6, 2021.The 10 full papers and 6 short papers included in this book were carefully reviewed and selected from 20 submissions.  They were organized in topical sections named: Reversible and Quantum Circuits;  Applications of quantum Computing; Foundations and Applications.

This book constitutes the refereed proceedings of the 15th International Conference on Blended Learning, ICBL 2022, held in Hong Kong, China, in August 2022. The 31 papers presented in this volume were carefully reviewed and selected from 80 submissions. The conference theme of ICBL 2022 is Blended Learning: Engaging Students in the New Era. The papers are organized in topical sections named: Game-based Learning and Augmented Learning Environment; Computer Supported Collaborative Learning; Enriching Learning Experience with Blended and Online Learning; Content Development and Practice for Blended Learning and Beyond.

This book constitutes the refereed proceedings of the 18th International Conference on Web and Internet Economics, WINE 2022, which was held  Troy, NY, USA in December 2022.The 19 full papers presented together with 19 abstracts in this volume were carefully reviewed and selected from 126 submissions. They were organized in topical sections as follows: theoretical computer science, artificial intelligence, economics, operations research, and applied mathematics.

This book constitutes the refereed proceedings of the 35th Australasian Joint Conference on Artificial Intelligence, AI 2022, which took place in Perth, WA, Australia, in December 5-8, 2022. The 56 full papers included in this book were carefully reviewed and selected from 90 submissions. They were organized in topical sections as follows: Computer Vision; Deep Learning; Ethical/Explainable AI; Genetic Algorithms; Knowledge Representation and NLP; Machine Learning; Medical AI; Optimization; and Reinforcement Learning.

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held  virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the constructionof high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area. 

This book constitutes the refereed proceedings of the 15th International Conference on Interactive Digital Storytelling, ICIDS 2022, held in Santa Cruz, CA, USA, in December 2022.The 30 full papers and 10 short papers, presented together with 17 posters and demos, were carefully reviewed and selected from 79 submissions.

This book constitutes the refereed proceedings of the 24th International Conference on Asia-Pacific Digital Libraries, ICADL 2022, which was held in November/December 2022. The 14 full, 18 short, and 12 poster papers presented in this volume were carefully reviewed and selected from 78 submissions. Based on significant contributions, the full and short papers have been classified into the following topics: intelligent document analysis; neural-based knowledge extraction; knowledge discovery for enhancing collaboration; smart search and annotation; cultural data collection and analysis; scholarly data processing; data archive and management; research activities and digital library; and trends in digital library.  

This book constitutes the refereed proceedings of the 18th International Conference on Frontiers in Handwriting Recognition, ICFHR 2022, which took place in Hyderabad, India, during December 4-7, 2022.The 36 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 61 submissions. The contributions were organized in topical sections as follows: Historical Document Processing; Signature Verification and Writer Identification; Symbol and Graphics Recognition; Handwriting Recognition and Understanding; Handwriting Datasets and Synthetic Handwriting Generation; Document Analysis and Processing.