Formal Methods for Components and Objects

Managers and administrators in the public-policy and nonprofit sectors rely heavily on analytical skills to quickly pore through a massive amount of research. They dissect it and apply specific, usefu

A Text on the Foundation Processes, Analytical Principles, and Implementation Practices of Engineering Risk Management Drawing from the author’s many years of hands-on experience in the field, Analyt

This resource provides middle school teachers and library media specialists with alternative text sources and activities to support the development of mathematics as well as reading skills. Section I

Macromolecular drugs hold the promise of becoming new therapeutics for several major disorders, including cancer and cardiovascular disease. This incredible potential is explored in Macromolecular Dr

This volume reveals a major trend taking place today in visual and material culturethe radical appropriation of consumer goods as raw material for art- and object-making. A growing number of artists,

Commodity Modeling and Pricing provides extensions and applications of state-of-the-art methods for analyzing resource commodity behavior. Drawing from the seminal work of Professor Walter Labys on th

Human-Computer Interaction draws on the fields of computer science, psychology, cognitive science, and organisational and social sciences in order to understand how people use and experience interactive technology. Until now, researchers have been forced to return to the individual subjects to learn about research methods and how to adapt them to the particular challenges of HCI. This book provides a single resource through which a range of commonly used research methods in HCI are introduced. Chapters are authored by internationally leading HCI researchers who use examples from their own work to illustrate how the methods apply in an HCI context. Each chapter also contains key references to help researchers find out more about each method as it has been used in HCI. Topics covered include experimental design, use of eyetracking, qualitative research methods, cognitive modelling, how to develop new methodologies and writing up your research.

A single resource, demonstrating a range of commonly used research methods in HCI, drawing on its background disciplines. Students will learn how to approach experimental design, statistics and theory

This third edition of the classic resource, Building Expertise draws on the most recent evidence on how to build innovative forms of expertise and translates that evidence into guidelines for instruct

While the question of the return of cultural objects is by no means a new one, it has become the subject of increasingly intense debate in recent years. This important book explores the removal and the return of cultural objects from occupied communities during the last two centuries and analyses the concurrent evolution of international cultural heritage law. The book focuses on the significant influence exerted by British, U.S. and Australian governments and museums on international law and museum policy in response to restitution claims. It shows that these claims, far from heralding the long-feared dissolution of museums and their collections, provide museums with a vital, new role in the process of self-determination and cultural identity. Compelling and thought-provoking throughout, this book is essential reading for archaeologists, international lawyers and all those involved in cultural resource management.

Capillary electrophoresis (CE) is a powerful analytical technique that is widely used in research and development and in quality control of pharmaceuticals. Many reports of highly efficient separation

This text ntroduces readers to the history, epistemology, and strategies of single-case research design. The authors offer concrete information on how to observe, measure, and interpret change in rel

Unifying the most important methodology in this field, Multi-Resolution Methods for Modeling and Control of Dynamical Systems explores existing approximation methods as well as develops new ones for t

A number of methods currently exist for the analysis and design of slopes. This book provides a critical review of these and offers several more appropriate approaches for overcoming numerical converg

Models can be used in a wide variety of situations, including theater production, architecture design, animation, and set design. For each different situation a specific material is often preferable,

Animals lead rich social lives. They care for one another, compete for resources, and mate. Within a society, social relationships may be simple or complex and usually vary considerably, both between

'The Malaysia-Indonesia Remittance Corridor' finds that Indonesian migrants to Malaysia are showing an increasingly clear preference for informal transfer mechanisms compared to their counterparts in

This work addresses the complex issues associated with software engineering environment capabilities for designing and maintaining real-time embedded software systems. It provides theoretical foundati

"It is much better," observed C. Wright Mills in an essay on intellectual craftsmanship, "to have one account by a working student of how he is going about his work than a dozen aecodifications of pro

Quantitative Research Methods for Health Professionals: A Practical Interactive Course is a superb introduction to epidemiology, biostatistics, and research methodology for the whole health care

Quantitative Research Methods for Health Professionals: A Practical Interactive Course is a superb introduction to epidemiology, biostatistics, and research methodology for the whole health care

A concise extension of the business classic Topgrading, targeted to sales managers Brad SmartA's Topgrading has sold more than 150,000 copies since 1999, making it the definitive book for executives

Designed as a guide for new evaluators as well as for students, this provides insights on data gathering, analysis, and efficient operating procedures. Daponte (research, Institution for Social and Po

Intellectual property (IP) comprises not only the valuable economic assets of private firms, but also the social and cultural assets of society. The potential impact of intellectual property assets is so great that it is likely to have a considerable effect on national and international economic development in the future. Despite this, the area of IP education is relatively new to many academic institutions, and principles and methods in teaching IP are still evolving. Against this backdrop, in this book a number of internationally renowned professors and practitioners share their teaching techniques in their particular fields of expertise, including what they consider should be taught in terms of coursework. The result is a valuable handbook for teachers and those wishing to get up to speed on international IP issues.

This book describes procedures for determining the total hydrocarbon (petroleum) resource or resource potential in a region. Statistical concepts and methods employed in petroleum resource assessment

McKenna (reading, University of Virginia) and Walpole (education, University of Delaware) detail key principles of adult learning and the qualities that distinguish adults from children as learners, s

Tomography provides three-dimensional images of heterogeneous materials or engineering components, and offers an unprecedented insight into their internal structure. By using X-rays generated by synch

Forty-six international academics, researchers and practitioners contribute 16 chapters representing the current state of the art on the design and operation as well as on technical, managerial, behav

Methods for Teaching Science as Inquiry introduces prospective and experienced teachers to the science content and teaching strategies necessary to teach science in contemporary ways. Traditional lea

Written in a clear and readable style by an experienced author of teaching texts, Engineering Design Methods is an integrated design textbook that presents specific methods within an overall strategy

The Fourth Edition of this popular elementary science methods text emphasizes learning science through inquiry, implementation of the Learning Cycle, NSE standards, constructivism, technology, and str

Agresti and Finley present statistical methods in a style that emphasizes their concepts and their application to the social sciences rather than the mathematics and computational details behind them.

For over forty years, mesenchymal stem cells (MSCs) have been scrutinized and studied, garnering much attention due to their broad therapeutic efficacy. In Mesenchymal Stem Cells: Methods and Protoco

Intended for plant biologists with vast amounts of field data to sort and understand, and also for computer scientists interested in the tools and systems available for plant research, this text prese

Comprehensively covering modern carbonylation chemistry, this book is an indispensable companion for all synthetic chemists working in industry and academia. This monograph contains everything there i

Before a student or research scientist can master the idea of computer modeling, the basics of classical numerical methods must be learned. Zalizniak (Krasnoyarsk State U., Russia) reviews the various

This work provides both basic and advanced knowledge of the newer methods being developed for the repair of musculoskeletal tissue. The methods described are based on new tools that have recently beco

Due to the increase in computational power and new discoveries in propagation phenomena for linear and nonlinear waves, the area of computational wave propagation has become more significant in recent

For most cases of interest, exact solutions to nonlinear equations describing stochastic dynamical systems are not available. This book details the relatively simple and popular linearization techniqu

This book is unique in occupying a gap between standard undergraduate texts and more advanced texts on quantum field theory. It covers a range of renormalization methods with a clear physical interpr