 |
|
 Computability: Turing, Gödel, Church, and Beyond
In the 1930s a series of seminal works published by Alan Turing, Kurt Gödel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations into the foundations of mathematics. In the... |  |  Solr in Action
Summary
Solr in Action is a comprehensive guide to implementing scalable search using Apache Solr. This clearly written book walks you through well-documented examples ranging from basic keyword searching to scaling a system for billions of documents and queries. It will give you a deep understanding of how... |  |  Discrete or Continuous?: The Quest for Fundamental Length in Modern Physics
The idea of infinity plays a crucial role in our understanding of the universe, with the infinite spacetime continuum perhaps the best-known example - but is spacetime really continuous? Throughout the history of science, many have felt that the continuum model is an unphysical idealization, and that spacetime should be thought of as... |
|
 Spatial Simulation: Exploring Pattern and Process
A ground-up approach to explaining dynamic spatial modelling for an interdisciplinary audience.
Across broad areas of the environmental and social sciences, simulation models are an important way to study systems inaccessible to scientific experimental and observational methods, and also an essential complement to... |  |  Verification of Business Rules Programs
Rules represent a simplified means of programming, congruent with our understanding of human brain constructs. With the advent of business rules management systems, it has been possible to introduce rule-based programming to nonprogrammers, allowing them to map expert intent into code in applications such as fraud detection, financial... |  |  Functional Foods and Biotechnology (Food Science and Technology)
World-wide there are more overweight and obese people (1 billion) than there are malnourished (0.8 billion). Today the challenge lies not just in meeting basic nutritional needs, but providing additional protective ingredients to help prevent the major chronic diseases associated with obesity. Biotechnology has become an important tool in... |
|
|
|
| Result Page: 38 37 36 35 34 33 32 31 30 29 28 27 26 25 24 23 22 21 20 |