This textbook presents the concepts and tools necessary to understand, build, and implement algorithms for computing elementary functions (e.g., logarithms, exponentials, and the trigonometric functions). Both hardware- and software-oriented algorithms are included, along with issues related to accurate floating-point implementation. This third edition has been updated and expanded to incorpo…
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and ar…
This three-part book provides a comprehensive and systematic introduction to these challenging topics such as model calibration, parameter estimation, reliability assessment, and data collection design. Part 1 covers the classical inverse problem for parameter estimation in both deterministic and statistical frameworks, Part 2 is dedicated to system identification, hyperparameter estimation, an…
This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by…
Mobility and Ancient Society in Asia and the Americas contains contributions by leading international scholars concerning the character, timing, and geography of regional migrations that led to the dispersal of human societies from Inner and northeast Asia to the New World in the Upper Pleistocene (ca. 20,000-15,000 years ago). This volume bridges scholarly traditions from Europe, Central Asia,…
What are the effects of market reform on social stratifi cation in rural China? This topic has been a focus of sociology, especially comparative stratifi cation research, for more than two decades, because market reform in rural China provides a rare natural experiment involving changes in the stratifi cation order on a scale reminiscent of what was experienced in the West during the rise o…
This volume describes the design of relay-based circuit systems from device fabrication to circuit micro-architectures. This book is ideal for both device engineers as well as circuit system designers, and highlights the importance of co-design across design hierarchies when trying to optimize system performance (in this case, energy-efficiency). The book will also appeal to researchers and eng…
This book presents the current state of research on the basic scientific aspects of root canal biofilm biology within a clinically applicable context. Root canal biofilms are complex polymicrobial structures adhering to the root canal surface that are formed by microorganisms invading the pulpal space of teeth, and are associated with persistent root canal infections. Concerted efforts to study…
Enrico Michelini illustrates that sport plays a very marginal role in the contemporary health promotion. This is the main result of the present analysis of national strategies for the promotion of physical activity issued by the health ministries of France, Germany, and Italy. All these health-strategies are rather ambiguous on this subject: They mention sport systematically as an abstract term…
While religion was expelled from the public space during Communist times and became a secret form of “inner emigration”, it entered the empty public space again in Post-Communist times. Public interest in religious issues and the public prestige of religion have dramatically increased. The book “Under Construction. The Role of Religion in Eastern Europe Today” deals with the (re-)emerge…