Books in the Lecture Notes in Computer Science series

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.

This book constitutes the refereed proceedings of the 22nd International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2022, which was held in October 2022. Due to COVID-19 pandemic the conference was held virtually. The 33 full papers and 10 short papers, presented were carefully reviewed and selected from 91 submissions. The papers cover many dimensions of parallel algorithms and architectures, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems

This book constitutes the proceedings of the 11th Workshop on Clinical Image-Based Procedures, CLIP 2022, which was held in conjunction with MICCAI 2022, in Singapore in September 2022. The 9 full papers included in this book were carefully reviewed and selected from 12 submissions. They focus on the applicability of basic research methods in the clinical practice by creating holistic patient models as an important step towards personalized healthcare.

This book constitutes the proceedings of the 19th International Conference on Distributed Computing and Intelligent Technology, ICDCIT 2023, which was held in Bhubaneswar, India, in January 2023.The 20 full papers and 9 short papers presented in this volume were carefully reviewed and selected from 55 submissions. The papers are organized in the following topical sections: Invited Talks; Distributed Computing; Intelligent Technology.

This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023.The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic Programming.

This book constitutes the proceedings of the 14th IFIP WG 8.5 International Conference on Electronic Participation, ePart 2022, held in Linköping, Sweden, during September 6¿8, 2022, in conjunction with IFIP WG 8.5 Electronic Government (EGOV 2022), and the Conference for E-Democracy and Open Government Conference (CeDEM 2022).The 12 full papers presented were carefully reviewed and selected from 26 submissions. The papers are clustered under the following topical sections: E-democracy and e-participation; ICT & sustainability; digital and social media; legal informatics; and digital society.

This book constitutes the refereed conference proceedings of the workshops held at the 37th International ISC High Performance 2022 Conference, in Hamburg, Germany, in June 2, 2022.The 27 full papers were included in this book were carefully reviewed and selected from 43 submissions. ISC High Performance 2022 presents the following workshops:Compiler-assisted Correctness Checking and Performance Optimization for HPCHPC on Heterogeneous Hardware (H3)Malleability Techniques Applications in High Performance ComputingFifth Workshop on Interactive High Performance Computing3rd ISC HPC International Workshop on Monitoring & Operational Data Analytics6th International Workshop on In Situ Visualization17th Workshop on Virtualization in High Performance Cloud ComputingChapter ¿Compiler-Assisted Instrumentation Selection for Large-Scale C++ Codes¿ is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes the proceedings of the First International Symposium, ToM for Teams 2021, held in Washington, DC, USA, during November 4¿6, 2021, Each chapter in this section tackles a different aspect of AI representing the thoughts and beliefs of human agents. The work presented herein represents our collective efforts to better understand ToM, develop AI with ToM capabilities (ASI), and study how to integrate such systems into human teams.

This book constitutes thoroughly reviewed, revised and selected papers from the 7th International Conference on Human Centered Computing, HCC 2021, held in virtually, due to COVID- 19, in December 2021. The 18 full and 9 short papers presented in this volume were carefully reviewed and selected from a total of 68 submissions. The conference focuses on the following three main themes as follows: Data such as Data Visualization, Big Data, Data Security, Hyper connectivity such as Internet of Things, Cloud Computing, Mobile Network and Collaboration such as Collective Intelligence, Peer Production, Context Awareness and much more.

This book constitutes revised selected papers from the refereed proceedings of the 5th The Global IoT Summit, GIoTS 2022, which took place in Dublin, Ireland, in June 20¿23, 2022. The 33 full papers included in this book were carefully reviewed andselected from 75 submissions. They were organized in topical sections as follows: ioT enabling technologies; ioT applications, services and real implementations; ioT security, privacy and data protection; and ioT pilots, testbeds and experimentation results.

This book constitutes the refereed proceedings of the 17th Annual Conference on Theory and Applications of Models of Computation, TAMC 2022, held as a virtual event, in September 2022.The 33 full papers were carefully reviewed and selected from 75 submissions. The main themes of the selected papers are computability, complexity, algorithms, information theory and their extensions to machine learning theory, and foundations of artificial intelligence.

This book constitutes revised selected papers from the 23rd International Symposium on Trends in Functional Programming, TFP 2022, which was held virtually in March 2022.The 9 full papers presented in this volume were carefully reviewed and selected from 17 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in the area.

This book constitutes the proceedings of the International Joint Conference on Theoretical Computer Science-Frontier of Algorithmic Wisdom (IJTCS-FAW 2022), for the 16th International Conference on Frontier of Algorithmic Wisdom (FAW) and the third International Joint Conference on Theoretical Computer Science (IJTCS), held in Hong Kong, China, in August 15-19 2022.FAW started as the Frontiers of Algorithmic Workshop in 2007 at Lanzhou, China, and was held annually from 2007 to 2021 and published archival proceedings. IJTCS, the International joint theoretical Computer Science Conference, started in 2020, aimed to bring in presentations covering active topics in selected tracks in theoretical computer science.To accommodate the diversified new research directions in theoretical computer science, FAW and IJTCS joined their forces together to organize an event for information exchange of new findings and work of enduring value in the field. In addition to four keynote speakers, 26 invited speakers and 19 contributed speakers, IJTCS-FAW2022 organized Forums for undergraduate research, young PhD graduates, young TCS faculty members, female researchers, as well as a forum in Conscious AI and a CSIAM Forum in blockchain.The 19 full papers presented in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: Algorithmic Game Theory; Game Theory in Block Chain; Frontiers of Algorithmic Wisdom; Computational and Network Economics.

Chapter(s) ¿Chapter Name or No.¿ is/are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.