Springer Handbook of Model-Based Science


Book Description

This handbook offers the first comprehensive reference guide to the interdisciplinary field of model-based reasoning. It highlights the role of models as mediators between theory and experimentation, and as educational devices, as well as their relevance in testing hypotheses and explanatory functions. The Springer Handbook merges philosophical, cognitive and epistemological perspectives on models with the more practical needs related to the application of this tool across various disciplines and practices. The result is a unique, reliable source of information that guides readers toward an understanding of different aspects of model-based science, such as the theoretical and cognitive nature of models, as well as their practical and logical aspects. The inferential role of models in hypothetical reasoning, abduction and creativity once they are constructed, adopted, and manipulated for different scientific and technological purposes is also discussed. Written by a group of internationally renowned experts in philosophy, the history of science, general epistemology, mathematics, cognitive and computer science, physics and life sciences, as well as engineering, architecture, and economics, this Handbook uses numerous diagrams, schemes and other visual representations to promote a better understanding of the concepts. This also makes it highly accessible to an audience of scholars and students with different scientific backgrounds. All in all, the Springer Handbook of Model-Based Science represents the definitive application-oriented reference guide to the interdisciplinary field of model-based reasoning.




Springer Handbook of Metrology and Testing


Book Description

This Springer Handbook of Metrology and Testing presents the principles of Metrology – the science of measurement – and the methods and techniques of Testing – determining the characteristics of a given product – as they apply to chemical and microstructural analysis, and to the measurement and testing of materials properties and performance, including modelling and simulation. The principal motivation for this Handbook stems from the increasing demands of technology for measurement results that can be used globally. Measurements within a local laboratory or manufacturing facility must be able to be reproduced accurately anywhere in the world. The book integrates knowledge from basic sciences and engineering disciplines, compiled by experts from internationally known metrology and testing institutions, and academe, as well as from industry, and conformity-assessment and accreditation bodies. The Commission of the European Union has expressed this as there is no science without measurements, no quality without testing, and no global markets without standards.




Model-Based Reasoning


Book Description

There are several key ingredients common to the various forms of model-based reasoning considered in this book. The term ‘model’ comprises both internal and external representations. The models are intended as interpretations of target physical systems, processes, phenomena, or situations and are retrieved or constructed on the basis of potentially satisfying salient constraints of the target domain. The book’s contributors are researchers active in the area of creative reasoning in science and technology.




Computational Models of the Auditory System


Book Description

The Springer Handbook of Auditory Research presents a series of comprehensive and synthetic reviews of the fundamental topics in modern auditory research. The v- umes are aimed at all individuals with interests in hearing research including advanced graduate students, post-doctoral researchers, and clinical investigators. The volumes are intended to introduce new investigators to important aspects of hearing science and to help established investigators to better understand the fundamental theories and data in fields of hearing that they may not normally follow closely. Each volume presents a particular topic comprehensively, and each serves as a synthetic overview and guide to the literature. As such, the chapters present neither exhaustive data reviews nor original research that has not yet appeared in pe- reviewed journals. The volumes focus on topics that have developed a solid data and conceptual foundation rather than on those for which a literature is only beg- ning to develop. New research areas will be covered on a timely basis in the series as they begin to mature.




Model-Based Reasoning in Science and Technology


Book Description

This book contains contributions presented during the international conference on Model-Based Reasoning (MBR ́012), held on June 21-23 in Sestri Levante, Italy. Interdisciplinary researchers discuss in this volume how scientific cognition and other kinds of cognition make use of models, abduction, and explanatory reasoning in order to produce important or creative changes in theories and concepts. Some of the contributions analyzed the problem of model-based reasoning in technology and stressed the issues of scientific and technological innovation. The book is divided in three main parts: models, mental models, representations; abduction, problem solving and practical reasoning; historical, epistemological and technological issues. The volume is based on the papers that were presented at the international




Electroreception


Book Description

Electroreception has become one of the most revealing areas in the study of the neural basis of behavior, and neurobiologists recognize it as a model sensory system for experimental study. Through studies of electroreception, researchers have gained extensive knowledge about a complete sensory system, from molecular biology to computation, communication, and behavior. The book Electroreception will examine the behavior, structure, and function of the electrosensory systems of fish and other vertebrates. As a comprehensive volume on the subject, the book will serve as both an introduction to the study of electroreception and a reference and review volume for researchers in related fields.




Handbook of Conceptual Modeling


Book Description

Conceptual modeling is about describing the semantics of software applications at a high level of abstraction in terms of structure, behavior, and user interaction. Embley and Thalheim start with a manifesto stating that the dream of developing information systems strictly by conceptual modeling – as expressed in the phrase “the model is the code” – is becoming reality. The subsequent contributions written by leading researchers in the field support the manifesto's assertions, showing not only how to abstractly model complex information systems but also how to formalize abstract specifications in ways that let developers complete programming tasks within the conceptual model itself. They are grouped into sections on programming with conceptual models, structure modeling, process modeling, user interface modeling, and special challenge areas such as conceptual geometric modeling, information integration, and biological conceptual modeling. The Handbook of Conceptual Modeling collects in a single volume many of the best conceptual-modeling ideas, techniques, and practices as well as the challenges that drive research in the field. Thus it is much more than a traditional handbook for advanced professionals, as it also provides both a firm foundation for the field of conceptual modeling, and points researchers and graduate students towards interesting challenges and paths for how to contribute to this fundamental field of computer science.




Handbook of Materials Modeling


Book Description

The first reference of its kind in the rapidly emerging field of computational approachs to materials research, this is a compendium of perspective-providing and topical articles written to inform students and non-specialists of the current status and capabilities of modelling and simulation. From the standpoint of methodology, the development follows a multiscale approach with emphasis on electronic-structure, atomistic, and mesoscale methods, as well as mathematical analysis and rate processes. Basic models are treated across traditional disciplines, not only in the discussion of methods but also in chapters on crystal defects, microstructure, fluids, polymers and soft matter. Written by authors who are actively participating in the current development, this collection of 150 articles has the breadth and depth to be a major contributor toward defining the field of computational materials. In addition, there are 40 commentaries by highly respected researchers, presenting various views that should interest the future generations of the community. Subject Editors: Martin Bazant, MIT; Bruce Boghosian, Tufts University; Richard Catlow, Royal Institution; Long-Qing Chen, Pennsylvania State University; William Curtin, Brown University; Tomas Diaz de la Rubia, Lawrence Livermore National Laboratory; Nicolas Hadjiconstantinou, MIT; Mark F. Horstemeyer, Mississippi State University; Efthimios Kaxiras, Harvard University; L. Mahadevan, Harvard University; Dimitrios Maroudas, University of Massachusetts; Nicola Marzari, MIT; Horia Metiu, University of California Santa Barbara; Gregory C. Rutledge, MIT; David J. Srolovitz, Princeton University; Bernhardt L. Trout, MIT; Dieter Wolf, Argonne National Laboratory.




Handbook of Model Checking


Book Description

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry. The editors and authors of this handbook are among the world's leading researchers in this domain, and the 32 contributed chapters present a thorough view of the origin, theory, and application of model checking. In particular, the editors classify the advances in this domain and the chapters of the handbook in terms of two recurrent themes that have driven much of the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that scale to real-life problems; and the modeling challenge, that is, extending the formalism beyond Kripke structures and temporal logic. The book will be valuable for researchers and graduate students engaged with the development of formal methods and verification tools.




Simulating Social Complexity


Book Description

Social systems are among the most complex known. This poses particular problems for those who wish to understand them. The complexity often makes analytic approaches infeasible and natural language approaches inadequate for relating intricate cause and effect. However, individual- and agent-based computational approaches hold out the possibility of new and deeper understanding of such systems. Simulating Social Complexity examines all aspects of using agent- or individual-based simulation. This approach represents systems as individual elements having each their own set of differing states and internal processes. The interactions between elements in the simulation represent interactions in the target systems. What makes these elements "social" is that they are usefully interpretable as interacting elements of an observed society. In this, the focus is on human society, but can be extended to include social animals or artificial agents where such work enhances our understanding of human society. The phenomena of interest then result (emerge) from the dynamics of the interaction of social actors in an essential way and are usually not easily simplifiable by, for example, considering only representative actors. The introduction of accessible agent-based modelling allows the representation of social complexity in a more natural and direct manner than previous techniques. In particular, it is no longer necessary to distort a model with the introduction of overly strong assumptions simply in order to obtain analytic tractability. This makes agent-based modelling relatively accessible to a range of scientists. The outcomes of such models can be displayed and animated in ways that also make them more interpretable by experts and stakeholders. This handbook is intended to help in the process of maturation of this new field. It brings together, through the collaborative effort of many leading researchers, summaries of the best thinking and practice in this area and constitutes a reference point for standards against which future methodological advances are judged. This book will help those entering into the field to avoid "reinventing the wheel" each time, but it will also help those already in the field by providing accessible overviews of current thought. The material is divided into four sections: Introductory, Methodology, Mechanisms, and Applications. Each chapter starts with a very brief section called ‘Why read this chapter?’ followed by an abstract, which summarizes the content of the chapter. Each chapter also ends with a section of ‘Further Reading’ briefly describing three to eight items that a newcomer might read next.