Filter by
Scalable input/output :achieving system balance
As we enter the "decade of data," the disparity between the vast amount of data storage capacity (measurable in terabytes and petabytes) and the bandwidth available for accessing it has created an input/output bottleneck that is proving to be a major constraint on the effective use of scientific data for research. Scalable Input/Output is a summary of the major research results of the Scalable …
- Edition
- -
- ISBN/ISSN
- 9780262287869
- Collation
- 1 online resource (xv, 274 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Rhyme and reason :an introduction to minimalist syntax
OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262285377
- Collation
- 1 online resource (xlii, 669 pages) :illustrations
- Series Title
- -
- Call Number
- -
Representing time in natural language :the dynamic interpretation of tense an…
"A Bradford book."Alice ter Meulen integrates current research in natural language semantics, with detailed analyses of English discourse, and logical tools from a variety of sources into an information theory that provides the foundation for computational systems to reason about change and the flow of time. The topic of temporal meaning in texts has received considerable attention in recent ye…
- Edition
- -
- ISBN/ISSN
- 0585355339
- Collation
- 1 online resource (xii, 144 pages)
- Series Title
- -
- Call Number
- -
Reflections on water :new approaches to transboundary conflicts and cooperation
This book offers conceptual and empirical support for the idea that the human relationship with water must move beyond rationalist definitions of water as product, property, and commodity.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262268660
- Collation
- 1 online resource (xvi, 358 pages) :illustrations, maps.
- Series Title
- -
- Call Number
- -
Reasoning about rational agents
One goal of modern computer science is to engineer computer programs that can act as autonomous, rational agents; software that can independently make good decisions about what actions to perform on our behalf and execute those actions. Applications range from small programs that intelligently search the Web buying and selling goods via electronic commerce, to autonomous space probes. This book…
- Edition
- -
- ISBN/ISSN
- 9780262257237
- Collation
- 1 online resource (xi, 227 pages).
- Series Title
- -
- Call Number
- -
Reasoning about knowledge
Title from title screen.Title from website (viewed Jan. 20, 2006).Reasoning about knowledge--particularly the knowledge of agents who reason about the world and each other's knowledge--was once the exclusive province of philosophers and puzzle solvers. More recently, this type of reasoning has been shown to play a key role in a surprising number of contexts, from understanding conversations to …
- Edition
- -
- ISBN/ISSN
- 9780262256094
- Collation
- 1 online resource (xiii, 517 pages) :illustrations
- Series Title
- -
- Call Number
- -
The reasoned schemer
Includes index."The goal of The Reasoned Schemer is to help the functional programmer think logically and the logic programmer think functionally. The authors of The Reasoned Schemer believe that logic programming is a natural extension of functional programming, and they demonstrate this by extending the functional language Scheme with logical constructs - thereby combining the benefits of bot…
- Edition
- -
- ISBN/ISSN
- 0262256177
- Collation
- 1 online resource (x, 169 pages) :illustrations
- Series Title
- -
- Call Number
- -
State making and environmental cooperation :linking domestic and internationa…
The Amu Darya and Syr Darya rivers of Central Asia flow across deserts to empty into the Aral Sea. Under Soviet rule, so much water was diverted from the rivers for agricultural purposes that salinity levels rapidly rose and the sea shrank. There was an upsurge in dust storms containing toxic salt residue, and a new desert began to replace the sea. At the same time, agricultural runoff rendered…
- Edition
- -
- ISBN/ISSN
- 9780262285919
- Collation
- 1 online resource (ix, 274 pages) :map.
- Series Title
- -
- Call Number
- -
Software development failures :anatomy of abandoned projects
Failed or abandoned software development projects cost the U.S. economy alone billions of dollars a year. In Software Development Failures, Kweku Ewusi-Mensah offers an empirically grounded study that suggests why these failures happen and how they can be avoided. Case studies analyzed include the well-known Confirm travel industry reservation program, FoxMeyer's Delta, the IRS's Tax System Mod…
- Edition
- -
- ISBN/ISSN
- 9780262256087
- Collation
- 1 online resource (xiv, 276 pages)
- Series Title
- -
- Call Number
- -
Social capital and information technology
A selection of revised papers from a workshop organized by the editors and held in Amsterdam on 21-22 May 2002, with the addition of some invited papers by social researchers.A multidisciplinary examination of the interplay between social capital-the value derived from social ties-and information technology.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262256391
- Collation
- 1 online resource (ix, 416 pages) :illustrations
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography