Filter by
Mechanizing proof :computing, risk, and trust
Most aspects of our private and social lives--our safety, the integrity of the financial system, the functioning of utilities and other services, and national security--now depend on computing. But how can we know that this computing is trustworthy? In Mechanizing Proof, Donald MacKenzie addresses this key issue by investigating the interrelations of computing, risk, and mathematical proof over…
- Edition
- -
- ISBN/ISSN
- 9780262278829
- Collation
- 1 online resource (xi, 427 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Mechanisms of implicit learning :connectionist models of sequence processing
"Axel Cleeremans is a Senior Research Assistant at the National Fund for Scientific Research, Belgium.""A Bradford book.""What do people learn when they do not know that they are learning? Until recently all of the work in the area of implicit learning focused on empirical questions and methods. In this book, Axel Cleeremans explores unintentional learning from an information-processing perspec…
- Edition
- -
- ISBN/ISSN
- 0585020388
- Collation
- 1 online resource (xii, 227 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Mechanics of robotic manipulation
"A Bradford book."""Manipulation" refers to a variety of physical changes made to the world around us. Mechanics of Robotic Manipulation addresses one form of robotic manipulation, moving objects, and the various processes involved--grasping, carrying, pushing, dropping, throwing, and so on. Unlike most books on the subject, it focuses on manipulation rather than manipulators. This attention to…
- Edition
- -
- ISBN/ISSN
- 9780262256629
- Collation
- 1 online resource (xi, 253 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Meaning in technology
"In Meaning in Technology, Arnold Pacey explores how an individual's sense of purpose and meaning in life can affect the shape and use of technology. He argues against reductionism in interpreting technology in a human context, and for acknowledgment of the role of the human experience of purpose when it helps to express meaning in technology. In the first part of the book, Pacey analyzes the d…
- Edition
- -
- ISBN/ISSN
- 9780262281140
- Collation
- 1 online resource (viii, 264 pages)
- Series Title
- -
- Call Number
- -
Me++ :the cyborg self and the networked city
"With Me++ the author of City of Bits and e-topia completes an informal trilogy examining the ramifications of information technology in everyday life. William Mitchell describes the transformation of wireless technology in the hundred years since Marconi: the scaling up of networks and the scaling down of the apparatus for transmission and reception. He examines the effects of wireless linkage…
- Edition
- -
- ISBN/ISSN
- 9780262280020
- Collation
- 1 online resource (259 pages)
- Series Title
- -
- Call Number
- -
The mathematics of marriage :dynamic nonlinear models
Bradford book.Divorce rates are at an all-time high. But without a theoretical understanding of the processes related to marital stability and dissolution, it is difficult to design and evaluate new marriage interventions. The Mathematics of Marriage provides the foundation for a scientific theory of marital relations. The book does not rely on metaphors, but develops and applies a mathematical…
- Edition
- -
- ISBN/ISSN
- 9780262274135
- Collation
- 1 online resource (xvii, 403 pages) :illustrations
- Series Title
- -
- Call Number
- -
Materials matter :toward a sustainable materials policy
"The products we purchase and use are assembled from a wide range of naturally occurring and manufactured materials. But too often we create hazards for the ecosystem and human health as we mine, process, distribute, use, and dispose of these materials. Until recently, most research has focused on the waste end of material cycles. This book argues that the safest and least costly point at which…
- Edition
- -
- ISBN/ISSN
- 9780262273633
- Collation
- 1 online resource (xvi, 479 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Materialized views :techniques, implementations, and applications
"When an application is built, an underlying data model is chosen to make that application effective. Frequently, other applications need the same data, only modeled differently. The solution of copying the underlying data and modeling is costly in terms of storage and makes data maintenance and evolution impossible. View mechanisms are a technique to model data differently for various applicat…
- Edition
- -
- ISBN/ISSN
- 9780262287500
- Collation
- 1 online resource (xix, 589 pages) :illustrations
- Series Title
- -
- Call Number
- -
Master passions :emotion, narrative, and the development of culture
An exploration of the powerful role of anxiety, ambition, and envy in shaping both our individual lives and society as a whole. At the heart of the human experience lies anxiety caused by the realization that the world is unknown, forever eluding our control. And out of this anxiety arises the master passions of ambition and envy, which we repress to mask their power over our lives. Discussion …
- Edition
- -
- ISBN/ISSN
- 058544255X
- Collation
- 1 online resource (xx, 247 pages)
- Series Title
- -
- Call Number
- -
The Massively parallel processor
The development of parallel processing, with the attendant technology of advanced software engineering, VLSI circuits, and artificial intelligence, now allows high-performance computer systems to reach the speeds necessary to meet the challenge of future complex scientific and commercial applications. This collection of articles documents the design of one such computer, a single instruction mu…
- Edition
- -
- ISBN/ISSN
- 0262256827
- Collation
- 1 online resource (vii, 304 pages, 1 unnumbered leaf of plates) :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