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.
Understanding the functions and properties of molecules in living systems requires a detailed knowledge of their three-dimensional structures and the conformational variability that allows them to adopt multiple functional forms.
This book presents the fundamentals of evolutionary game theory and applies them to the analysis of epidemics, which is of paramount importance in the aftermath of the worldwide COVID-19 pandemic.
This book explores the inputs with regard to individuals and companies who have developed technologies and innovative solutions, bioinformatics, datasets, apps for diagnosis, etc.
This book studies the pitfalls of regional climate models in simulating track and intensity of tropical cyclone over western North Pacific for the East Asian summer monsoon climate.
In the present authors attempted to have a clear insight into the interworking of geotectonic, geomorphic, hydrologic and anthropogenic factors leading to landslide in the Shiv khola Watershed, the most worst affected region of Darjiling Himalaya.
This book presents the select proceedings of the 3rd International Conference on Computational and Experimental Methods in Mechanical Engineering (ICCEMME 2020).
The theoretical basis of membrane computing was established in the early 2000s with fundamental research into the computational power, complexity aspects and relationships with other (un)conventional computing paradigms.
This book presents select proceedings of the International Conference on Advances in Sustainable Technologies (ICAST 2020), organized by Lovely Professional University, Punjab, India.
