Search

This book constitutes the post-conference proceedings of the First International Conference on Advanced Computational Applications of Geometric Algebra, ICACGA 2022, held in Denver, CO, USA, during October 2-5, 2022. The 18 full papers presented in this book together with 12 abstracts of invited talks were carefully reviewed and selected from 24 submissions. The papers are grouped in the following topical sections: geometric applications; computer science applications; technological applications; and applications to physics and mathematics.

This conference LNAI 14502 volume constitutes the workshop proceedings of 22nd Mexican International Conference on Artificial Intelligence, held in November 2023 in Mérida, Yucatán, México. The total of 34 papers presented in this volume was carefully reviewed and selected from 54 submissions.The proceedings of MICAI 2023 workshops are structured into three sections: – WILE 2023: 16th Workshop on Intelligent Learning Environments – HIS 2023: 16th Workshop of Hybrid Intelligent Systems – CIAPP 2023: 5th Workshop on New Trends in Computational Intelligence and Applications

This book constitutes the refereed post proceedings of the 18th International Conference on Advances in Computer Games, ACG 2023, held online, during November 28–30, 2023.The 14 full papers included in this book were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: Chess and its Variants, Solving Games, Board Games, Card Games, Player Investigation, Math, Games, and Puzzles.

This book contains the revised and extended versions of selected papers from the 15th International Conference on Agents and Artificial Intelligence, ICAART 2023, held in Lisbon, Portugal, during February 22–24, 2023. The 23 full papers included in this book were carefully reviewed and selected from 306 submissions. The conference was organized in 2 tracks as follows: One track focuses on Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general. The other track focuses mainly on Artificial Intelligence, Knowledge Representation, Planning, Learning, Scheduling, Perception Reactive AI Systems, and Evolutionary Computing and other topics related to Intelligent Systems and Computational Intelligence.

This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Kraków, Poland, in September-October 2023. The papers in this volume were presented at the following workshops: XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI.

This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Kraków, Poland, in September-October 2023. The papers in this volume were presented at the following workshops: XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI.

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15–16, 2023. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic.

This LNCS conference volume constitutes the proceedings of the MICCAI Workshop GRAIL 2023 and MICCAI Challenge OCELOT 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, September 23, and October 4, 2023. The 9 full papers (GRAIL 2023) and 6 full papers (OCELOT 2023) included in this volume were carefully reviewed and selected from GRAIL 14 (GRAIL 2023) and 6 (OCELOT 2023) submissions. The conference GRAIL 2023 a wide set of methods and application and OCELOT 2023 focuses on the cover a wide range of methods utilizing tissue information for better cell detection, in the sense of training strategy, model architecture, and especially how to model cell-tissue relationships.

This book constitutes the proceedings of the Second International Conference on Human and Artificial Rationalities, HAR 2023, which took place in Paris, France, in September 2023. The 18 full and 5 short papers included in this book were carefully reviewed and selected from 39 submissions. They were organized in topical sections as follows: Human and artificial thinking; human thinking and reasoning; neuropsychology and interaction; artificial agents and interaction; and applied reasoning. This volume also contains 2 invited talks in full-paper length.

This book focuses in detail on data science and data analysis and emphasizes the importance of data engineering and data management in the design of big data applications. The author uses patterns discovered in a collection of big data applications to provide design principles for hypothesis generation, integrating big data processing and management, machine learning and data mining techniques. The book proposes and explains innovative principles for interpreting hypotheses by integrating micro-explanations (those based on the explanation of analytical models and individual decisions within them) with macro-explanations (those based on applied processes and model generation). Practical case studies are used to demonstrate how hypothesis-generation and -interpretation technologies work. These are based on “social infrastructure” applications like in-bound tourism, disaster management, lunar and planetary exploration, and treatment of infectious diseases. The novel methods and technologies proposed in Hypothesis Generation and Interpretation are supported by the incorporation of historical perspectives on science and an emphasis on the origin and development of the ideas behind their design principles and patterns. Academic investigators and practitioners working on the further development and application of hypothesis generation and interpretation in big data computing, with backgrounds in data science and engineering, or the study of problem solving and scientific methods or who employ those ideas in fields like machine learning will find this book of considerable interest.

This book constitutes the refereed proceedings of the 31st International Conference on Inductive Logic Programming, ILP 2022, held during September 28-30, 2022.The 11 regular papers presented in this book were carefully reviewed and selected from 26 submissions The papers in these proceedings represent the diversity and vitality in present ILP research, including statistical relational learning, transfer learning, scientific reasoning, learning temporal models, synthesis and planning, and argumentation and language.

Uncover the secrets of cutting-edge research in “Infrared Small Target Detection,” a crucial resource that delves into the dynamic world of infrared imaging and detection algorithms. This comprehensive book is an indispensable gem for the research community, offering a profound introduction to the theory, methods, and algorithms underlying infrared small object detection. As an invaluable guide, this book explores diverse models and categories of infrared small object detection algorithms, providing meticulous descriptions and comparisons of their strengths and limitations. Perfectly tailored for researchers, practitioners, and students with a passion for infrared imaging and detection, this book equips readers with the necessary knowledge to embark on groundbreaking investigations in this field.Readers can particularly be drawn to the book's methods, results, and topics, encompassing diverse categories of infrared small object detection algorithms and their corresponding advantages and disadvantages. The book also imparts foundational knowledge in mathematical morphology, tensor decomposition, and deep learning, enabling readers to grasp the underlying principles of these advanced algorithms. Experience the key benefits of “Infrared Small Target Detection” as readers gain a profound understanding of theory, methods, and algorithms tailored to infrared small object detection. The comprehensive descriptions and comparisons of various algorithm categories empower readers to select the perfect algorithms for their specific applications. Unlock the potential of this groundbreaking resource with a basic understanding of mathematics, statistics, and image processing. Some familiarity with infrared imaging and detection proves advantageous in fully immersing oneself in the wealth of knowledge presented within these pages.

This book draws on a range of intelligent computing methodologies to effectively detect and classify various carcinogenic diseases. These methodologies, which have been developed on a sound foundation of gene-level, cell-level and tissue-level carcinogenic datasets, are discussed in Chapters 1 and 2. Chapters 3, 4 and 5 elaborate on several intelligent gene selection methodologies such as filter methodologies and wrapper methodologies. In addition, various gene selection philosophies for identifying relevant carcinogenic genes are described in detail. In turn, Chapters 6 and 7 tackle the issues of using cell-level and tissue-level datasets to effectively detect carcinogenic diseases. The performance of different intelligent feature selection techniques is evaluated on cell-level and tissue-level datasets to validate their effectiveness in the context of carcinogenic disease detection. In closing, the book presents illustrative case studies that demonstrate the value of intelligent computing strategies.

This is an open access book.The 2022 3rd International Conference on Artificial Intelligence and Education（ICAIE 2022） will be held in Chengdu, China during June 24-26, 2022. The meeting focused on the new trends in the development of'artificial intelligence'and'education'under the new situation, and jointly discussed how to empower and promote the high-quality development of'artificial intelligence'and'education'. An ideal platform to share views and experiences with industry experts.The conference invites experts and scholars in the field to conduct wonderful exchanges based on their own research results based on the development of the times. The themes are around artificial intelligence technology and applications; intelligent and knowledge-based systems; information-based education; intelligent learning; advanced information theory and neural network technology ; software computing and algorithms; intelligent algorithms and computing and many other topics.

This is an open access book.We are delighted to invite you to participate in the 2023 1st International Conference on Advanced Informatics and Intelligent Information Systems (ICAI3S 2023), which will be held in Yogyakarta, Indonesia from November 29 to 30, 2023. ICAI3S 2023 is an international seminar that carries the theme'Leveraging Intelligent Information System and Advanced Informatics in Empowering Society 5.0'. This international seminar is organized by the Department of Informatics, Faculty of Industrial Engineering, Universitas Pembangunan Nasional Veteran Yogyakarta with a technical sponsorship form IEEE Indonesia Section.Society 5.0 is a human-centered society that balances economic advancement with the resolution of social problems by a system that highly integrates cyberspace and physical space. Society 5.0 achieves a high degree of convergence between cyberspace (virtual space) and physical space (real space). In Society 5.0, a huge amount of information from sensors in physical space is accumulated in cyberspace. In cyberspace, this big data is analyzed by artificial intelligence (AI), and the analysis results are fed back to humans in physical space in various forms. Interconnectivity is the key here, in order for this processes to brings new value to industry and society in ways not previously possible. New circumstances and lifestyles will undoubtedly have a significant impact on the development of global society in the future. In this seminar, participants are expected to gain an understanding of the concept and implementation of Advanced Informatics and Intelligent Information Systems in human-centered society, so that they can play a major role in the empowerement of human-centered society towards the Society 5.0.ICAI3S 2023 is expected to be attended by various stakeholders, including academics, practitioners, industry players, government officials, and end-users. Furthermore, this seminar is expected to serve as a platform for exchanging information and knowledge, particularly related to research conducted by academics. The issues discussed are related to the application of Advanced Informatics and Intelligent Information Systems in empowering Society 5.0. The diverse perspectives from various stakeholders are expected to stimulate comprehensive and intensive discussions to develop new concepts and discourses that support the Society 5.0 empowerment and future periods in relation to the implementation of new digital habits that offer various conveniences and challenges in various fields.ICAI3S 2023 will organize a series of plenary/main seminar sessions and parallel panel sessions for each track offered. Please join us for ICAI3S 2023 to create indelible memories for a lifetime!

This is an open access book.2023 International Conference on Data Science, Advanced Algorithm and Intelligent Computing (DAI 2023) will take place on November 24–26, 2023 in Shanghai, China. DAI 2023 will provide an insight into the unique world stemming from the interaction between the fields of data science, advanced algorithm and intelligent computing. DAI 2023 will provide an international technical forum for experts from industry and academia to exchange ideas and present results of on-going research in the areas of data science, advanced algorithm and intelligent computing.​DAI 2023 focuses on high quality presentations and papers that address contemporary issues on fundamental research leading to new methods, or adaptation of existing methods for new applications related to the topics of data science, advanced algorithm and intelligent computing. It will feature keynote speeches given by renowned scholars, and oral/poster presentations with broad coverage and popular topics. Accepted papers will be included in the DAI 2023 Conference Proceedings, which will be subject to independent peer-review procedures for quality.

This is an open access book. The focus of the conference is to provide a unique platform for exchange of ideas and synergy among researchers, academicians and industrial experts across the globe belonging to emerging electrical engineering domains. It also provides a premier platform for the people to present and discuss the most recent innovations and solutions in solving complex and challenging problems related to intelligent electrical engineering systems. Such a blend of various research-oriented minds will lead to productive results and further advancements in electrical engineering research.The book invites submission of novel, recent area of innovation and previously unpublished research work/idea in the field of modern applications of artificial intelligence techniques to electrical engineering systems. The applications of artificial intelligence related to various fields of electrical engineering are mentioned in the conference tracks. The conference is meant to discuss the challenges and applications of latest evolutionary computing techniques, neural networks, fuzzy logic, machine learning and data analytics in the fields of power systems, power electronics, robotics, automation, instrumentation, control systems, mechatronics and photonics. It provides a platform to the students, researchers, scientists, faculty members, professionals and practitioners to interact, present and get innovative ideas in the field of electrical engineering. As a part of AITEES-2022, many keynote sessions are planned to enhance the research and innovation skills of participants. Eminent professors from academic institutions and world renowned industrial experts from India and abroad will deliver keynote sessions.

The two-volume proceedings constitutes the refereed proceedings of the 24th International Conference on Progress in Cryptology, INDOCRYPT 2023, Goa, India, in December 2023. The 26 full papers were carefully reviewed and selected from 74 submissions. They are organized in topical sections as follows: Part One: Symmetric-key cryptography, Hash functions, Authenticated Encryption Modes; Elliptic curves, Zero-knowledge proof, Signatures; Attacks.Part Two: Secure computation, Algorithm hardness, Privacy; Post-quantum cryptography.

The two-volume proceedings constitutes the refereed proceedings of the 24th International Conference on Progress in Cryptology, INDOCRYPT 2023, Goa, India, in December 2023. The 26 full papers were carefully reviewed and selected from 74 submissions. They are organized in topical sections as follows: Part One: Symmetric-key cryptography, Hash functions, Authenticated Encryption Modes; Elliptic curves, Zero-knowledge proof, Signatures; Attacks. Part Two: Secure computation, Algorithm hardness, Privacy; Post-quantum cryptography.

This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024. The 33 full papers presented in this book were carefully reviewed and selected from 81 submissions. The book also contains one invited talk in full paper length. They focus on original research and challenges in foundations of computer science including algorithms, AI-based methods, computational complexity, and formal models.

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25–27, 2021.The 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They focus on various aspects of application of modern methods of data science to the analysis of software quality.

This book constitutes the refereed proceedings of the 13th International Conference on Advances in Optimization and Applications, OPTIMA 2022, held in Petrovac, Montenegro, during September 26–30, 2022. The 13 full papers included in this book were carefully reviewed and selected from 26 submissions. They were organized in topical sections as follows: ​mathematical programming; global optimization; discrete and combinatorial optimization; optimization and data analysis; game theory and mathematical economics; and applications.

This book constitutes the refereed proceedings of the 14th International Conference on Advances in Optimization and Applications, OPTIMA 2023, held in Petrovac, Montenegro, during September 18–22, 2023.The 21 full papers included in this book were carefully reviewed and selected from 68 submissions. They were organized in topical sections as follows: ​mathematical programming; global optimization; continuous optimization; discrete and combinatorial optimization; optimal control; game theory and mathematical economics; optimization in economics and finance; and applications.

This two-volume set LNCS 13968 and 13969 constitutes the proceedings of the 14th International Conference on Advances in Swarm Intelligence, ICSI 2023, which took place in Shenzhen, China, China, in July 2023. The theme of this year's conference was “Serving Life with Swarm Intelligence”.The 81 full papers presented were carefully reviewed and selected from 170 submissions. The papers are organized into 12 cohesive sections covering major topics of swarm intelligence research and its development and applications. The papers of the first part cover topics such as: Swarm Intelligence Computing; Swarm Intelligence Optimization Algorithms; Particle Swarm Optimization Algorithms; Genetic Algorithms; Optimization Computing Algorithms; Neural Network Search & Large-Scale Optimization; Multi-objective Optimization.

This book constitutes the refereed proceedings of the XXIInd International Conference on AIxIA 2023 – Advances in Artificial Intelligence, AIxIA 2023, held in Rome, Italy, during November 6–10, 2023.The 33 full papers included in this book were carefully reviewed and selected from 53 submissions. They were organized in topical sections as follows: Argumentation and Logic Programming, Natural Language Processing, Machine Learning, Hybrid AI and Applications of AI.

​This book constitutes the refereed proceedings of the 11th Conference on Artificial Intelligence and Natural Language, AINL 2022, held in St. Petersburg, Russia, in April 2022. The 8 revised full papers and 1 short paper were carefully reviewed and selected from 20 submissions. The volume presents recent research in areas of of text mining, speech technologies, dialogue systems, information retrieval, machine learning, articial intelligence, and robotics.

This book constitutes the proceedings of the Third International Conference, AILA 2023, held in Changchun, China, during August 5–6, 2023. The 26 full papers and the 10 short papers included in this volume were carefully reviewed and selected from 56 submissions. This volume aims to provide novel ideas, original research achievements, and practical experiences in a broad range of artificial intelligence logic and applications.

This book constitutes the proceedings of the 15th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2021, held in Winterthur, Switzerland, in September 2022. The 14 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 25 submissions. The papers are organized in the following topical sections: Networks; Droplets, Fluids, and Synthetic Biology; Robot Systems; Computer Vision and Computational Creativity; Semantic Search; Artificial Medicine and Pharmacy; Trade and Finance; Ethics in Computational Modelling.Chapters 4, 5, 6, 7, 22, and 24 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes the refereed proceedings of the 16th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2022, held in Gaeta, Italy, during September 14–16, 2022. The 21 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They were organized in topical sections as follows: answer set programming; networks and complex systems, metaheuristics, robotics, and machine learningChapters 7, 8, and 9 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.

This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The papers are organized in the following topical sections: tableau calculi; sequent calculi; theorem proving; non-wellfounded proofs; modal logics; linear logic and MV-algebras; separation logic; and first-order logics.

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.

This book constitutes the refereed proceedings of the 17th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2022, held in Wuhan, China, during December 16–18, 2022.The 56 full papers included in this book were carefully reviewed and selected from 148 submissions. They were organized in topical sections as follows: evolutionary computation and swarm intelligence; machine learning and deep learning; intelligent control and simulation and molecular computing and nanotechnology.

This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice; ways to make controlled use of AI via the various kinds of formal methods-based validation techniques; dedicated applications scenarios which may allow certain levels of assistance; and education in times of deep learning.

This book constitutes the proceedings of the 29th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2023, which took place in Trieste, Italy, in August/September 2023. For AUTOMATA 2023, 7 full papers have been carefully reviewed and selected from 11 submissions. The book also contains 3 full papers from AUTOMATA 2022, which have been selected from a total of 18 submissions. In addition, the proceedings contain one invited talk in full paper length from AUTOMATA 2023.

The two-volume set LNCS 14461 and LNCS 14462 constitutes the refereed proceedings of the 17th International Conference on Combinatorial Optimization and Applications, COCOA 2023, held in Hawaii, HI, USA, during December 15–17, 2023. The 73 full papers included in the proceedings were carefully reviewed and selected from 117 submissions. They were organized in topical sections as follows: Part I: Optimization in graphs; scheduling; set-related optimization; applied optimization and algorithm; Graph planer and others;Part II: Modeling and algorithms; complexity and approximation; combinatorics and computing; optimization and algorithms; extreme graph and others; machine learning, blockchain and others.

The two-volume set LNCS 14461 and LNCS 14462 constitutes the refereed proceedings of the 17th International Conference on Combinatorial Optimization and Applications, COCOA 2023, held in Hawaii, HI, USA, during December 15–17, 2023. The 73 full papers included in the proceedings were carefully reviewed and selected from 117 submissions. They were organized in topical sections as follows: Part I: Optimization in graphs; scheduling; set-related optimization; applied optimization and algorithm; Graph planer and others;Part II: Modeling and algorithms; complexity and approximation; combinatorics and computing; optimization and algorithms; extreme graph and others; machine learning, blockchain and others.

This book contains contributions presented at the 13th International Conference on Complex Networks (CompleNet), April 19–22, 2022. CompleNet is an international conference on complex networks that brings together researchers and practitioners from diverse disciplines—from sociology, biology, physics, and computer science—who share a passion to better understand the interdependencies within and across systems. CompleNet is a venue to discuss ideas and findings about all types of networks, from biological to technological and to informational and social. It is this interdisciplinary nature of complex networks that CompleNet aims to explore and celebrate.

This book constitutes the refereed proceedings of the 15th International Conference on Computational Collective Intelligence, ICCCI 2023, held in Budapest, Hungary, during September 27–29, 2023.The 63 full papers included in this book were carefully reviewed and selected from 218 submissions. They are organized in topical sections as follows: collective intelligence and collective decision-making; deep learning techniques; natural language processing; data mining and machine learning; social networks and intelligent systems; cybersecurity, blockchain technology and Internet of Things; cooperative strategies for decision making and optimization; computational intelligence for digital content understanding; knowledge engineering and application for Industry 4.0; computational intelligence in medical applications; and ensemble models and data fusion.

This book offers a careful selection of studies in optimization techniques based on artificial intelligence, applied to inverse problems in radiative transfer. In this book, the reader will find an in-depth exploration of heuristic optimization methods, each meticulously described and accompanied by historical context and natural process analogies.From simulated annealing and genetic algorithms to artificial neural networks, ant colony optimization, and particle swarms, this volume presents a wide range of heuristic methods. Additional approaches such as generalized extreme optimization, particle collision, differential evolution, Luus-Jaakola, and firefly algorithms are also discussed, providing a rich repertoire of tools for tackling challenging problems.While the applications showcased primarily focus on radiative transfer, their potential extends to various domains, particularly nonlinear and large-scale problems where traditional deterministic methods fall short. With clear and comprehensive presentations, this book empowers readers to adapt each method to their specific needs. Furthermore, practical examples of classical optimization problems and application suggestions are included to enhance your understanding.This book is suitable to any researcher or practitioner whose interests lie on optimization techniques based in artificial intelligence and bio-inspired algorithms, in fields like Applied Mathematics, Engineering, Computing, and cross-disciplinary areas.

This nine-volume set LNCS 14104 – 14112 constitutes the refereed workshop proceedings of the 23rd International Conference on Computational Science and Its Applications, ICCSA 2023, held at Athens, Greece, during July 3–6, 2023.The 350 full papers and 29 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 876 submissions. These nine-volumes includes the proceedings of the following workshops: Advances in Artificial Intelligence Learning Technologies: Blended Learning, STEM, Computational Thinking and Coding (AAILT 2023); Advanced Processes of Mathematics and Computing Models in Complex Computational Systems (ACMC 2023); Artificial Intelligence supported Medical data examination (AIM 2023); Advanced and Innovative web Apps (AIWA 2023); Assessing Urban Sustainability (ASUS 2023); Advanced Data Science Techniques with applications in Industry and Environmental Sustainability (ATELIERS 2023); Advances in Web Based Learning (AWBL 2023); Blockchain and Distributed Ledgers: Technologies and Applications (BDLTA 2023); Bio and Neuro inspired Computing and Applications (BIONCA 2023); Choices and Actions for Human Scale Cities: Decision Support Systems (CAHSC-DSS 2023); and Computational and Applied Mathematics (CAM 2023).

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023,'Computation at the Cutting Edge of Science', highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational andsystems biology, environmental systems, finance, and others.

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023,'Computation at the Cutting Edge of Science', highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational andsystems biology, environmental systems, finance, and others.

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023,'Computation at the Cutting Edge of Science', highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational andsystems biology, environmental systems, finance, and others.

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023,'Computation at the Cutting Edge of Science', highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational andsystems biology, environmental systems, finance, and others.

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023,'Computation at the Cutting Edge of Science', highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational andsystems biology, environmental systems, finance, and others.

This book constitutes the refereed proceedings of the 27th International Workshop on Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems, COINE 2023, held in London, UK, on May 29, 2023 (co-located with 22nd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)).This book contains 10 full papers which are the extended and revised versions of the papers accepted to the workshop.The papers were carefully reviewed and selected from 13 submissions. They are organized in topical sections as follows: Norms, Social contracts, Institutions, and Privacy; Studies on the notion of Value; and Argumentation and Conventions

One of the main benefits of this book is that it presents a comprehensive and innovative eHealth framework that leverages deep learning and IoT wearable devices for the evaluation of Parkinson's disease patients. This framework offers a new way to assess and monitor patients'motor deficits in a personalized and automated way, improving the efficiency and accuracy of diagnosis and treatment.Compared to other books on eHealth and Parkinson's disease, this book offers a unique perspective and solution to the challenges facing patients and healthcare providers. It combines state-of-the-art technology, such as wearable devices and deep learning algorithms, with clinical expertise to develop a personalized and efficient evaluation framework for Parkinson's disease patients.This book provides a roadmap for the integration of cutting-edge technology into clinical practice, paving the way for more effective and patient-centered healthcare. To understand this book, readers should have a basic knowledge of eHealth, IoT, deep learning, and Parkinson's disease. However, the book provides clear explanations and examples to make the content accessible to a wider audience, including researchers, practitioners, and students interested in the intersection of technology and healthcare.

This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engineering, SETTA 2023, held in Nanjing, China, during November 27-29, 2023. The 24 full papers presented in this volume were carefully reviewed and selected from 78 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.