Model Validation and Uncertainty Quantifi cation, Volume 3. Proceedings of the 34th IMAC, A Conference and Exposition on Dynamics of Multiphysical Systems: From Active Materials to Vibroacoustics, 2016, the third volume of ten from the Conference brings together contributions to this important area of research and engineering. Th e collection presents early findings and case studies on fundamen…
This monograph presents results of the analytical and numerical modeling of convective heat and mass transfer in different rotating flows caused by (i) system rotation, (ii) swirl flows due to swirl generators, and (iii) surface curvature in turns and bends. Volume forces (i.e. centrifugal and Coriolis forces), which influence the flow pattern, emerge in all of these rotating flows. The main pa…
Focusing on life insurance and pensions, this book addresses various aspects of modelling in modern insurance: insurance liabilities; asset-liability management; securitization, hedging, and investment strategies. With contributions from internationally renowned academics in actuarial science, finance, and management science and key people in major life insurance and reinsurance companies, ther…
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…