Computer modelling and simulation

It is estimated that windows in office buildings are responsible for one third of energy used for their heating and cooling.

This is the first book offering an in-depth and comprehensive IoT network simulation, supported by OPNET tool.

This book systematically introduces readers to the finite element analysis software DIANA (DIsplacement ANAlyzer) and its applications in civil engineering.

This book presents a cutting-edge research procedure in the Nature-Inspired Computing (NIC) domain and its connections with computational intelligence areas in real-world engineering applications.

This book is focused on the impact of the COVID-19 pandemic on different sectors, i.

Commissioned by the Society for Modeling and Simulation International (SCS), this needed, useful new 'Body of Knowledge' (BoK) collects and organizes the common understanding of a wide collection of professionals and professional associations.

This book examines how World War Two is simulated through serious computer games, such as first-person shooters, flight and tank simulators, and grand strategy games.

This book examines how World War Two is simulated through serious computer games, such as first-person shooters, flight and tank simulators, and grand strategy games.

Although there is much literature on organisational learning, mathematical formalisation and computational simulation, there is no literature that uses mathematical modelling and simulation to represent and explore different facets of multilevel learning.

This proceedings of 15th CHAOS2022 International Conference highlights recent developments in nonlinear, dynamical, and complex systems.

This proceedings of 15th CHAOS2022 International Conference highlights recent developments in nonlinear, dynamical, and complex systems.

This book is meant for readers who want to understand GANs without the need for a strong mathematical background.

This book is meant for readers who want to understand GANs without the need for a strong mathematical background.

This book tells the story of building digital virtual human models in the context of the background, choices, and occurrences that shaped the author's own involvement and personal evolution.

This book reviews the state-of-the-art efforts to apply machine learning and AI methods for healthy aging and longevity research, diagnosis, and therapy development.

This book reviews the state-of-the-art efforts to apply machine learning and AI methods for healthy aging and longevity research, diagnosis, and therapy development.

**AS SEEN ON BBC BREAKFAST**Will we ever truly understand our cosmic home?

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 volume comprises papers from the 18th Conference on Systems Engineering Research (CSER).

With a recipe-based approach, hone and develop the necessary skills you need to perform mechanical, visualization, and simulation tasks using Autodesk InventorKey FeaturesCreate powerful parametric 3D designs, parts, and assembliesApply effective modeling techniques to increase automation and promote configurationEnable iLogic-powered rapid configurations and apply Finite Element Analysis for model simulationBook DescriptionAutodesk Inventor is an industry-leading, computer-aided design application for 3D mechanical design, simulation, visualization, and documentation.

This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017.

This book constitutes the refereed proceedings of the First International Conference on Analytical and Computational Methods in Probability Theory and its Applications, ACMPT 2017, held in Moscow, Russia, in October 2017.

This book explores break-through approaches to tackling and mitigating the well-known problems of compiler optimization using design space exploration and machine learning techniques.

This book constitutes the refereed proceedings of the Third Russian Supercomputing Days, RuSCDays 2017, held in Moscow, Russia, in September 2017.

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 introduces readers to gas flows and heat transfer in pebble bed reactor cores.

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.

This book discusses systems of damage detection and structural health monitoring in mechanical, civil, and aerospace structures.

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.

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.

A major objective of this monograph is to present an agent-based simulation of artificial populations.

This book presents the latest research on computational approaches to learning.

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 discusses the latest advances in digital modeling systems (DMSs) and additive manufacturing (AM) technologies.

This book focuses on modeling and simulation research that advances the current state-of-the-art regarding human factors in this area.

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 highlights recent developments in the field, presented at the Social Simulation 2015 conference in Groningen, The Netherlands.

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.