This book constitutes the proceedings of the 15th International Symposium on Algorithmic Game Theory, SAGT 2022, which took place in Colchester, UK, in September 2022.
The two-volume set LNICST 236-237 constitutes the post-conference proceedings of the 12th EAI International Conference on Communications and Networking, ChinaCom 2017, held in Xi'an, China, in September 2017.
This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI).
This book constitutes the refereed proceedings of the 37th German Conference on Pattern Recognition, GCPR 2015, held in Aachen, Germany, in October 2015.
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 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.
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 aim of the book is to give an accessible introduction of mathematical models and signal processing methods in speech and hearing sciences for senior undergraduate and beginning graduate students with basic knowledge of linear algebra, differential equations, numerical analysis, and probability.
Thisbook constitutes the refereed proceedings of the 18th International Conferenceon Distributed and Computer and Communication Networks, DCCN 2015, held inMoscow, Russia, in October 2015.
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.
The two-volume set LNICST 236-237 constitutes the post-conference proceedings of the 12th EAI International Conference on Communications and Networking, ChinaCom 2017, held in Xi'an, China, in September 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 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 introduces the reader to a new method of data assimilation with deterministic constraints (exact satisfaction of dynamic constraints)-an optimal assimilation strategy called Forecast Sensitivity Method (FSM), as an alternative to the well-known four-dimensional variational (4D-Var) data assimilation method.
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.
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 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 constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.
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 presents cutting-edge work on real-time modelling and processing, a highly active research field in both the research and industrial domains.
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.
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 24th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2017, held in Newcastle-upon-Tyne UK, in July 2017.
This book describes a unique combination of quantum chemical methods for calculating the basic physical properties of luminescent materials, or phosphors.
This book constitutes the refereed proceedings of the 14th International Symposium on Algorithmic Game Theory, SAGT 2021, held in Aarhus, Denmark in September 2021.
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 provides a hands-on guide to how financial models are actually implemented and used in practice, on a daily basis, for pricing and risk-management purposes.
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 interdisciplinary reference and guide provides an introduction to modeling methodologies and models which form the starting point for deriving efficient and effective solution techniques, and presents a series of case studies that demonstrate how heuristic and analytical approaches may be used to solve large and complex problems.
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 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 is a collection of papers compiled from the conference "e;Algorithms and Computer-Based Solutions"e; held on June 8-9, 2021 at Peter the Great St.
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 11th International Conference on Simulated Evolution and Learning, SEAL 2017, held in Shenzhen, China, in November 2017.
