Computer modelling and simulation

This book presents the latest in decision-making tools, techniques, and solutions for policy makers to utilize in overcoming the challenges faced by healthcare systems.

This book applies a behavioral point of view to individuals' fire safety in historic buildings.

This book includes a selection of refereed papers presented at the "e;Annual International Conference of the German Operations Research Society (OR2016),"e; which took place at the Helmut-Schmidt-Universitat / Universitat der Bundeswehr Hamburg, Germany, Aug.

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

This book contains original research chapters related to the interdisciplinary field of complex networks spanning biological and environmental networks, social, technological, and economic networks.

This interdisciplinary reference and guide provides an introduction to modeling methodologies and models which form the starting point for deriving efficient and effective solution techniques, and presents a series of case studies that demonstrate how heuristic and analytical approaches may be used to solve large and complex problems.

This book constitutes the refereed proceedings of the 4th International Workshop and Challenge on Computational Methods and Clinical Applications for Spine Imaging, CSI 2016, held in conjunction with MICCAI 2016, in Athens, Greece, in October 2016.

The book comprehensively presents new findings in cardiovascular research related to signaling microdomains in health and disease.

This volume addresses challenges and solutions in transport and mobility of people and goods with respect to environment, safety, security and socio-economics issues, exploring advanced computational research work and the latest innovations in transport.

This volume offers a valuable starting point for anyone interested in learning computational diffusion MRI and mathematical methods for brain connectivity, while also sharing new perspectives and insights on the latest research challenges for those currently working in the field.

This book addresses the latest research and applications of fuzzy management methods for business decisions.

This book focuses on new and emerging data mining solutions that offer a greater level of transparency than existing solutions.

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.

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

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

This book constitutes the refereed post-conference proceedings of the International Conference on Machine Learning and Intelligent Communications, MLICOM 2016, held in Shanghai, China in August 2016.

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges.

This book constitutes revised, selected, and invited papers from the First International Workshop on Agent Based Modelling of Urban Systems, ABMUS 2016, held in conjunction with AAMAS 2016 in Singapore in May 2016.

There have been substantial developments in meshfree methods, particle methods, and generalized finite element methods since the mid 1990s.

This book describes issues in modeling unconventional conflict and suggests a new way to do the modeling.

This book constitutes the refereed proceedings of the 19th International Conference on Distributed and Computer and Communication Networks, DCCN 2016, held in Moscow, Russia, in November 2016.

This book introduces simulation tools and strategies for complex systems of solid-state-drives (SSDs) which consist of a flash multi-core microcontroller plus NAND flash memories.

With the continued application of gaming for training and education, which has seen exponential growth over the past two decades, this book offers an insightful introduction to the current developments and applications of game technologies within educational settings, with cutting-edge academic research and industry insights, providing a greater understanding into current and future developments and advances within this field.

This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012.

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 book covers dynamic simulation of deformable objects, which is one of the most challenging tasks in computer graphics and visualization.

The book provides readers with a snapshot of the state of the art in the field of nature-inspired computing and its application in optimization.

This book presents a set of approaches for the real-time monitoring and control of drinking-water networks based on advanced information and communication technologies.

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Learning and Optimization, LION 10, which was held on Ischia, Italy, in May/June 2016.

A successful integration of constraint programming and data mining has the potential to lead to a new ICT paradigm with far reaching implications.

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

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

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016.

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Big Data Benchmarking, WBDB 2015, held in Toronto, ON, Canada, in June 2015 and the 7th International Workshop, WBDB 2015, held in New Delhi, India, in December 2015.

This book constitutes the thoroughly refereed proceedings of the 16th International Conference on Transport Systems Telematics, TST 2016, held in Katowice-Ustron, Poland, in March 2016.

This book aims to cast light on all aspects of tunnel fires, based on experimental activities and theoretical and computational fluid dynamics (CFD) analyses.

This book constitutes the refereed proceedings of the 12th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2016, held in Ljubljana, Slovenia, in June 2016.

This book constitutes the proceedings of the 17th International Conference on Product-Focused Software Process Improvement, PROFES 2016, held in Trondheim, Norway, in November 2016.

This volume introduces a series of different data-driven computational methods for analyzing group processes through didactic and tutorial-based examples.

The information infrastructure - comprising computers, embedded devices, networks and software systems - is vital to day-to-day operations in every sector: information and telecommunications, banking and finance, energy, chemicals and hazardous materials, agriculture, food, water, public health, emergency services, transportation, postal and shipping, government and defense.

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

This book constitutes the refereed proceedings of seven workshops and a symposium, held at the 35th International Conference on Conceptual Modeling, ER 2016, in Gifu, Japan.

This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.

This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems Biology, HSB 2016, held in Grenoble, France, in October 2016.

This book constitutes the refereed proceedings of the Second International Workshop on Patch-Based Techniques in Medical Images, Patch-MI 2016, which was held in conjunction with MICCAI 2016, in Athens, Greece, in October 2016.

This book constitutes the refereed proceedings of the Third International Conference on Information Systems for Crisis Response and Management in Mediterranean Countries, ISCRAM-med 2016, held in Madrid, Spain, in October 2016.

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

The LNCS Transactions on Modularity and Composition are devoted to all aspects of software modularity and composition methods, tools, and techniques, covering requirement analysis, design, implementation, maintenance, and evolution.

This book presents a collection of results from the interdisciplinary research project "e;ELLI"e; published by researchers at RWTH Aachen University, the TU Dortmund and Ruhr-Universitat Bochum between 2011 and 2016.