Computer modelling and simulation

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 provides a comprehensive introduction to techniques for quantitative subsidence analysis and visualization with example applications.

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

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

This book is a practical guide for the use of simulation in neurosurgery, with chapters covering high fidelity simulation, animal models simulation, cadaveric simulation, and virtual reality simulation.

This collection of selected papers presented at the 11th International Conference on Scientific Computing in Electrical Engineering (SCEE), held in St.

Sparse grids are a popular tool for the numerical treatment of high-dimensional problems.

This book presents an introduction to the analysis of general movements in 3D space, especially for movements of the human body.

The two-volume set LNCS 10671 and 10672 constitutes the thoroughly refereed proceedings of the 16th International Conference on Computer Aided Systems Theory, EUROCAST 2017, held in Las Palmas de Gran Canaria, Spain, in February 2017.

The two-volume set LNCS 10671 and 10672 constitutes the thoroughly refereed proceedings of the 16th International Conference on Computer Aided Systems Theory, EUROCAST 2017, held in Las Palmas de Gran Canaria, Spain, in February 2017.

This book constitutes the refereed proceedings of the 9th International Conference on Ad Hoc Networks, AdHocNets 2017, held in Niagara Falls, Ontario, USA, in September 2017.

This volume contains the peer-reviewed proceedings of the International Conference on Modelling and Simulation (MS-17), held in Kolkata, India, 4th-5th November 2017, organized by the Association for the Advancement of Modelling and Simulation Techniques in Enterprises (AMSE, France) in association with the Institution of Engineering Technology (IET, UK), Kolkata Network.

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 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 refereed proceedings of the First International Conference on Advanced Hybrid Information Processing, ADHIB 2017, held in Harbin, China, in July 2017.

This simple-to-follow textbook/reference provides an invaluable guide to object-oriented C++ programming for scientific computing.

Modeling Discrete-Event Systems with GPenSIM describes the design and applications of General Purpose Petri Net Simulator (GPenSIM), which is a software tool for modeling, simulation, and performance analysis of discrete-event systems.

This book constitutes the proceedings of the First International Conference on 5G for Future Wireless Networks, 5GWN 2017, held in Beijing, China, in April 2017.

This unique text/reference reviews the key principles and techniques in conceptual modelling which are of relevance to specialists in the field of cultural heritage.

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.

This book presents cutting-edge work on real-time modelling and processing, a highly active research field in both the research and industrial domains.

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.