Search

This book brings together cutting-edge research, methodologies, and applications in the field of optimization and nature-inspired computing, providing a comprehensive overview of the latest advancements and their applications in addressing contemporary challenges in engineering. The book demonstrates diverse applications of mathematical modeling in various aspects of production, logistic, design, energy, materials, and other engineering areas. The book includes topics in optimization algorithms nature-inspired computing multi-objective optimization hybrid optimization techniques evolutionary algorithms swarm intelligence machine learning for optimization applications of optimization in engineering sustainable engineering solutions big data analytics for optimization metaheuristic approaches cloud computing in optimization cyber-physical systems decision support systems emerging trends in optimization.

The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi'an, China, during July 31–August 2, 2024. The 321 full papers included in these proceedings were carefully reviewed and selected from 489 submissions. They were organized in topical sections as follows: Part I: Innovative Design and Performance Evaluation of Robot Mechanisms. Part II: Robot Perception and Machine Learning; Cognitive Intelligence and Security Control for Multi-domain Unmanned Vehicle Systems. Part III: Emerging Techniques for Intelligent Robots in Unstructured Environment; Soft Actuators and Sensors; and Advanced Intelligent and Flexible Sensor Technologies for Robotics. Part IV: Optimization and Intelligent Control of Underactuated Robotic Systems; and Technology and application of modular robots. Part V: Advanced actuation and intelligent control in medical robotics: Advancements in Machine Vision for Enhancing Human-Robot Interaction; and Hybrid Decision-making and Control for Intelligent Robots. Part VI: Advances in Marine Robotics; Visual, Linguistic, Affective Agents: Hybrid-augmented Agents for Robotics; and Wearable Robots for Assistance, Augmentation and Rehabilitation of human movements. Part VII: Integrating World Models for Enhanced Robotic Autonomy; Advanced Sensing and Control Technologies for Intelligent Human-Robot Interaction; and Mini-Invasive Robotics for In-Situ Manipulation. Part VIII: Robot Skill Learning and Transfer; Human-Robot Dynamic System: Learning, Modelling and Control; AI-Driven Smart Industrial Systems; and Natural Interaction and Coordinated Collaboration of Robots in Dynamic Unstructured Environments. Part IX: Robotics in Cooperative Manipulation, MultiSensor Fusion, and Multi-Robot Systems; Human-machine Co-adaptive Interface; Brain inspired intelligence for robotics; Planning, control and application of bionic novel concept robots; and Robust Perception for Safe Driving. Part X: AI Robot Technology for Healthcare as a Service; Computational Neuroscience and Cognitive Models for Adaptive Human-Robot Interactions; Dynamics and Perception of Human-Robot Hybrid Systems; and Robotics for Rehabilitation: Innovations, Challenges, and Future Directions.

The book is focused on latest developments and findings on engineering applications of AI and swarm intelligence. It provides comprehensive reviews and surveys on implementations and coding aspects of case studies and applications where appropriate. The book is useful for scholars, lecturers, and practitioners from academia and industrial applications. The readership of this book also includes Ph.D. students and researchers with a wide experience in the subject areas.

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20–21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas.

The formal optimization handbook is a comprehensive guide that covers a wide range of subjects. It includes a literature review, a mathematical formulation of optimization methods, flowcharts and pseudocodes, illustrations, problems and applications, results and critical discussions, and much more. The book covers a vast array of formal optimization fields, including mathematical and Bayesian optimization, neural networks and deep learning, genetic algorithms and their applications, hybrid optimization methods, combinatorial optimization, constraint handling in optimization methods, and swarm-based optimization. This handbook is an excellent reference for experts and non-specialists alike, as it provides stimulating material. The book also covers research trends, challenges, and prospective topics, making it a valuable resource for those looking to expand their knowledge in this field.

In this book, the ERECO-PGV[1] network wishes to make an overview of the cooperation implemented by and in the European Union and to describe the concrete forms they have taken. The issue is to analyze the internal European cooperation between economic actors, politicians, and EU citizens at different levels, but also to focus attention on the external cooperation (neighborhood policies, external policies, and collaborations with international institutions: NATO, OECD, WTO, etc.). Carrying uncompromising attention on this issue means rethinking the European project in light of today's challenges.From the very beginning, the EU was based on and called for forms of multinational cooperation, bilateral (internal and external) at different levels, involving economic actors, public actors, local authorities, and civil society. The frameworks for this cooperation as well as for the successive enlargements of the EU were drawn up in the context of European negotiations, in particular during discussions on the European Treaties. European values, standards, and rules are embodied in the texts of agreements, resolutions, and European directives and Treaties signed by all member countries. They establish the functioning of European institutions and the framework of democratic life in Europe.The emergence of current crises (Brexit, COVID-19, migration crisis, non-respect of rule of law rules, refusal of certain member countries to apply the European Charter of Human Rights, etc.) is questioning the project of the European Union and introduced the challenges which should be overcome by the proposal of the new project able to face the internal complexity of the Union and to answer to the pressure of a conflicting international context. What remains of the European ideal affirmed in the treaties of 1957, 1992, and 2007? How to're-enchant'the common project? Yet, the European Union remains attractive to new candidate countries. How do they read the integration conditions into the EU with regard to their own projects?

This book presents the advances in the concept, model, method, and tools for the global supply chain management. The conference took place in Marrakesh from May 2 to May 4, 2024. The 7th edition of this conference focused on Smart Sustainable and Green Logistics. The papers included in the book's proceedings cover various themes, such as:. Metaheuristics for industry 4.0. Multi-agent systems for solving combinatorial optimization problems. Sustainability in supply chain management: a paradigm for global transformation. Sustainable and agile supply chain management. Sustainable and smart management of water resources: innovative optimization. Artificial intelligence and emerging technologies: advancements and applications. Artificial intelligence techniques and statistical modeling for mobility and urban logistics planning. Smart and green process in transport and logistics. Viability of logistics networks, structural dynamics and recovery strategy—low certainty context. Modeling, simulation and optimization. Planning and scheduling. Decision support systems. Risk management. Project management. Information systems integration. Supply chain design and control. Models and algorithms for electric mobility

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 constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024. The 15 papers presented in this volume were carefully reviewed and selected from 28 submissions. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS speci cally aims to promote cross-fertilization between theory and practice and among di erent styles of declarative programming.

This book provides a comprehensive exploration of computational intelligence techniques and their applications, offering valuable insights into advanced information processing, machine learning concepts, and their impact on agile manufacturing systems. Computational Intelligence presents a new concept for advanced information processing. Computational Intelligence (CI) is the principle, architecture, implementation, and growth of machine learning concepts that are physiologically and semantically inspired. Computational Intelligence methods aim to develop an approach to evaluating and creating flexible processing of human information, such as sensing, understanding, learning, recognizing, and thinking. The Artificial Neural Network simulates the human nervous system's physiological characteristics and has been implemented numerically for non-linear mapping. Fuzzy Logic Systems simulate the human brain's psychological characteristics and have been used for linguistic translation through membership functions and bioinformatics. The Genetic Algorithm simulates computer evolution and has been applied to solve problems with optimization algorithms for improvements in diagnostic and treatment technologies for various diseases. To expand the agility and learning capacity of manufacturing systems, these methods play essential roles. This book will express the computer vision techniques that make manufacturing systems more flexible, efficient, robust, adaptive, and productive by examining many applications and research into computational intelligence techniques concerning the main problems in design, making plans, and manufacturing goods in agile manufacturing systems.

This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during October 22-24, 2024. The 18 full papers presented here were carefully reviewed and selected from 37 submissions. These papers have been categorized under the following topical sections: Type theory and Semantic Frameworks; Probabilistic and Declarative Programming; Quantum Computation; Logical Relations; Verification.

This book delves into practical implementation of evolutionary and metaheuristic algorithms to advance the capacity of machine learning. The readers can gain insight into the capabilities of data-driven evolutionary optimization in materials mechanics, and optimize your learning algorithms for maximum efficiency. Or unlock the strategies behind hyperparameter optimization to enhance your transfer learning algorithms, yielding remarkable outcomes. Or embark on an illuminating journey through evolutionary techniques designed for constructing deep-learning frameworks. The book also introduces an intelligent RPL attack detection system tailored for IoT networks. Explore a promising avenue of optimization by fusing Particle Swarm Optimization with Reinforcement Learning. It uncovers the indispensable role of metaheuristics in supervised machine learning algorithms. Ultimately, this book bridges the realms of evolutionary dynamic optimization andmachine learning, paving the way for pioneering innovations in the field.

This book is specially focused on the latest developments and findings on hybrid algorithms and benchmarks in optimization and their applications in sciences, engineering, and industries. The book also provides some comprehensive reviews and surveys on implementations and coding aspects of benchmarks. The book is useful for Ph.D. students and researchers with a wide experience in the subject areas and also good reference for practitioners from academia and industrial applications.

This volume constitutes selected papers presented during the 5th Artificial Intelligence Doctoral Symposium, AID 2022, held in Algiers, Algeria, in September 2022. The 22 presented full papers were thoroughly reviewed and selected from the 38 qualified submissions. They are organized in the following topical sections: data mining; metaheuristics and swarm intelligence; computer vision; Artificial Intelligence applications; machine and deep learning; NLP and text mining.

This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.

This book of Springer Nature is another proof of Springer's outstanding greatness on the lively interface of Holistic Computational Optimization, Green IoTs, Smart Modeling, and Deep Learning! It is a masterpiece of what our community of academics and experts can provide when an interconnected approach of joint, mutual, and meta-learning is supported by advanced operational research and experience of the World-Leader Springer Nature! The 6th edition of International Conference on Intelligent Computing and Optimization took place at G Hua Hin Resort & Mall on April 27–28, 2023, with tremendous support from the global research scholars across the planet. Objective is to celebrate “Research Novelty with Compassion and Wisdom” with researchers, scholars, experts, and investigators in Intelligent Computing and Optimization across the globe, to share knowledge, experience, and innovation—a marvelous opportunity for discourse and mutuality by novel research, invention, and creativity. This proceedings book of the 6th ICO'2023 is published by Springer Nature—Quality Label of Enlightenment.

This book constitutes the refereed proceedings of the 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2023, held in Arras, France, in September 2023. The 35 full papers presented in this volume were carefully reviewed and selected from 46 submissions. The papers are organized in topical sections about Complexity and Database Theory; Formal Concept Analysis: Theoretical Advances; Formal Concept Analysis: Applications; Modelling and Explanation; Semantic Web and Graphs; Posters.

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

This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023.The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: Functional Programming; Logic Programming.

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

This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023.The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving.This is an open access book.

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

Das Buch gibt eine breite Übersicht über die wichtigsten Optimierungsmethoden, wobei die Verfahren beispielhaft erläutert und mit über 400 Abbildungen illustriert werden. Im ersten Teil des Buches werden verschiedene Klassen von Optimierungsproblemen vorgestellt. Gegenstand des zweiten Teils sind klassische Methoden zur Lösung von Optimierungsproblemen. Im dritten Teil werden naturanaloge Optimierungsmethoden behandelt, darunter physikbasierende Algorithmen, evolutionäre Algorithmen, schwarmintelligente Methoden sowie Optimierungsverfahren, die durch das Immunsystem inspiriert sind. Der letzte Teil des Buches befasst sich mit der Optimierung neuronaler Netze und gibt eine Einführung in ein neues vielversprechendes Forschungsgebiet der KI-basierten, selbstlernenden Optimierungsalgorithmen.

This volume was motivated by the Year of Prolog initiative, launched to celebrate the 50th anniversary of the emergence of Prolog through the work of Alain Colmerauer's team in Marseille. The volume editors, authors, and scientific advisors and reviewers have been the leading researchers and programmers in this field over decades, and the book represents an excellent overview of the field, its successes, and its future.After a first chapter that gently introduces the Prolog programming language using examples, the next 7 papers discuss general views of the language, possible extensions for the future, and how Prolog can generally be used to solve problems; the next 5 papers explore ideas and experiences of teaching Prolog programming and then 2 papers discuss technology that has been developed for help in that teaching; the next 3 papers describe new languages based on Prolog which show future directions for logic programming; the next 5 chapters explain the applications that were the finalists for the 2022 Alain Colmerauer Prize; and the final 8 papers describe applications developed using the Prolog language, demonstrating the language's range.

This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.• The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk. •Conference was held as a hybrid event due to the COVID-19 pandemic.

The Handbook on Computer Learning and Intelligence is a second edition which aims to be a one-stop-shop for the various aspects of the broad research area of computer learning and intelligence. This field of research evolved so much in the last five years that it necessitates this new edition of the earlier Handbook on Computational Intelligence.This two-volume handbook is divided into five parts. Volume 1 covers Explainable AI and Supervised Learning. Volume 2 covers three parts: Deep Learning, Intelligent Control, and Evolutionary Computation. The chapters detail the theory, methodology and applications of computer learning and intelligence, and are authored by some of the leading experts in the respective areas. The fifteen core chapters of the previous edition have been written and significantly refreshed by the same authors. Parts of the handbook have evolved to keep pace with the latest developments in computational intelligence in the areas that span across Machine Learning and Artificial Intelligence. The Handbook remains dedicated to applications and engineering-orientated aspects of these areas over abstract theories.Related Link(s)

This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022.The 12 papers presented in this volume were carefully reviewed and selected from 30 submissions. Additionally, the volume includes two system descriptions and a declarative pearl paper. The papers cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.

This book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019. The volume contains 17 full revised papers presented at the conference from 17 submissions. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops. The symposium offered two tutorials in language and logic and aimed at students as well as researchers working in the other areas: · Language: Sign language linguistics. State of the art, by Fabian Bross (University of Stuttgart, Germany) · Logic: Axiomatic Semantics, by Graham E. Leigh (University of Gothenburg, Sweden)

This book gathers outstanding research papers presented at the International Conference on Intelligent Vision and Computing (ICIVC 2021), held online during October 03–04, 2021. ICIVC 2021 is organised by Sur University, Oman. The book presents novel contributions in intelligent vision and computing and serves as reference material for beginners and advanced research. The topics covered are intelligent systems, intelligent data analytics and computing, intelligent vision and applications collective intelligence, soft computing, optimization, cloud computing, machine learning, intelligent software, robotics, data science, data security, big data analytics, and signal natural language processing.

This book, now in an extensively revised and updated second edition, provides a comprehensive overview of both machine learning and deep learning and their role in oncology, medical physics, and radiology. Readers will find thorough coverage of basic theory, methods, and demonstrative applications in these fields. An introductory section explains machine and deep learning, reviews learning methods, discusses performance evaluation, and examines software tools and data protection. Detailed individual sections are then devoted to the use of machine and deep learning for medical image analysis, treatment planning and delivery, and outcomes modeling and decision support. Resources for varying applications are provided in each chapter, and software code is embedded as appropriate for illustrative purposes. The book will be invaluable for students and residents in medical physics, radiology, and oncology and will also appeal to more experienced practitioners and researchers and members ofapplied machine learning communities.

This book features a collection of high-quality research papers presented at the International Conference on Tourism, Technology & Systems (ICOTTS 2021), held at the University of Cartagena, in Cartagena de Indias, Colombia, from 4 to 6 November 2021. The book is divided into two volumes, and it covers the areas of technology in tourism and the tourist experience, generations and technology in tourism, digital marketing applied to tourism and travel, mobile technologies applied to sustainable tourism, information technologies in tourism, digital transformation of tourism business, e-tourism and tourism 2.0, big data and management for travel and tourism, geotagging and tourist mobility, smart destinations, robotics in tourism, and information systems and technologies.

This book emphasizes the role of micro-grid systems and connected networks for the strategic storage of energy through the use of information and communication techniques, big data, the cloud, and meta-heuristics to support the greed for artificial intelligence techniques in data and the implementation of global strategies to meet the challenges of the city in the broad sense. The intelligent management of renewable energy in the context of the energy transition requires the use of techniques and tools based on artificial intelligence (AI) to overcome the challenges of the intermittence of resources and the cost of energy. The advent of the smart city makes an increased call for the integration of artificial intelligence and heuristics to meet the challenge of the increasing migration of populations to the city, in order to ensure food, energy, and environmental security of the citizen of the city and his well-being. This book is intended for policymakers, academics, practitioners, andstudents. Several real cases are exposed throughout the book to illustrate the concepts and methods of the networks and systems presented. This book proposes the development of new technological innovations—mainly ICT—the concept of “Smart City” appears as a means of achieving more efficient and sustainable cities. The overall goal of the book is to develop a comprehensive framework to help public and private stakeholders make informed decisions on smart city investment strategies and develop skills for assessment and prioritization, including resolution of difficulties with deployment and reproducibility.

This book gathers selected high-quality research papers presented at the Sixth International Congress on Information and Communication Technology, held at Brunel University, London, on February 25–26, 2021. It discusses emerging topics pertaining to information and communication technology (ICT) for managerial applications, e-governance, e-agriculture, e-education and computing technologies, the Internet of things (IoT) and e-mining. Written by respected experts and researchers working on ICT, the book offers a valuable asset for young researchers involved in advanced studies. The book is presented in four volumes.

This book constitutes the proceedings of the 20th International Conference on Service-Oriented Computing, ICSOC 2022, held in Seville, Spain, in November -December 2022.The 29 full, 15 short, and 4 vision papers included in this volume were carefully reviewed and selected from 221 submissions. They were organized in topical sections named: ​service modeling and mining; quality of service; microservices; service personalization, recommendation, and crowdsourcing; blockchain; IoT and green computing; services for cloud, edge, and fog computing; artificial intelligence and machine learning for service computing; vision papers.

The four-volume set LNCS 13350, 13351, 13352, and 13353 constitutes the proceedings of the 22ndt International Conference on Computational Science, ICCS 2022, held in London, UK, in June 2022.• The total of 175 full papers and 78 short papers presented in this book set were carefully reviewed and selected from 474 submissions. 169 full and 36 short papers were accepted to the main track; 120 full and 42 short papers were accepted to the workshops/ thematic tracks. •The conference was held in a hybrid format

This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021. The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. Also included are 2 invited talks and an abstract of a keynote talk. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. Chapter'Configuration Space Exploration for Digital Printing Systems'is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This two-volume set LNCS 12656 and 12657 constitutes the refereed proceedings of the 43rd European Conference on IR Research, ECIR 2021, held virtually in March/April 2021, due to the COVID-19 pandemic.The 50 full papers presented together with 11 reproducibility papers, 39 short papers, 15 demonstration papers, 12 CLEF lab descriptions papers, 5 doctoral consortium papers, 5 workshop abstracts, and 8 tutorials abstracts were carefully reviewed and selected from 436 submissions. The accepted contributions cover the state of the art in IR: deep learning-based information retrieval techniques, use of entities and knowledge graphs, recommender systems, retrieval methods, information extraction, question answering, topic and prediction models, multimedia retrieval, and much more.

This book gravitates on the prominent theories and recent developments of swarm intelligence methods, and their application in both synthetic and real-world optimization problems. The special interest will be placed in those algorithmic variants where biological processes observed in nature have underpinned the core operators underlying their search mechanisms. In other words, the book centers its attention on swarm intelligence and nature-inspired methods for efficient optimization and problem solving. The content of this book unleashes a great opportunity for researchers, lecturers and practitioners interested in swarm intelligence, optimization problems and artificial intelligence.

This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysis, SAS 2020, held in Chicago, IL, USA, in November 2020.The 14 regular papers presented in this book together with 2 invited talks and 1 extended abstract, were carefully reviewed and selected from 34 submissions. The papers cover topics such as abstract domains; abstract interpretation; automated deduction; data flow analysis; debugging; deductive methods; emerging applications; model-checking; program transformations; predicate abstraction; security analysis; tool environments and architectures; and type checking. Due to the Corona pandemic this event was held virtually.

This book discusses issues related to ICT, intelligent systems, data science, AI, machine learning, sustainable development and overall their impacts on sustainability. It provides an overview of the technologies of future. The book also discusses novel intelligent algorithms and their applications to move from a data-centric world to sustainable world. It includes research paradigms on sustainable development goals and societal impacts. The book provides an overview of cutting-edge techniques toward sustainability and ideas to help researchers who want to understand the challenges and opportunities of using smart management perspective for sustainable society. It serves as a reference to wide ranges of readers from computer science, data analysts, AI technocrats and management researchers.

This book presents Proceedings of the 2021 Intelligent Systems Conference which is a remarkable collection of chapters covering a wider range of topics in areas of intelligent systems and artificial intelligence and their applications to the real world. The conference attracted a total of 496 submissions from many academic pioneering researchers, scientists, industrial engineers, and students from all around the world. These submissions underwent a double-blind peer-review process. Of the total submissions, 180 submissions have been selected to be included in these proceedings.As we witness exponential growth of computational intelligence in several directions and use of intelligent systems in everyday applications, this book is an ideal resource for reporting latest innovations and future of AI. The chapters include theory and application on all aspects of artificial intelligence, from classical to intelligent scope.We hope that readers find the book interesting and valuable; it provides the state-of-the-art intelligent methods and techniques for solving real-world problems along with a vision of the future research.

This book constitutes the refereed proceedings of the 23rd International Symposium on Practical Aspects of Declarative Languages, PADL 2021, held in Copenhagen, Denmark, in January 2021. The 10 full papers were carefully reviewed and selected from 21 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including programming with sets, functions, logic, and constraints. The papers are organized in the following topical headings: Foundations and Programming Concepts; Applications of Declarative Languages, and Declarative Approaches to Testing and Debugging. Due to the Corona pandemic PADL 2021 was held as a virtual event.

This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 19 regular papers presented together with 4 tool papers and 1 invited paper were carefully reviewed and selected from 75 submissions. The papers are divided into the following topical sub-headings: Automata Theory; Machine learning for Formal Methods; Theorem Proving and Tools; Model Checking; Probabilistic Analysis; Software and Hardware Verification; System Synthesis and Approximation; and Verification of Machine Learning.

This book discusses biologically inspired robotic actuators designed to offer improved robot performance and approaching human-like efficiency and versatility. It assesses biological actuation and control in the human motor system, presents a range of technical actuation approaches, and discusses potential applications in wearable robots, i.e., powered prostheses and exoskeletons.Gathering the findings of internationally respected researchers from various fields, the book provides a uniquely broad perspective on bioinspired actuator designs for robotics. Its scope includes fundamental aspects of biomechanics and neuromechanics, actuator and control design, and their application in (wearable) robotics. The book offers PhD students and advanced graduate students an essential introduction to the field, while providing researchers a cutting-edge research perspective.

This book presents a collection of high-quality research papers accepted to multi-conference consisting of International Conference on Image Processing and Communications (IP&C 2021), International Conference on Computer Recognition Systems (CORES 2021), International Conference on Advanced Computer Systems (ACS 2021) held jointly in Bydgoszcz, Poland (virtually), in June 2021. The accepted papers address current computer science and computer systems-related technological challenges and solutions, as well as many practical applications and results. The first part of the book deals with advances in pattern recognition and classifiers, the second part is devoted to image processing and computer vision, while the third part addresses practical applications of computer recognition systems. Machine learning solutions for security and networks are tackled in part four of the book, while the last part collects papers on progress in advanced computer systems. We believe this book will be interesting for researchers and practitioners in many fields of computer science and IT applications.

This book presents novel and original metaheuristics developed to solve the cost-balanced traveling salesman problem. This problem was taken into account for the Metaheuristics Competition proposed in MESS 2018, Metaheuristics Summer School, and the top 4 methodologies ranked are included in the book, together with a brief introduction to the traveling salesman problem and all its variants. The book is aimed particularly at all researchers in metaheuristics and combinatorial optimization areas. Key uses are metaheuristics; complex problem solving; combinatorial optimization; traveling salesman problem.

The six-volume set LNCS 12742, 12743, 12744, 12745, 12746, and 12747 constitutes the proceedings of the 21st International Conference on Computational Science, ICCS 2021, held in Krakow, Poland, in June 2021.•The total of 260 full papers and 57 short papers presented in this book set were carefully reviewed and selected from 635 submissions. 48 full and 14 short papers were accepted to the main track from 156 submissions; 212 full and 43 short papers were accepted to the workshops/ thematic tracks from 479 submissions. The papers were organized in topical sections named:Part I: ICCS Main Track Part II: Advances in High-Performance Computational Earth Sciences: Applications and Frameworks; Applications of Computational Methods in Artificial Intelligence and Machine Learning; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Biomedical and Bioinformatics Challenges for Computer Science Part III: Classifier Learning from Difficult Data; Computational Analysis of Complex Social Systems; Computational Collective Intelligence; Computational Health Part IV: Computational Methods for Emerging Problems in (dis-)Information Analysis; Computational Methods in Smart Agriculture; Computational Optimization, Modelling and Simulation; Computational Science in IoT and Smart Systems Part V: Computer Graphics, Image Processing and Artificial Intelligence; Data-Driven Computational Sciences; Machine Learning and Data Assimilation for Dynamical Systems; MeshFree Methods and Radial Basis Functions in Computational Sciences; Multiscale Modelling and Simulation Part VI: Quantum Computing Workshop; Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks and Machine Learning; Software Engineering for Computational Science; Solving Problems with Uncertainty; Teaching Computational Science; Uncertainty Quantification for Computational Models •The conference was held virtually.

Thanks to rapid technological developments in terms of Computational Intelligence, smart tools have been playing active roles in daily life. It is clear that the 21st century has brought about many advantages in using high-level computation and communication solutions to deal with real-world problems; however, more technologies bring more changes to society. In this sense, the concept of smart cities has been a widely discussed topic in terms of society and Artificial Intelligence-oriented research efforts. The rise of smart cities is a transformation of both community and technology use habits, and there are many different research orientations to shape a better future. The objective of this book is to focus on Explainable Artificial Intelligence (XAI) in smart city development. As recently designed, advanced smart systems require intense use of complex computational solutions (i.e., Deep Learning, Big Data, IoT architectures), the mechanisms of these systems become ‘black-box'to users. As this means that there is no clear clue about what is going on within these systems, anxieties regarding ensuring trustworthy tools also rise. In recent years, attempts have been made to solve this issue with the additional use of XAI methods to improve transparency levels. This book provides a timely, global reference source about cutting-edge research efforts to ensure the XAI factor in smart city-oriented developments. The book includes both positive and negative outcomes, as well as future insights and the societal and technical aspects of XAI-based smart city research efforts. This book contains nineteen contributions beginning with a presentation of the background of XAI techniques and sustainable smart-city applications. It then continues with chapters discussing XAI for Smart Healthcare, Smart Education, Smart Transportation, Smart Environment, Smart Urbanization and Governance, and Cyber Security for Smart Cities.