Filter by
Logic programming :proceedings of the 1997 International Symposium
Symposium held Oct. 13-16, 1997.The annual International Logic Programming Symposium, traditionally held in North America, is one of the main international conferences sponsored by the Association of Logic Programming. The themes of the 1997 conference are new theoretical and practical accomplishments in logic programming, new research directions where ideas originating from logic programming c…
- Edition
- -
- ISBN/ISSN
- 9780262291323
- Collation
- 1 online resource (xvi, 425 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Leonardo's laptop :human needs and the new computing technologies
"Ben Shneiderman's book dramatically raises computer users' expectations of what they should get from technology. He opens their eyes to new possibilities and invites them to think freshly about future technology. He challenges developers to build products that better support human needs and that are usable at any bandwidth. Shneiderman proposes Leonardo da Vinci as an inspirational muse for th…
- Edition
- -
- ISBN/ISSN
- 9780262256988
- Collation
- 1 online resource (xi, 269 pages) :illustrations
- Series Title
- -
- Call Number
- -
Rationality and logic
"A Bradford book."An argument that logic is intrinsically psychological and human psychology is intrinsically logical, and that the connection between human rationality and logic is both constitutive and mutual.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262274852
- Collation
- 1 online resource (xxii, 316 pages)
- Series Title
- -
- Call Number
- -
The psychology of proof :deductive reasoning in human thinking
"A Bradford book."OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262282413
- Collation
- 1 online resource (xiii, 449 pages) :illustrations
- Series Title
- -
- Call Number
- -
Programming with constraints :an introduction
The job of the constraint programmer is to use mathematical constraints to model real world constraints and objects. In this book, Kim Marriott and Peter Stuckey provide the first comprehensive introduction to the discipline of constraint programming and, in particular, constraint logic programming. The book covers the necessary background material from artificial intelligence, logic programmin…
- Edition
- -
- ISBN/ISSN
- 0262279169
- Collation
- 1 online resource (488 pages).
- Series Title
- -
- Call Number
- -
Retooling :a historian confronts technological change
A humanistic account of the changing role of technology in society, by a historian and a former Dean of Students and Undergraduate Education at MIT.When Warren Kendall Lewis left Spring Garden Farm in Delaware in 1901 to enter MIT, he had no idea that he was becoming part of a profession that would bring untold good to his country but would also contribute to the death of his family's farm. In …
- Edition
- -
- ISBN/ISSN
- 9780262286299
- Collation
- 1 online resource (xv, 252 pages)
- Series Title
- -
- Call Number
- -
Rethinking homeostasis :allostatic regulation in physiology and pathophysiology
"A Bradford book."Homeostasis, a key concept in biology, refers to the tendency toward stability in the various bodily states that make up the internal environment. Examples include temperature regulation and oxygen consumption. The body's needs, however, do not remain constant. When an organism is under stress, the central nervous system works with the endocrine system to use resources to main…
- Edition
- -
- ISBN/ISSN
- 9780262283274
- Collation
- 1 online resource (xvi, 296 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Reliable reasoning :induction and statistical learning theory
"A Bradford book."The implications for philosophy and cognitive science of developments in statistical learning theory.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262274975
- Collation
- 1 online resource (x, 108 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Specificity and the macroeconomics of restructuring
A proposal that the notion of specificity-the idea that factors of production are not interchangeable-can provide a unified framework to analyze and understand a wide variety of macroeconomic phenomena stemming from the transactional environment and micro.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 128209856X
- Collation
- 1 online resource (xii, 331 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Wavelets in Neuroscience
This book examines theoretical and applied aspects of wavelet analysis in neurophysics, describing in detail different practical applications of the wavelet theory in the areas of neurodynamics and neurophysiology and providing a review of fundamental work that has been carried out in these fields over the last decade. Chapters 1 and 2 introduce and review the relevant foundations of neuroph…
- Edition
- -
- ISBN/ISSN
- 978-3-662-43850-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography