The Handbook of Unmanned Aerial Vehicles is a reference text for the academic and research communities, industry, manufacturers, users, practitioners, Federal Government, Federal and State Agencies, the private sector, as well as all organizations that are and will be using unmanned aircraft in a wide spectrum of applications. The Handbook covers all aspects of UAVs, from design to logistics an…
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpr…
This volume examines two distinct low fertility scenarios that have emerged in economically advanced countries since the turn of the 20th century: one in which fertility is at or near replacement-level and the other where fertility is well below replacement. It explores the way various institutions, histories and cultures influence fertility in a diverse range of countries in Asia, Europe, Nort…
This timely desk reference focuses on marine-derived bioactive substances which have biological, medical and industrial applications. The medicinal value of these marine natural products are assessed and discussed. Their function as a new and important resource in novel, anticancer drug discovery research is also presented in international contributions from several research groups. For example…
There is overwhelming evidence, from laboratory experiments, observations, and computational studies, that coherent structures can cause intermittent transport, dramatically enhancing transport. A proper description of this intermittent phenomenon, however, is extremely difficult, requiring a new non-perturbative theory, such as statistical description. Furthermore, multi-scale interactions are…
This atlas of echocardiography presents more than 100 cases of adult congenital heart disease, from diagnosis to treatment follow-up. The coverage is broad, encompassing atrial and ventricular septal defects, patent ductus arteriosus, cyanotic adult congenital heart disease, and numerous other anomalies, as well as findings on fetal echocardiography. For each disease, all echocardiographic imag…
Mathematical analyses and computational predictions of the behavior of complex systems are needed to effectively deal with weather and climate predictions, for example, and the optimal design of technical processes. Given the random nature of such systems and the recognized relevance of randomness, the equations used to describe such systems usually need to involve stochastics. The basic go…
Linux and Solaris Recipes for Oracle DBAs, 2nd Edition is an example–based book on managing Oracle Database under Linux and Solaris. The book is written for database administrators who need to get work done and lack the luxury of curling up fireside with a stack of operating-system documentation. What this book provides instead is task-oriented coverage designed around the needs of the Oracle…
Home health services are those which are provided within the comforts of the home setting to help people avoid hospitalization or skilled nursing facility placement, while they recover from illness, injury, or disability. Home health care may also be provided to people who suffer from chronic illnesses, those who have cognitive or physical disabilities or those who have been diagnosed with a te…
Marine biotechnology is concerned with the study of biochemical materials and processes from marine sources, that play a vital role in the isolation of novel drugs, and to bring them to industrial and pharmaceutical development. Today, a multitude of bioprocess techniques is employed to isolate and produce marine natural compounds, novel biomaterials, or proteins and enzymes from marine organis…