Computer modelling and simulation

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.

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.

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Modelling and Simulation for Autonomous Systems,  MESAS 2016, held in Rome, Italy, in June 2016.

This book highlights recent developments in the field, presented at the Social Simulation 2015 conference in Groningen, The Netherlands.

This book features a selection of best papers from 11 workshops held at the International Conference on Autonomous Agents and Multiagent Systems, in Singapore in May 2016.

The book presents the state of the art in high-performance computing and simulation on modern supercomputer architectures.

This book constitutes the refereed proceedings of the First International Workshop on Simulation and Synthesis in Medical Imaging, held in conjunction with MICCAI 2016, in Athens, Greece, in October 2016.

This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015.

The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of today's agile system development, which is characterized by unclear premises, unforeseen change, and the need for fast reaction, in a context of hard-to-control frame conditions, such as third-party components, network problems, and attacks.

This monograph presents urban simulation methods that help in better understanding urban dynamics.

This book presents state-of-the-art research on forming processes and formed metal product development aided by the Finite Element Method (FEM).

This book constitutes the refereed proceedings of the 13th European Workshop on Computer Performance Engineering, EPEW 2016, held in Chios, Greece, in October 2016.

This book constitutes the refereed proceedings of the 345h International Conference on Conceptual Modeling, ER 2016, held in Gifu, Japan, in November 2016.

This book constitutes the refereed proceedings of the 39th Annual German Conference on Artificial Intelligence, KI 2016, in conjunction with the Osterreichische Gesellschaft fur Artificial Intelligence, OGAI, held in Klagenfurt, Austria, in September 2016.

This book constitutes the proceedings of the 14th German Conference on Multiagent System Technologies, MATES 2016, held in Klagenfurt, Austria, in September 2016.

This book constitutes the refereed proceedings of the 38th German Conference on Pattern Recognition, GCPR 2016, held in Hannover, Germany, in September 2016.

This book constitutes the proceedings of the 18th International Workshop on Computer Algebra in Scientific Computing, CASC 2016, held in Bucharest, Romania, in September 2016.

This book constitutes the refereed proceedings of the 6th International Conference on Model and Data Engineering, MEDI 2016, held in Almeria, Spain, in September 2016.

This volume reflects the 'philosophy of science in practice' approach and takes a fresh look at traditional philosophical problems in the context of natural, social, and health research.

This book constitutes the refereed proceedings of the 7th International Conference on Concept Mapping, CMC 2016, held in Tallinn, Estonia, in September 2016.

This book constitutes the proceedings of the 15th IFIP TC8 International Conference on Computer Information Systems and Industrial Management, CISIM 2016, held in Vilnius, Lithuania, in September 2016.

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 book constitutes the refereed proceedings of the 14th International Conference on Computational Methods in Systems Biology, CMSB 2016, held in Cambridge, UK, in September 2016.

This book presents a multi-disciplinary investigation into extortion rackets with a particular focus on the structures of criminal organisations and their collapse, societal processes in which extortion rackets strive and fail and the impacts of bottom-up and top-down ways of fighting extortion racketeering.

The articles in this book review hybrid experimental-computational methods applied to soft tissues which have been developed by worldwide specialists in the field.

This textbook introduces the basis for modelling and analysing discrete dynamic systems, such as computer programmes, soft- and hardware systems, and business processes.

This book constitutes the refereed proceedings of the 7th International Conference on Computational Logistics, ICCL 2016, held in Lisbon, Portugal, in September 2016.

Serving as a flagship driver towards advance research in the area of Big Data platforms and applications, this book provides a platform for the dissemination of advanced topics of theory, research efforts and analysis, and implementation oriented on methods, techniques and performance evaluation.

This book is a practical, step-by-step introduction to microsimulation in demography.

This book constitutes the refereed proceedings of the 15th International Scientific Conference on Information Technologies and Mathematical Modeling, named after A.

This book constitutes the proceedings of the 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, held in Fez, Morocco, in September 2014.

This book offers a practical guide to Agent Based economic modeling, adopting a "e;learning by doing"e; approach to help the reader master the fundamental tools needed to create and analyze Agent Based models.

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