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

-

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…

Biological Emergences: Evolution by Natural Experiment

A critique of selectionism and the proposal of an alternate theory of emergent evolution that is causally sufficient for evolutionary biology. Natural selection is commonly interpreted as the fundamental mechanism of evolution. Questions about how selection theory can claim to be the all-sufficient explanation of evolution often go unanswered by today's neo-Darwinists, perhaps for fear that …

The environmental turn in postwar Sweden A new history of knowledge

This book tells the story of how modern environmentalism emerged in postwar Sweden. It shows that the ‘environmental turn’ in Sweden occurred as early as the autumn of 1967 and that natural scientists led the way. The most influential was the chemist Hans Palmstierna, who was both an active Social Democrat and a regular contributor to the nation’s leading morning paper. Thus, he had a uni…