Computer modelling and simulation

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.

This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017.

This book constitutes the refereed proceedings of the First International Conference on Analytical and Computational Methods in Probability Theory and its Applications, ACMPT 2017, held in Moscow, Russia, in October 2017.

This book explores break-through approaches to tackling and mitigating the well-known problems of compiler optimization using design space exploration and machine learning techniques.

This book, which contains a collection of review articles as well as focus on evidence-based policy making, will serve as a valuable resource not just for all postgraduate students conducting research using systems analysis thinking but also for policy makers.

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

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.

This book addresses the problems involved in the modelling and simulation of shale gas reservoirs, and details recent advances in the field.

This unique volume introduces and discusses the methods of validating computer simulations in scientific research.

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems.

This book features selected contributions in the areas of modeling, simulation, and optimization.

The information infrastructure - comprising computers, embedded devices, networks and software systems - is vital to operations in every sector: chemicals, commercial facilities, communications, critical manufacturing, dams, defense industrial base, emergency services, energy, financial services, food and agriculture, government facilities, healthcare and public health, information technology, nuclear reactors, materials and waste, transportation systems, and water and wastewater systems.

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October2017.

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 presents a collection of papers on topics in the field of strategic mine planning, including orebody modeling, mine-planning optimization and the optimization of mining complexes.

This book constitutes the refereed proceedings of the 11th International Conference on Simulated Evolution and Learning, SEAL 2017, held in Shenzhen, China, in November 2017.

This book constitutes the refereed proceedings of the 8th InternationalConference on Computational Logistics, ICCL 2017, held in Southampton,UK, in October 2017.

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

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.

This book constitutes the thoroughly refereed proceedings of the 13th Biennial Conference, KogWis 2016, held in Bremen, Germany, in September 2016, and the 10th International Conference, Spatial Cognition 2016, held in Philadelphia, PA, USA, in August 2016.

This book gathers papers presented at the VipIMAGE 2017-VI ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing.

This book constitutes the refereed proceedings of the 13th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2017, held in Essen, Germany, in June 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 essential metaheuristics tutorial provides descriptions and practical applications in the area of business analytics.

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 volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Mathematical Methods for Curves and Surfaces, MMCS 2016, held in Tonsberg, Norway, in June 2016.

This book constitutes the thoroughly refereed post-conference proceedings of the 17th International Workshop on Multi-Agent-Based Simulation, MABs 2016, held in Singapore, in May 2016.

This book constitutes the refereed proceedings of the 15th International Conference on Computational Methods in Systems Biology, CMSB 2017, held in Darmstadt, Germany, 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 tutorial provides the application of the coupling interface OGS#IPhreeqc (open-source scientific software) to model reactive mass transport processes in environmental subsurface systems.

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 refereed proceedings of the 11th International Conference on Parallel Computational Technologies, PCT 2017, held in Kazan, Russia, in April 2017.

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

This book presents the state of the art in High Performance Computing on modern supercomputer architectures.

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 10th International Symposium on Algorithmic Game Theory, SAGT 2017, held in L'Aquila, Italy, in September 2017.

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.

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 book describes new theories and applications of artificial neural networks, with a special focus on neural computation, cognitive science and machine learning.

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 proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, 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 describes, from a computer science viewpoint the software, methods of simulating and analysing crowds with a particular focus on the effects of panic in emergency situations.

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

This book treats modeling and simulation in a simple way, that builds on the existing knowledge and intuition of students.

This book contains a selection of papers presented during a special workshop on Complexity Science organized as part of the 9th International Conference on GIScience 2016.

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.

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

This book integrates current advances in biology, economics of information and linguistics research through applications using agent-based modeling and social network analysis to develop scenarios of communication and language emergence in the social aspects of biological communications.

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.