Computer modelling and simulation

This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.

This book explores the application of the open-source software OpenGeoSys (OGS) for hydrological numerical simulations concerning conservative and reactive transport modeling.

This book focuses on the mathematical potential and computational efficiency of the Boundary Element Method (BEM) for modeling seismic wave propagation in either continuous or discrete inhomogeneous elastic/viscoelastic, isotropic/anisotropic media containing multiple cavities, cracks, inclusions and surface topography.

This volume constitutes the thoroughly refereed proceedings of the 23rd IFIP WG 1.

This two volume set constitutes the refereed post-conference proceedings of the Second International Conference on Machine Learning and Intelligent Communications, MLICOM 2017, held in Weihai, China, in August 2017.

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Modelling and Simulation for Autonomous Systems, MESAS 2020, held in Prague, Czech Republic, in October 2020.

This book is a practical guide to the uncertainty analysis of computer model applications.

This book brings together original research on the role of networks in regional economic development and innovation.

The contributed volume collects cutting-edge research in GeoComputational Analysis of Regional Systems.

This book contains the most recent progress in data assimilation in meteorology, oceanography and hydrology including land surface.

The book provides a self-contained treatment of stochastic finite element methods.

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Learning and Intelligent Optimization, LION 11, held in Nizhny,Novgorod, Russia, in June 2017.

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020.

This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017.

This book is intended as a study aid for the finite element method.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Modelling and Simulation for Autonomous Systems, MESAS 2021, held as a virtual event due COVID-19, in October 2021.

This proceedings constitutes the refereed post-conference proceedings of the 13th International Conference on Simulation Tools and Techniques, SIMUTools 2021, held in November 2021.

The book summarizes the current state of the solid oxide fuel cell (SOFC) technology in power generation applications.

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 book presents the state of the art in High Performance Computing on modern supercomputer architectures.

This book covers the subject of digital manufacturing.

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 constitutes the thoroughly refereed post-conference proceedings of the 12fth International Conference on High Performance Computing in Computational Science, VECPAR 2016, held in Porto, Portugal, in June 2016.

This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.

This edited book is one of the first to describe how Autonomous Virtual Humans and Social Robots can interact with real people and be aware of the surrounding world using machine learning and AI.

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

This book constitutes the proceedings of the 26th International Conference on Principles and Practice of Constraint Programming, CP 2020, held in Louvain-la-Neuve, Belgium, in September 2020.

This book constitutes the proceedings of the 16th International Conference on Information Technologies and Mathematical Modelling, ITMM 2017, held in Kazan, Russia, in September/October 2017.

This textbook demonstrates the application of the finite element philosophy to the solution of real-world problems and is aimed at graduate level students, but is also suitable for advanced undergraduate students.

This book constitutes the thoroughly refereedproceedings of the 4th International Conference on Smart Cities and Green ICTSystems, SMARTGREENS 2015, and the 1st InternationalConference on Vehicle Technology and Intelligent Transport Systems, VEHITS2015, held in Lisbon, Portugal, in May 2015.

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 covers the proceedings from the 2016 International Symposium on Chaos, Complexity and Leadership, and reflects current research results of chaos and complexity studies and their applications in various fields.

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 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.

The two-volume set of LNCS 10385 and 10386, constitutes the proceedings of the 8th International Confrence on Advances in Swarm Intelligence, ICSI 2017, held in Fukuoka, Japan, in July/August 2017.

This book reports on advanced concepts in fuzzy graph theory, showing a set of tools that can be successfully applied to understanding and modeling illegal human trafficking.

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

This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.

This book constitutes the proceedings of the 15th International Symposium on Algorithmic Game Theory, SAGT 2022, which took place in Colchester, UK, in September 2022.

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 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 comprehensively presents new findings in cardiovascular research related to signaling microdomains in health and disease.

This book provides a general theoretical background for constructing the recursive Bayesian estimation algorithms for mixture models.

This book constitutes the refereed proceedings of the 37th German Conference on Pattern Recognition, GCPR 2015, held in Aachen, Germany, in October 2015.

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

The two-volume set LNICST 209-210 constitutes the post-conference proceedings of the 11th EAI International Conference on Communications and Networking, ChinaCom 2016, held in Chongqing, China, in September 2016.

This essential metaheuristics tutorial provides descriptions and practical applications in the area of business analytics.

This contributed volume contains the conference proceedings of the Simulation of Urban Mobility (SUMO) conference 2015, Berlin.

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

This two volume set constitutes the refereed post-conference proceedings of the Second International Conference on Machine Learning and Intelligent Communications, MLICOM 2017, held in Weihai, China, in August 2017.