Filter by
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
- -
Numerica :a modeling language for global optimization
Many science and engineering applications require the user to find solutions to systems of nonlinear constraints or to optimize a nonlinear function subject to nonlinear constraints. The field of global optimization is the study of methods to find all solutions to systems of nonlinear constraints and all global optima to optimization problems. Numerica is modeling language for global optimizati…
- Edition
- -
- ISBN/ISSN
- 9780262288408
- Collation
- 1 online resource (xvii, 210 pages) :illustrations
- Series Title
- -
- Call Number
- -
Teaching machines
"Teaching Machines traces the development of education technology from roughly the 1920s through the end of the 1990s, shaping our ideas of standardization and individualism"--OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0262363747
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
Object-oriented programming :the CLOS perspective
To date, books on object-oriented programming have focused either on the methodology of the object-oriented paradigm or on teaching the details of a particular programming language. This collection takes a different approach, examining one object-oriented programming language - the Common-Lisp Object System (CLOS) - as a modern programming tool. The fourteen contributions examine CLOS from a va…
- Edition
- -
- ISBN/ISSN
- 9780262256759
- Collation
- 1 online resource (viii, 352 pages) :illustrations
- Series Title
- -
- Call Number
- -
A robot ping-pong player :experiment in real-time intelligent control
This tour de force in experimental robotics paves the way toward understanding dynamic environments in vision and robotics. It describes the first robot able to play, and even beat, human ping-pong players.Constructing a machine to play ping-pong was proposed years ago as a particularly difficult problem requiring fast, accurate sensing and actuation, and the intelligence to play the game. The …
- Edition
- -
- ISBN/ISSN
- 9780262255615
- Collation
- 1 online resource (xiii, 275 pages) :illustrations.
- Series Title
- -
- Call Number
- -
The open handbook of linguistic data management
A guide to principles and methods for the management, archiving, sharing, and citing of linguistic research data, especially digital data.Doing language science depends on collecting, transcribing, annotating, analyzing, storing, and sharing linguistic research data. This volume offers a guide to linguistic data management, engaging with current trends toward the transformation of linguistics i…
- Edition
- -
- ISBN/ISSN
- 9780262362177
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
A cultural biography of the prostate
"Unshrouding the prostate to reveal masculinity, sexuality, aging and disease"--OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0262366983
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
The craft of economics :lessons from the Heckscher-Ohlin framework
In this spirited and provocative book, Edward Leamer turns an examination of the Heckscher--Ohlin framework for global competition into an opportunity to consider the craft of economics: what economists do, what they should do, and what they shouldn't do. Claiming "a lifetime relationship with Heckscher--Ohlin," Leamer argues that Bertil Ohlin's original idea offered something useful though vag…
- Edition
- -
- ISBN/ISSN
- 9780262301589
- Collation
- 1 online resource (ix, 196 pages) :illustrations.
- Series Title
- -
- Call Number
- -
The demonstration society
"An analysis of the "demonstration"-from protests to tech product demos and everything in between-to draw out their peculiarities and common features"--OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0262366398
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography