Formal Methods for Components and Objects

Comprehensive Coverage of the New, Easy-to-Learn C#Although C, C++, Java, and Fortran are well-established programming languages, the relatively new C# is much easier to use for solving complex scient

Actuaries must pass exams, but more than that: they must put knowledge into practice. This coherent book gives complete syllabus coverage for Exam C of the Society of Actuaries (SOA) while emphasizing the concepts and practical application of nonlife actuarial models. Ideal for those approaching their professional exams, it is also a class-tested textbook for undergraduate university courses in actuarial science. All the topics that students need to prepare for Exam C are here, including modeling of losses, risk and ruin theory, credibility theory and applications, and empirical implementation of loss models. The book also covers more recent topics, such as risk measures and bootstrapping. Readers are assumed to have studied statistical inference and probability at the introductory undergraduate level. Numerous examples and exercises are provided, with many exercises adapted from past Exam C questions. Computational notes on the use of Excel are included. Teaching slides are available

The 14 chapters in this collection explore the possibilities of web-based software for supporting learning via group interaction. The contributors describe the different Web 2.0 and social software to

In order to assess the effectiveness of groundwater monitoring devices and their end results, statistical techniques must be employed. Thoroughly updated and expanded, the Second Edition examine

Chemical vapor sensing arrays have grown in popularity over the past two decades, finding applications for tasks such as process control, environmental monitorins, and medical diagnosis. This is the

Billions of dollars are spent annually for the replacement of corroded structures, machinery, and components. Premature failure of bridges or structures due to corrosion can also result in human injur

With the development of polypeptide ionization processes for mass spectrometry and the rapid processing of large-scale datasets with bioinformatics, researchers now have the tools necessary to propel

This book deals with algorithms for the solution of linear systems of algebraic equations with large-scale sparse matrices, with a focus on problems that are obtained after discretization of partial d

Due to its prolific reproduction and the external development of the transparent embryo, the zebrafish is the prime model for genetic and developmental studies, as well as research in genomics. While

Over the past 25 years, Harold and Darren Franck have investigated hundreds of accidents involving vehicles of almost every shape, size, and type imaginable. In Mathematical Methods for Accident Recon

The advent of global environmental change, with all its uncertainties and requirement for long-term prediction, brings new challenges and tasks for scientists, the public and policy makers. A major environmental upheaval such as climate change is likely to have significant health effects. Current mainstream epidemiological research methods do not always adequately address the health impacts that arise within a context in which the ecological and other biophysical processes display non-linear and feedback-dependent relationships. The agenda of research and policy advice must be extended to include the larger-framed environmental change issues. This book identifies the nature and scope of the problem, and explores the conceptual and methodological approaches to studying these relationships, modelling their future realisation, providing estimates of health impacts, and communicating the attendant uncertainties. This timely volume will be of great interest to health scientists and graduat

The 15 chapters of this resource present the authors' current research and experiences in teacher professional development, addressing theoretical and practical issues, including new developments and

The growth of applications for global navigation satellite systems (GNSS) over the past few years has grown substantially and is expected to continue. This reference work, which emphasizes application

This guide presents practical, step-by-step methods for synthesizing, characterizing, biofunctionalizing, and applying nanoparticles at biomolecular, cellular, and tissue/organism scales. Each chapter

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.

The establishment, analysis, prediction, and expansion of a comprehensive ligand-target Structure-Activity Relationship (SAR) in the post-genomic era presents a key research challenge for this century

Numerical and Analytical Methods with MATLABR presents extensive coverage of the MATLAB programming language for engineers. It demonstrates how the built-in functions of MATLAB can be used to solve sy

The entire process of designing and using a data warehouse is detailed in this work, encompassing requirement specification, conceptual, logical, and physical design, and tuning and evolution manageme

Offering accessible examples showcasing how sociologists conduct researchComprising 22 reading from both academic journals and books, this text presents the best examples of research methodology in c

Standard methods for estimating empirical models in economics and many other fields rely on strong assumptions about functional forms and the distributions of unobserved random variables. Often, it is

Classical and Modern Numerical Analysis: Theory, Methods and Practice provides a sound foundation in numerical analysis for more specialized topics, such as finite element theory, advanced numerical l

The unique chromosome dynamics of meiosis have fascinated scientists for well over a century, but in recent years there has been a proliferation of new data concerning the pairing, recombination, and

The unique chromosome dynamics of meiosis have fascinated scientists for well over a century, but in recent years there has been a proliferation of new data concerning the pairing, recombination, and

A thoroughly up-to-date reference for researchers who specialize in obesity and clinicians who specialize in working with clients with problem eating behaviors, Handbook of Assessment Methods for Eat

This book explains how to solve partial differential equations numerically using single and multidomain spectral methods. It shows how only a few fundamental algorithms form the building blocks of any

The book presents an updated state-of-the-art overview of dynamic methods for structural health monitoring and damage detection in structures, with special emphasis on advanced research in the field t

The four chapters were selected from the tutorials presented at the program Moving Interface Problems and Applications, held at the Institute for Mathematical Sciences at the National University of Si

With its complex anatomical, molecular, electrophysiological and behavioral components, epilepsy provides the neuroscientist with nearly boundless opportunities to examine basic neurobiological mecha

During past years many countries constructed large accelerators for investigating heavy ion collisions, and new theoretical techniques for analysing results and making predictions were developed. Semi-classical methods were studied in the early days of quantum mechanics. Their application to heavy ion collisions has led to new advances and a number of different schools have grown up, each one emphasising different aspects of the theory. The aim of this book is to present a unified treatment of various lines of development. This book will be of great interest to graduate students wishing to learn about semi-classical methods in nuclear physics and to theoretical and experimental nuclear physicists, especially those working in heavy ion physics. It will also be of interest to research workers in other areas, such as atomic physics and quantum chemistry, where similar techniques are used.

The governing rationale of the reference is that characterizing and analyzing surfaces and interfaces should be pursued in the context of problem solving rather than relying on the capabilities of one

The third edition of this massive two-volume guide to planning, equipment and methods for heavy construction has been revised to emphasize the growing importance of project management and to include n

Despite its remote and seemingly rigorous environment, the Antarctic is the world's most important habitat for seals, currently supporting more seals than all other parts of the world combined. As various national Antarctic programmes were established to study these animals, the need to standardize techniques became apparent. This book, arising from work by the Scientific Committee on Antarctic Research (Group of Specialists on Seals), gives a detailed account of well-tried and, where possible, agreed methodologies, techniques, procedures and rationale for the collection and initial analysis of data on the biology and population ecology of Antarctic seals. This volume will not only help facilitate comparisons between different regions of Antarctica, but will also provide a guide for those studying seals in other parts of the world and those carrying out research on other large mammal species.

This book provides an overview of the main methods and results in the formal study of the human decision-making process, as defined in a relatively wide sense. A key aim of the approach contained here

The book guides the researcher through their journey, giving detailed, step-by-step advice on planning and carrying out each stage of the research. Useful examples from health care research are includ

The book guides the researcher through their journey, giving detailed, step-by-step advice on planning and carrying out each stage of the research. Useful examples from health care research are inclu

High resolution upwind and centered methods are a mature generation of computational techniques. They are applicable to a wide range of engineering and scientific disciplines, Computational Fluid Dyna

Modern electronics depend on nanoscaled technologies that present new challenges in terms of testing and diagnostics. Memories are particularly prone to defects since they exploit the technology limit

This book offers students, instructors, and researchers insight on current progress in language and cultural e-learning. Part I mainly focuses on research in learning languages with ICTs, and Part II

Through interviews with many of the most noteworthy authors in law and society, Conducting Law and Society Research takes students and scholars behind the scenes of empirical scholarship, showing the messy reality of research methods. The challenges and the uncertainties, so often missing from research methods textbooks, are revealed in candid detail. These accessible and revealing conversations about the lived reality of classic projects will be a source of encouragement and inspiration to those embarking on empirical research, ranging across the full array of disciplines that contribute to law and society. For all of the ambiguities and challenges to the social 'scientific' study of law, the reflections found in this book - collectively capturing a portrait of the field through the window of the research efforts - individually remind readers that 'good research' displays not an absence of problems, but the care taken in negotiating them.

Through interviews with many of the most noteworthy authors in law and society, Conducting Law and Society Research takes students and scholars behind the scenes of empirical scholarship, showing the messy reality of research methods. The challenges and the uncertainties, so often missing from research methods textbooks, are revealed in candid detail. These accessible and revealing conversations about the lived reality of classic projects will be a source of encouragement and inspiration to those embarking on empirical research, ranging across the full array of disciplines that contribute to law and society. For all of the ambiguities and challenges to the social 'scientific' study of law, the reflections found in this book - collectively capturing a portrait of the field through the window of the research efforts - individually remind readers that 'good research' displays not an absence of problems, but the care taken in negotiating them.