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 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 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 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 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 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.

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 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 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.

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 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.

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 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.

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 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.

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 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 constitutes refereed proceedings of the Third International Conference on Computer and Communication Engineering, CCCE 2023, held in Stockholm, Sweden, in March 2023.The 18 full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: image analysis and method; network model and function analysis of mobile network; system security estimation and analysis of data network; and AI-based system model and algorithm.

This book constitutes the refereed proceedings of the 25th International Conference on Distributed Computer and Communication Networks, DCCN 2022, held in Moscow, Russia, in September 2022.The 27 full papers and 2 short papers included in this book were carefully reviewed and selected from 130 submissions. They were organized in topical sections as follows: Distributed Systems Applications, Computer and Communication Networks, Analytical Modeling of Distributed Systems.

This volume constitutes the papers of the 3rd International Workshop on Active Inference, IWAI 2022, held in Grenoble, France, in conjunction with ECML/PKDD, on September 19, 2022.The 25 revised full papers presented in this book were carefully reviewed and selected from 31 submissions.

This book constitutes the refereed proceedings of the First Southwest Data Science Conference, on The Recent Advances in Transdisciplinary Data Science, SDSC 2022, held in Waco, TX, USA, during March 25–26, 2022.The 14 full papers and 2 short papers included in this book were carefully reviewed and selected from 72 submissions. They were organized in topical sections as follows: Business and social data science; Health and biological data science; Applied data science, artificial intelligence, and data engineering.

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 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 includes extended and revised versions of selected papers from the 11th and 12th editions of the International Conference on Operations Research and Enterprise Systems (ICORES 2022 and ICORES 2023). ICORES 2022 was held as a virtual event in February 2022, and ICORES 2023 was held in Lisbon, Portugal, in February 2023. The 5 full papers included in this book were carefully reviewed and selected from the 55 submissions for ICORES 2022, and 8 full papers were reviewed and selected from the 55 submissions for ICORES 2023. The papers are focused on operations research and enterprise systems.

This book constitutes the refereed proceedings of the 21st International Conference on Information Technologies and Mathematical Modelling. Queueing Theory and Applications, ITMM 2022, held in Karshi, Uzbekistan, during October 25–29, 2022. The 19 full papers included in this book were carefully reviewed and selected from 89 submissions. The papers are devoted to new results in queueing theory and its applications. Its target audience includes specialists in probabilistic theory, random processes, mathematical modeling as well as engineers engaged in logical and technical design and operational management of data processing systems, communication, and computer networks.

This book includes the refereed Selected Papers of the 20th International Conference on Computer-Aided Architectural Design. INTERCONNECTIONS: Co-computing Beyond Boundaries, CAAD Futures 2023, held in Delft, The Netherlands, in July 5–7, 2023. The 43 full papers included in this book were carefully reviewed and selected from 144 submissions. They were organized in topical sections as follows: ​algorithmic architectural design; AI-powered architectural ideation; performance-based design, urban models and analysis; urban design; digital design, materials and fabrication; spatial information, data and semantics; building data analysis, visualisation, interaction; and building massing and layouts.

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 book constitutes refereed proceedings of the 22nd International Conference on Mathematical Optimization Theory and Operations Research: Recent Trends, MOTOR 2023, held in Ekaterinburg, Russia, during July 2–8, 2023. The 28 full papers and one invited paper presented in this volume were carefully reviewed and selected from a total of 61 submissions. The papers in the volume are organized according to the following topical headings: mathematical programming; stochastic optimization; discrete and combinatorial optimization; operations research; optimal control and mathematical economics; and optimization in machine learning.

This book constitutes the refereed proceedings of the 16th International Conference on Learning and Intelligent Optimization, LION 16, which took place in Milos Island, Greece, in June 2022.The 36 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 60 submissions. LION deals with automatic solver configuration, parallel methods, intelligent optimization, nature-inspired algorithms, hard combinatorial optimization problems, DC learning, computational intelligence, and others. The contributions were organized in topical sections as follows: Invited Papers; Contributed Papers.

This book constitutes the proceedings of the 30th International Symposium on Graph Drawing and Network Visualization, GD 2022, held in Tokyo, Japan, during September 13-16, 2022. The 25 full papers, 7 short papers, presented together with 2 invited talks, one report on graph drawing contest, and one obituary in these proceedings were carefully reviewed and selected from 70 submissions. The abstracts of 5 posters presented at the conference can be found in the back matter of the volume. The contributions were organized in topical sections as follows: properties of drawings of complete graphs; stress-based visualizations of graphs; planar and orthogonal drawings; drawings and properties of directed graphs; beyond planarity; dynamic graph visualization; linear layouts; and contact and visibility graph representations.

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 post-conference proceedings of the 25th International Conference on Distributed and Computer and Communication Networks, DCCN 2022, held in Moscow, Russia, in September 26–29, 2022. The 31 revised full papers and 2 revised short papers were carefully reviewed and selected from 130 submissions. The papers cover the following topics: computer and communication networks; analytical modeling of distributed systems; and distributed systems 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 book constitutes selected papers presented at the 5th International Workshop on Software Foundations for Data Interoperability, SFDI 2021, held in Copenhagen, Denmark, in August 2021. The 4 full papers and one short paper were thorougly reviewed and selected from 8 submissions. They present discussions in research and development in software foundations for data interoperability as well as the applications in real-world systems such as data markets.

This book constitutes the refereed proceedings of the Third International Workshop on Human Brain and Artificial Intelligence, HBAI 2022, held in conjunction with IJCAI-ECAI 2022, Vienna, Austria, on July 23, 2022. The 19 full papers presented were carefully reviewed and selected from 21 submissions. The papers present most recent research in the fields of brain-inspired computing, brain-machine interfaces, computational neuroscience, brain-related health, neuroimaging, cognition and behavior, learning, and memory, neuron modulation, and closed-loop brain stimulation.

This book constitutes selected and revised papers from the 22nd International Conference on Mathematical Modeling and Supercomputer Technologies, MMST 2022, held in Nizhny Novgorod, Russia, in November 2022. The 20 full papers and 5 short papers presented in the volume were thoroughly reviewed and selected from the 48 submissions. They are organized in topical secions on ​computational methods for mathematical models analysis; computation in optimization and optimal control; supercomputer simulation.

This book constitutes thoroughly refereed and revised selected papers from the 7th International Symposium on Combinatorial Optimization, ISCO 2022, which was held online during May 18–20, 2022.The 24 full papers included in this book were carefully reviewed and selected from 50 submissions. They were organized in topical sections as follows: Polyhedra and algorithms; polyhedra and combinatorics; non-linear optimization; game theory; graphs and trees; cutting and packing; applications; and approximation algorithms.

This book constitutes refereed proceedings of the 2nd International Conference on Computer and Communication Engineering, CCCE 2022, held in Rome, Italy, March 11–13, 2022.The 9 full papers and 8 short papers presented in this volume were carefully reviewed and selected from a total of 36 submissions. The papers in the volume are organised according to the following topical headings: information science and mobile communication; computer and electronic engineering.

This book constitutes revised selected papers from the 13th International Conference on Large-Scale Scientific Computing, LSSC 23021, which was held in Sozopol, Bulgaria, during June 7-11, 2021. The 60 papers included in this book were carefully reviewed and selected from a total of 73 submissions. The volume also includes two invited talks in full paper length. The papers were organized in topical sections as follows: Fractional diffusion problems: numerical methods, algorithms and applications; large-scale models: numerical methods, parallel computations and applications; application of metaheuristics to large-scale problems; advanced discretizations and solvers for coupled systems of partial differential equations; optimal control of ODEs, PDEs and applications; tensor and matrix factorization for big-data analysis; machine learning and model order reduction for large scale predictive simulations; HPC and big data: algorithms and applications; and contributed papers.

This book constitutes revised selected papers from the 24th International Conference on Distributed and Computer and Communication Networks, DCCN 2021, held in Moscow, Russia, in September 2021. Due to the COVID-19 pandemic the conference was held online. The 31 full papers along with the 4 short papers were carefully reviewed and selected from 151 submissions.The papers are organized in the following topical sections: computer and communication networks; analytical modeling of distributed systems, and distributed systems applications.

This volume constitutes selected papers from the Second International Conference on Information Systems and Design, ICID 2021, held as virtual event in September 2021. The 24 full papers and 4 short papers presented were thoroughly reviewed and selected from 51 submissions. They are organized in topical sections on ​digital transformation of enterprises based on analysis and management tools: practical-focused research; methodological support of analysis and management tools: theoretical-focused research; young scientists research in the areas of enterprise digitalization.

This volume constitutes selected papers presented at the First International Conference on Informatics and Intelligent Applications, ICIIA 2021, held in Ota, Nigeria, in November 2021. The 22 full papers were thoroughly reviewed and selected from 108 submissions. The papers are organized in the following topical sections: AI applications; information security; emerging technologies in informatics.

This book constitutes refereed proceedings of the 21st International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2022, held in Petrozavodsk, Russia, in July 2022. The 21 full papers and 3 short papers presented in this volume were carefully reviewed and selected from a total of 88 submissions. The papers in the volume are organised according to the following topical headings: ​invited talks; integer programming and combinatorial optimization; mathematical programming; game theory and optimal control; operational research applications.

This book constitutes revised selected papers of the 20th International Conference on Information Technologies and Mathematical Modelling, ITMM 2021, named after A.F. Terpugov, held in Tomsk, Russia, in December 2021. Due to the COVID-19 pandemic the conference was held in a virtual mode. The 28 full papers presented in this volume were carefully reviewed and selected from 89 submissions. The conference covers various aspects of information technologies, focusing on queueing theory, stochastic processes, Markov processes, renewal theory, network performance equation and network protocols.

This book constitutes the refereed proceedings of the 50th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2024, held in Gozd Martuljek, Slovenia in June 2024, The 31 papers presented in this volume were carefully reviewed and selected from 89 submissions. Additionally, this volume also contains a survey on approximation algorithms for tree-width, path-width, and tree-depth prepared by Hans Bodlander, who delivered the Test of Time Award talk at WG 2024. The WG 2024 workshop aims to merge theory and practice by demonstrating how concepts from graph theory can be applied to various areas in computer science or by extracting new graph-theoretic problems from applications.

This book constitutes refereed proceedings of the 4th Maple Conference, MC 2020, held in Waterloo, Ontario, Canada, in November 2020. The 25 revised full papers and 3 short papers were carefully reviewed and selected out of 75 submissions, one invited paper is also presented in the volume. The papers included in this book cover topics in education, algorithms, and applciations of the mathematical software Maple.

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on the Arithmetic of Finite Field, WAIFI 2020, held in Rennes, France in July 2020. Due to the COVID-19, the workshop was held online. The 12 revised full papers and 3 invited talks presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on invited talks, Finite Field Arithmetic, Coding Theory, Network Security and much more.

This book constitutes the proceedings of the 28th International Symposium on Graph Drawing and Network Visualization, GD 2021, which was held in Tübingen, Germany, during September 14-17, 2021.The 23 full papers and 5 short papers presented in these proceedings were carefully reviewed and selected from 74 submissions. The abstracts of 13 posters presented at the conference can be found in the back matter of the volume. The contributions were organized in topical sections as follows: Best Paper (Track 1: Combinatorial and Algorithmic Aspects); Best Paper (Track 2: Experimental, Applied, and Network Visualization Aspects); Crossing Minimization and Beyond-Planarity; Morphing and Graph Abstraction; Geometric Constraints; Topological and Upward Drawings; Linear Layouts; Contact and Visibility Representations; Geometric Aspects in Graph Drawing; AI applications; and Graph Drawing Contest Report.