Computer modelling and simulation

This textbook teaches the essential background and skills for understanding and quantifying uncertainties in a computational simulation, and for predicting the behavior of a system under those uncertainties.

This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018.

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 the proceedings of the 3rd International Joint Conference - ICIEOM-ADINGOR-IISE-AIM-ASEM (IJC2017) "e;XXIII International Conference on Industrial Engineering and Operations Management"e;, "e;International ADINGOR Conference 2017"e;, "e;International IISE Conference 2017"e;, "e;International AIM Conference 2017"e; and "e;International ASEM Conference 2017"e;, which took place at UPV (Universitat Politecnica de Valencia) from July 6th to 7th, 2017.

This book constitutes the refereed proceedings of the 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, held in Frankfurt/Main, Germany, in August 2018.

This book collects many of the presented papers, as plenary presentations, mini-symposia invited presentations, or contributed talks, from the European Conference on Numerical Mathematics and Advanced Applications (ENUMATH) 2017.

This book constitutes the thoroughly refereed proceedings of the Clausthal-Gottingen International Workshop on Simulation Science, held in Gottingen, Germany, in April 2017.

This book describes the operation and analysis of soft-commutated isolated DC-DC converters used in the design of high efficiency and high power density equipment.

This book outlining the latest developments in engineering digital transformation gathers a selection of the best papers presented at the 11th International Conference on Industrial Engineering and Industrial Management (CIO 2017), held in Valencia, Spain, from July 5th to 6th, 2017.

This textbook presents a proven, mature Model-Based Systems Engineering (MBSE) methodology that has delivered success in a wide range of system and enterprise programs.

The book presents a compilation of studies regarding applied geomechanics, mining, and excavation analysis and simulation.

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.

The Handbook of Dynamic Data Driven Applications Systems establishes an authoritative reference of DDDAS, pioneered by Dr.

This book constitutes the refereed proceedings of the 11 workshops co-located with the 16th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2018, held in Toledo, Spain, in June 2018.

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

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.

This book explores the relationship between the sciences of representation and the strategy of landscape valorisation.

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.

This book comprises the proceedings of the 4th International Conference on Computational Engineering (ICCE 2017), held in Darmstadt, Germany on September 28-29, 2017.

These are the proceedings of the 24th International Conference on Domain Decomposition Methods in Science and Engineering, which was held in Svalbard, Norway in February 2017.

This book constitutes the proceedings of the 14th International Conference on Latent Variable Analysis and Signal Separation, LVA/ICA 2018, held in  Guildford, UK, in July 2018.

This book presents the proceedings of the 3rd International Joint Conference - ICIEOM-ADINGOR-IISE-AIM-ASEM (IJC2017) "e;XXIII International Conference on Industrial Engineering and Operations Management"e;, "e;International ADINGOR Conference 2017"e;, "e;International IISE Conference 2017"e;, "e;International AIM Conference 2017"e; and "e;International ASEM Conference 2017"e;, which took place at UPV (Universitat Politecnica de Valencia) from July 6th to 7th, 2017.

This book summarizes, defines, and contextualizes multiphysics with an emphasis on porous materials.

This book introduces readers to the fundamentals of artificial neural networks, with a special emphasis on evolutionary algorithms.

This book offers a comprehensive overview of cutting-edge approaches for decision-making in hierarchical organizations.

This textbook presents a general multi-objective optimization framework for optimizing chemical processes by implementing a link between process simulators and metaheuristic techniques.

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 presents the refereed proceedings of the Twelfth International Conference on Monte Carlo and Quasi-Monte Carlo Methods in Scientific Computing that was held at Stanford University (California) in August 2016.

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

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.

At the intersection of astronautics, computer science, and social science, this book introduces the challenges and insights associated with computer simulation of human society in outer space, and of the dynamics of terrestrial enthusiasm for space exploration.

This book constitutes the refereed proceedings of the Second International Symposium on Artificial Life and Intelligent Agents, ALIA 2016, held in Birmingham, UK, in June 2016.

This book constitutes the refereed proceedings of the 12th IFIP WG 5.

This easy-to-understand textbook presents a modern approach to learning numerical methods (or scientific computing), with a unique focus on the modeling and applications of the mathematical content.

This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI).

The book examines the performance and optimization of systems where queueing and congestion are important constructs.

This volume presents the proceedings of the 12th IFToMM International Symposium on Science of Mechanisms and Machines (SYROM 2017), that was held in "e;Gheorghe Asachi"e; Technical University of Iasi, Romania, November 02-03, 2017.

This book considers the principle of 'sustainable development' which is currently facing a growing environmental crisis.

This manual describes the wide range of electromechanical, electrochemical and electro-optical transducers at the heart of current field-deployable ocean observing instruments.

The two-volume set LNICST 236-237 constitutes the post-conference proceedings of the 12th EAI International Conference on Communications and Networking, ChinaCom 2017, held in Xi'an, China, in September 2017.

The two-volume set LNICST 236-237 constitutes the post-conference proceedings of the 12th EAI International Conference on Communications and Networking, ChinaCom 2017, held in Xi'an, China, in September 2017.

This book examines air pollution of a big city using multi-year and multi-season data from ground-based air monitoring stations and satellite sounding data, which provides more clear and detailed information on the main sources of air pollution, the long-term trend of pollution, the influence of meteorological parameters on pollution levels, and trajectories of polluted air masses.

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

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.

Recent developments in model-predictive control promise remarkable opportunities for designing multi-input, multi-output control systems and improving the control of single-input, single-output systems.

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

This book presents the latest computational models of rhythm and meter that are based on number theory, combinatorics and pattern matching.

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2017, held in Rome, Italy, , in October 2017.

This volume features original contributions and invited review articles on mathematical statistics, statistical simulation and experimental design.

This book presents the fundamental principles and challenges encountered in the control of biomedical systems, providing practical solutions and suggesting alternatives.