The Neurocognitive Theory of Dreaming: The Where, How, When, What, and Why of…

A comprehensive neurocognitive theory of dreaming based on the theories, methodologies, and findings of cognitive neuroscience and the psychological sciences. G. William Domhoff's neurocognitive theory of dreaming is the only theory of dreaming that makes full use of the new neuroimaging findings on all forms of spontaneous thought and shows how well they explain the results of rigorous quan…

Free Innovation

A leading innovation scholar explains the growing phenomenon and impact of free innovation, in which innovations developed by consumers and given away “for free.” In this book, Eric von Hippel, author of the influential Democratizing Innovation, integrates new theory and research findings into the framework of a “free innovation paradigm.” Free innovation, as he defines it, involves …

Number Theory

Now in its second edition, this textbook provides an introduction and overview of number theory based on the density and properties of the prime numbers. This unique approach offers both a firm background in the standard material of number theory, as well as an overview of the entire discipline. All of the essential topics are covered, such as the fundamental theorem of arithmetic, theory of co…

Springer Handbook of Model-Based Science

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 mod…

Verification, Model Checking, and Abstract Interpretation 16th International…

This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpr…

Validation of Evolving Software

This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book

Unifying the Philosophy of Truth

Edition

-

ISBN/ISSN

978-94-017-9673-6

Collation

-

Series Title

-

Call Number

-

Simplicial and Dendroidal Homotopy Theory

This open access book offers a self-contained introduction to the homotopy theory of simplicial and dendroidal sets and spaces. These are essential for the study of categories, operads, and algebraic structure up to coherent homotopy. The dendroidal theory combines the combinatorics of trees with the theory of Quillen model categories. Dendroidal sets are a natural generalization of simplic…

The Physical Basis of Bacterial Quorum Communication

Quorum sensing (QS) describes a chemical communication behavior that is nearly universal among bacteria. Individual cells release a diffusible small molecule (an autoinducer) into their environment. A high concentration of this autoinducer serves as a signal of high population density, triggering new patterns of gene expression throughout the population. However QS is often much more complex th…

Repairing Infrastructures: The Maintenance of Materiality and Power

An investigation of the causes and consequences of the strange, ambivalent, and increasingly central role of infrastructure repair in modern life. Infrastructures—communication, food, transportation, energy, and information—are all around us, and their enduring function and influence depend on the constant work of repair. In this book, Christopher Henke and Benjamin Sims explore the caus…