This volume contains the lecture notes of the five coursesand one seminar given at the School on Engineering Trustworthy Software Systems(SETSS 2014), held in September 2014 at Southwest University in Chongqing,China.
This book offers a comprehensive guide to several aspects of risk, including information systems, disaster management, supply chain and disaster management perspectives.
This book offers a comprehensive guide to several aspects of risk, including information systems, disaster management, supply chain and disaster management perspectives.
This book introduces the concept of digital twins and their purposive usage, including the technology infrastructure and the method support necessary for their construction.
As coined in the book of Nassim Taleb, antifragility is a property of a system to gain from uncertainty, randomness, and volatility, opposite to what fragility would incur.
This book constitutes the refereed post-conference proceedings of the 16th EAI International Conference on Simulation Tools and Techniques, SIMUTools 2024, held in Bratislava, Slovakia, in December 2024.
This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.
This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.
This book summarizes the mathematics used by engineers, with an emphasis on developing practical skills and techniques for solving mathematical problems in forms typical of engineering.
This book summarizes the mathematics used by engineers, with an emphasis on developing practical skills and techniques for solving mathematical problems in forms typical of engineering.
This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during February 25 to March 1, 2024.
This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during February 25 to March 1, 2024.
This three part LNCS volumes constitutes the refereed proceedings of the 19th International Conference on Computer-Aided Systems Theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during February 25 to March 1, 2024.
This book CCIS 2483 constitutes the proceedings of the First International Symposium on Systems Modelling and Simulation, SMS 2024, held in Johor Bahru, Malaysia, during December 16–17, 2024.
This book CCIS 2483 constitutes the proceedings of the First International Symposium on Systems Modelling and Simulation, SMS 2024, held in Johor Bahru, Malaysia, during December 16–17, 2024.
This book constitutes the refereed post-conference proceedings of the 16th EAI International Conference on Simulation Tools and Techniques, SIMUTools 2024, held in Bratislava, Slovakia, in December 2024.
This book introduces the concept of digital twins and their purposive usage, including the technology infrastructure and the method support necessary for their construction.
This book features best-selected research papers presented at International Conference on Computational Modeling and Sustainable Energy (ICCMSE 2023) held at Pandit Deendayal Energy University, Gandhinagar, Gujarat, India, during December 15-17, 2023.
This book features best-selected research papers presented at International Conference on Computational Modeling and Sustainable Energy (ICCMSE 2023) held at Pandit Deendayal Energy University, Gandhinagar, Gujarat, India, during December 15-17, 2023.
This volume LNCS constitutes the refereed proceedings of 31st European MPI Users' Group Meeting, EuroMPI 2024, held in Perth, WA, Australia, during September 25-27, 2024.
This volume LNCS 14615 constitutes the refereed proceedings of the 10th International Conference on Modelling and Simulation for Autonomous Systems, MESAS 2023, in October 17-19, 2023, in Palermo, Italy.
This volume LNCS 14615 constitutes the refereed proceedings of the 10th International Conference on Modelling and Simulation for Autonomous Systems, MESAS 2023, in October 17-19, 2023, in Palermo, Italy.
This book offers a geospatial technology approach to data mining techniques, data analysis, modeling, risk assessment, and visualization, as well as management strategies in many elements of river basin risks.
This volume LNCS constitutes the refereed proceedings of 31st European MPI Users' Group Meeting, EuroMPI 2024, held in Perth, WA, Australia, during September 25-27, 2024.
The five-volume set constitutes the thoroughly refereed proceedings of the 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and of the 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, which were held during September 13-15, in Suzhou, China.
The five-volume set constitutes the thoroughly refereed proceedings of the 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and of the 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, which were held during September 13-15, in Suzhou, China.
The five-volume set constitutes the thoroughly refereed proceedings of the 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and of the 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, which were held during September 13-15, in Suzhou, China.
The five-volume set constitutes the thoroughly refereed proceedings of the 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and of the 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, which were held during September 13-15, in Suzhou, China.
This book constitutes the refereed proceedings of the 23rd Asia Simulation Conference on Methods and Applications for Modeling and Simulation of Complex Systems, AsiaSim 2024, held in Kobe, Japan, during September 17-20, 2024.
This book constitutes the refereed proceedings of the 4th International and First International Workshop on Human Activity Recognition and Anomaly Detection, Conjunction with IJCAI 2024, held in Jeju, South Korea, during August 3-9, 2024.
This book constitutes the refereed proceedings of the 4th International and First International Workshop on Human Activity Recognition and Anomaly Detection, Conjunction with IJCAI 2024, held in Jeju, South Korea, during August 3-9, 2024.
The five-volume set constitutes the thoroughly refereed proceedings of the 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and of the 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, which were held during September 13-15, in Suzhou, China.
The five-volume set constitutes the thoroughly refereed proceedings of the 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and of the 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, which were held during September 13-15, in Suzhou, China.
The five-volume set constitutes the thoroughly refereed proceedings of the 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and of the 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, which were held during September 13-15, in Suzhou, China.
The five-volume set constitutes the thoroughly refereed proceedings of the 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and of the 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, which were held during September 13-15, in Suzhou, China.
Dive into the fascinating world of Digital Twins, Simulation, and the Metaverse, where the virtual/digital and physical worlds collide and reshape industries.
The unique book advances understanding of modelling complex systems using hybrid approaches that combine discrete-event, agent-based, and system dynamic simulations with research approaches and artefacts from other scientific disciplines.
The two-volume set LNAI 15497 and LNAI 15498 constitutes the refereed proceedings of the 14th International Conference on Brain Inspired Cognitive Systems, BICS 2024, held in Hefei, China, during December 6-8, 2024.
This volume constitutes the refereed proceedings of 17th International Symposium on Algorithmic Game Theory, SAGT 2024, held in Amsterdam, The Netherlands, during September 3-6, 2024.
This volume constitutes the refereed proceedings of 17th International Symposium on Algorithmic Game Theory, SAGT 2024, held in Amsterdam, The Netherlands, during September 3-6, 2024.
This book introduces a unified implementation of bond- and state-based peridynamic theory (PD) within a commercial finite element framework, Ansys, utilizing its native elements.
This book constitutes the refereed proceedings of the 17th International Conference on Simulation of Adaptive Behavior, SAB 2024, held in Irvine, CA, USA, during September 9-12, 2024.
This book constitutes the refereed proceedings of the 17th International Conference on Simulation of Adaptive Behavior, SAB 2024, held in Irvine, CA, USA, during September 9-12, 2024.