Bücher veröffentlicht von Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory.

The theoretical results in this monograph indicate that life provides alternative strategies to aging. The central insight of this monograph is: to deeply understand why some species age it is necessary to understand why other species do not.

The discovery of extrasolar planets in recent years has opened a new field of astronomy and spurred a rapid rise in observational and theoretical research. This text introduces planetary systems and explores them from all aspects.

In a highly authoritative and systematic manner, this book offers an in-depth treatment of the essence of the case-based reasoning strategy and case-based design dwelling upon the algorithmic facet of the paradigm.

The NMR probe has yielded a panorama of data on the static and dynamic magnetic properties of high-Tc materials. This volume aims to provide a comprehensive exposition of the various facets of the technique itself and to apply those results to the task of creating straightforward physical meaning for the elements of the available data.

This book provides mathematical models of pedestrian movements that can be used specifically for designing feedback control laws for effective evacuation. It book uses the hydrodynamic hyperbolic PDE macroscopic pedestrian models since they are amenable to feedback control design.

This book presents hardware-efficient algorithms and FPGA implementations for two robotic tasks, namely exploration and landmark determination. The work identifies scenarios for mobile robotics where parallel processing and selective shutdown offered by FPGAs are invaluable.

This book covers high order finite difference methods for time dependent PDE.

Angle and spin resolved Auger emission physics deals with the theoretical and numerical description, analysis and interpretation of such types of experiments on free atoms and molecules.

This book deals with the class of singular systems with random abrupt changes also known as singular Markovian jump systems. The book examines both the theoretical and practical aspects of the control problems from the angle of the structural properties of linear systems.

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques.

The current, unprecedented loss of global biodiversity resulting from anthropogenic interference in the world's ecosystems is affecting human well-being across the globe with increasing severity. It examines whether genetic information derived from biodiversity can be used to create incentives to preserve biodiversity.

As opposed to the Monte Carlo strategies, in which the population is sampled according to the uniform probability distribution over the search domain, genetic algorithms modify the probability distribution at each step.

This book provides the reader with an insight into the science and technology of interstellar spaceflight. It also examines for the first time how it may be possible to exploit the Sun as a gravitational lens for the purposes of interstellar exploration.

This is the third edition of the classic textbook on the subject. With its clear writing, strong organization, and comprehensive coverage of essential theory it is like a personal guide through this important topic, and now has lots of extra material.

This work is the first and only book on the fundamentals of ultrasonic machining. It presents the foundations of dynamic and control for ultrasonic processing systems and considers ultrasonic systems as special vibratory machines that function by exploiting nonlinear dynamic processes.

This second volume of Howard Carmichael's work continues the development of the methods used in quantum optics to treat open quantum systems and their fluctuations.

This book gives an introduction to modern geometry. This second edition contains two additional, more advanced geometric techniques: the modern language and modern view of Algebraic Geometry and Mirror Symmetry.

This book presents theoretical fundamentals and applications of a new numerical model that has the ability to simulate wave propagation. In addition, the book includes a numerical simulation of wave propagation based on scalar and vector wave equations, as well as fluid-structure interaction and soil-structure interaction.

The mechanics of Coupled Fields is a discipline at the edge of modern research connecting Continuum Mechanics with Solid State Physics. A vast number of problems are considered so that the reader can get a clear quantitative and qualitative understanding of the phenomena taking place.

This book offers the foundations of system analysis as an applied scientific methodology assigned for the investigation of complex and highly interdisciplinary problems. It describes in detail the methods of formalizing the system tasks and reducing them to a solvable form under real-world conditions.

Cybernetical physics borrows methods from both theoretical physics and control engineering. It deals with the control of complex systems is one of the most important aspects in dealing with systems exhibiting nonlinear behavior or similar features that defy traditional control techniques. This book fully details this new discipline.

The book deals with algorithmic problems related to binary quadratic forms. It uniquely focuses on the algorithmic aspects of the theory. The book introduces the reader to important areas of number theory such as diophantine equations, reduction theory of quadratic forms, geometry of numbers and algebraic number theory.

This book provides a step-by-step procedure for formulation and development of Artificial Neural Networks based Vehicular pollution models. It takes into account meteorological and traffic aspects. The book will be useful for professionals and researchers working in problems associated with urban air pollution management and control

This book describes the application of piezoelectric materials, particularly piezoceramics, in the wide field of actuators and sensors. It gives a step-by-step introduction to the structure and mechanics of piezoelectric beam bending actuators in multilayer technology, which are of increasing importance for industrial applications.

A new approach is presented in this book for modelling multi-body systems, which constitutes a substantial enhancement of the Rigid Finite Element method.

This book shows that a special bank bankruptcy regime is desirable for the efficient restructuring and/or liquidation of distressed banks. It explores in detail both the principal features of corporate bankruptcy law and the specific characteristics of banks.

This book is devoted to the theory of coupled electro-magneto-thermo-elastic fields excited in different bodies by various sources, both static and dynamic.

Essentials of Chemical Education provides a practice-oriented overview with numerous examples from current chemical education, including experiments, models and exercises as well as relevant results from research on learning and teaching.