Kategoria BISAC: Computers >> Computer Simulation

This monograph provides comprehensive guidelines on the current and future trends of innovative simulation systems. In particular, their important components, such as augmented reality and unmanned vehicles are presented. The book consists of three parts. Each part presents good practices, new methods, concepts of systems and new algorithms. Presented challenges and solutions are the results of research and conducted by the contributing authors.

The book describes and evaluates the current state of knowledge in the field of innovative simulation systems. Throughout the chapters there...

Exact sampling, specifically coupling from the past (CFTP), allows users to sample exactly from the stationary distribution of a Markov chain. During its nearly 20 years of existence, exact sampling has evolved into perfect simulation, which enables high-dimensional simulation from interacting distributions.

Perfect Simulation illustrates the application of perfect simulation ideas and algorithms to a wide range of problems. The book is one of the first to bring together research on simulation from statistics, physics, finance, computer science, and other areas into...

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. The goal is to contribute toward bridging the gap between meteorology, aeronomy, and planetary science. In addition recent progress in several related research topics, such atmospheric wave coupling and variability, is discussed. Volume 1 will focus on the atmosphere, while Volume 2 will present the ionosphere-- the plasma environment. Volume 1 is aimed primarily at...

In networks of dynamic systems (or agents), consensus means to reach an agreement regarding a certain quantity of interest that depends on the state of all dynamical systems (agents). Consensus problems have a long history in control theory and computer sciences, and...

This volume contains selected papers in three closely related areas: mathematical modeling in mechanics, numerical analysis, and optimization methods. The papers are based upon talks presented on the International Conference for Mathematical Modeling and Optimization in Mechanics, held in Jyvaskyla, Finland, March 6-7, 2014 dedicated to Prof. N. Banichuk on the occasion of his 70th birthday. The articles are written by well-known scientists working in computational mechanics and in optimization of complicated technical models. Also, the volume contains papers discussing the historical...

Systems for Online Transaction Processing (OLTP) and Online Analytical Processing (OLAP) are currently separate. The potential of the latest technologies and changes in operational and analytical applications over the last decade have given rise to the unification of these systems, which can be of benefit for both workloads. Research and industry have reacted and prototypes of hybrid database systems are now appearing.

Benchmarks are the standard method for evaluating, comparing and supporting the development of new database systems. Because of the separation of OLTP and OLAP...

Political Science has traditionally employed empirical research and analytical resources to understand, explain and predict political phenomena. One of the long-standing criticisms against empirical modeling targets the static perspective provided by the model-invariant paradigm. In political science research, this issue has a particular relevance since political phenomena prove sophisticated degrees of context-dependency whose complexity could be hardly captured by traditional approaches. To cope with the complexity challenge, a new modeling paradigm was needed. This book is concerned...

This book constitutes thoroughly revised and selected papers from the Second International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2014, held in Lisbon, Portugal, in January 2014.

The 10 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 88 submissions. They are organized in topical sections named: invited papers; modeling languages, tools and architectures; and methodologies, processes and platforms.

Physics forms the basis for many of the motions and behaviors seen in both the real world and in the virtual worlds of animated films, visual effects, and computer games. By describing the underlying physical principles and then creating simulations based on these principles, these computer-generated worlds are brought to life. Physically Based Modeling and Animation goes behind the scenes of computer animation and details the mathematical and algorithmic foundations that are used to determine the behavior underlying the movement of virtual objects and materials. Dr. Donald House...

This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015.

The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case...

A practitioner's tools have a direct impact on the success of his or her work. This book will provide the data scientist with the tools and techniques required to excel with statistical learning methods in the areas of data access, data munging, exploratory data analysis, supervised machine learning, unsupervised machine learning and model evaluation.

Machine learning and data science are large disciplines, requiring years of study in order to gain proficiency. This book can be viewed as a set of essential tools we need for a long-term career in the data science field -...

These proceedings of the 20th International Conference on Difference Equations and Applications cover the areas of difference equations, discrete dynamical systems, fractal geometry, difference equations and biomedical models, and discrete models in the natural sciences, social sciences and engineering.

The conference was held at the Wuhan Institute of Physics and Mathematics, Chinese Academy of Sciences (Hubei, China), under the auspices of the International Society of Difference Equations (ISDE) in July 2014. Its purpose was to bring together renowned researchers working actively...