Nowadays embedded and real-time systems contain complex software. The complexity of embedded systems is increasing, and the amount and variety of software in the embedded products are growing. This creates a big challenge for embedded and real-time software development processes and there is a need to develop separate metrics and...

Nanodroplets, the basis of complex and advanced nanostructures such as quantum rings, quantum dots and quantum dot clusters for future electronic and optoelectronic materials and devices, have attracted the interdisciplinary interest of chemists, physicists and engineers. This book combines experimental and theoretical analyses of nanosized...

In the late 1990s, researchers began to grasp that the roots of many information security failures can be better explained with the language of economics than by pointing to instances of technical flaws. This led to a thriving new interdisciplinary research field combining economic and engineering insights, measurement approaches and...

This book presents a unified view of image motion analysis under the variational framework. Variational methods, rooted in physics and mechanics, but appearing in many other domains, such as statistics, control, and computer vision, address a problem from an optimization standpoint, i.e., they formulate it as the optimization of an objective...

The papers address issues such as polynomial algebra; the solution...

This book covers various aspects of lasers in materials science, including a comprehensive overview on basic principles of laser-materials interactions and applications enabled by pulsed laser systems. The material is organized in a coherent way, providing the reader with a harmonic architecture.
While systematically covering the...

The expression "Near-Death Experience" is associated in the popular understanding with access to knowledge about our transition between the states of life and death. But how should such experiences be interpreted? Are they verifiable with scientific methods? If so, how can they be explained? Attempting to relate matters of...

Synthesizing decades of work, but up-to-date, this book focuses on organism-level responses to pollutants by marine animals, mainly crustaceans, molluscs, and fishes. Emphasizing effects on physiological processes (feeding/digestion, respiration, osmoregulation), life-cycle (reproduction [including endocrine disruption], embryo...

The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and...

This book presents state-of-the-art scientific evidence and technological innovations to restore lands on the Loess Plateau of China, known worldwide for its serious land degradation and desertification problems. Supported by a rapidly developing Chinese economy and the dissemination of effective technology, the Grain-for-Green Project and...

Systems and their mathematical description play an important role in all branches of science. This book offers an introduction to mathematical modeling techniques. It is intended for undergrad students in applied natural science, in particular earth and environmental science, environmental engineering, as well as ecology, environmental...

Approximate Global Convergence and Adaptivity for Coefficient Inverse Problems is the first book in which two new concepts of numerical solutions of multidimensional Coefficient Inverse Problems (CIPs) for a hyperbolic Partial Differential Equation (PDE) are presented: Approximate Global Convergence and the Adaptive Finite Element...