Formal Methods for Components and Objects

The book consists of 29 extended chapters which have been selected and invited from the submissions to the 1st International Conference on Computer Science, Applied Mathematics and Applications (ICCSA

Histochemistry and cytochemistry are important fields for studying the inner workings of cells and tissues of the body. While visualization techniques have been in use for many years, new methods of d

Originally put together by the International Biological Programme (IBP) and published in its first edition in 1971, this popular book is now in it's 4th edition.The benthos is the area at the bottom o

This is a book about responsible and evidence-based decision making. It describes how to define policy research questions so that evidence can be applied to them, how to find and synthesize existing e

Self-adaptive discretization methods are now an indispensable tool for the numerical solution of partial differential equations that arise from physical and technical applications. The aim is to obtai

Braun (macromolecular chemistry, Technical U. Darmstadt, Germany) has assembled proven methods by which processors and users of plastics can determine the chemical nature of a plastics sample for qual

From idea to productIn the construction sector, demand is steadily increasing for innovative products.Product Development and Architecture presents selected examples that illustrate how the planning d

Microsatellites or simple sequence repeats (SSRs) have become the markers of choice for a variety of molecular studies because of their versatility, operational flexibility, and lower cost than other

"This book provides innovative research on information gathering, web data mining, and automation systems, addressing multidisciplinary applications and focusing on theories and methods with an enterp

This second edition of Human Factors Methods: A Practical Guide for Engineering and Design now presents 107 design and evaluation methods as well as numerous refinements to those that featured in the

One of the most important issues in developing sustainable management strategies and incorporating ecodesigns in production, manufacturing and operations management is the assessment of the sustainabi

We live in a material world—our homes are filled with things, from electronics to curios and hand-me-downs, that disclose as much about us and our aspirations as they do about current trends. But we a

Buildings are the largest consumers of energy, and their facades present a significant opportunity for energy conservation. Written by an associate and head of the research lab at Perkins + Will, this

The main purpose of the book is to introduce the readers to the numerical integration of the Cauchy problem for delay differential equations (DDEs). Peculiarities and differences that DDEs exhibit wit

Spectral methods have long been popular in direct and large eddy simulation of turbulent flows, but their use in areas with complex-geometry computational domains has historically been much more limit

In her doctoral dissertation, Reindl sheds light on the dimensions and types of work-life conflict that professionals experience to show that not all work-personal conflict is work-family conflict, ex

"Preface Decision makers of all types are increasingly called upon to determine the details of the complex and transitional ecosystem called "wetlands." Because wetlands are, by their very nature, eph

The haemostatic system is one the most important physiological systems for maintaining health and well being, and thus the investigation of the haemostatic system remains a research priority. Disturba

Meiosis is one of the most critical processes in eukaryotes, required for continuation of species and generation of new variation. In plants, meiotic recombination is by far the most important source

The book summarizes the findings and contributions of the European ARTEMIS project, CESAR, for improving and enabling interoperability of methods, tools, and processes to meet the demands in embedded

Every cell in our bodies contains a great variety and number of permeability pathways for various organic and inorganic ions, water, metabolites, nutrients, and signalling molecules. Maintenance and p

Illustrated laboratory manual that provides an overview of current standard microbiological culture methods for the examination of food and water, adhered to by renowned international organizations, s

Learn how to manage JMP data and perform the statistical analyses most commonly used in research in the social sciences and other fields with JMP for Basic Univariate and Multivariate Statistics: Meth

In introducing this collection of 14 chapters, Cortina (industrial/organizational psychology, George Mason U., Virginia) and Landis (psychology, Illinois Institute of Technology) emphasize the role of

A practical how-to guide for personal and local organic farming.

"Preface This book has been written using notes developed for the course Numerical Methods for Chemical Engineers at Tulane University. The author has written two previous textbooks; one on FORTRAN pr

The best decisions made by public sector managers are based not on instinct, but on an informed understanding of what’s happening on the ground. Policy may be directed by ideology, but it must also be

A unique and comprehensive graduate text and reference on numerical methods for electromagnetic phenomena, from atomistic to continuum scales, in biology, optical-to-micro waves, photonics, nanoelectronics and plasmas. The state-of-the-art numerical methods described include: • Statistical fluctuation formulae for the dielectric constant • Particle-Mesh-Ewald, Fast-Multipole-Method and image-based reaction field method for long-range interactions • High-order singular/hypersingular (Nyström collocation/Galerkin) boundary and volume integral methods in layered media for Poisson–Boltzmann electrostatics, electromagnetic wave scattering and electron density waves in quantum dots • Absorbing and UPML boundary conditions • High-order hierarchical Nédélec edge elements • High-order discontinuous Galerkin (DG) and Yee finite difference time-domain methods • Finite element and plane wave frequency-domain methods for periodic structures • Generalized DG beam propagation method for optic

"Examining the most important developments in highly integrated wireless RF front-ends, this book describes and evaluates both active and passive solutions for on-chip high-Q filtering, and explores M

The first scientific volume to compile the modern analytical techniques for glass analysis, Modern Methods for Analysing Archaeological and Historical Glass presents an up-to-date description of the p

This book provides guidance to those wishing to create enzyme variants. It covers such topics as a simple method for generating site-specific mutations within bacterial chromosomes and the engineering

To solve real-world issues, the model of transdisciplinary research, which approaches from both the hard and social sciences, has recently come to the forefront. By integrating multiple disciplines as

A complete, practical guide to planning and executing an intensive longitudinal study, this book provides the tools for understanding within-subject social, psychological, and physiological processes

As quality becomes an increasingly essential factor for achieving business success, building quality improvement into all stages—product planning, product design, and process design—instead of just ma

Research Methods for Mental Health Professionals is a basic introductory research methods texts for counselors, psychologists, social workers, and other mental health professionals. The author will co

Swaps, futures, options, structured instruments - a wide range of derivative products is traded in today's financial markets. Analyzing, pricing and managing such products often requires fairly sophis

?This book is for students and researchers who have had a first year graduate level mathematical statistics course. It covers classical likelihood, Bayesian, and permutation inference; an introductio

This book examines experimental techniques for measuring and analyzing immune cell dynamics, with an emphasizes lymphocyte programmed cell deaths in different contexts. It features expert tips and key