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 presents the select proceedings of the 3rd International Conference on Computational and Experimental Methods in Mechanical Engineering (ICCEMME 2020).
This book focuses on the systems biomechanics of bone remodeling that provide a multiscale platform for bone adaptation, spanning the cellular, tissue, and organ levels.
This book provides basic and practical techniques of parallel computing and related methods of numerical analysis for researchers who conduct numerical calculation and simulation.
This book discusses the latest advances in manufacturing and process control, with a special emphasis on digital manufacturing and intelligent technologies for manufacturing and industrial processes control.
Based on more than 12 years of systematic investigation on earthquake disaster simulation of civil infrastructures, this book covers the major research outcomes including a number of novel computational models, high performance computing methods and realistic visualization techniques for tall buildings and urban areas, with particular emphasize on collapse prevention and mitigation in extreme earthquakes, earthquake loss evaluation and seismic resilience.
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 13th International Conference on Latent Variable Analysis and Signal Separation, LVA/ICA 2017, held in Grenoble, France, in Feburary 2017.
This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Paris, France, in August 2021.
This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018.
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.
This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.
This book presents for the first time a methodology that combines the power of a modelling formalism such as colored petri nets with the flexibility of a discrete event program such as SIMIO.
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 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 book constitutes the refereed proceedings of the 13th International Symposium on Algorithmic Game Theory, SAGT 2020, held in Augsburg, Germany, in September 2020.
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 focuses on InterProfessional (IP) Team Training and Simulation, from basic concepts to the practical application of IP in different healthcare settings.
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 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 book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2018, held in Prague, Czech Republic, in October 2018.
This book constitutes the refereed post-conference proceedings of the Fourth International Conference on IoT as a Service, IoTaaS 2018, which took place in Xi'an, China, in November 2018.
Senior level/graduate level text/reference presenting state-of-the- art numerical techniques to solve the wave equation in heterogeneous fluid-solid media.
Enhance your simulation modeling skills by creating and analyzing digital prototypes of a physical model using Python programming with this comprehensive guideKey FeaturesLearn to create a digital prototype of a real model using hands-on examplesEvaluate the performance and output of your prototype using simulation modeling techniquesUnderstand various statistical and physical simulations to improve systems using PythonBook DescriptionSimulation modeling helps you to create digital prototypes of physical models to analyze how they work and predict their performance in the real world.
Learn advanced techniques to improve the performance and quality of your predictive modelsKey FeaturesUse ensemble methods to improve the performance of predictive analytics modelsImplement feature selection, dimensionality reduction, and cross-validation techniquesDevelop neural network models and master the basics of deep learningBook DescriptionPython is a programming language that provides a wide range of features that can be used in the field of data science.
This book offers a comprehensive introduction to intelligent control system design, using MATLAB simulation to verify typical intelligent controller designs.
This book constitutes the proceedings of the 15th International Conference on Transport Systems Telematics, TST 2015, held in Wroclaw, Poland, in April 2015.
Get up and running with Blender 3D through a series of practical projects that will help you learn core concepts of 3D design like modeling, sculpting, materials, textures, lighting, and rigging using the latest features of Blender 2.
This edited volume collects a series of studies concerning the most recent developments in the industrial applications of augmented and virtual reality.
This book focuses on the design, development, and analysis of augmented and virtual reality (AR/VR)-based systems, along with the technological impacts and challenges in social learning.
Many books deal with the techniques of designing, building and testing computer models and simulations, but few have seriously examined what models are based on, their inherent limitations, and their essential role in extending human knowledge.
This book describes the development of a constitutive modeling platform for soil testing, which is one of the key components in geomechanics and geotechnics.
