Formal Methods for Components and Objects

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.

This ninth volume in the series concentrates on in situ spectroscopic methods and combines a balanced mixture of theory and applications, making it highly readable for chemists and physicists, as well

Along with other experts on the health consequences of disasters, Norris (psychiatry, Dartmouth Medical School; National Center for PTSD; National Consortium for the Study of Terrorism and Response to

This concise, applied, and very clearly written introduction to qualitative research methods can be used effectively in a semester, or year-long course. The purpose of this introductory-level text is

Mathematical modelling is widely used in ecology and evolutionary biology and it is a topic that many biologists find difficult to grasp. In this new textbook Marc Mangel provides a no-nonsense introduction to the skills needed to understand the principles of theoretical and mathematical biology. Fundamental theories and applications are introduced using numerous examples from current biological research, complete with illustrations to highlight key points. Exercises are also included throughout the text to show how theory can be applied and to test knowledge gained so far. Suitable for advanced undergraduate courses in theoretical and mathematical biology, this book forms an essential resource for anyone wanting to gain an understanding of theoretical ecology and evolution.

This book focuses on the measurement and utilisation of quantitative indicators in the urban and regional planning fields. There has been a resurgence of academic and policy interest in using indicato

Multi-Gigabit Transmission over Multimode Optical Fibre presents a system design approach to single-wavelength laser-based multimode optical fibre transmission systems, operating at multi-gigabit data

A hands-on introduction to the tools needed for rigorous and theoretical mathematical reasoningSuccessfully addressing the frustration many students experience as they make the transition from computa

An innovative treatment of mathematical methods for a multidisciplinary audience Clearly and elegantly presented, Mathematical Methods in Science and Engineering provides a coherent treatment of math

Phylogenic (evolutionary) trees (diagrams) have been used as a method of discerning gaps in histories, known events, and trends for about the past two centuries, and now, of course, the computer is ma

Optimization Theory and Methods can be used as a textbook for an optimization course for graduates and senior undergraduates. It is the result of the author's teaching and research over the past decad

Optimization Theory and Methods can be used as a textbook for an optimization course for graduates and senior undergraduates. It is the result of the author's teaching and research over the past decad

This book serves as an ideal starting point for newcomers and an excellent reference source for people already working in the field. Researchers and graduate students in signal processing, computer sc

Since the publication of "Spectral Methods in Fluid Dynamics" 1988, spectral methods have become firmly established as a mainstream tool for scientific and engineering computation. The authors of that

Thermochronology, the study of the thermal history of rocks, enables us to quantify the nature and timing of tectonic processes. First published in 2006, Quantitative Thermochronology is a robust review of isotopic ages, and presents a range of numerical modeling techniques to allow the physical implications of isotopic age data to be explored. The authors provide analytical, semi-analytical and numerical solutions to the heat transfer equation in a range of tectonic settings and under varying boundary conditions. They then illustrate their modeling approach built around a large number of case studies. The benefits of different thermochronological techniques are also described. Computer programs on an accompanying website at www.cambridge.org/9781107407152 are introduced through the text and provide a means of solving the heat transport equation in the deforming Earth to predict the ages of rocks and compare them directly to geological and geochronological data. Several short tutorials

Perturbation series expansion methods are sophisticated numerical tools used to provide quantitative calculations in many areas of theoretical physics. This book gives a comprehensive guide to the use of series expansion methods for investigating phase transitions and critical phenomena, and lattice models of quantum magnetism, strongly correlated electron systems and elementary particles. Early chapters cover the classical treatment of critical phenomena through high-temperature expansions, and introduce graph theoretical and combinatorial algorithms. The book then discusses high-order linked-cluster perturbation expansions for quantum lattice models, finite temperature expansions, and lattice gauge models. Also included are numerous detailed examples and case studies, and an accompanying resources website, www.cambridge.org/9780521842426, contains programs for implementing these powerful numerical techniques. A valuable resource for graduate students and postdoctoral researchers work

Contents List of Figures; List of Tables; Preface; Chapter 1: Introduction; Chapter 2: Flow and Transport Equations; Chapter 3: Rock and Fluid Properties; Chapter 4: Numerical Methods; Chapter 5: Solu

An up-to-date guide to seeking, sourcing and sorting information on any topic including how to make use of library resources; and internet research including search engines, blogs, finding reliable a

Leading clinicians and scientists in solid organ transplantation review the current status of the field and describe cutting-edge techniques for detecting the immune response to the allografted organ.

With growing concern about the protection of soil quality and biodiversity many countries have established regional and national programmes to monitor soil quality. This book reviews the theory and pr

We surround ourselves with material things that are invested with memories but can only stand for what we have lost. Physical objects?such as one’s own body?situate and define us; yet at the same time

We surround ourselves with material things that are invested with memories but can only stand for what we have lost. Physical objects—such as one’s own body—situate and define us; y

The first time that such a complete systematic analysis of the mathematical and numerical techniques related to the orthogonal methods has been given. With the explosion of the wireless world, greate

Methods, just as diseases or scientists, have their own history. It is important for scientists to be aware of the genesis of the methods they use and of the context in which they were developed. A Hi

This introduction to wavelet analysis 'from the ground level and up', and to wavelet-based statistical analysis of time series focuses on practical discrete time techniques, with detailed descriptions of the theory and algorithms needed to understand and implement the discrete wavelet transforms. Numerous examples illustrate the techniques on actual time series. The many embedded exercises - with complete solutions provided in the Appendix - allow readers to use the book for self-guided study. Additional exercises can be used in a classroom setting. A Web site offers access to the time series and wavelets used in the book, as well as information on accessing software in S-Plus and other languages. Students and researchers wishing to use wavelet methods to analyze time series will find this book essential.

Engineers Stanton, Paul M. Salmon, Guy H. Walker, Daniel P. Jenkins (all Brunel U.), and Chris Baber (U. of Birmingham) are with a consortium of defense companies and universities working on a series

This is the first comprehensive monograph that features state-of-the-art multigrid methods for enhancing the modeling versatility, numerical robustness, and computational efficiency of one of the most

Demographics has become a critical dimension of the work of many journalists, business professionals, and government analysts and managers. Yet those who are not professional demographers often find l

A textbook for learners who have previously studied, or are concurrently studying Modern Standard Arabic and Arabic script and phonology--for example college students who have studied written Arabic b

This collection of 14 original articles teaches readers how to conduct qualitative research. Instead of characterizing and justifying certain methods, the contributors show by means of actual research

The Third Edition of this popular quick reference features 653 brand-new illustrations and state-of-the-art protocols for brain, spine, and head and neck imaging examinations. The first part presents

Written with all skill levels in mind, this practical handbook presents detailed instructions for making 20 essential hand tools for joinery and general woodworking. All the tools can be made by the c

Authored by Jacqueline Corcoran of Virginia Commonwealth University, this new workbook provides students and practioners of Social Work with a working knowledge of cognitive behavioral therapy from a

Drinking water policies and research are intimately linked. It is thanks to the scientific progress made over the last 25 years in identifying and controlling toxic products in drinking water that reg

Designed to encourage creativity and experimentation among photographers and fine artists, this refreshing guide offers an atypical approach to traditional photographic methods. Through a varied array