"A Bradford book.""Based on a workshop held at the University of New Hampshire in October, 1988, sponsored by the National Science Foundation, and entitled 'The application of neural networks to robotics and control'"--Preface."Neural Networks for Control brings together examples of all the most important paradigms for the application of neural networks to robotics and control. Primarily concer…
If we are to solve the central problems in the philosophy of science, Paul Churchland argues, we must draw heavily on the resources of the emerging sciences of the mind-brain. A Neurocomputationial Perspective illustrates the fertility of the concepts and data drawn from the study of the brain and of artificial networks that model the brain. These concepts bring unexpected coherence to scattere…
New technology has brought with it new tools for learning, and research has shown that the educational potential of video games resonates with teachers and pupils alike. Klopfer here describes the largely untapped potential of mobile learning games to make a substantial impact on education.
This collection of short expository, critical and speculative texts offers a field guide to the cultural, political, social and aesthetic impact of software. Experts from a range of disciplines each take a key topic in software and the understanding of software, such as algorithms and logical structures.
The annual Neural Information Processing Systems (NIPS) conference is the flagship meeting on neural computation and machine learning. This volume contains the papers presented at the December 2006 meeting, held in Vancouver.
A Bradford book.""Industry veteran Raymond Nickerson provides an extensive introduction to the information technology revolution that is transforming industrial society. He focuses particularly on the study of person-computer interaction, noting how computers are affecting their users and society as a whole, and describes a variety of ways in which information technology is expected to develop …
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…
A Bradford book."OCLC-licensed vendor bibliographic record.
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…