Formal Methods

This detailed book explores methods to isolate, characterize, and investigate key lung innate immune cells. Beginning with an overview, the volume then continues with methods for creating in vitro and

This detailed volume explores methods of examining gangliosides, membrane amphiphilic lipids that are deeply involved in the modulation of the overall properties of cellular membranes, as well as of t

Free-Surface Flow: Computational Methods presents a detailed analysis of numerical schemes for shallow-water waves. It includes practical applications for the numerical simulation of flow and transpor

Severe Plastic Deformation: Methods, Processing and Properties examines all severe plastic deformation techniques developed over the past two decades, exploring the appropriate severe plastic deformat

Revised and expanded to reflect the most recent innovations in the field of forensic document examination, the book explains the various methods used to scrutinize documents in question. Coverage incl

Adaptive Learning Methods for Nonlinear System Modeling presents some of the recent advances on adaptive algorithms and machine learning methods designed for nonlinear system modeling and identificati

Biotechnology of Metals: Principles, Recovery Methods and Environmental Concerns deals with all aspects of metal biotechnology in different areas, such as biogenesis, biomaterials, biomimetic strategi

Hybrid Machining: Theory, Methods, and Case Studies covers the scientific fundamentals, techniques, applications and real-world descriptions of emerging hybrid machining technology. This field is adva

The landscape of contemporary research is characterized by growing interdisciplinarity, and disciplinary boundaries are blurring faster than ever. Yet while interdisciplinary methods, and methodologic

Analytical Methods for Food Safety by Mass Spectrometry, Volume One: Pesticides systematically introduces the Pesticide and Veterinary Drug Multiresidues Analytical Methods. Volume One includes discus

NUMGE 2018 is the ninth in a series of conferences on Numerical Methods in Geotechnical Engineering organized by the ERTC7 under the auspices of the International Society for Soil Mechanics and Geotec

NUMGE 2018 is the ninth in a series of conferences on Numerical Methods in Geotechnical Engineering organized by the ERTC7 under the auspices of the International Society for Soil Mechanics and Geotec

NUMGE 2018 is the ninth in a series of conferences on Numerical Methods in Geotechnical Engineering organized by the ERTC7 under the auspices of the International Society for Soil Mechanics and

This volume provides an introduction for the scientist who is new to the field of molecular imaging, as well as detailed methods for experts in other areas of molecular imaging. Chapters detail the ad

This volume details fast-moving research while providing in-depth descriptions of methods and analytical approaches that are helping to understand the genome and how it is related to complex diseases.

This book deals with matrix methods of structural analysis for linearly elastic framed structures. It starts with background of matrix analysis of structures followed by procedure to develop force-dis

This volume presents methods and protocols on modern analysis of steroid receptor and prostate cancer function. Chapters detail androgen, androgen receptor action, anti-androgen enzalutamide, in vitro

This detailed book explores the numerous applications of the yeast two-hybrid (Y2H) system, one of the most commonly used methods to detect protein-protein interactions. Beginning with an overview, th

Luminescence Thermometry: Methods, Materials, and Applications presents the state-of-the art applications of luminescence thermometry, giving a detailed explanation of luminescence spectroscopic schem

Water Electrical and Electronic Equipment Recycling: Aqueous Recovery Methods provides data regarding the implementation of aqueous methods of processing of WEEEs at the industrial level. Chapters exp

This essential guide to the knowledge and tools in the field includes everything from the basic concepts to modern methods, while also forming a bridge to bioinformatics.The textbook offers a very cle

This book provides thorough and comprehensive coverage of most of the new and important quantitative methods of data analysis for graduate students and practitioners. In recent years, data analysis methods have exploded alongside advanced computing power, and it is critical to understand such methods to get the most out of data, and to extract signal from noise. The book excels in explaining difficult concepts through simple explanations and detailed explanatory illustrations. Most unique is the focus on confidence limits for power spectra and their proper interpretation, something rare or completely missing in other books. Likewise, there is a thorough discussion of how to assess uncertainty via use of Expectancy, and the easy to apply and understand Bootstrap method. The book is written so that descriptions of each method are as self-contained as possible. Many examples are presented to clarify interpretations, as are user tips in highlighted boxes.

Chiral Analysis: Advances in Spectroscopy, Chromatography and Emerging Methods, Second Edition covers an important area of analytical chemistry of relevance to a wide variety of scientific professiona

This book presents computational and statistical methods used by intelligent systems within the concept of Industry 4.0. The methods include among others evolution-based and swarm intelligence-based m

This volume details methods and protocols on b-sheet assemblies and collagen. Divided into three parts chapters focus on expanding use of solid-state NMR as a powerful method to enhance structural und

A unique text and reference for pure and applied mathematicians, engineers, physicists, and chemists, this book was a landmark in the literature of computational methods in mathematical physics in the

This book highlights the rapidly developing field of advanced optical methods for structural and functional brain imaging. As is known, the brain is the most poorly understood organ of a living body.

Research-based coverage of general teaching methods and contemporary strategies for K-12 classrooms Methods for Effective Teaching helps teachers with every aspect of their day-to-day responsibilit

This book is a practical guide to downhole rock sampling and coring concepts, methods, systems, and procedures for practitioners and researchers. Its chapters are based upon years of extensive studies

Neuropsychological Evaluation of the Child: Domains, Methods, and Case Studies, Second Edition, is an updated and expanded desk reference that retains the first edition's organizational structure, str

Volume 18 of Reviews in Mineralogy provides a general introduction to the use of spectroscopic techniques in Earth Sciences. It gives an Introduction To Spectroscopic Methods and covers Symmetry, Grou

This practical guide offers management, psychology, and related professionals comprehensive background in—and robust methods for evaluating—frequently litigated wage and hour issues. Wage and hour com

Doherty Power Amplifiers: From Fundamentals to Advanced Design Methods is a great resource for both RF and microwave engineers and graduate students who want to understand and implement the technology

This is a comprehensive guide to applying research methods to practice problems. It uses case-based examples and activities rooted in practice to support development of knowledge, skills, and confiden

In seven essays, this book offers a tour de force through those seven disciplines in the humanities that lately underwent a fundamental transformation. In order to apply “exact” scientific methods, th

This book presents an overview of the different errors-in-variables (EIV) methods that can be used for system identification. Readers will explore the properties of an EIV problem. Such problems play

Social research methods are being transformed by digital technologies and developments in narrative, visual, biographic and performative work. This book introduces and explores walking as an innovativ

This book is a guide for managers, Scrum Masters and agile coaches who are interested in agile organizational methods and who are planning to introduce Scrum at their own company. Scrum is not only a

This detailed volume examines bioinformatic and molecular biological methods useful to identify and to explore the functions of CpG islands, key navigation points to understand gene regulation in fund

This volume details the importance of multiple experimental techniques and computational methods needed to obtain the comprehensive picture of protein complex structure, dynamics and assembly afforded