Filter by
Warren's Abstract Machine: A Tutorial Reconstruction
"This tutorial demystifies one of the most important yet poorly understood aspects of logic programming, the Warren Abstract Machine or WAM. The author's step-by-step construction of the WAM adds features in a gradual manner, clarifying the complex aspects of the design and providing the first detailed study of WAM since it was designed in 1983. Developed by David H.D. Warren, the WAM is an abs…
- Edition
- -
- ISBN/ISSN
- 9780262255585
- Collation
- 1 online resource (xvi, 114 pages) :illustrations.
- Series Title
- -
- Call Number
- -
What Counts: Focus and Quantification
In What Counts, Elena Herburger considers the effects of focus on interpretation. She investigates how focus affects the pragmatics and truth conditions of a sentence by rearranging its quantificational structure.Adopting a neo-Davidsonian stance, Herburger claims that various pragmatic and truth-conditional effects of focus sustain a uniform explanation if focus is viewed as imposing structure…
- Edition
- -
- ISBN/ISSN
- 9780262275293
- Collation
- 1 online resource (x, 166 pages).
- Series Title
- -
- Call Number
- -
Calculating a Natural World: Scientists, Engineers, and Computers During the …
How the complex interplay of academic, commercial, and military interests produced an intense period of scientific discovery and technological innovation in computing during the Cold War.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262266895
- Collation
- 1 online resource (ix, 427 pages) :illustrations.
- Series Title
- -
- Call Number
- -
What the Future Holds: Insights from Social Science
Social scientists from various disciplines discuss and offer predictions about the future.Predicting the future is notoriously difficult. But systematic analysis leads to clearer understanding and wiser decisions. Thinking about the future also makes social scientists focus their research into the past and present more fruitfully, with more attention to key predictors of change.This book consid…
- Edition
- -
- ISBN/ISSN
- 9780262270786
- Collation
- 1 online resource (285 pages)
- Series Title
- -
- Call Number
- -
Histories of the Dustheap: Waste, Material Cultures, Social Justice
This volume provides an examination of how garbage reveals the relationships between the global and the local, the economic and the ecological, and the historical and the contemporary.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262305693
- Collation
- 1 online resource (vi, 291 pages) :map.
- Series Title
- -
- Call Number
- -
The Political Lives of Information: Information and the Production of Develop…
"This book critiques what the author sees as a growing global cult of information through three case studies examining Indian anti-poverty initiatives"--OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262370370
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
An introduction to lifted probabilistic inference
"The book presents an introduction to, and an authoritative guide, for anyone interested in the problem of probabilistic inference in the presence of symmetries/structured models"--OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0262365596
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
Privacy on the line :the politics of wiretapping and encryption
Telecommunication has never been perfectly secure. The Cold War culture of recording devices in telephone receivers and bugged embassy offices has been succeeded by a post-9/11 world of NSA wiretaps and demands for data retention. Although the 1990s battle for individual and commercial freedom to use cryptography was won, growth in the use of cryptography has been slow. Meanwhile, regulations r…
- Edition
- Updated and expanded ed.
- ISBN/ISSN
- 9780262256018
- Collation
- 1 online resource (xvii, 473 pages) :illustrations
- Series Title
- -
- Call Number
- -
Contiguity theory
Norvin Richards argues that there are universal conditions on morphology and phonology, particularly in how the prosodic structures of language can be built, and that these universal structures interact with language-specific properties of phonology and morphology.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262332330
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
Sifting the Trash: A History of Design Criticism
Outgrowth of the author's thesis (doctoral--Royal College of Art, 2013) under the title: Purposes, poetics, and publics : the shifting dynamics of design criticism in the US and UK, 1955-2007.Product design criticism operates at the very brink of the landfill site, salvaging some products with praise but consigning others to its depths through condemnation or indifference. When a designed produ…
- Edition
- -
- ISBN/ISSN
- 9780262344456
- Collation
- 1 online resource (viii, 296 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