Computer modelling and simulation

This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.

This book presents the latest research in computational methods for modeling and simulating brain disorders.

This text is about spreading of information and influence in complex networks.

This book presents mathematical models of demand-side management programs, together with operational and control problems for power and renewable energy systems.

This book is intended as a guide to and manual on modeling complex problems in Multi Criteria Decision Making (MCDM).

The book constitutes the refereed proceedings of the 13th EAI International Conference on Communications and Networking, held in October 2018 in Chengdu, China.

This textbook provides a comprehensive and reader-friendly introduction to the field of computational social science (CSS).

This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.

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 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 proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.

This book constitutes the thoroughly refereed papers of the workshops held at the 8th International Conference on New Trends in Model and Data Engineering, MEDI 2018, in Marrakesh, Morocco, in October 2018.

This edited book captures salient global security challenges and presents 'design' solutions in dealing with wicked problems.

This book addresses key conceptual issues relating to the modern scientific and engineering use of computer simulations.

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Workshop on Multi-Agent-Based Simulation, MABS 2017, held in Sao Paulo, Brazil, in May 2017.

This book constitutes the proceedings of the 12th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, held in Toulouse, France, in May 2017.

This volume contains the peer-reviewed proceedings of the International Conference on Modelling and Simulation (MS-17), held in Kolkata, India, 4th-5th November 2017, organized by the Association for the Advancement of Modelling and Simulation Techniques in Enterprises (AMSE, France) in association with the Institution of Engineering Technology (IET, UK), Kolkata Network.

This book is a practical guide for the use of simulation in neurosurgery, with chapters covering high fidelity simulation, animal models simulation, cadaveric simulation, and virtual reality simulation.

Sparse grids are a popular tool for the numerical treatment of high-dimensional problems.

This book constitutes the refereed post-conference proceedings of the 10th International Conference on Wireless Internet , WiCON 2017, held in Tianjin, China, in December 2017.

This book presents the state-of-the-art in supercomputer simulation.

In Decision Making and Problem Solving: A Practical Guide for Applied Research, the author utilizes traditional approaches, tools, and techniques adopted to solve current day-to-day, real-life problems.

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

Die Erstellung der ersten digitalen Zwillinge sollte intuitiv sein.

This book constitutes the refereed proceedings of the Second International Workshop on Simulation Science, held in Clausthal-Zellerfeld, in May 2019.

This book constitutes the refereed conference proceedings of the 12th EAI International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2016, held in Seoul, South Korea, in July 2016.

This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.

This book constitutes the thoroughly refereed proceedings of the 11th International Joint Conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016.

This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday.

This book provides a detailed overview of the concepts, techniques, applications, and methodological approaches involved in land use and cover change (LUCC) modeling, also known simply as land change modeling.

This book constitutes the proceedings of the 8th International Conference on Ad Hoc Networks, ADHOCNETS 2016, held in Ottawa, Canada, September 26-17, 2016.

This brief addresses the design of model predictive control algorithms for performing space rendezvous manoeuvres.

This book presents the latest research on honeypots and their applications.

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

This book presents technologies and solutions related to the test and launch control of rockets and other vehicles, and offers the first comprehensive and systematic introduction to the contributions of the Chinese Long March (Chang Zheng in Chinese, or abbreviated as CZ) rockets in this field.

This book presents the development of an optimization platform for geotechnical engineering, which is one of the key components in smart geotechnics.

This book presents comprehensive experimental, numerical, and theoretical research on projectile impact analysis, such as the rigid projectile penetration/perforation of concrete and metallic targets, and shaped-charge-formed projectile and jet penetrations.

This book offers an accessible guide to ubiquitous computing, with an emphasis on pervasive networking.

This book constitutes the proceedings of the 14th International Conference on Parallel Computing Technologies, PaCT 2017, held in Nizhny Novgorod, Russia, in September 2017.

This book constitutes thoroughly revised and selected papers from the 4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2016, held in Rome, Italy, in February 2016.

This book constitutes the refereed proceedings of the 20th International Conference on Distributed and Computer and Communication Networks, DCCN 2017, held in Moscow, Russia, in September 2017.

This book constitutes the refereed proceedings of the 17th International Conference on Software Process Improvement and Capability Determination, SPICE 2017, held in Palma de Mallorca, Spain, in October 2017.

This volume examines all aspects of using agent or individual-based simulation.

This book constitutes the refereed proceedings of the 11th International Conference on Parallel Computational Technologies, PCT 2017, held in Kazan, Russia, in April 2017.

This book constitutes the refereed proceedings of the 14th EuropeanWorkshop on Computer Performance Engineering, EPEW 2017, held in Berlin,Germany, in September 2017.

This book constitutes the refereed proceedings of the Second International Workshop on Simulation and Synthesis in Medical Imaging, held in conjunction with MICCAI 2017, in Quebec City, Canada, in September 2017.

This book covers the methodological, epistemological and practical issues of integrating qualitative and socio-anthropological factors into archaeological modeling.