Search

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.

This book constitutes the proceedings of the 4th International Conference on Artificial Intelligence Logic and Applications, AILA 2024, held in Lanzhou, China, during August 10–11, 2024. The 16 full papers and the 11 short papers included in this volume were carefully reviewed and selected from 45 submissions. The papers cover the following topics: AI logic foundation; AI logic reasoning; AI logic applications.

This two-volume set, LNICST 601 and LNICST 602, constitutes the refereed post-conference proceedings of the 14th International Conference on Broadband Communications, Networks, and Systems, BROADNETS 2024, held in Hyderabad, India, in February 16–17, 2024. The 49 full papers presented here were carefully reviewed and selected from 122 submissions. These papers have been organized under the following topical sections in the two volumes: - Part I: Communications, Networks and Architectures; Smart City Smart Grid; Communication-inspired Machine Learning (ML) for 5G/6G. Part II: Wireless Network Security and Privacy; AI applications for 5G/6G.

This two-volume set, LNICST 601 and LNICST 602, constitutes the refereed post-conference proceedings of the 14th International Conference on Broadband Communications, Networks, and Systems, BROADNETS 2024, held in Hyderabad, India, in February 16–17, 2024. The 49 full papers presented here were carefully reviewed and selected from 122 submissions. These papers have been organized under the following topical sections in the two volumes: - Part I: Communications, Networks and Architectures; Smart City Smart Grid; Communication-inspired Machine Learning (ML) for 5G/6G. Part II: Wireless Network Security and Privacy; AI applications for 5G/6G.

This book provides a focused overview of what role artificial intelligence (AI) plays on the design and process of system development and perspectives on making it more and more relevant and beneficial for our society. It covers topics like large language models, generative AI, intelligenticism, communication dynamics representation, feature selection, smart design and social wellbeing, and it demonstrates the general applicability of AI to various problems in transdisciplinary domains. The book is a Festschrift for two lifetime fellows of the Society for Design and Process Science (SDPS), Bernd Kramer and Murat Tanik, in order to appreciate their work and honor them for lifelong dedication to design and process science. It is based on a special honorary event held at the AI in Design and Process Science (AIDPS) workshop during the 2024 Hawaii International Conference in System Sciences (HICSS). Overall, this book is a source of inspiration for everybody in academia and research sectors working on the vision of creating a strong, fruitful and creative community of design and process science for social wellbeing through the development of AI technologies.

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024. The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections: Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis. Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification.

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024. The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections: Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis. Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification.

This book constitutes the refereed proceedings of the 30th International Conference on Cooperative Information Systems, CoopIS 2024, held in Porto, Portugal, during November 19-21, 2024. The 16 full papers, 11 short papers and 2 invited papers were carefully reviewed and selected from 78 submissions. They were organized in topical sections as follows: processes and human-in-the-loop; process analytics and technology; process improvement; knowledge graphs and knowledge engineering; predictive process monitoring; services and cloud; and short papers.

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

This volume constitutes the papers of two workshops which were held in conjunction with the International Conference on Web Engineering, ICWE 2024, held in Tampere, Finland, on June 17, 2024. The 6 revised full papers and 2 short papers presented in this book were carefully reviewed and selected from 14 submissions. They stem from the following workshops: Fourth International Workshop on Big Data Driven Edge Cloud Services (BECS 2024) Third International Workshop on Web Applications for Life Sciences (WALS 2024)

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

This book constitutes the refereed proceedings of the International Workshops on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2024, held in Salamanca, Spain, during June 26–28, 2024. The 32 full papers presented here were carefully reviewed and selected from 44 submissions. Papers from the following workshops have been included in these proceedings: - Workshop on Adaptive Smart areaS and Intelligent Agents (ASSIA) Workshop on Character Computing (C2) Workshop on Cognitive Assistants and Data Fusion (CogniBlend) Workshop on Decision Support, Recommendation, and Persuasion in Artificial Intelligence (DeRePAI) Workshop on Intelligent Agents in Science and Engineering (IASE) Workshop on Modelling and Simulation of Modern Energy Markets and Future Power Systems (MASES) Workshop on Digital Twinning for training purposes in Industry 4.0 (Twin4Train)

This book constitutes the refereed proceedings of the 27th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2024, held in San Francisco, CA, USA, on May 31, 2024. The 10 full papers included in this book were carefully reviewed and selected from 15 submissions. The JSSPP 2024 covers several interesting problems within the resource management and scheduling domains.

This book constitutes the refereed proceedings of the 21st International Conference on Services Computing – SCC 2024, Held as Part of the Services Conference Federation, SCF 2024, held in Bangkok, Thailand, during November 16-19, 2024. The 7 full papers in this book were carefully reviewed and selected from 13 submissions. They are organized in topical sections as follows: business modeling, business consulting, solution creation, service delivery, and software architecture design, development, and deployment.

This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024. The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions. The book also contains one invited talk in full paper length. The papers focus on learning formal methods for the purpose of teaching and self-learning.

The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024. The 155 full papers and 70 short papers included in these proceedings were carefully reviewed and selected from 430 submissions. They were organized in topical sections as follows: Part I: ICCS 2024 Main Track Full Papers; Part II: ICCS 2024 Main Track Full Papers; Part III: ICCS 2024 Main Track Short Papers; Advances in High-Performance Computational Earth Sciences: Numerical Methods, Frameworks and Applications; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Part IV: Biomedical and Bioinformatics Challenges for Computer Science; Computational Health; Part V: Computational Optimization, Modelling, and Simulation; Generative AI and Large Language Models (LLMs) in Advancing Computational Medicine; Machine Learning and Data Assimilation for Dynamical Systems; Multiscale Modelling and Simulation; Part VI: Network Models and Analysis: From Foundations to Artificial Intelligence; Numerical Algorithms and Computer Arithmetic for Computational Science; Quantum Computing; Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks, and Artificial Intelligence; Solving Problems with Uncertainties; Teaching Computational Science

The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024. The 155 full papers and 70 short papers included in these proceedings were carefully reviewed and selected from 430 submissions. They were organized in topical sections as follows: Part I: ICCS 2024 Main Track Full Papers; Part II: ICCS 2024 Main Track Full Papers; Part III: ICCS 2024 Main Track Short Papers; Advances in High-Performance Computational Earth Sciences: Numerical Methods, Frameworks and Applications; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Part IV: Biomedical and Bioinformatics Challenges for Computer Science; Computational Health; Part V: Computational Optimization, Modelling, and Simulation; Generative AI and Large Language Models (LLMs) in Advancing Computational Medicine; Machine Learning and Data Assimilation for Dynamical Systems; Multiscale Modelling and Simulation; Part VI: Network Models and Analysis: From Foundations to Artificial Intelligence; Numerical Algorithms and Computer Arithmetic for Computational Science; Quantum Computing; Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks, and Artificial Intelligence; Solving Problems with Uncertainties; Teaching Computational Science

The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024. The 155 full papers and 70 short papers included in these proceedings were carefully reviewed and selected from 430 submissions. They were organized in topical sections as follows: Part I: ICCS 2024 Main Track Full Papers; Part II: ICCS 2024 Main Track Full Papers; Part III: ICCS 2024 Main Track Short Papers; Advances in High-Performance Computational Earth Sciences: Numerical Methods, Frameworks and Applications; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Part IV: Biomedical and Bioinformatics Challenges for Computer Science; Computational Health; Part V: Computational Optimization, Modelling, and Simulation; Generative AI and Large Language Models (LLMs) in Advancing Computational Medicine; Machine Learning and Data Assimilation for Dynamical Systems; Multiscale Modelling and Simulation; Part VI: Network Models and Analysis: From Foundations to Artificial Intelligence; Numerical Algorithms and Computer Arithmetic for Computational Science; Quantum Computing; Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks, and Artificial Intelligence; Solving Problems with Uncertainties; Teaching Computational Science

This book constitutes the refereed proceedings of three International Workshops held as parallel events of the IFIP WG 12.5 International Workshops on Artificial Intelligence Applications and Innovations, AIAI 2024, held in Corfu, Greece, during June 27-30, 2024. The 30 full papers and 4 short papers presented in this book were carefully reviewed and selected from 69 submissions. AIAI 2024 Workshop volume presents papers from the following three workshops: 13th event of the International Mining Humanistic Data Workshop (MHDW 2024) 9th 5G-PINE Workshop (5G-PINE 2024) 1st Workshop on AI Applications for Achieving the Green Deal Targets (ΑΙ4GD 2024).

This book constitutes the refereed proceedings of the 16th International Baltic Conference on Digital Business and Intelligent Systems, Baltic DB&IS 2024, held in Vilnius, Lithuania, during June 30–July 3, 2024. The 13 full papers and 3 short papers presented here, were carefully reviewed and selected from 36 submissions, and focus on the various fields of Business digitalization and development of intelligent business systems. Abstracts from the keynote speeches from the conference are also included in these proceedings.

This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions. The conference focuses on the on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.

This volume constitutes the papers of several workshops which were held in conjunction with the International Conference on Web Engineering, ICWE 2023, held in Alicante, Spain, in June 6–9, 2023.The 10 revised full papers and 2 short papers presented in this book were carefully reviewed and selected from 23 submissions. They stem from the following workshops:Third International Workshop on Big Data Driven Edge Cloud Services (BECS 2023) Second International Workshop on the Semantic Web of Everything (SWEET 2023) Second International Workshop on Web Applications for Life Sciences (WALS2023)

This two-volume set, CCIS 2280 and CCIS 2281, constitutes the proceedings of the 4th International Conference on Optimization, Learning Algorithms and Applications, OL2A 2024, held in Tenerife, Spain, in July 2024. The 41 papers presented here were carefully reviewed and selected from 105 submissions. They have been organized in the two volumes under the following topical sections:- Part I: Learning Algorithms in Engineering Education; Machine Learning; Deep Learning; Optimization in the SDG context. Part II: Optimization in Control Systems Design; Optimization.

This two-volume set, CCIS 2280 and CCIS 2281, constitutes the proceedings of the 4th International Conference on Optimization, Learning Algorithms and Applications, OL2A 2024, held in Tenerife, Spain, in July 2024. The 41 papers presented here were carefully reviewed and selected from 105 submissions. They have been organized in the two volumes under the following topical sections:- Part I: Learning Algorithms in Engineering Education; Machine Learning; Deep Learning; Optimization in the SDG context. Part II: Optimization in Control Systems Design; Optimization.

This book constitutes the refereed proceedings of the 25th International Conference on Product-Focused Software Process Improvement, PROFES 2024, held in Tartu, Estonia, during December 2–4, 2024. The 18 full papers, 12 short papers, 9 Industry papers, 2 Workshop papers, 2 Doctoral symposium papers, and one Keynote paper presented in this volume were carefully reviewed and selected from 85 submissions. The main theme of PROFES 2024 was professional software process improvement (SPI) motivated by product, process, and service quality needs. The technical program of PROFES 2024 was selected by a committee of leading experts in software process improvement, software process modeling, and empirical software engineering.

This book constitutes the refereed proceedings of the 25th International Conference on Product-Focused Software Process Improvement, PROFES 2024, held in Tartu, Estonia, during December 2–4, 2024. The 9 Industry papers, 2 Workshop papers, 2 Doctoral symposium papers and 1 Keynote paper presented in this volume were carefully reviewed and selected from 85 submissions. The contributions were organized in topical sections as follows: Industry Papers; Third Workshop on Engineering Processes and Practices for Quantum Software (PPQS 2024); and Doctoral Symposium Papers.

The two-volume set CCIS 2179 + 2180 constitutes the refereed proceedings of the 31st European Conference on Systems, Software and Services Process Improvement, EuroSPI 2024, held in Munich, Germany, during September 2024. The 55 papers included in these proceedings were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Part I: SPI and Emerging and Multidisciplinary Approaches to Software Engineering; SPI and Functional Safety and Cybersecurity; SPI and Standards and Safety and Security Norms; Part II: Sustainability and Life Cycle Challenges; SPI and Recent Innovations; Digitalisation of Industry, Infrastructure and E-Mobility; SPI and Agile; SPI and Good/Bad SPI Practices in Improvement.

This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th International Conference on Parallel Problem Solving from Nature, PPSN 2024, held in Hagenberg, Austria, in September 2024. The 101 full papers presented in these proceedings were carefully reviewed and selected from 294 submissions. The papers presented in these four volumes are organized in the following topical sections: Part I: Combinatorial Optimization; Genetic Programming; Fitness Landscape Modeling and Analysis. Part II: Benchmarking and Performance Measures; Automated Algorithm Selection and Configuration; Numerical Optimization; Bayesian- and Surrogate-Assisted Optimization. Part III: Theoretical Aspects of Nature-Inspired Optimization; (Evolutionary) Machine Learning and Neuroevolution; Evolvable Hardware and Evolutionary Robotics. Part IV: Multi-Objective Optimization; Real-World Applications.

This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th International Conference on Parallel Problem Solving from Nature, PPSN 2024, held in Hagenberg, Austria, in September 2024. The 101 full papers presented in these proceedings were carefully reviewed and selected from 294 submissions. The papers presented in these four volumes are organized in the following topical sections: Part I: Combinatorial Optimization; Genetic Programming; Fitness Landscape Modeling and Analysis. Part II: Benchmarking and Performance Measures; Automated Algorithm Selection and Configuration; Numerical Optimization; Bayesian- and Surrogate-Assisted Optimization. Part III: Theoretical Aspects of Nature-Inspired Optimization; (Evolutionary) Machine Learning and Neuroevolution; Evolvable Hardware and Evolutionary Robotics. Part IV: Multi-Objective Optimization; Real-World Applications.

This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th International Conference on Parallel Problem Solving from Nature, PPSN 2024, held in Hagenberg, Austria, in September 2024. The 101 full papers presented in these proceedings were carefully reviewed and selected from 294 submissions. The papers presented in these four volumes are organized in the following topical sections: Part I: Combinatorial Optimization; Genetic Programming; Fitness Landscape Modeling and Analysis. Part II: Benchmarking and Performance Measures; Automated Algorithm Selection and Configuration; Numerical Optimization; Bayesian- and Surrogate-Assisted Optimization. Part III: Theoretical Aspects of Nature-Inspired Optimization; (Evolutionary) Machine Learning and Neuroevolution; Evolvable Hardware and Evolutionary Robotics. Part IV: Multi-Objective Optimization; Real-World Applications.

This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th International Conference on Parallel Problem Solving from Nature, PPSN 2024, held in Hagenberg, Austria, in September 2024. The 101 full papers presented in these proceedings were carefully reviewed and selected from 294 submissions. The papers presented in these four volumes are organized in the following topical sections: Part I: Combinatorial Optimization; Genetic Programming; Fitness Landscape Modeling and Analysis. Part II: Benchmarking and Performance Measures; Automated Algorithm Selection and Configuration; Numerical Optimization; Bayesian- and Surrogate-Assisted Optimization. Part III: Theoretical Aspects of Nature-Inspired Optimization; (Evolutionary) Machine Learning and Neuroevolution; Evolvable Hardware and Evolutionary Robotics. Part IV: Multi-Objective Optimization; Real-World Applications.

This multi-volume set, LNAI 14941 to LNAI 14950, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2024, held in Vilnius, Lithuania, in September 2024. The papers presented in these proceedings are from the following three conference tracks: - Research Track: The 202 full papers presented here, from this track, were carefully reviewed and selected from 826 submissions. These papers are present in the following volumes: Part I, II, III, IV, V, VI, VII, VIII. Demo Track: The 14 papers presented here, from this track, were selected from 30 submissions. These papers are present in the following volume: Part VIII. Applied Data Science Track: The 56 full papers presented here, from this track, were carefully reviewed and selected from 224 submissions. These papers are present in the following volumes: Part IX and Part X.

This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9–13, 2024. The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and Verification; Case Studies; Neural Networks.

The two-volume set LNCS 14910 and 14911 constitutes the proceedings of the 35th International Conference on Database and Expert Systems Applications, DEXA 2024, which took place in Naples, Italy, in August 2024. The 27 full and 20 short papers included in the proceedings set were carefully reviewed and selected from 102 submissions. They were organized in topical sections as follows: Part I: Financial and economic data analysis; graph theory and network analysis; database management and query optimization; machine learning and large language models; recommender systems and personalization; Part II: Blockchain and supply management; data mining and knowledge discovery; spatiotemporal data and mobility analysis; computer vision and image processing; data security and privacy; database indexing and query processing; specialized applications and case studies.

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 contains visionary and best papers from the workshops held at the International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, held in London, UK, during May 29–June 2, 2023.The 12 regular papers, 5 best papers and 7 visionary papers, presented were carefully reviewed and selected from a total of more than 110 contributions to the workshops. They focus on emerging topics and new trends in the area of autonomous agents and multiagent systems and stem from the following workshops:- Workshop on Autonomous Robots and Multirobot Systems (ARMS)- Workshop on Adaptive and Learning Agents (ALA)- Workshop on Interdisciplinary Design of Emotion Sensitive Agents (IDEA)- Workshop on Rebellion and Disobedience in Artificial Intelligence (RaD-AI)- Workshop on Neuro-symbolic AI for Agent and Multi-Agent Systems (NeSyMAS)- Workshop on Multiagent Sequential Decision Making under Uncertainty (MSDM)- Workshop on Citizen-Centric Multi-Agent Systems (C-MAS)

This book constitutes the refereed proceedings of the 16th International Symposium on Search-Based Software Engineering, SSBSE 2024, held in Porto de Galinhas, Brazil, during July 2024. The 8 papers included in these proceedings were carefully reviewed and selected from 19 submissions. The papers deal with various aspects and applications of search-based software engineering, focusing on engineering challenges and the application of automated approaches and optimization techniques from AI and machine learning research.

The two-volume LNCS set 14813 and 14814 constitutes the refereed proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held in Hanoi, Vietnam, during July 1–4, 2024. The 53 full papers, 6 short papers and 3 PHD showcase papers included in these volumes were carefully reviewed and selected from a total of 207 submissions. The papers focus on the following six sub-areas within Computer Science and its Applications: Computational Methods, Algorithms and Scientific Applications; High Performance Computing and Networks; Geometric Modeling, Graphics and Visualization; Advanced and Emerging Applications; Information Systems and Technologies & Urban and Regional Planning.

The two-volume LNCS set 14813 and 14814 constitutes the refereed proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held in Hanoi, Vietnam, during July 1–4, 2024. The 53 full papers, 6 short papers and 3 PHD showcase papers included in these volumes were carefully reviewed and selected from a total of 207 submissions. The papers focus on the following six sub-areas within Computer Science and its Applications: Computational Methods, Algorithms and Scientific Applications; High Performance Computing and Networks; Geometric Modeling, Graphics and Visualization; Advanced and Emerging Applications; Information Systems and Technologies & Urban and Regional Planning.

This book constitutes the proceedings of the MICCAI 2023 Challenge, FLARE 2023, held in Conjunction with MICCAI 2023, in Vancouver, BC, Canada, on October 8, 2023. The 27 full papers presented in this book were carefully reviewed and selected from 37 submissions. The papers present research and results for abdominal organ segmentation which has many important clinical applications, such as organ quantification, surgical planning, and disease diagnosis.

This book constitutes the proceedings of the 18th International Conference on Research Challenges in Information Sciences, RCIS 2024, which took place in Guimarães, Portugal, during May 2024. The scope of RCIS is summarized by the thematic areas of information systems and their engineering; user-oriented approaches; data and information management; business process management; domain-specific information systems engineering; data science; information infrastructures, and reflective research and practice. The 25 full papers, 12 Forum and 5 Doctoral Consortium papers included in these proceedings were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Part I: Data and information management; conceptual modelling and ontologies; requirements and architecture; business process management; data and process science; security; sustainability; evaluation and experience studies Part II: Forum papers; doctoral consortium papers.