Computer modelling and simulation

This book provides, as simply as possible, sound foundations for an in-depth understanding of reliability engineering with regard to qualitative analysis, modelling, and probabilistic calculations of safety and production systems.

This book offers a gentle introduction to type-2 fuzzy sets and, in particular, interval type-2 fuzzy sets and their application in biological modeling.

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020.

This book offers readers fresh insights on applying Extended Reality to Digital Anatomy, a novel emerging discipline.

The second volume of this research monograph describes a number of applications of Artificial Intelligence in the field of Customer Relationship Management with the focus of solving customer problems.

This self-contained, interdisciplinary book encompasses mathematics, physics, computer programming, analytical solutions and numerical modelling, industrial computational fluid dynamics (CFD), academic benchmark problems and engineering applications in conjunction with the research field of anisotropic turbulence.

This edited volume brings together the state of the art in polymer nanocomposite theory and modeling, creating a roadmap for scientists and engineers seeking to design new advanced materials.

This book shows in a comprehensive presentation how Bond Graph methodology can support model-based control, model-based fault diagnosis, fault accommodation, and failure prognosis by reviewing the state-of-the-art, presenting a hybrid integrated approach to Bond Graph model-based fault diagnosis and failure prognosis, and by providing a review of software that can be used for these tasks.

This book constitutes the proceedings of the 26th International Conference on Principles and Practice of Constraint Programming, CP 2020, held in Louvain-la-Neuve, Belgium, in September 2020.

This book constitutes the refereed proceedings of the 13th International Symposium on Algorithmic Game Theory, SAGT 2020, held in Augsburg, Germany, in September 2020.

[FIRST EDITION] This accessible textbook presents an introduction to computer vision algorithms for industrially-relevant applications of X-ray testing.

These are the proceedings of the 25th International Conference on Domain Decomposition Methods in Science and Engineering, which was held in St.

This book provides a hands-on guide to how financial models are actually implemented and used in practice, on a daily basis, for pricing and risk-management purposes.

This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.

This book contains articles presented at the 9th Workshop on Differential-Algebraic Equations held in Paderborn, Germany, from 17-20 March 2019.

This book presents and describes an innovative method to simulate the growth of natural fractural networks in different geological environments, based on their geological history and fundamental geomechanical principles.

This research monograph brings AI to the field of Customer Relationship Management (CRM) to make a customer experience with a product or service smart and enjoyable.

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 constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019.

This book provides a thorough overview of the applications of 3D printing technologies to ubiquitous manufacturing (UM).

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.

This volume fills a research gap between the rapid development of High Performance Computing (HPC) approaches and their geospatial applications.

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 constitutes the refereed proceedings of the Second International Workshop on Simulation Science, held in Clausthal-Zellerfeld, in May 2019.

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.

Weed management Decision Support Systems (DSS) are increasingly important computer-based tools for modern agriculture.

?

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 introduces readers to some of the most significant advances in core computer science-based technologies.

This book presents the state of the art in High Performance Computing on modern supercomputer architectures.

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.

MATLAB(R) is used in a wide range of geoscientific applications, e.

This book is a compilation of advanced research and applications on robotic item picking and warehouse automation for e-commerce applications.

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.