This comprehensive book examines a range of examples, prepared by a diverse group of academic and industry practitioners, which demonstrate how cloud-based simulation is being extensively used across many disciplines, including cyber-physical systems engineering.
This book presents a range of current research topics in biological network modeling, as well as its application in studies on human hosts, pathogens, and diseases.
This book provides a broad overview of essential features of subsurface environmental modelling at the science-policy interface, offering insights into the potential challenges in the field of subsurface flow and transport, as well as the corresponding computational modelling and its impact on the area of policy- and decision-making.
This book explores four guiding themes - reduced order modelling, high dimensional problems, efficient algorithms, and applications - by reviewing recent algorithmic and mathematical advances and the development of new research directions for uncertainty quantification in the context of partial differential equations with random inputs.
Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 38th IMAC, A Conference and Exposition on Structural Dynamics, 2020, the third volume of nine from the Conference brings together contributions to this important area of research and engineering.
This book provides engineers and scientists in academia and industry with a thorough understanding of the underlying principles of nonlinear system identification.
This book explores systems-based, co-design, introducing a "e;Decision-Based, Co-Design"e; (DBCD) approach for the co-design of materials, products, and processes.
This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019.
The two-volume set LNCS 12013 and 12014 constitutes the thoroughly refereed proceedings of the 17th International Conference on Computer Aided Systems Theory, EUROCAST 2019, held in Las Palmas de Gran Canaria, Spain, in February 2019.
The two-volume set LNCS 12013 and 12014 constitutes the thoroughly refereed proceedings of the 17th International Conference on Computer Aided Systems Theory, EUROCAST 2019, held in Las Palmas de Gran Canaria, Spain, in February 2019.
This second edition of a well-received book presents new perspectives on modern nanoscale problems, where fundamental science meets technology and computer modeling.
This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2019, held in Palermo, Italy, in October 2019.
Gathering the proceedings of the 12th CHAOS2019 International Conference, this book highlights recent developments in nonlinear, dynamical and complex systems.
This book provides a vivid account of the early history of molecular simulation, a new frontier for our understanding of matter that was opened when the demands of theoretical physicists were met by the availability of the modern computers.
This book gathers the outcomes of the second ECCOMAS CM3 Conference series on transport, which addressed the main challenges and opportunities that computation and big data represent for transport and mobility in the automotive, logistics, aeronautics and marine-maritime fields.
This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.
This book is written for researchers and postgraduates who are interested in developing high-accurate energy demand forecasting models that outperform traditional models by hybridizing intelligent technologies.
This two-volume set LNICST 301 -302 constitutes the post-conference proceedings of the Third EAI International Conference on Advanced Hybrid Information Processing, ADHIP 2019, held in Nanjing, China, in September 2019.
This book includes a selection of papers from the 8th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2018), held in Porto, Portugal, from July 29 to 31, 2018.
This book constitutes the refereed proceedings of the 11th International Conference on Ad Hoc Networks, ADHOCNETS 2019, held in Queenstown, New Zealand, in November 2019.
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.
This volume constitutes the refereed post-conference proceedings of the 11th International Conference on Simulation Tools and Techniques, SIMUTools 2019, held in Chengdu, China, in August 2019.
This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019.
This volume constitutes the refereed post-conference proceedings of the Fourth International Conference on Machine Learning and Intelligent Communications, MLICOM 2019, held in Nanjing, China, in August 2019.
This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.
"e;Social Simulation for a Digital Society"e; provides a cross-section of state-of-the-art research in social simulation and computational social science.
This book gathers the latest advances, innovations and applications in the field of robotics and mechatronics, as presented by leading international researchers and engineers at the 6th IFToMM International Symposium on Robotics and Mechatronics (ISRM), held in Taipei, Taiwan, on October 28-30, 2019.
This book constitutes the refereed proceedings of the 26th International Symposium on Model Checking Software, SPIN 2019, held in Beijing, China, in July 2019.
This book presents a selection of peer-reviewed contributions to the fourth Bayesian Young Statisticians Meeting, BAYSM 2018, held at the University of Warwick on 2-3 July 2018.
This book is a survey of the research work done by the author over the last 15 years, in collaboration with various eminent mathematicians and climate scientists on the subject of tropical convection and convectively coupled waves.
This book presents the latest research in the fields of reliability theory and its applications, providing a comprehensive overview of reliability engineering and discussing various tools, techniques, strategies and methods within these areas.
This book constitutes the refereed proceedings of the 12th International Symposium on Algorithmic Game Theory, SAGT 2019, held in Athens, Greece, in September/October 2019.
This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019.
This book focuses on InterProfessional (IP) Team Training and Simulation, from basic concepts to the practical application of IP in different healthcare settings.
This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019.
The volume set LNAI 11740 until LNAI 11745 constitutes the proceedings of the 12th International Conference on Intelligent Robotics and Applications, ICIRA 2019, held in Shenyang, China, in August 2019.
The volume set LNAI 11740 until LNAI 11745 constitutes the proceedings of the 12th International Conference on Intelligent Robotics and Applications, ICIRA 2019, held in Shenyang, China, in August 2019.
The volume set LNAI 11740 until LNAI 11745 constitutes the proceedings of the 12th International Conference on Intelligent Robotics and Applications, ICIRA 2019, held in Shenyang, China, in August 2019.
This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.
