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 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 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 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.
This textbook is aimed at computer science undergraduates late in sophomore or early in junior year, supplying a comprehensive background in qualitative and quantitative data analysis, probability, random variables, and statistical methods, including machine learning.
This easy-to-follow textbook provides an exercise-driven guide to the use of the Discrete Event Systems Specification (DEVS) simulation modeling formalism and the System Entity Structure (SES) simulation model ontology supported with the latest advances in software architecture and design principles, methods, and tools for building and testing virtual Systems of Systems (SoS).
This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event.
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.
This book constitutes revised selected papers from the jointly held conferences FHIES 2014, 4th International Symposium on Foundations of Health Information Engineering and Systems, and SEHC 2014, 6th International Workshop on Software Engineering in Health Care.
This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday.
This book constitutes the proceedings of the 14th International Conference on Parallel Computing Technologies, PaCT 2017, held in Nizhny Novgorod, Russia, in September 2017.
This book constitutes the thoroughly refereed proceedings of the 11th International Joint Conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016.
Understanding and controlling the physics of space charge effects in linear and circular proton and ion accelerators are essential to their operation, and to future high-intensity facilities.
This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.
The SpringerBriefs on Atmospheric and Space Sciences in two volumes presents a concise and interdisciplinary introduction to the basic theory, observation & modeling of atmospheric and ionospheric coupling processes on Earth.
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.
The two-volume set of LNCS 10385 and 10386, constitutes the proceedings of the 8th International Conference on Advances in Swarm Intelligence, ICSI 2017, held in Fukuoka, Japan, in July/August 2017.
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 constitutes the thoroughly refereed post-conference proceedings of the 19th and 20th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2015 and 2016, held respectively in Hyderabad, India, on May 26, 2015 and in Chicago, IL, USA, on May 27, 2016.
This volume on "e;Advances in Analysis and Design of Deep Foundations"e; contains 22 technical papers which cover various aspects of analysis and design of deep foundations based on full-scale field testing, numerical modeling, and analytical solutions.
This book gathers 22 papers which were presented at the 6th International Symposium of the ICA Commission on the History of Cartography in Dubrovnik, Croatia on 13-15 October 2016.
This book constitutes the refereed proceedings of the 24th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2017, held in Newcastle-upon-Tyne UK, in July 2017.
This book constitutes the refereed proceedings of the First International Symposium on Human Mental Workload: Models and Applications, H-WORKLOAD 2017, held in Dublin, Ireland, in June 2017.
This book is intended for researchers, practitioners and students who are interested in the current trends and want to make their GI applications and research dynamic.
This invaluable textbook/reference provides a hands-on guide to the application of good software development practices to the construction of distributed simulation systems, with a particular focus on High Level Architecture (HLA).
This invaluable text/reference reviews the state of the art in simulation-based approaches across a wide range of different disciplines, and provides evidence of using simulation-based approaches to advance these disciplines.
This book provides a detailed overview of the concepts, techniques, applications, and methodological approaches involved in land use and cover change (LUCC) modeling, also known simply as land change modeling.
This book reports on the latest advances in understanding cross-cultural decision and human cognition with respect to various cultural constructs, such as geographical, historical, sociological, and organizational cultures.
This book constitutes the refereed conference proceedings of the 12th EAI International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2016, held in Seoul, South Korea, in July 2016.