Explore the vast range of titles available.

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.

The hottest, most important topic to reservoir engineers is reservoir simulation. Reservoir simulations are literally pictures of what a reservoir of oil or gas looks, or should look like under the surface of the earth. A multitude of tools are available to the engineer to generate these pictures and essentially, the more accurate the picture, the easier the engineer can get the product out of the ground, and, thus, the more profitable the well will be.

Quantification of the disease burden caused by different risks informs prevention by providing an account of health loss different to that provided by a disease-by-disease analysis. No complete revision of global disease burden caused by risk factors has been done since a comparative risk assessment in 2000, and no previous analysis has assessed changes in burden attributable to risk factors over time. We estimated deaths and disability-adjusted life years (DALYs; sum of years lived with disability [YLD] and years of life lost [YLL]) attributable to the independent effects of 67 risk factors and clusters of risk factors for 21 regions in 1990 and 2010. We estimated exposure distributions for each year, region, sex, and age group, and relative risks per unit of exposure by systematically reviewing and synthesising published and unpublished data. We used these estimates, together with estimates of cause-specific deaths and DALYs from the Global Burden of Disease Study 2010, to calculate the burden attributable to each risk factor exposure compared with the theoretical-minimum-risk exposure. We incorporated uncertainty in disease burden, relative risks, and exposures into our estimates of attributable burden. In 2010, the three leading risk factors for global disease burden were high blood pressure (7·0% [95% uncertainty interval 6·2–7·7] of global DALYs), tobacco smoking including second-hand smoke (6·3% [5·5–7·0]), and household air pollution from solid fuels (4·3% [3·4–5·3]). In 1990, the leading risks were childhood underweight (7·9% [6·8–9·4]), household air pollution from solid fuels (HAP; 6·8% [5·5–8·0]), and tobacco smoking including second-hand smoke (6·1% [5·4–6·8]). Dietary risk factors and physical inactivity collectively accounted for 10·0% (95% UI 9·2–10·8) of global DALYs in 2010, with the most prominent dietary risks being diets low in fruits and those high in sodium. Several risks that primarily affect childhood communicable diseases, including unimproved water and sanitation and childhood micronutrient deficiencies, fell in rank between 1990 and 2010, with unimproved water and sanitation accounting for 0·9% (0·4–1·6) of global DALYs in 2010. However, in most of sub-Saharan Africa childhood underweight, HAP, and non-exclusive and discontinued breastfeeding were the leading risks in 2010, while HAP was the leading risk in south Asia. The leading risk factor in Eastern Europe, Andean Latin America, and southern sub-Saharan Africa in 2010 was alcohol use; in most of Asia, most of Latin America, North Africa and Middle East, and central Europe it was high blood pressure. Despite declines, tobacco smoking including second-hand smoke remained the leading risk in high-income north America and western Europe. High body-mass index has increased globally and it is the leading risk in Australasia and southern Latin America, and also ranks high in other high-income regions, North Africa and Middle East, and Oceania. Worldwide, the contribution of different risk factors to disease burden has changed substantially, with a shift away from risks for communicable diseases in children towards those for non-communicable diseases in adults. These changes are related to the ageing population, decreased mortality among children younger than 5 years, changes in cause-of-death composition, and changes in risk factor exposures. New evidence has led to changes in the magnitude of key risks including unimproved water and sanitation, vitamin A and zinc deficiencies, and ambient particulate matter pollution. The extent to which the epidemiological shift has occurred and what the leading risks currently are varies greatly across regions. In much of sub-Saharan Africa, the leading risks are still those associated with poverty and those that affect children. Bill & Melinda Gates Foundation.

The modern ecologist usually works in both the field and laboratory, uses statistics and computers, and often works with ecological concepts that are model-based, if not model-driven. How do we make the field and laboratory coherent? How do we link models and data? How do we use statistics to help experimentation? How do we integrate modeling and statistics? How do we confront multiple hypotheses with data and assign degrees of belief to different hypotheses? How do we deal with time series (in which data are linked from one measurement to the next) or put multiple sources of data into one inferential framework? These are the kinds of questions asked and answered by The Ecological Detective. Ray Hilborn and Marc Mangel investigate ecological data much as a detective would investigate a crime scene by trying different hypotheses until a coherent picture emerges. The book is not a set of pat statistical procedures but rather an approach. The Ecological Detective makes liberal use of computer programming for the generation of hypotheses, exploration of data, and the comparison of different models. The authors' attitude is one of exploration, both statistical and graphical. The background required is minimal, so that students with an undergraduate course in statistics and ecology can profitably add this work to their tool-kit for solving ecological problems.

This book introduces analysis techniques primarily aimed at neuroscientists and biomedical engineering students with a reasonable but modest background in mathematics, physics, and computer programming. The focus of this text is on what can be considered the 'golden trio' in the signal processing field: averaging, Fourier analysis, and filtering. Techniques such as convolution, correlation, coherence, and wavelet analysis are considered in the context of time and frequency domain analysis. The whole spectrum of signal analysis is covered, ranging from data acquisition to data processing; and from the mathematical background of the analysis to the practical application of processing algorithms. Overall, the approach to the mathematics is informal with a focus on basic understanding of the methods and their interrelationships rather than detailed proofs or derivations.

This compact and original exposition of optimal control theory and applications is designed for graduate and advanced undergraduate students in economics. It presents a new elementary yet rigorous proof of the maximum principle and a new way of applying the principle that will enable students to solve any one-dimensional problem routinely. Its unified framework illuminates many famous economic examples and models. This work also emphasizes the connection between optimal control theory and the classical themes of capital theory. It offers a fresh approach to fundamental questions such as: What is income? How should it be measured? What is its relation to wealth? The book will be valuable to students who want to formulate and solve dynamic allocation problems. It will also be of interest to any economist who wants to understand results of the latest research on the relationship between comprehensive income accounting and wealth or welfare. Table of Contents: Preface Introduction Part I. Introduction to the Maximum Principle 1. The Calculus of Variations and the Stationary Rate of Return on Capital 2. The Prototype-Economic Control Problem 3. The Maximum Principle in One Dimension 4. Applications of the Maximum Principle in One Dimension Part II. Comprehensive Accounting and the Maximum Principle 5. Optimal Multisector Growth and Dynamic Competitive Equilibrium 6. The Pure Theory of Perfectly Complete National Income Accounting 7. The Stochastic Wealth and Income Version of the Maximum Principle References Index

A revolutionary book that presents analytical tools for understanding why a particular disease is transmitted within a specific geographic area. A. Townsend Peterson, one of the pioneers of ecological niche modeling, presents a synthesis that illuminates new and more effective infectious disease mapping methods. His work—the culmination of twelve years of refinement—breaks new ground by integrating biogeographic and ecological factors with spatial models. Aimed at seasoned epidemiologists and public health experts, this interdisciplinary book explains the conceptual and technical underpinnings of Peterson's approach while simultaneously describing the potentially enormous benefits of his modeling method. Peterson treats disease transmission areas for what they are—distributions of species. The book argues that complex, fragmented, and highly irregular disease patterns can only be understood when underlying environmental drivers are considered. The result is an elegant modeling approach that challenges static spatial models and provides a framework for recasting disease mapping. Anyone working in the area of disease transmission, particularly those employing predictive maps, will find Peterson's book both inspiring and indispensable.

The 1990s saw global flows of foreign direct investment increase some sevenfold, spurring economists to explore FDI from a micro- or trade-based perspective.Foreign Direct Investmentis one of the first books to analyze the macroeconomics of FDI, treating FDI as a unique form of international capital flow between specific pairs of countries. By examining the determinants of the aggregate flows of FDI at the bilateral, source-host-country level, Assaf Razin and Efraim Sadka present the first systematic global analysis of the singular features of FDI flows. Drawing on a wealth of fresh data, they provide new theoretical models and empirical techniques that illuminate the vital country-pair characteristics that drive these flows. Uniquely,Foreign Direct Investmentexamines FDI between developed and developing countries, and not just between developed countries. Among many other insights, the book shows that tax competition vis-à-vis FDI need not lead to a \"race to the bottom.\"Foreign Direct Investmentis an essential resource for graduate students, academics, and policy professionals.

This book provides the first clear, comprehensive, and accessible account of complex adaptive social systems, by two of the field's leading authorities. Such systems--whether political parties, stock markets, or ant colonies--present some of the most intriguing theoretical and practical challenges confronting the social sciences. Engagingly written, and balancing technical detail with intuitive explanations,Complex Adaptive Systemsfocuses on the key tools and ideas that have emerged in the field since the mid-1990s, as well as the techniques needed to investigate such systems. It provides a detailed introduction to concepts such as emergence, self-organized criticality, automata, networks, diversity, adaptation, and feedback. It also demonstrates how complex adaptive systems can be explored using methods ranging from mathematics to computational models of adaptive agents. John Miller and Scott Page show how to combine ideas from economics, political science, biology, physics, and computer science to illuminate topics in organization, adaptation, decentralization, and robustness. They also demonstrate how the usual extremes used in modeling can be fruitfully transcended.

Originally published in 1996. This study looks at the impact of exchange rate fluctuation on the pricing practices of foreign industries that import into the United States market. It presents several studies of the pass-through behaviour of over 100 disaggregated commodity groups with bi-lateral exchange rates. The book presents analysis of specific competitors and their individual pricing responses to exchange rate changes, adding significantly to pricing theory as well as being useful for marketers in predicting business responses. 1. Introduction 2. Literature Review 3. Research Issues and Questions 4. Research Method: Sample Design 5. Research Method: Pass-Through Estimation 6. Research Method: Research Design 7. Data Analysis and Results 8. Conclusions. Appendices