This book explores the geotectonic evolution of the lithosphere beneath the Indian Shield, which comprises a collage of cratons variously bounded by mobile belts and palaeo-rifts. The lithosphere beneath these is fairly thin compared to other cratons worldwide, petrologically varied and shows considerable variation in thickness with...
Daily rhythms are a ubiquitous feature of living systems. Generally, these rhythms are not just passive consequences of cyclic fluctuations in the environment, but instead originate within the organism. In mammals, including humans, the master pacemaker controlling 24-hour rhythms is localized in the suprachiasmatic nuclei of the hypothalamus...
Since it was first published in 1995, Photonic Crystals has remained the definitive text for both undergraduates and researchers on photonic band-gap materials and their use in controlling the propagation of light. This newly expanded and revised edition covers the latest developments in the field, providing the most up-to-date, concise,...
Biological and other natural processes have always been a source of inspiration for computer science and information technology. Many emerging problem solving techniques integrate advanced evolution and cooperation strategies, encompassing a range of spatio-temporal scales for visionary conceptualization of evolutionary computation.
Face recognition has been actively studied over the past decade and continues to be a big research challenge. Just recently, researchers have begun to investigate face recognition under unconstrained conditions. Unconstrained Face Recognition provides a comprehensive review of this biometric, especially face recognition from video, assembling a...
Techniques of vision-based motion analysis aim to detect, track, identify, and generally understand the behavior of objects in image sequences. With the growth of video data in a wide range of applications from visual surveillance to human-machine interfaces, the ability to automatically analyze and understand object motions from video...
The book is devoted to structural issues, algorithms, and applications of resource allocation problems in project management. Special emphasis is given to a unifying framework within which a large variety of project scheduling problems can be treated. Those problems involve general temporal constraints among project activities, different types of...
It seems curious that we have not found a general definition of this term in the literature. In statistics, for example, data analysis is understood as “the process of computing various summaries and derived values from the given collection of data” (Hand 1999, p. 3). It is specially stressed that the process is...
The constant growth of the world’s population and the decline of the availability of land and soil resources are global concerns for food security. Other concerns are the decrease in productivity and delivery of essential ecosystems services because of the decline of soil quality and health by a range of degradation processes....
Proof technology will become an established field in software engineering. It generally aims at integrating proof processing into industrial design and verifications tools. The origins of this technology lie in the systematic understanding of a fully-fledged, precise notion of proof by mathematics and logics. Using this profound understanding,...
Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical...
The book provides an original approach in the research of structural analysis of free developed shear compressible turbulence at high Reynolds number on the base of direct numerical simulation (DNS) and instability evolution for ideal medium (integral conservation laws) with approximate mechanism of dissipation (FLUX dissipative monotone...
