Filter by
Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second Inte…
"This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their mutual interests. This workshop emphasizes the relationship between logic programming and non-monotonic reasoning.Luis' Moniz Pereira is Professor in the Department of Computer Science at the Universid…
- Edition
- 1
- ISBN/ISSN
- 9780262291378
- Collation
- -
- Series Title
- -
- Call Number
- -
Logic Programming: The 11th International Conference
Conference proceedings presenting the state-of-the-art in Logic Programming.
- Edition
- 1
- ISBN/ISSN
- 9780262257145
- Collation
- -
- Series Title
- -
- Call Number
- -
A Century of Electrical Engineering and Computer Science at MIT, 1882–1982
Electrical engineering is a protean profession. Today the field embraces many disciplines that seem far removed from its roots in the telegraph, telephone, electric lamps, motors, and generators. To a remarkable extent, this chronicle of change and growth at a single institution is a capsule history of the discipline and profession of electrical engineering as it developed worldwide. Even when …
- Edition
- -
- ISBN/ISSN
- 9780262291033
- Collation
- 1 online resource (xi, 423 pages) :illustrations
- Series Title
- -
- Call Number
- -
Neurotechnology for biomimetic robots
"A Bradford book."An overview of neurotechnology, the engineering of robots based on animals and animal behavior.The goal of neurotechnology is to confer the performance advantages of animal systems on robotic machines. Biomimetic robots differ from traditional robots in that they are agile, relatively cheap, and able to deal with real-world environments. The engineering of these robots require…
- Edition
- -
- ISBN/ISSN
- 9780262267496
- Collation
- 1 online resource (xiv, 636 pages) :illustrations
- Series Title
- -
- Call Number
- -
Circuit Complexity and Neural Networks
Neural networks usually work adequately on small problems but can run into trouble when they are scaled up to problems involving large amounts of input data. Circuit Complexity and Neural Networks addresses the important question of how well neural networks scale - that is, how fast the computation time and number of neurons grow as the problem size increases. It surveys recent research in circ…
- Edition
- -
- ISBN/ISSN
- 9780262281249
- Collation
- 1 online resource (xxix, 270 pages) :illustrations.
- Series Title
- -
- Call Number
- -
City of Bits : Space, Place, and the Infobahn
Entertaining, concise, and relentlessly probing, City of Bits is a comprehensive introduction to a new type of city, an increasingly important system of virtual spaces interconnected by the information superhighway. William Mitchell makes extensive use of practical examples and illustrations in a technically well-grounded yet accessible examination of architecture and urbanism in the context of…
- Edition
- -
- ISBN/ISSN
- 9780262279956
- Collation
- -
- Series Title
- -
- Call Number
- 720 MIT c
The Closed World: Computers and the Politics of Discourse in Cold War America
The Closed World offers a radically new alternative to the canonical histories of computers and cognitive science. Arguing that we can make sense of computers as tools only when we simultaneously grasp their roles as metaphors and political icons, Paul Edwards shows how Cold War social and cultural contexts shaped emerging computer technology--and were transformed, in turn, by information machi…
- Edition
- -
- ISBN/ISSN
- 9780262272162
- Collation
- 1 online resource (xx, 440 pages) :illustrations.
- Series Title
- -
- Call Number
- -
The Trouble with Computers: Usefulness, Usability, and Productivity
A Bradford book."OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262277891
- Collation
- 1 online resource (xiii, 425 pages) :illustrations
- Series Title
- -
- Call Number
- -
Certified Programming with Dependent Types: A Pragmatic Introduction to the C…
A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Co…
- Edition
- -
- ISBN/ISSN
- 9780262026659
- Collation
- -
- Series Title
- -
- Call Number
- -
New directions in statistical signal processing :from systems to brain
Signal processing and neural computation have separately and significantly influenced many disciplines, but the cross-fertilization of the two fields has begun only recently. Research now shows that each has much to teach the other, as we see highly sophisticated kinds of signal processing and elaborate hierachical levels of neural computation performed side by side in the brain. In New Directi…
- Edition
- -
- ISBN/ISSN
- 9780262256315
- Collation
- 1 online resource (vi, 514 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