Search

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.

The book is a comprehensive collection of extended contributions from the Workshops on Computational Optimization 2022. Our everyday life is unthinkable without optimization. We try to minimize our effort and to maximize the achieved profit. Many real world and industrial problems arising in engineering, economics, medicine, and other domains can be formulated as optimization tasks. This book presents recent advances in computational optimization. The book includes important real problems like modeling of physical processes, parameter settings for controlling different processes, agricultural modeling transportation problems, energy management, machine scheduling, air pollution modeling, optimization of fast-food restaurant chain, and solving engineering and financial problems. It shows how to develop algorithms for them based on new intelligent methods like evolutionary computations, ant colony optimization, constrain programming Monte Carlo method, and others. This book demonstrates how some real-world problems arising in engineering, economics, and other domains can be formulated as optimization problems.

This book constitutes the proceedings of the 28th International Conference on Technologies and Applications of Artificial Intelligence, TAAI 2023, which was held in Yunlin, Taiwan, during December 1–2, 2023. `The 35 full papers and 12 short papers included in this book were carefully reviewed and selected from 193 submissions. The TAAI 2023 provides a platform for experts and scholars from domestic and international universities, research units, and industries to exchange AI technologies and application results.

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024. The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; Temporal Logics; Speci cation and Visualization; Deep Neural Networks; and Distributed Systems.

This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25–27, 2024. The 13 full papers included in these proceedings were carefully reviewed and selected from 37 submissions. The book also contains two invited talks in full paper length. The contributions in these proceedings cover topics from computability and reachability; automata and complexity; linear systems and recurrences; and games and abstractions.

This book constitutes the refereed proceedings of the 31st International Symposium on String Processing and Information Retrieval, SPIRE 2024, held in Puerto Vallarta, Mexico, during September 23–25, 2024. The 22 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 41 submissions. The papers reflect the continuation of the long and well-established tradition of encouraging high-quality research at the broad nexus of string processing, information retrieval, and computational biology.

This book constitutes the proceedings of the 28th International Conference on Implementation and Application of Automata, CIAA 2024, held in Akita, Japan, during September 3-6, 2024. The 24 full papers and one invited paper presented here were carefully reviewed and selected from 38 submissions. These papers have been covering various fields in the application, implementation, and theory of automata and related structures.

This book constitutes the proceedings of the 14th International Conference on Swarm Intelligence, ANTS 2024, which took place in Konstanz, Germany, during October 9-11, 2024. The 14 full papers and 5 short papers included in this book were carefully reviewed and selected from 33 submissions. They deal with self-organizing processes both in nature and in artificial systems.

This book constitutes the refereed proceedings of CVM 2024, the 12th International Conference on Computational Visual Media, held in Wellington, New Zealand, in April 2024.The 34 full papers were carefully reviewed and selected from 212 submissions. The papers are organized in topical sections as follows:Part I: Reconstruction and Modelling, Point Cloud, Rendering and Animation, User Interations.Part II: Facial Images, Image Generation and Enhancement, Image Understanding, Stylization, Vision Meets Graphics.

​This book constitutes the refereed proceedings of CVM 2024, the 12th International Conference on Computational Visual Media, held in Wellington, New Zealand, in April 2024.The 34 full papers were carefully reviewed and selected from 212 submissions. The papers are organized in topical sections as follows:Part I: Reconstruction and Modelling, Point Cloud, Rendering and Animation, User Interations.Part II: Facial Images, Image Generation and Enhancement, Image Understanding, Stylization, Vision Meets Graphics.

This book constitutes the refereed proceedings of the 17th International Conference on Intelligent Computer Mathematics, CICM 2024, held in Montréal, Québec, Canada, during August 5–9, 2024. The 21 full papers presented were carefully reviewed and selected from 28 submissions. These papers have been categorized into the following sections: AI and LLM; Proof Assistants; Logical Frameworks and Transformations; Knowledge Representation and Certification; Proof Search and Formalization & System Descriptions.

This book constitutes the proceedings of the 28th International Conference on Technologies and Applications of Artificial Intelligence, TAAI 2023, which was held in Yunlin, Taiwan, during December 1–2, 2023.The 35 full papers and 12 short papers included in this book were carefully reviewed and selected from 193 submissions. The TAAI 2023 provides a platform for experts and scholars from domestic and international universities, research units, and industries to exchange AI technologies and application results.

The 7-volume set LNCS 14487-14493 constitutes the proceedings of the 23rd International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2023, which took place in Tianjin, China, during October, 2023.The 145 full papers included in this book were carefully reviewed and selected from 439 submissions. ICA3PP covers the many dimensions of parallel algorithms and architectures; encompassing fundamental theoretical approaches; practical experimental projects; and commercial components and systems.

The 7-volume set LNCS 14487-14493 constitutes the proceedings of the 23rd International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2023, which took place in Tianjin, China, during October, 2023.The 145 full papers included in this book were carefully reviewed and selected from 439 submissions. ICA3PP covers many dimensions of parallel algorithms and architectures; encompassing fundamental theoretical approaches; practical experimental projects; and commercial components and systems.

The 7-volume set LNCS 14487-14493 constitutes the proceedings of the 23rd International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2023, which took place in Tianjin, China, during October, 2023.The 145 full papers included in this book were carefully reviewed and selected from 439 submissions. ICA3PP covers the many dimensions of parallel algorithms and architectures; encompassing fundamental theoretical approaches; practical experimental projects; and commercial components and systems.

The 7-volume set LNCS 14487-14493 constitutes the proceedings of the 23rd International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2023, which took place in Tianjin, China, during October, 2023.The 145 full papers included in this book were carefully reviewed and selected from 439 submissions. ICA3PP covers the many dimensions of parallel algorithms and architectures; encompassing fundamental theoretical approaches; practical experimental projects; and commercial components and systems.

The 7-volume set LNCS 14487-14493 constitutes the proceedings of the 23rd International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2023, which took place in Tianjin, China, during October, 2023.The 145 full papers included in this book were carefully reviewed and selected from 439 submissions. ICA3PP covers many dimensions of parallel algorithms and architectures; encompassing fundamental theoretical approaches; practical experimental projects; and commercial components and systems.

The 7-volume set LNCS 14487-14493 constitutes the proceedings of the 23rd International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2023, which took place in Tianjin, China, during October, 2023.The 145 full papers included in this book were carefully reviewed and selected from 439 submissions. ICA3PP covers the many dimensions of parallel algorithms and architectures; encompassing fundamental theoretical approaches; practical experimental projects; and commercial components and systems.

This book provides an insight into 12th International Conference on Soft Computing for Problem Solving (SocProS 2023), organized by The Department of Applied Mathematics and Scientific Computing, Saharanpur Campus of Indian Institute of Technology, Roorkee, India, in conjunction with Continuing Education Center during 11–13 August 2023. This book presents the latest achievements and innovations in the interdisciplinary areas of soft computing, machine learning, and data science. It covers original research papers in the areas of algorithms (artificial neural network, deep learning, statistical methods, genetic algorithm, and particle swarm optimization) and applications (data mining and clustering, computer vision, medical and health care, finance, data envelopment analysis, business, and forecasting applications). This book is beneficial for young as well as experienced researchers dealing across complex and intricate real-world problems for which finding a solution by traditional methods is a difficult task.

This book provides an insight into 12th International Conference on Soft Computing for Problem Solving (SocProS 2023), organized by The Department of Applied Mathematics and Scientific Computing, Saharanpur Campus of Indian Institute of Technology, Roorkee, India, in conjunction with Continuing Education Center during 11–13 August 2023. This book presents the latest achievements and innovations in the interdisciplinary areas of soft computing, machine learning, and data science. It covers original research papers in the areas of algorithms (artificial neural network, deep learning, statistical methods, genetic algorithm, and particle swarm optimization) and applications (data mining and clustering, computer vision, medical and health care, finance, data envelopment analysis, business, and forecasting applications). This book is beneficial for young as well as experienced researchers dealing across complex and intricate real-world problems for which finding a solution by traditional methods is a difficult task.

The 7-volume set LNCS 14487-14493 constitutes the proceedings of the 23rd International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2023, which took place in Tianjin, China, during October 2023.The 145 full papers included in these proceedings were carefully reviewed and selected from 439 submissions. ICA3PP covers many dimensions of parallel algorithms and architectures; encompassing fundamental theoretical approaches; practical experimental projects; and commercial components and systems.

The 6-volume set LNAI 14645-14650 constitutes the proceedings of the 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, which took place in Taipei, Taiwan, during May 7–10, 2024. The 177 papers presented in these proceedings were carefully reviewed and selected from 720 submissions. They deal with new ideas, original research results, and practical development experiences from all KDD related areas, including data mining, data warehousing, machine learning, artificial intelligence, databases, statistics, knowledge engineering, big data technologies, and foundations.

The 6-volume set LNAI 14645-14650 constitutes the proceedings of the 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, which took place in Taipei, Taiwan, during May 7–10, 2024. The 177 papers presented in these proceedings were carefully reviewed and selected from 720 submissions. They deal with new ideas, original research results, and practical development experiences from all KDD related areas, including data mining, data warehousing, machine learning, artificial intelligence, databases, statistics, knowledge engineering, big data technologies, and foundations.

The 6-volume set LNAI 14645-14650 constitutes the proceedings of the 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, which took place in Taipei, Taiwan, during May 7–10, 2024. The 177 papers presented in these proceedings were carefully reviewed and selected from 720 submissions. They deal with new ideas, original research results, and practical development experiences from all KDD related areas, including data mining, data warehousing, machine learning, artificial intelligence, databases, statistics, knowledge engineering, big data technologies, and foundations.

This volume constitutes the refereed proceedings of 17th International Symposium on Algorithmic Game Theory, SAGT 2024, held in Amsterdam, The Netherlands, during September 3–6, 2024. The 29 full papers included in this book were carefully reviewed and selected from 84 submissions. They were organized in topical sections as follows: matching; fair division and resource allocation; mechanism design; game theory and repeated games; pricing, revenue, and regulation; matroid theory in game theory; information sharing and decision making; computational complexity and resource allocation.

This book constitutes the refereed proceedings of the 26th International Workshop on Computer Algebra in Scientific Computing, CASC 2024, which took place in Rennes, France, during September 2 - September 6, 2024. The 19 full papers included in this book were carefully reviewed and selected from 23 submissions. The annual International Workshop CASC 2024 aims to bring together researchers in theoretical computer algebra (CA), engineers, scholars, as well as other allied professionals applying CA tools for solving problems in industry and in various branches of scientific computing to explore and discuss advancements, challenges, and innovations related to CA.

This volume constitutes the refereed proceedings of the 18th International Symposium on Neural Networks, ISNN 2024, held in Weihai, China, during 11-14, July 2024. The 59 full papers were carefully reviewed and selected from 82 submission. They are categorized in the following sections: Optimization Algorithms; Adversarial Learning, Transfer Learning, and Deep Learning; Signal, Image, and Video Processing; Modeling, Analysis, and Implementation of Neural Networks; Control Systems, Robotics, and Autonomous Driving; Fault Diagnosis and Intelligent Industry & Bio-signal, Bioinformatics, and Biomedical Engineering.

The two-volume set LNCS 14664 and 14665 constitutes the refereed proceedings of the 21st International Conference on The Semantic Web, ESWC 2024, held in Hersonissos, Crete, Greece, during May 26-30, 2024. The 32 full papers presented were carefully reviewed and selected from 138 submissions. They focus on all aspects of theoretical, analytical, and empirical aspects of the semantic web, semantic technologies, knowledge graphs and semantics on the web in general.

This book constitutes the refereed proceedings of the 9th International Conference on Pattern Recognition and Machine Intelligence, PReMI 2021, held in December 2021. Due to COVID-19 pandemic the conference was held virtually. The 62 full papers included in this book were carefully reviewed and selected from 215 submissions. They were organized in topical sections as follows: image processing; text, voice and video processing; bioinformatics; deep learning; medical image processing; theory and models; feature selection; biometrics and dermoscopy; facial image analysis; object and event detection; pattern recognition; machine learning applications.

The 6-volume set LNAI 14645-14650 constitutes the proceedings of the 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, which took place in Taipei, Taiwan, during May 7–10, 2024. The 177 papers presented in these proceedings were carefully reviewed and selected from 720 submissions. They deal with new ideas, original research results, and practical development experiences from all KDD related areas, including data mining, data warehousing, machine learning, artificial intelligence, databases, statistics, knowledge engineering, big data technologies, and foundations.

The 6-volume set LNAI 14645-14650 constitutes the proceedings of the 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, which took place in Taipei, Taiwan, during May 7–10, 2024. The 177 papers presented in these proceedings were carefully reviewed and selected from 720 submissions. They deal with new ideas, original research results, and practical development experiences from all KDD related areas, including data mining, data warehousing, machine learning, artificial intelligence, databases, statistics, knowledge engineering, big data technologies, and foundations.

The 6-volume set LNAI 14645-14650 constitutes the proceedings of the 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, which took place in Taipei, Taiwan, during May 7–10, 2024. The 177 papers presented in these proceedings were carefully reviewed and selected from 720 submissions. They deal with new ideas, original research results, and practical development experiences from all KDD related areas, including data mining, data warehousing, machine learning, artificial intelligence, databases, statistics, knowledge engineering, big data technologies, and foundations.

The book explains basic ideas behind several kinds of applied multi-objective optimization and shows how it will be applied in practical contexts in the domain of healthcare, engineering design, and manufacturing. The book discusses how meta-heuristic algorithms are successful in resolving challenging, multi-objective optimization issues in various disciplines, including engineering, economics, medical and environmental management. The topic is useful for graduates, researchers and lecturers in optimization, engineering, management science and computer science.

This textbook comprehensively explores the foundational principles, algorithms, and applications of intelligent optimization, making it an ideal resource for both undergraduate and postgraduate artificial intelligence courses. It remains equally valuable for active researchers and individuals engaged in self-study. Serving as a significant reference, it delves into advanced topics within the evolutionary computation field, including multi-objective optimization, dynamic optimization, constrained optimization, robust optimization, expensive optimization, and other pivotal scientific studies related to optimization. Designed to be approachable and inclusive, this textbook equips readers with the essential mathematical background necessary for understanding intelligent optimization. It employs an accessible writing style, complemented by extensive pseudo-code and diagrams that vividly illustrate the mechanisms, principles, and algorithms of optimization. With a focus on practicality, this textbook provides diverse real-world application examples spanning engineering, games, logistics, and other domains, enabling readers to confidently apply intelligent techniques to actual optimization problems. Recognizing the importance of hands-on experience, the textbook introduces the Open-source Framework for Evolutionary Computation platform (OFEC) as a user-friendly tool. This platform serves as a comprehensive toolkit for implementing, evaluating, visualizing, and benchmarking various optimization algorithms. The book guides readers on maximizing the utility of OFEC for conducting experiments and analyses in the field of evolutionary computation, facilitating a deeper understanding of intelligent optimization through practical application.

This book presents algorithms and tools that are designed to model and extract information from personal contact networks, which represent which individuals in a population are physically in contact with one another. The authors developed these tools based on research they conducted during the COVID-19 pandemic, with the goal of improving responses to epidemics in the future. The book provides methods for modelling the transmission of infection across a population. The authors explain how an epidemic model can be used to strategically distribute vaccines and minimize the spread of a virus. The book shows how evolutionary computation, graph compression, and network induction can be utilized to manage issues that arise from an epidemic.

This book reviews recent advances in theory and applications of genetic algorithm (GA). The book is composed of five parts; Part 1 of the book involves the chapters about the advances in GA theory. Part 2 concerns applications in health, society, and economy. Part 3 has an inclusive focus on application in power systems, and Part 4 concerns the applications of GA in electrical vehicle industries. Finally, Part 5 includes applications in signal and image processing.

This book gathers a collection of selected works and new research results of scholars and graduate students presented at International Conference on Evolutionary Artificial Intelligence (ICEAI 2023) held in Malaysia during 13-14 September 2023. The focus of the book is interdisciplinary in nature and includes research on all aspects of evolutionary computation to find effective solutions to a wide range of computationally difficult problems. The book covers topics such as particle swarm optimization, evolutionary programming, genetic programming, hybrid evolutionary algorithms, ant colony optimization, evolutionary neural networks, evolutionary reinforcement learning, genetic algorithms, memetic algorithms, novel bio-inspired algorithms, evolving multi-agent systems, agent-based evolutionary approaches, and evolutionary game theory.

This book offers a comprehensive introduction to technological advances in Internet of Vehicles (IoV), including vehicular communications, vehicular system architectures, data dissemination algorithms, resource allocation schemes, and AI-enabled applications. It focuses on the state-of-the-art IoV with regard to three major directions, namely networking, cooperation, and intelligence, including advanced wireless communication technologies, algorithm theory, optimization mechanisms, and AI technologies. In addition, the book includes a number of case studies with system prototype implementation and hands-on experiments in IoV, making it suitable both as a technical reference work for professionals and as a textbook for graduate students.