Search

​This book constitutes the proceedings of the 14th International Workshop on Statistical Atlases and Computational Models of the Heart, STACOM 2023, as well as the Cardiac MRI Reconstruction Challenge, CMRxRecon Challenge. There was a total of 53 submissions to the workshop. The 24 regular workshop papers included in this volume were carefully reviewed and selected from 29 paper submissions. They deal with cardiac segmentation, modelling, strain quantification, registration, statistical shape analysis, and quality control.

This book constitutes the proceedings of the 13th International Workshop on Statistical Atlases and Computational Models of the Heart, STACOM 2022, held in conjunction with the 25th MICCAI conference. The 34 regular workshop papers included in this volume were carefully reviewed and selected after being revised and deal with topics such as: common cardiac segmentation and modelling problems to more advanced generative modelling for ageing hearts, learning cardiac motion using biomechanical networks, physics-informed neural networks for left atrial appendage occlusion, biventricular mechanics for Tetralogy of Fallot, ventricular arrhythmia prediction by using graph convolutional network, and deeper analysis of racial and sex biases from machine learning-based cardiac segmentation. In addition, 14 papers from the CMRxMotion challenge are included in the proceedings which aim to assess the effects of respiratory motion on cardiac MRI (CMR) imaging quality and examine the robustness of segmentation models in face of respiratory motion artefacts. A total of 48 submissions to the workshop was received.

This two-volume set, CCIS 2146 and CCIS 2147, constitutes the refereed proceedings of the 14th International Symposium on Intelligence Computation and Applications, ISICA 2023, held in Guangzhou, China, during November 18–19, 2023. The 82 full papers included in these proceedings were carefully reviewed and selected from 178 submissions. The papers presented in these two volumes are organized in the following topical sections: Part I: Frontiers of evolutionary Intelligent Optimization Algorithms; Exploration of computer vision; Machine learning and its applications. Part II: Machine Learning and its applications; Big data analysis and Information security; Intelligent application of computer.

This book constitutes the revised selected papers of the 5th International Workshop on Active Inference, IWAI 2024, held in Oxford, UK, during September 9–11, 2024. The 17 full papers included in this book were carefully reviewed and selected from 54 submissions. They were organized in topical sections as follows: Modeling Behaviour and Emotions; Hybrid Continuous-discrete Systems; Structure Learning; Multi-agent Systems; Epistemic Sampling; Robot Control; and Sustainability and Contextuality.

This open access book constitutes revised selected papers from 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 revised selected papers from the 12th International Workshop on Engineering Multi-Agent Systems, EMAS 2024, held in Auckland, New Zealand, during May 6–7, 2024. The 7 full papers and 4 short papers included in this book were carefully reviewed and selected from a total of 18 submissions. These papers focus on topics such as agent-oriented software engineering, programming multi-agent systems, declarative agent languages and technologies, artificial intelligence, and machine learning.

This book constitutes the refereed proceedings of the Third Southwest Data Science Conference, on Recent advances in next-generation data science, SDSC 2024, held in Waco, TX, USA, in March 22, 2024. The 15 full papers presented were carefully reviewed and selected from 59 submissions. These papers focus on AI security in next-generation data science and address a range of challenges, from protecting sensitive data to mitigating adversarial threats.

This book constitutes the refereed post proceedings of the 17th Research Conference on Metadata and Semantic Research, MTSR 2023, held in Milan, Italy, during October 25–27, 2023. The 27 papers included in this book were carefully reviewed and selected from 75 submissions. These papers are compiled from the following eight tracks of the conference: Digital Libraries, Information Retrieval, Big, Linked, Social, and Open Data; Agriculture, Food, and Environment; Open Repositories, Research Information Systems, and Data Infrastructures; Digital Humanities and Digital Curation; Cultural Collections and Applications; European and National Projects; Knowledge IT Artifacts in Professional Communities and Aggregations; and Metadata, Identifiers, and Semantics in Decentralized Applications, Blockchains, and P2P Systems.

This book constitutes the refereed joint proceedings of the 18th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2024, and the 22nd International Workshop on Combinatorial Image Analysis, IWCIA 2024, held in Fort Lauderdale, FL, USA, during January 8–10, 2024. The 14 full papers presented were carefully reviewed and selected from 25 submissions. The papers cover topics from AI, theoretical computer science, mathematics, medicine, robotics, defense, and security.

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 book collects a selection of papers presented at ELECTRIMACS, 2022 the14th international conference of the IMACS TC1 Committee, held in Nancy, France, on 17st-21rd May 2022. The conference papers deal with modelling, simulation, analysis, control, power management, design optimization, identification and diagnostics in electrical power engineering. The main application fields include electric machines and electromagnetic devices, power electronics, transportation systems, smart grids, electric and hybrid vehicles, renewable energy systems, energy storage, batteries, supercapacitors and fuel cells, and wireless power transfer. The contributions included in Volume 2 are particularly focused on methodological aspects, modelling, and applied mathematics in the field of electrical engineering.

This volume constitutes the papers of the 4th International Workshop on Active Inference, IWAI 2023, held in Ghent, Belgium on September 2023.The 17 full papers included in this book were carefully reviewed and selected from 34 submissions. They were organized in topical sections as follows: active inference and robotics; decision-making and control; active inference and psychology; from theory to implementation; learning representations for active inference; and theory of learning and inference.

This volume constitutes the papers of several workshops which were held in conjunction with the 6th International Workshop on Explainable and Transparent AI and Multi-Agent Systems, EXTRAAMAS 2024, in Auckland, New Zealand, during May 6–10, 2024. The 13 full papers presented in this book were carefully reviewed and selected from 25 submissions. The papers are organized in the following topical sections: User-centric XAI; XAI and Reinforcement Learning; Neuro-symbolic AI and Explainable Machine Learning; and XAI & Ethics.

This volume constitutes the papers of two workshops which were held in conjunction with the 21st International Workshop on Software Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in Eindhoven, The Netherlands, on November 6–10, 2023 The 10 full papers presented in this book were carefully reviewed and selected from 16 submissions. SEFM 2023 Collocated Workshops presents the following two workshops: 5th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA 2023) 11th International Workshop on Open Community approaches to Education, Research and Technology (OpenCERT 2023)

This two-volume set, CCIS 2146 and CCIS 2147, constitutes the refereed proceedings of the 14th International Symposium on Intelligence Computation and Applications, ISICA 2023, held in Guangzhou, China, during November 18–19, 2023. The 82 full papers included in these proceedings were carefully reviewed and selected from 178 submissions. The papers presented in these two volumes are organized in the following topical sections: Part I: Frontiers of evolutionary Intelligent Optimization Algorithms; Exploration of computer vision; Machine learning and its applications. Part II: Machine Learning and its applications; Big data analysis and Information security; Intelligent application of computer.

This book constitutes the refereed proceedings of the 26th International Conference on Distributed Computer and Communication Networks: Control, Computation, Communications, DCCN 2023, held in Moscow, Russia, during September 25–29, 2023. The 37 full papers and 4 short papers included in this book were carefully reviewed and selected from 122 submissions. They were organized in topical sections as follows: Distributed Systems Applications; Analytical Modeling of Distributed Systems; Computer and Communication Networks.

This two-volume set LNCS 14465-14466 constitutes the proceedings of the 31st International Symposium on Graph Drawing and Network Visualization, GD 2023, held in Isola delle Femmine, Palermo, Italy, in September 2023. The 31 full papers, 7 short papers, presented together with 2 invited talks, and one contest report, were thoroughly reviewed and selected from the 100 submissions. The abstracts of 11 posters presented at the conference can be found in the back matter of the volume. The contributions were organized in topical sections as follows: beyond planarity; crossing numbers; linear layouts; geometric aspects; visualization challenges; graph representations; graph decompositions; topological aspects; parameterized complexity for drawings; planar graphs; frameworks; algorithmics.

This book constitutes the refereed proceedings of the 2nd International Conference, ITMM 2023 and 14th International Workshop, WRQ 2023, held in Tomsk, Russia, during December 4–9, 2023. The 23 full papers included in this book were carefully reviewed and selected from 96 submissions. The papers are devoted to new results in queueing theory and its applications, and also related areas of probabilistic analysis. Its target audience includes specialists in probabilistic theory, random processes, and mathematical modeling as well as engineers engaged in logical and technical design and operational management of data processing systems, communication, and computer networks.

This two-volume set constitutes the refereed post-conference proceedings of the 25th International Conference on Enterprise Information Systems, ICEIS 2023, which was held in Prague, Czech Republic, during April 2023. The 41 full papers and 66 short papers presented were carefully reviewed and selected from 213 submissions. They are organized in topical sections as follows: Part One : Databases and Information Systems Integration; Artificial Intelligence and Decision Support Systems; and Information Systems Analysis and Specification. Part Two : Software Agents and Internet Computing; Human-Computer Interaction; and Enterprise Architecture.

The three-volume set LNCS 14476-14478 constitutes the post conference proceedings of the 4th International Conference on Numerical Computations: Theory and Algorithms, NUMTA 2023, held in Pizzo Calabro, Italy, during June 14–20, 2023. The 45 full papers presented in this book together with 60 short papers were carefully reviewed and selected from 170 submissions. The papers focus on topics such as: continuous and discrete single- and multi-objective problems, local, global and large-scale optimization, classification in machine learning, optimal control, and applications; computational and applied mathematics (such as approximation theory, computational geometry, computational fluid dynamics, dynamical systems and differential equations, numerical algebra, etc.) and applications in engineering and science; numerical models, methods and software using traditional and emerging high-performance computational tools and paradigms (including the infinity and quantum computing) and their application in artificial intelligence and data science, bioinformatics, economics and management, engineering and technology, mathematical education, number theory and foundations of mathematics, etc.

The three-volume set LNCS 14476-14478 constitutes the post conference proceedings of the 4th International Conference on Numerical Computations: Theory and Algorithms, NUMTA 2023, held in Pizzo Calabro, Italy, during June 14-20, 2023. The 45 full papers presented in this book together with 60 short papers were carefully reviewed and selected from 170 submissions. The papers focus on topics such as: continuous and discrete single- and multi-objective problems, local, global and large-scale optimization, classification in machine learning, optimal control, and applications; computational and applied mathematics (such as approximation theory, computational geometry, computational fluid dynamics, dynamical systems and differential equations, numerical algebra, etc.) and applications in engineering and science; numerical models, methods and software using traditional and emerging high-performance computational tools and paradigms (including the infinity and quantum computing) and their application in artificial intelligence and data science, bioinformatics, economics and management, engineering and technology, mathematical education, number theory and foundations of mathematics, etc.

The three-volume set LNCS 14476-14478 constitutes the post conference proceedings of the 4th International Conference on Numerical Computations: Theory and Algorithms, NUMTA 2023, held in Pizzo Calabro, Italy, during June 14-20, 2023. The 45 full papers presented in this book together with 60 short papers were carefully reviewed and selected from 170 submissions. The papers focus on topics such as: continuous and discrete single- and multi-objective problems, local, global and large-scale optimization, classification in machine learning, optimal control, and applications; computational and applied mathematics (such as approximation theory, computational geometry, computational fluid dynamics, dynamical systems and differential equations, numerical algebra, etc.) and applications in engineering and science; numerical models, methods and software using traditional and emerging high-performance computational tools and paradigms (including the infinity and quantum computing) and their application in artificial intelligence and data science, bioinformatics, economics and management, engineering and technology, mathematical education, number theory and foundations of mathematics, etc.

This book constitutes the revised selected papers of the 13th International Conference on HPCST 2023, held in Barnaul, Russia, during May 19–20, 2023.The 21 full papers included in this book were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections as follows: Hardware for High-Performance Computing and Signal Processing; Information Technologies and Computer Simulation of Physical Phenomena; Computing Technologies in Data Analysis and Decision Making; Information and Computing Technologies in Automation and Control Science; Computing Technologies in Information Security Applications.

This book constitutes the revised selected papers from the 23rd International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2024, held in Omsk, Russia from June 30 to July 06, 2024. The 26 full papers included in this book were carefully reviewed and selected from 79 submissions. These papers have been organized in the following topical sections: Mathematical programming; Combinatorial optimization; Operations research; and Machine learning and optimization.

This book constitutes the refereed proceedings of the 9th International Conference on Metaheuristics and Nature Inspired Computing, META 2023, held in Marrakech, Morocco, during November 1-4, 2023. The 19 full papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers are divided into the following topical sections: combinatorial optimization; scheduling; continuous optimization; automatic metaheuristics tuning; optimization and machine learning; and applications.

This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 6–7, 2024. The 11 full papers included in this book were carefully reviewed and selected from 16 submissions. They focus on several topics, e.g., foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; applications; and education.

The two-volume set CCIS 2061 and 2062 constitutes the refereed post-conference proceedings of the 18th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2023, held in Changsha, China, during December 15–17, 2023.The 64 revised full papers presented in these proceedings were carefully reviewed and selected from 168 submissions. The papers are organized in the following topical sections: Volume I: Evolutionary Computation and Swarm Intelligence; and Membrane Computing and DNA ComputingVolume II: Machine Learning and Applications; and Intelligent Control and Application.

The two-volume set CCIS 2061 and 2062 constitutes the refereed post-conference proceedings of the 18th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2023, held in Changsha, China, during December 15–17, 2023.The 64 revised full papers presented in these proceedings were carefully reviewed and selected from 168 submissions. The papers are organized in the following topical sections: Volume I: Evolutionary Computation and Swarm Intelligence; and Membrane Computing and DNA ComputingVolume II: Machine Learning and Applications; and Intelligent Control and Application.

The proceedings constitute papers presented in the 26th International Conference, DCCN 2023, held in Moscow, Russia, during September 25–29, 2023. The 8 full papers were carefully reviewed and selected from 122 submissions. They cover variety of topics including networks architecture, network protocols, distributed computer systems, distributed communication systems, simulation, stochastic processes, queueing and reliability theory, Internet and web applications and services, wireless networks, Internet of things, performance analysis, and high-altitude communication platforms.

This book constitutes selected and revised papers from the 23rd International Conference on Mathematical Modeling and Supercomputer Technologies, MMST 2023, held in Nizhny Novgorod, Russia, during November 13–16 2023. The 18 full papers and 7 short papers presented in the volume were thoroughly reviewed and selected from the 45 submissions. They are organized in topical sections as follows: computational methods for mathematical models analysis; computation in optimization and optimal control; artificial intelligence and supercomputer simulation.

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 two-volume set LNCS 14465-14466 constitutes the proceedings of the 31st International Symposium on Graph Drawing and Network Visualization, GD 2023, held in Isola delle Femmine, Palermo, Italy, in September 2023. The 31 full papers, 7 short papers, presented together with 2 invited talks, and one contest report, were thoroughly reviewed and selected from the 100 submissions. The abstracts of 11 posters presented at the conference can be found in the back matter of the volume. The contributions were organized in topical sections as follows: beyond planarity; crossing numbers; linear layouts; geometric aspects; visualization challenges; graph representations; graph decompositions; topological aspects; parameterized complexity for drawings; planar graphs; frameworks; algorithmics.

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 volume constitutes short papers and DETECT 2022 workshop papers, presented during the 11th International Conference on Model and Data Engineering, MEDI 2022, held in Cairo, Egypt, in November 2022.The 11 short papers presented were selected from the total of 65 submissions. This volume also contains the 4 accepted papers from the DETECT 2022 workshop, held at MEDI 2022. The volume focuses on advances in data management and modelling, including topics such as data models, data processing, database theory, database systems technology, and advanced database applications.

This book constitutes the refereed post-conference proceedings of the 20th International Conference, LENLS20, held in Osaka, Japan, during November 18-20, 2023. The 19 full papers presented were carefully reviewed and selected from 46 submissions. The conference aims to cover the topics at the Intersection of Language and logic, and so Centers Around Linguistics, both Theoretical and Computational; Logic; Philosophy; and other sorts of Formal Approaches to these topics such as Game Theory.

This book constitutes the refereed proceedings of the 41st National Conference on Theoretical Computer Science, NCTCS 2023, held in Guangzhou, China, during July 21–23, 2023.The 16 full papers included in this book were carefully reviewed and selected from 70 submissions. They were organized in topical sections as follows: theoretical computer science, algorithm complexity, artificial intelligence, algorithm design, machine learning theory, computational model, formal methods, network security, software and application security.

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.

This book constitutes the refereed proceedings of the 8th International Symposium on Combinatorial Optimization, ISCO 2024, held in La Laguna, Tenerife, Spain, during May 22–24, 2024. The 30 full papers included in this book were carefully reviewed and selected from 46 submissions. They were organized in topical sections as follows: integer programming; graph theory; parameterized algorithms; approximation algorithms; integer programming for machine learning; and applications.

This book constitutes the proceedings of the 4th International Conference on Computer and Communication Engineering, CCCE 2024, which took place in Oslo, Norway, during May 24-26, 2024. The 19 full papers included in this book were carefully reviewed and selected from 47 submissions. They are organized in topical sections as follows: Intelligent image analysis and multimedia technology; information network and security; digital communication and information systems; and design and implementation of modern information management systems.

The two-volume set LNBIP 518 and 519 constitutes the refereed post-conference proceedings of the 25th International Conference on Enterprise Information Systems, ICEIS 2023, which was held in Prague, Czech Republic, during April 2023. The 30 full papers included in these proceedings were carefully reviewed and selected from a total of 213 submissions. They are organized in topical sections as follows: Part One : Databases and Information Systems Integration; Artificial Intelligence and Decision Support Systems; and Information Systems Analysis and Specification. Part Two : Software Agents and Internet Computing; Human-Computer Interaction; and Enterprise Architecture.

This book constitutes the refereed proceedings of the Sescond Southwest Data Science Conference, SDSC 2023, held in Waco, TX, USa, during March 24-25, 2023. The 16 full and 1 short paper included in this book were carefully reviewed and selected from 72 submissions. They were oragnized in topical sections named: Business social and foundation data science; and applied data science, artifiicial intelligence and data engineering.

This book constitutes the refereed proceedings of the 14th International Conference on Large-Scale Scientific Computations, LSSC 2023, held in Sozopol, Bulgaria, during June 5–9, 2023. The 49 full papers included in this book were carefully reviewed and selected from 61 submissions. They were organized in topical sections as follows: preconditioning and multilevel methods; fractures and mixed dimensional modeling: discretizations, solvers, and methodology; machine learning and model order reduction for large scale predictive simulations; fractional differential problems: theoretical aspects, algorithms and applications; variational analysis and optimal control; stochastic optimal control and numerical methods in economics and finance; tensor methods for big data analytics and low-rank approximations of PDEs solutions; applications of metaheuristics to large-scale problems; large-scale models: numerical methods, parallel computations and applications; HPC and HPDA: algorithms and applications.

​This book constitutes the refereed proceedings of the 6th IEEE Colombian Conference on Applications of Computational Intelligence, ColCACI 2023, held in Bogota, Colombia during July 2023.A total of 11 full papers were carefully reviewed and selected from 42 submissions. They were organized in topical sections as follows: ​Biomedical Applications, Biological Applications, Engineering Applications.

This book constitutes the refereed post proceedings of the 17th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2023, held in Venice, Italy, during September 6–8, 2023.The 30 full papers included in this book were carefully reviewed and selected from 55 submissions. They were organized in topical sections as follows: Algorithms for complex systems, Biologically inspired models, Complex chemical systems, Adaptation and swarms, Learning, Medicine and Social systems.

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 constitutes the proceedings of the 22nd International Conference on Smart Card Research and Advanced Applications, CARDIS 2023, held in Amsterdam, The Netherlands, during November 14–16, 2023.The 13 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: fault attacks; side-channel analysis; smartcards & efficient Implementations; and side-channel & neural networks.

This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023.The 11 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: cloud computing, cyber-physical and critical systems, and the Internet of Things.

This volume constitutes the proceedings of the 9th International Conference on Variable Neighborhood Search, ICVNS 2023, held in Abu Dhabi, United Arab Emirates, in October 2022.The 11 full papers presented in this volume were carefully reviewed and selected from 29 submissions. The papers describe recent advances in methods and applications of variable neighborhood search.

This book constitutes revised selected papers from the refereed proceedings of the 7th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2022, which took place in Potsdam, Germany, on September 6, 2022.The 6 full papers included in this book were carefully reviewed and selected from 16 submissions. They were organized in topical sections as follows: Cloud-Based Urban Mobility Services; New Results in Priority-Based Bin Packing; More Sparking Soundex-based Privacy-Preserving Record Linkage and Privacy Preserving Queries of Shortest Path Distances.

This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.