Formal Methods

This book reflects the drug development community’s interest in proteomics methods by providing researchers with the necessary knowledge for the implementation of a number of basic experimental and bi

Biomass mechanical separation and densification methods, such as size reduction, fractionation, and densification, have significant impacts on both biochemical and thermochemical conversion processes.

Registration Methods for the Small Museum covers all aspects of the registration process and provides practical solutions for the small museum professional. The fifth edition updates the handbook to f

This book explores methods to study the complex and evolving interplay between a virus and its host that range from model systems to the detection of chemical molecules. The collection starts with the

Quantitative Methods for Second Language Research introduces the approaches to and techniques for quantitative data analysis in second language research (SLR), with a primary focus on second language

This book presents multiple new and classical methods for studying the vital poly-ADP-ribose (pADPr) pathway. Beginning with techniques for the detection and quantification of the product of poly(ADP-

Successfully Navigate the Evolving World of Mobile and Social Game Design and MonetizationCompletely updated, Mobile and Social Game Design: Monetization Methods and Mechanics, Second Edition explains

Capture-recapture methods are techniques used to estimate the size of populations that cannot be easily counted. Examples are homeless populations, illegal immigrants, illegal drug users, drivers driv

In this revised second edition, the authors offer a presentation of quantitative research methods for tourism researchers. This accessible and rigorous guide covers common issues in statistical analys

This book investigates language learning by young learners in instructed contexts and the potential for mixed methods to allow for a comprehensive understanding of early language learning. Chapters pr

This book investigates language learning by young learners in instructed contexts and the potential for mixed methods to allow for a comprehensive understanding of early language learning. Chapters pr

In this revised second edition, the authors offer a presentation of quantitative research methods for tourism researchers. This accessible and rigorous guide covers common issues in statistical analys

This new edition of John Illingworth's popular book provides a thorough introduction to the selection of construction methods, their planning and organization on site. Thoroughly revised and updated,

Cannabinoids and Their Receptors, Volume 593, the latest release in the Methods in Enzymology series, continues the legacy of this premier serial with quality chapters authored by leaders in the field

Effectively Construct Integral Formulations Suitable for Numerical ImplementationFinite Element and Boundary Methods in Structural Acoustics and Vibration provides a unique and in-depth presentation o

Quantitative Research Methods for Linguistics provides an accessible introduction to research methods for undergraduates undertaking research for the first time. Employing a task-based approach, the a

A perennial best-seller since 1997, this updated tenth edition of Understanding Research Methods provides a detailed overview of all the important concepts traditionally covered in a research methods

A perennial best-seller since 1997, this updated tenth edition of Understanding Research Methods provides a detailed overview of all the important concepts traditionally covered in a research methods

This is the second of a two-part guide to quantitative analysis using the IBM SPSS Statistics software package; this volume focuses on multivariate statistical methods and advanced forecasting techniq

Papers presented at the 18th International Conference on Computational Methods and Experimental Measurements form this book, which includes research from scientists, researchers and specialists who pe

Simple methods teach how to draw figures. When we try to draw a person, we are quickly confronted with various challenges. The proportions need to be correct, the attitude must be clear and vivid, th

In the search for explanations for three of the most pressing crises of the early twenty-first century (the housing meltdown and financial crisis, the Gulf oil spill, and the nuclear disaster at Fukushima), commentators pointed to the structure of the regulatory agencies charged with overseeing the associated industries, noting that the need to balance competing regulatory and non-regulatory missions undermined each agency's ability to be an effective regulator. Christopher Carrigan challenges this critique by employing a diverse set of research methods, including a statistical analysis, an in-depth case study of US regulatory oversight of offshore oil and gas development leading up to the Gulf oil spill, and a formal theoretical discussion, to systematically evaluate the benefits and concerns associated with either combining or separating regulatory and non-regulatory missions. His analysis demonstrates for policymakers and scholars why assigning competing non-regulatory missions to r

In the search for explanations for three of the most pressing crises of the early twenty-first century (the housing meltdown and financial crisis, the Gulf oil spill, and the nuclear disaster at Fukushima), commentators pointed to the structure of the regulatory agencies charged with overseeing the associated industries, noting that the need to balance competing regulatory and non-regulatory missions undermined each agency's ability to be an effective regulator. Christopher Carrigan challenges this critique by employing a diverse set of research methods, including a statistical analysis, an in-depth case study of US regulatory oversight of offshore oil and gas development leading up to the Gulf oil spill, and a formal theoretical discussion, to systematically evaluate the benefits and concerns associated with either combining or separating regulatory and non-regulatory missions. His analysis demonstrates for policymakers and scholars why assigning competing non-regulatory missions to r

This book describes how a social-norms model of taxation rose and fell in British-ruled Palestine and the State of Israel in the mid-twentieth century. Such a model, in which non-legal means were used to foster compliance, appeared in the tax system created by the Jewish community in 1940s Palestine and was later adopted by the new Israeli state in the 1950s. It gradually disappeared in subsequent decades as law and its agents, lawyers and accountants, came to play a larger role in the process of taxation. By describing the historical interplay between formal and informal tools for creating compliance, Tax Law and Social Norms in Mandatory Palestine and Israel sheds new light on our understanding of the relationship between law and other methods of social control, and reveals the complex links between taxation and citizenship.

For too long radical political economy has suffered for lack of a coherent alternative to formal Marxian economic theory. People have had to choose between (1) continuing to use a formal model based o

For too long radical political economy has suffered for lack of a coherent alternative to formal Marxian economic theory. People have had to choose between (1) continuing to use a formal model based o

The 9th book from this successful conference series, on Computational & Experimental Methods in Multiphase & Complex Flow, presents the latest research in one of the most challenging, yet most

This book presents practical information about hemispherical photography from the perspectives of field data acquisition, image processing and information retrieval methods. This book is organize

A practical approach to chemical reaction kinetics—from basic concepts to laboratory methods—featuring numerous real-world examples and case studies This book focuses on fundamental aspect

Optical Methods of Measurement: Wholefield Techniques, Second Edition provides a comprehensive collection of wholefield optical measurement techniques for engineering applications. Along with the reor

Since the publication of the benchmark first edition of this book, chemical library and combinatorial chemistry methods have developed into mature technologies. There have also been significant shifts

A comprehensive guide to using energy principles and variational methods for solving problems in solid mechanics This book provides a systematic, highly practical introduction to the use of energy pri

This volume discusses protocols that aid in measuring different components in the renin-angiotensin-aldosterone system (RAAS). The book also looks at the methods used to assess angiotensin peptides an

This book critically engages with how formal and informal mechanisms of governance are used across the world. Specifically, it analyzes how the governance mechanisms of formal institutions are questio

This volume provides key methods and protocols from laboratories engaged in germinal centers (GC) research with the expectation of stimulating further research, and to aid scientists in the study of G

Binary Polar Liquids: Structural and Dynamic Characterization Using Spectroscopic Methods provides liquid state physical chemists and physicists with practical theoretical models based on a wealth of

The tools necessary for correctly identifying complex coronary lesions and plaques. The data required to accurately diagnose rare disease progression and patterns. With Diagnostic Methods in the Cardi

Records Classification: Concepts, Principles and Methods: Information, Systems, Context introduces classification, an early part of the research lifecycle. Classification ensures systematic organizati

Development Theories and Methods of Fracture-Vug Carbonate Reservoirs explores the theories and methods for successful development of a fracture-vug reservoir by presenting the developmental strategie

This vital book collects key methods that have supported advancements in the field of ebolavirus molecular biology given the pressing need for the advancement of techniques for diagnostics, the develo