Search

This book constitutes the proceedings of the 21st Australasian Conference on Data Science and Machine Learning, AusDM 2023, held in Auckland, New Zealand, during December 11–13, 2023.The 20 full papers presented in this book were carefully reviewed and selected from 50 submissions. The papers are organized in the following topical sections: research track and application track. They deal with topics around data science and machine learning in everyday life.

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, and visiting professorships in France, Australia, and the UK. Since 2004 he has been a professor at RWTH Aachen University and is part-time associated with the University of Twente. Joost-Pieter's main areas of research are formal methods, computer-aided verification, concurrency theory, probabilistic computation, and semantics. Among many recognitions for this work, he is an ACM Fellow; he was elected as a member of the Academia Europaea, the Royal Holland Society of Science and Humanities, the North Rhine-Westphalian Academy of Science, Humanities and the Arts, and the Leopoldina, the German National Academy of Sciences; he received an honorary doctorate from Aalborg University. He was awarded an ERC Advanced Grant; he has won best paper, distinguished paper, or test-of-time awards at key conferences such as ETAPS, IEEE SRDS, POPL, CONCUR, and LOPSTR; and he has given keynotes at dozens of major events. He has chaired the Steering Committee of the European Joint Conferences on Theory and Practice of Software (ETAPS) and the TACAS conference; he has been Program Chair, General Chair, or Program Committee member of hundreds of major conferences and workshops, and a board member of key journals; he has served on research boards (such as the EPSRC), doctoral committees, school and university committees, and IFIP working groups; and he coauthored Principles of Model Checking, a highly influential textbook. Throughout his career Joost-Pieter has been a remarkably successful teacher and mentor, supervising students and hosting postdoctoral researchers, many of whom have won awards for their research and advanced to senior positions, and he has collaborated in research and publications with a wide range of scientists. These successes are reflected in the papers contributed to this volume.

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.

The two-volume set LNCS 14634 and 14635 constitutes the refereed proceedings of the 27th European Conference on Applications of Evolutionary Computation, EvoApplications 2024, held as part of EvoStar 2024, in Aberystwyth, UK, April 3–5, 2024, and co-located with the EvoStar events, EvoCOP, EvoMUSART, and EuroGP.The 51 full papers presented in these proceedings were carefully reviewed and selected from 77 submissions. The papers have been organized in the following topical sections: applications of evolutionary computation; analysis of evolutionary computation methods: theory, empirics, and real-world applications; computational intelligence for sustainability; evolutionary computation in edge, fog, and cloud computing; evolutionary computation in image analysis, signal processing and pattern recognition; evolutionary machine learning; machine learning and AI in digital healthcare and personalized medicine; problem landscape analysis for efficient optimization; softcomputing applied to games; and surrogate-assisted evolutionary optimisation.

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 highlights recent developments in the field of computer simulation and its application to social dynamics and behaviour. It covers latest advancements in the use of agent-based modelling by focusing on thematic issues, methodological progress and applications, including policy, industry and business. It aims to promote this interdisciplinary type of research by showing synergies, complementary and integration especially between computer sciences, social sciences, economics and organization, often bridging qualitative and quantitative research. The primary audience of this book are academics, practitioners and professionals using computer simulation for business counselling or industry.

The two-volume set CCIS 1869 and 1870 constitutes the refereed proceedings of the 4th International Conference on Neural Computing for Advanced Applications, NCAA 2023, held in Hefei, China, in July 2023.The 83 full papers and 1 short paper presented in these proceedings were carefully reviewed and selected from 211 submissions. The papers have been organized in the following topical sections: Neural network (NN) theory, NN-based control systems, neuro-system integration and engineering applications; Machine learning and deep learning for data mining and data-driven applications; Computational intelligence, nature-inspired optimizers, and their engineering applications; Deep learning-driven pattern recognition, computer vision and its industrial applications; Natural language processing, knowledge graphs, recommender systems, and their applications; Neural computing-based fault diagnosis and forecasting, prognostic management, and cyber-physical system security; Sequence learning for spreading dynamics, forecasting, and intelligent techniques against epidemic spreading (2); Applications of Data Mining, Machine Learning and Neural Computing in Language Studies; Computational intelligent Fault Diagnosis and Fault-Tolerant Control, and Their Engineering Applications; and Other Neural computing-related topics.

This book constitutes the refereed proceedings of the 23rd European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2023, held as part of Evo•2023, in Brno, Czech Republic in April 2023, co-located with the Evo•2023 events: EvoMUSART, EvoApplications, and EuroGP.The 15 revised full papers presented in this book were carefully reviewed and selected from 32 submissions. They present recent theoretical and experimental advances in combinatorial optimization, evolutionary algorithms, and related research fields.

This book constitutes the refereed proceedings of the 25th International Conference on Applications of Evolutionary Computation, EvoApplications 2023, held as part of Evo•2023, in April 2023, co-located with the Evo•2023 events EuroGP, EvoCOP, and EvoMUSART. The EuroGP focused on the technique of genetic programming, EvoCOP targeted evolutionary computation in combinatorial optimization, and EvoMUSART was dedicated to evolved and bio-inspired music, sound, art, and design.The EvoApplications 2023 presents papers on the different areas: Analysis of Evolutionary Computation Methods: Theory, Empirics, and Real-World Applications, Applications of Bio-inspired Techniques on Social Networks, Evolutionary Computation in Edge, Fog, and Cloud Computing, Evolutionary Computation in Image Analysis, Signal Processing, and Pattern Recognition and others.

This book constitutes the refereed proceedings of the 4th International Conference on Distributed Artificial Intelligence, DAI 2022, held in Tianjin, China, in December 2022. The 5 full papers presented in this book were carefully reviewed and selected from 12 submissions. DAI aims at bringing together international researchers and practitioners in related areas including general AI, multiagent systems, distributed learning, computational game theory, etc., to provide a single, high-profile, internationally renowned forum for research in the theory and practice of distributed AI.

This book brings together some of the most impactful researchers in the field of Genetic Programming (GP), each one working on unique and interesting intersections of theoretical development and practical applications of this evolutionary-based machine learning paradigm. Topics of particular interest for this year´s book include powerful modeling techniques through GP-based symbolic regression, novel selection mechanisms that help guide the evolutionary process, modular approaches to GP, and applications in cybersecurity, biomedicine and program synthesis, as well as papers by practitioner of GP that focus on usability and real-world results. In summary, readers will get a glimpse of the current state of the art in GP research.

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

This book constitutes the refereed proceedings of the 14th International Conference on Metaheuristics, MIC 2022, held in Syracuse, Italy, in July 2022.The 48 full papers together with 17 short papers presented were carefully reviewed and selected from 72 submissions. The papers detail metaheuristic techniques.Chapter “Evaluating the Effects of Chaos in Variable Neighbourhood Search” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022. The 12 full papers together with 2 short papers that were carefully reviewed and selected from 30 submissions are presented in this volume with 3 full-length papers associated with invited/anniversary talks. The papers focus on topics such as modelling, design and analysis of timed computational systems. The conference aims in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of real-timed, hybrid and probabilistic systems.

This book constitutes the refereed proceedings of the 23rd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2020, held in hybrid mode in Valencia, Spain, in November 2022. The 31 full papers presented together with 15 short papers and 1 demo paper were carefully reviewed and selected from 100 submissions.The conference covers a wide range of ranging from foundations of agent theory and engineering aspects of agent systems, to emerging interdisciplinary areas of agent-based research.

This two-volume set (CCIS 1601-1602) constitutes the proceedings of the 19th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2021, held in Milan, Italy, in July 2022. The 124 papers were carefully reviewed and selected from 188 submissions. The papers are organized in topical sections as follows: aggregation theory beyond the unit interval; formal concept analysis and uncertainty; fuzzy implication functions; fuzzy mathematical analysis and its applications; generalized sets and operators; information fusion techniques based on aggregation functions, pre-aggregation functions, and their generalizations; interval uncertainty; knowledge acquisition, representation and reasoning; logical structures of opposition and logical syllogisms; mathematical fuzzy logics; theoretical and applied aspects of imprecise probabilities; data science and machine learning; decision making modeling and applications; e-health; fuzzy methods in data mining and knowledge discovery; soft computing and artificia intelligence techniques in image processing; soft methods in statistics and data analysis; uncertainty, heterogeneity, reliability and explainability in AI; weak and cautious supervised learning.

This book constitutes the refereed conference proceedings of the 30th International Conference on Inductive Logic Programming, ILP 2021, held in October 2021. Due to COVID-19 pandemic the conference was held virtually. The 16 papers and 3 short papers presented were carefully reviewed and selected from 19 submissions. Inductive Logic Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform representation language for expressing examples, background knowledge and hypotheses. Due to its strong representation formalism, based on first-order logic, ILP provides an excellent means for multi-relational learning and data mining, and more generally for learning from structured data.

This book constitutes the refereed proceedings of the 25th International Conference on Applications of Evolutionary Computation, EvoApplications 2022, held as part of Evo•2022, in April 2022, co-located with the Evo•2022 events EuroGP, EvoCOP, and EvoMUSART. The 46 revised full papers presented in this book were carefully reviewed and selected from 67 submissions.

This book constitutes the refereed proceedings of the 33rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2021, which was supposed to be held in London, UK, but was held virtually due to the COVID-19 pandemic. The 10 regular papers and 7 short papers presented were carefully reviewed and selected from 36 submissions. Additionally, the volume includes 6 project reports. The papers are divided into the following topical subheadings: Finite State Machine-based Testing; Test Generation and Selection; AI-based Techniques; Use Cases; Project Reports.

This volume constitutes selected papers presented during the 8th International Conference on Metaheuristics and Nature Inspired Computing, META 2021, held in Marrakech, Morocco, in October 201. Due to the COVID-19 pandemic the conference was partiqally held online. The 16 papers were thoroughly reviewed and selected from the 53 submissions. They are organized in the topical sections on ​combinatorial optimization; continuous optimization; optimization and machine learning; applications.

This book constitutes the refereed proceedings of the 25th European Conference on Genetic Programming, EuroGP 2022, held as part of Evo•2021, as Virtual Event, in April 2022, co-located with the Evo•2022 events, EvoCOP, EvoMUSART, and EvoApplications. The 12 revised full papers and 7 short papers presented in this book were carefully reviewed and selected from 35 submissions. The wide range of topics in this volume reflects the current state of research in the field. The collection of papers cover topics including developing new operators for variants of GP algorithms, as well as exploring GP applications to the optimization of machine learning methods and the evolution of complex combinational logic circuits.

This book presents thoughts and pathways to build revolutionary machine learning models with the new paradigm of machine learning to adapt behaviorism. It focuses on two aspects – one focuses on architecting a choice process to lead users on the certain choice path while the second focuses on developing machine learning models based on choice paradigm. This book is divided in three parts where part one deals with human choice and choice architecting models with stories of choice architects. Second part closely studies human choosing models and deliberates on developing machine learning models based on the human choice paradigm. Third part takes you further to look at machine learning based choice architecture. The proposed pioneering choice-based paradigm for machine learning presented in the book will help readers to develop products – help readers to solve problems in a more humanish way and to negotiate with uncertainty in a more graceful but in an objective way. It will help to create unprecedented value for business and society. Further, it will unveil a new paradigm for modern intelligent businesses to embark on the new journey; the journey of transition from shackled feature rich and choice poor systems to feature flexible and choice rich natural behaviors.

The two-volume set LNAI 13073 and 13074 constitutes the proceedings of the 10th Brazilian Conference on Intelligent Systems, BRACIS 2021, held in São Paolo, Brazil, in November-December 2021. The total of 77 papers presented in these two volumes was carefully reviewed and selected from 192 submissions.The contributions are organized in the following topical sections: Part I: Agent and Multi-Agent Systems, Planning and Reinforcement Learning; Evolutionary Computation, Metaheuristics, Constrains and Search, Combinatorial and Numerical Optimization, Knowledge Representation, Logic and Fuzzy Systems; Machine Learning and Data Mining. Part II: Multidisciplinary Artificial and Computational Intelligence and Applications; Neural Networks, Deep Learning and Computer Vision; Text Mining and Natural Language Processing. Due to the COVID-2019 pandemic, BRACIS 2021 was held as a virtual event.

The Handbook of Computational Social Science is a comprehensive reference source for scholars across multiple disciplines. It outlines key debates in the field, showcasing novel statistical modeling and machine learning methods, and draws from specific case studies to demonstrate the opportunities and challenges in CSS approaches.The Handbook is divided into two volumes written by outstanding, internationally renowned scholars in the field. This first volume focuses on the scope of computational social science, ethics, and case studies. It covers a range of key issues, including open science, formal modeling, and the social and behavioral sciences. This volume explores major debates, introduces digital trace data, reviews the changing survey landscape, and presents novel examples of computational social science research on sensing social interaction, social robots, bots, sentiment, manipulation, and extremism in social media. The volume not only makes major contributions to the consolidation of this growing research field but also encourages growth in new directions.With its broad coverage of perspectives (theoretical, methodological, computational), international scope, and interdisciplinary approach, this important resource is integral reading for advanced undergraduates, postgraduates, and researchers engaging with computational methods across the social sciences, as well as those within the scientifi c and engineering sectors.

This book constitutes the refereed proceedings of the 24th International Conference on Applications of Evolutionary Computation, EvoApplications 2021, held as part of Evo•2021, as Virtual Event, in April 2021, co-located with the Evo•2021 events EuroGP, EvoCOP, and EvoMUSART. The 51 revised full papers presented in this book were carefully reviewed and selected from 78 submissions. The papers cover a wide spectrum of topics, ranging from applications of evolutionary computation; applications of deep bioinspired algorithms; soft computing applied to games; machine learning and AI in digital healthcare and personalized medicine; evolutionary computation in image analysis, signal processing and pattern recognition; evolutionary machine learning; parallel and distributed systems; and applications of nature inspired computing for sustainability and development.​

This book presents best selected research papers presented at the Thirteenth International Conference on Applied Mathematics and Mechanics in the Aerospace Industry (AMMAI 2020), held from September 6 to September 13, 2020, at the Alushta Health and Educational Center (The Republic of Crimea). The book is dedicated to solving actual problems of applied mechanics using modern computer technology including smart paradigms. Physical and mathematical models, numerical methods, computational algorithms, and software complexes are discussed, which allow to carry out high-precision mathematical modeling in fluid, gas, and plasma mechanics, in general mechanics, deformable solid mechanics, in strength, destruction and safety of structures, etc. Technologies and software systems that provide effective solutions to the problems at various multi-scale levels are considered. Special attention is paid to the training of highly qualified specialists for the aviation and space industry. The book is recommended for specialists in the field of applied mathematics and mechanics, mathematical modeling, information technologies, and developers of modern applied software systems.

This book constitutes the refereed post proceedings of the XIXth International Conference of the Italian Association for Artificial Intelligence, AIxIA 2020, held in Milano, Italy, in November 2020.Due to the COVID-19 pandemic, the conference was'rebooted'/ re-organized w.r.t. the original format.The 27 full papers were carefully reviewed and selected from 89 submissions. The society aims at increasing the public awareness of Artificial Intelligence, encouraging the teaching and promoting research in the field.

This book constitutes the refereed proceedings of the 11th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2021 held in Shenzhen, China, in March 2021.The 47 full papers and 14 short papers were carefully reviewed and selected from 120 submissions. The papers are divided into the following topical sections: theory; algorithms; dynamic multi-objective optimization; constrained multi-objective optimization; multi-modal optimization; many-objective optimization; performance evaluations and empirical studies; EMO and machine learning; surrogate modeling and expensive optimization; MCDM and interactive EMO; and applications.

This book constitutes the revised post-conference proceedings of the 18th European Conference on Multi-Agent Systems, EUMAS 2021. The conference was held online in June, 2021. 16 full papers are presented in this volume, each of which carefully reviewed and selected from a total of 51 submissions. The papers report on both early and mature research and cover a wide range of topics in the field of multi-agent systems.

This book constitutes the refereed proceedings of the 13th International Conference on Computational Collective Intelligence, ICCCI 2021, held in September/October 2021. The conference was held virtually due to the COVID-19 pandemic. The 58 full papers were carefully reviewed and selected from 230 submissions. The papers are grouped in topical issues on knowledge engineering and semantic web; social networks and recommender systems; collective decision-making; cooperative strategies for decision making and optimization; data mining and machine learning; computer vision techniques; natural language processing; Internet of Things: technologies and applications; Internet of Things and computational technologies for collective intelligence; computational intelligence for multimedia understanding.

This book discusses the evolution of security and privacy issues and brings related technological tools, techniques, and solutions into one single source. The book will take readers on a journey to understanding the security issues and possible solutions involving various threats, attacks, and defense mechanisms, which include IoT, cloud computing, Big Data, lightweight cryptography for blockchain, and data-intensive techniques, and how it can be applied to various applications for general and specific use. Graduate and postgraduate students, researchers, and those working in this industry will find this book easy to understand and use for security applications and privacy issues.

This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic. The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress).

The two-volume set LNAI 12319 and 12320 constitutes the proceedings of the 9th Brazilian Conference on Intelligent Systems, BRACIS 2020, held in Rio Grande, Brazil, in October 2020. The total of 90 papers presented in these two volumes was carefully reviewed and selected from 228 submissions. The contributions are organized in the following topical section: Part I: Evolutionary computation, metaheuristics, constrains and search, combinatorial and numerical optimization; neural networks, deep learning and computer vision; and text mining and natural language processing. Part II: Agent and multi-agent systems, planning and reinforcement learning; knowledge representation, logic and fuzzy systems; machine learning and data mining; and multidisciplinary artificial and computational intelligence and applications.Due to the Corona pandemic BRACIS 2020 was held as a virtual event.

The two-volume set LNCS 12013 and 12014 constitutes the thoroughly refereed proceedings of the 17th International Conference on Computer Aided Systems Theory, EUROCAST 2019, held in Las Palmas de Gran Canaria, Spain, in February 2019. The 123 full papers presented were carefully reviewed and selected from 172 submissions. The papers are organized in the following topical sections: Part I: systems theory and applications; pioneers and landmarks in the development of information and communication technologies; stochastic models and applications to natural, social and technical systems; theory and applications of metaheuristic algorithms; model-based system design, verification and simulation. Part II: applications of signal processing technology; artificial intelligence and data mining for intelligent transportation systems and smart mobility; computer vision, machine learning for image analysis and applications; computer and systems based methods and electronic technologies in medicine; advances in biomedical signal and image processing; systems concepts and methods in touristic flows; systems in industrial robotics, automation and IoT.

This book constitutes the refereed proceedings of the 23rd European Conference on Genetic Programming, EuroGP 2020, held as part of Evo•2020, in Seville, Spain, in April 2020, co-located with the Evo•2020 events EvoCOP, EvoMUSART and EvoApplications.The 12 full papers and 6 short papers presented in this book were carefully reviewed and selected from 36 submissions. The papers cover a wide spectrum of topics, including designing GP algorithms for ensemble learning, comparing GP with popular machine learning algorithms, customising GP algorithms for more explainable AI applications to real-world problems.

This edited book reports on recent developments in the theory of evolutionary computation, or more generally the domain of randomized search heuristics. It starts with two chapters on mathematical methods that are often used in the analysis of randomized search heuristics, followed by three chapters on how to measure the complexity of a search heuristic: black-box complexity, a counterpart of classical complexity theory in black-box optimization; parameterized complexity, aimed at a more fine-grained view of the difficulty of problems; and the fixed-budget perspective, which answers the question of how good a solution will be after investing a certain computational budget. The book then describes theoretical results on three important questions in evolutionary computation: how to profit from changing the parameters during the run of an algorithm; how evolutionary algorithms cope with dynamically changing or stochastic environments; and how population diversity influencesperformance. Finally, the book looks at three algorithm classes that have only recently become the focus of theoretical work: estimation-of-distribution algorithms; artificial immune systems; and genetic programming. Throughout the book the contributing authors try to develop an understanding for how these methods work, and why they are so successful in many applications. The book will be useful for students and researchers in theoretical computer science and evolutionary computing.

This book constitutes the refereed proceedings of the Second International Conference on Distributed Artificial Intelligence, DAI 2020, held in Nanjing, China, in October 2020. The 9 full papers presented in this book were carefully reviewed and selected from 22 submissions. DAI aims at bringing together international researchers and practitioners in related areas including general AI, multiagent systems, distributed learning, computational game theory, etc., to provide a single, high-profile, internationally renowned forum for research in the theory and practice of distributed AI. Due to the Corona pandemic this event was held virtually.

This two-volume set LNCS 12269 and LNCS 12270 constitutes the refereed proceedings of the 16th International Conference on Parallel Problem Solving from Nature, PPSN 2020, held in Leiden, The Netherlands, in September 2020. The 99 revised full papers were carefully reviewed and selected from 268 submissions. The topics cover classical subjects such as automated algorithm selection and configuration; Bayesian- and surrogate-assisted optimization; benchmarking and performance measures; combinatorial optimization; connection between nature-inspired optimization and artificial intelligence; genetic and evolutionary algorithms; genetic programming; landscape analysis; multiobjective optimization; real-world applications; reinforcement learning; and theoretical aspects of nature-inspired optimization.

This book presents the state of the art in High Performance Computing on modern supercomputer architectures. It addresses trends in hardware and software development in general, as well as the future of High Performance Computing systems and heterogeneous architectures. The contributions cover a broad range of topics, from improved system management to Computational Fluid Dynamics, High Performance Data Analytics, and novel mathematical approaches for large-scale systems. In addition, they explore innovative fields like coupled multi-physics and multi-scale simulations. All contributions are based on selected papers presented at the 26th and 28th Workshops on Sustained Simulation Performance, held at the High Performance Computing Center, University of Stuttgart, Germany, in October 2017 and 2018, and the 27th and 29th Workshops on Sustained Simulation Performance, held at the Cyberscience Center, Tohoku University, Japan, in March 2018 and 2019.

This book presents examples of and the latest simulation studies on artificial societies and populations, highlighting innovative implementations of various models of artificial societies and populations using a new, C++-related simulation tool. It demonstrates that the prey-predator models—including spatial distribution, moving patterns, limited renewable food, fear, gregarious (herd) instinct, clustering, epidemics, and competition—are more complex than other publications have suggested, and highlights the great discrepancy between agent-based and conventional continuous models. The book also discusses the modeling and simulation of self-organization and interactions between organizations, including terror organizations, offering fascinating insights into organizational dynamics. The book provides a broad range of examples and comparisons with the classical dynamics approach, showing readers how to construct models of complex systems. It starts with descriptions ofthe behavior of interacting individuals and also includes important information on the macro-behavior of the whole system.

This book constitutes revised and selected papers from the 18th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2019, held in Ekaterinburg, Russia, in July 2019. The 40 full papers and 4 short papers presented in this volume were carefully reviewed and selected from a total of 170 submissions. The papers in the volume are organised according to the following topical headings: ​combinatorial optimization; game theory and mathematical economics; data mining and computational geometry; integer programming; mathematical programming; operations research; optimal control and applications.

This book constitutes the refereed proceedings of the 15th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2019, held in Hersonissos, Crete, Greece, in May 2019.The 49 full papers and 6 short papers presented were carefully reviewed and selected from 101 submissions. They cover a broad range of topics such as deep learning ANN; genetic algorithms - optimization; constraints modeling; ANN training algorithms; social media intelligent modeling; text mining/machine translation; fuzzy modeling; biomedical and bioinformatics algorithms and systems; feature selection; emotion recognition; hybrid Intelligent models; classification - pattern recognition; intelligent security modeling; complex stochastic games; unsupervised machine learning; ANN in industry; intelligent clustering; convolutional and recurrent ANN; recommender systems; intelligent telecommunications modeling; and intelligent hybrid systems using Internet of Things. The papers are organized in the following topical sections:AI anomaly detection - active learning; autonomous vehicles - aerial vehicles; biomedical AI; classification - clustering; constraint programming - brain inspired modeling; deep learning - convolutional ANN; fuzzy modeling; learning automata - logic based reasoning; machine learning - natural language; multi agent - IoT; nature inspired flight and robot; control - machine vision; and recommendation systems.

This book constitutes the refereed proceedings of the 22nd International Conference on Applications of Evolutionary Computation, EvoApplications 2019, held in Leipzig, Germany, in April 2019, co-located with the Evo•2019 events EuroGP, EvoCOP and EvoMUSART. The 44 revised full papers presented were carefully reviewed and selected from 66 submissions. They were organized in topical sections named: Engineering and Real World Applications; Games; General; Image and Signal Processing; Life Sciences; Networks and Distributed Systems; Neuroevolution and Data Analytics; Numerical Optimization: Theory, Benchmarks, and Applications; Robotics.

This book constitutes the refereed proceedings of the 22nd European Conference on Genetic Programming, EuroGP 2019, held as part of Evo• 2019, in Leipzig, Germany, in April 2019, co-located with the Evo• events EvoCOP, EvoMUSART, and EvoApplications. The 12 revised full papers and 6 short papers presented in this volume were carefully reviewed and selected from 36 submissions. They cover a wide range of topics and reflect the current state of research in the field. With a special focus on real-world applications in 2019, the papers are devoted to topics such as the test data design in software engineering, fault detection and classification of induction motors, digital circuit design, mosquito abundance prediction, machine learning and cryptographic function design.

This book constitutes the refereed proceedings of the 10th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2019 held in East Lansing, MI, USA, in March 2019.The 59 revised full papers were carefully reviewed and selected from 76 submissions. The papers are divided into 8 categories, each representing a key area of current interest in the EMO field today. They include theoretical developments, algorithmic developments, issues in many-objective optimization, performance metrics, knowledge extraction and surrogate-based EMO, multi-objective combinatorial problem solving, MCDM and interactive EMO methods, and applications.

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verificationfrom the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.

This book constitutes the proceedings of the 31st Australasian Joint Conference on Artificial Intelligence, AI 2018, held in Wellington, New Zealand, in December 2018. The 50 full and 26 short papers presented in this volume were carefully reviewed and selected from 125 submissions. The paper were organized in topical sections named: agents, games and robotics; AI applications and innovations; computer vision; constraints and search; evolutionary computation; knowledge representation and reasoning; machine learning and data mining; planning and scheduling; and text mining and NLP.

This book constitutes the proceedings of the 11th International Conference on Swarm Intelligence, ANTS 2018, held in Rome, Italy, in October 2018. The 24 full papers and 12 short papers presented in this volume were carefully reviewed and selected from 69 submissions. They are devoted to the field of swarm intelligence as a whole, without any bias towards specific research directions.

​This book constitutes the refereed proceedings of the 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, held in Granada, Spain, in October 2018.The 36 full papers presented were carefully selected from 240 submissions. The Conference of the Spanish Association of Artificial Intelligence (CAEPIA) is a biennial forum open to researchers from all over the world to present and discuss their latest scientific and technological advances in Antificial Intelligence (AI). Authors are kindly requested to submit unpublished original papers describing relevant research on AI issues from all points of view: formal, methodological, technical or applied.

This book constitutes the thoroughly refereed revised selected papers of the 10th International Conference on Bioinspired Optimization Models and Their Applications, BIOMA 2018, held in Paris, France, in May 2018. The 27 revised full papers were selected from 53 submissions and present papers in all aspects of bioinspired optimization research such as new algorithmic developments, high-impact applications, new research challenges, theoretical contributions, implementation issues, and experimental studies.