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.
This book focuses on computational modeling and simulation research that advances the current state-of-the-art regarding human factors in simulation and applied digital human modeling.
This book constitutes the refereed proceedings of the nine workshops co-located with the 15th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2017, held in Porto, Portugal, in June 2017.
This book presents the proceedings of the 8th international Symposium "e;Information Fusion and Intelligent Geographic Information Systems 2017"e; (IF&ICIS'2017), which took place at Shanghai Maritime University, China, from May 10 to 12, 2017.
This book constitutes the revised selected papers from the 14th European Conference on Multi-Agent Systems, EUMAS 2016, and the Fourth International Conference on Agreement Technologies, AT 2016, held in Valencia, Spain, in December 2016.
This book constitutes the proceedings of the 16th IFIP TC8 International Conference on Computer Information Systems and Industrial Management, CISIM 2017, held in Bialystok, Poland, in June 2017.
This illuminating text/reference presents a review of the key aspects of the modeling and simulation (M&S) life cycle, and examines the challenges of M&S in different application areas.
This book covers some important topics in the construction of computable general equilibrium (CGE) models and examines use of these models for the analysis of economic policies, their properties, and their implications.
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 the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017.
This book offers a selection of the best articles presented at the CUPUM (Computers in Urban Planning and Urban Management) Conference, held in the second week of July 2017 at the University of South Australia in Adelaide.
This contributed volume contains the research results of the priority programme (PP) 1480 "e;Modelling, Simulation and Compensation of Thermal Effects for Complex Machining Processes"e;, funded by the German Research Society (DFG).
This book constitutes the proceedings of the 12th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, held in Toulouse, France, in May 2017.
This book disseminates the current trends among innovative and high-quality research regarding the implementation of conceptual frameworks, strategies, techniques, methodologies, informatics platforms and models for developing advanced industrial tools and techniques and their application in different fields.
This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016, held in Rome, Italy, in April 2016.
This book introduces readers to MesoBioNano (MBN) Explorer - a multi-purpose software package designed to model molecular systems at various levels of size and complexity.
Building on the author's earlier Applied Simulation and Optimization, this book presents novel methods for solving problems in industry, based on hybrid simulation-optimization approaches that combine the advantages of both paradigms.
