Formal Methods for Components and Objects

WINNER OF THE 2001 DEGROOT PRIZE!Probabilistic expert systems are graphical networks that support the modelling of uncertainty and decisions in large complex domains, while retaining ease of calculat

A scholarly, yet practical approach to teaching these courses in two- and four-year colleges and in universities, this helpful resource is ideal for those teaching introductory, inte

Scientists from six countries, well known for their work in the field of identity research, explain and comment on methodological approaches used to research identity.

Near Earth Objects (NEOs), asteroids and comets, are the closest neighbors of the Earth-Moon system. They allow research not yet possible on more distant bodies. The IAU Symposium 236 focused on the specific observation and modeling techniques for NEOs, including radar, exploration by spacecraft, measurement of non-gravitational perturbations; also on the next generation surveys expected to increase a hundred-fold the NEO discovery rate. With data from first generation NEO surveys, we now understand how they formed and evolve, dynamically and physically, opening a window on the universal astrophysical phenomenon of collision, leaving clear markings on the surfaces of planets, including the Earth. NEOs with orbits crossing that of the Earth are also a source of impact risks and potential NEO collisions with the Earth represent a long term threat. Mankind has to put in place a chain of mitigating actions; NEO astronomers have successfully put in place the first link.

Worldwide, millions of people are displaced annually because of natural or industrial disasters or social upheaval. Reliable data on the numbers, characteristics, and locations of these populations ca

Bayesian methods combine information available from data with any prior information available from expert knowledge. The Bayes linear approach follows this path, offering a quantitative structure for

Twenty-three chapters describe techniques for producing therapeutic proteins and vaccines, providing material lists, step-by-step instructions, and notes on potential pitfalls. New analytical techniqu

"In this unique book, management science lifts its view to take in the broader horizons of strategy. the result is a frame work for strategy development, and a range of methods and models to make it o

"In this unique book, management science lifts its view to take in the broader horizons of strategy. the result is a frame work for strategy development, and a range of methods and models to make it o

Written for the piping engineer and designer in the field, this two-part series fills a void in piping literature, since the Rip Weaver books of the '90s were taken out of print at the advent of the C

AECT Design & Development Outstanding Book Award for 2008!Design and Development Research thoroughly discusses methods and strategies appropriate for conducting design and development research. Ri

In this resource for school leaders, Enomoto (U. of Hawaii) and Kramer (U. of St. Thomas) describe a democratic approach for resolving ethical questions that arise in schools serving diverse communiti

This volume offers a snapshot of the research that is ongoing in the area of value transfer. It provides relevant input for increasing the quality of cost-benefit analyses of projects with environment

Many very intelligent people don't like dealing with numbers. Similarly, many gifted scientists are not especially interested in studying people and their cultural behavior. In this book, we argue tha

Qualitative Methods for Family Studies and Human Development serves as a step-by-step, interdisciplinary, qualitative methods text for those working in the areas of family studies, human development,

Pedagogical insights gained through 30 years of teaching applied mathematics led the author to write this set of student-oriented books. Topics such as complex analysis, matrix theory, vector and tens

Grocke (music therapy, U. of Melbourne, Australia) and Wigram (music therapy, U. of Aalborg, Denmark) provide a discussion of the use of receptive listening methods and techniques that clinicians, edu

Spectral methods are well-suited to solve problems modeled by time-dependent partial differential equations: they are fast, efficient and accurate and widely used by mathematicians and practitioners. This class-tested 2007 introduction, the first on the subject, is ideal for graduate courses, or self-study. The authors describe the basic theory of spectral methods, allowing the reader to understand the techniques through numerous examples as well as more rigorous developments. They provide a detailed treatment of methods based on Fourier expansions and orthogonal polynomials (including discussions of stability, boundary conditions, filtering, and the extension from the linear to the nonlinear situation). Computational solution techniques for integration in time are dealt with by Runge-Kutta type methods. Several chapters are devoted to material not previously covered in book form, including stability theory for polynomial methods, techniques for problems with discontinuous solutions, r

Here, the most important classes of toxic chemicals from personal care compounds are systematically covered, from cosmetics to plastics additives to pharmaceuticals. For each substance, data on toxici

This textbook contains information essential for successful experiments at low temperatures. The first chapters describe the low-temperature properties of liquids and solid matter, including liquid he

Pedagogical insights gained through 30 years of teaching applied mathematics led the author to write this set of student-oriented books. Topics such as complex analysis, matrix theory, vector and tens

Volume Two of this two-volume sequence presents a comprehensive overview of protein structure prediction methods and includes protein threading, De novo methods, applications to membrane proteins and

It has been claimed that the natural sciences have abstracted for themselves a 'material world' set apart from human concerns, and social sciences, in their turn, constructed 'a world of actors devoid

Human Factors Methods for Improving Performance in the Process Industries provides guidance for managers and plant engineering staff on specific, practical techniques and tools for addressing forty di

In today's extensively wired world, cryptology is vital for guarding communication channels, databases, and software from intruders. Increased processing and communications speed, rapidly broadening a

Seventy-seven international researchers contribute 31 chapters outlining cutting-edge protocols and strategies for proteomic evaluation of cardiovascular disease. The material is organized into sectio

These are critical questions in confronting the social causes of ill health, yet many health students do not have the appropriate training in the anthropological methods and techniques that help answ

This comprehensive text focuses on mathematical and numerical techniques for the simulation of magnetohydrodynamic phenomena, with an emphasis laid on the magnetohydrodynamics of liquid metals, and on

Evidence-Based Treatments for Alcohol and Drug Abuse encompasses the developments in the field over the last decade, blending theory, techniques and clinical flexibility.Research in the past decade ha

In undergraduate classes on communications it is crucial for the students to acquire a deep and thorough understanding of the system principles, methods of analysis, and design tradeoffs. Communicatio

Suitable for a first year graduate course, this textbook unites the applications of numerical mathematics and scientific computing to the practice of chemical engineering. Written in a pedagogic style, the book describes basic linear and nonlinear algebric systems all the way through to stochastic methods, Bayesian statistics and parameter estimation. These subjects are developed at a level of mathematics suitable for graduate engineering study without the exhaustive level of the theoretical mathematical detail. The implementation of numerical methods in MATLAB is integrated within each chapter and numerous examples in chemical engineering are provided, with a library of corresponding MATLAB programs. This book will provide the graduate student with essential tools required by industry and research alike. Supplementary material includes solutions to homework problems set in the text, MATLAB programs and tutorial, lecture slides, and complicated derivations for the more advanced reader.

Thisvolume contains thecollection of papers from the second workshop on Expe- mental Acoustic Inversion Techniques for Exploration of theShallow Water Environment. Theworkshopthemefollowedtheoriginalc

Metabolomics: Methods and Protocols examines the state-of-the-art in metabolomic analysis. Leading researchers in the field present protocols for the application of complementary analytical methods,

"This book provides a comprehensive, critical approach to meeting the new challenges of technology in the classroom. It gathers together research on technology methods, principles, and content, acting

This book presents proven lab procedures and practical hints for research in analytical and preparative biochemistry, and offers convenient key data in numerous tables. Coverage includes quantitative

Written for use in pre-service and in-service curriculum courses, this text provides a balanced and engaging overview of how curriculum and developmental theories help inform the practical needs of th

Focusing on the application of mathematics to chemical engineering, Applied Mathematical Methods for Chemical Engineers, Second Edition addresses the setup and verification of mathematical models usin

An invaluable field textbook, Objects examines detailed case studies to provide a brilliantly clear and comprehensible guide to the different methods and approaches (cultural, forensic, and technical)

An invaluable field textbook, Objects examines detailed case studies to provide a brilliantly clear and comprehensible guide to the different methods and approaches (cultural, forensic, and technical)

The purpose of this book is to present the basic elements of numerical methods for compressible flows. It is appropriate for advanced undergraduate and graduate students and specialists working in high speed flows. The focus is on the unsteady one-dimensional Euler equations which form the basis for numerical algorithms in compressible fluid mechanics. The book is restricted to the basic concepts of finite volume methods, and even in this regard is not intended to be exhaustive in its treatment. Although the practical applications of the one-dimensional Euler equations are limited, virtually all numerical algorithms for inviscid compressible flow in two and three dimensions owe their origin to techniques developed in the context of the one-dimensional Euler equations. The author believes it is therefore essential to understand the development and implementation of these algorithms in their original one-dimensional context. The text is supplemented by numerous end-of-chapter exercises.