Filter by
Dynamic logic
Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic,…
- Edition
- -
- ISBN/ISSN
- 9780262274951
- Collation
- 1 online resource (xv, 459 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Analyzing Neural Time Series Data: Theory and Practice
"This book offers a comprehensive guide to the theory and practice of analyzing electrical brain signals. It explains the conceptual, mathematical, and implementational (via Matlab programming) aspects of time-, time-frequency- and synchronization-based analyses of magnetoencephalography (MEG), electroencephalography (EEG), and local field potential (LFP) recordings from humans and nonhuman ani…
- Edition
- -
- ISBN/ISSN
- 9780262319553
- Collation
- 1 online resource (xviii, 578 pages, 16 unnumbered pages of plates) :illustrations.
- Series Title
- -
- Call Number
- -
Electric Words: Dictionaries, Computers, and Meanings
"A Bradford book."The use of computers to understand words continues to be an area of burgeoning research. Electric Words is the first general survey of and introduction to the entire range of work in lexical linguistics and corpora -- the study of such on-line resources as dictionaries and other texts -- in the broader fields of natural-language processing and artificial intelligence. The auth…
- Edition
- -
- ISBN/ISSN
- 9780262286244
- Collation
- 1 online resource (viii, 289 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Elements of Artificial Neural Networks
"A Bradford book."OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262279628
- Collation
- 1 online resource (xiv, 344 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Evolutionary Programming IV: Proceedings of the Fourth Annual Conference on E…
"A Bradford book."March 1-3, 1995, San Diego, California Evolutionary programming is one of the predominate algorithms withing the rapidly expanding field of evolutionary computation. These edited contributions to the Fourth Annual Conference on Evolutionary Programming are by leading scientists from academia, industry, and defense. The papers describe both the theory and practical application …
- Edition
- -
- ISBN/ISSN
- 9780262290920
- Collation
- 1 online resource (xx, 805 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Finite-state language processing
"A Bradford book."Finite-state devices, which include finite-state automata, graphs, and finite-state transducers, are in wide use in many areas of computer science. Recently, there has been a resurgence of the use of finite-state devices in all aspects of computational linguistics, including dictionary encoding, text processing, and speech processing. This book describes the fundamental proper…
- Edition
- -
- ISBN/ISSN
- 9780262290951
- Collation
- 1 online resource (xv, 464 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Perceptrons :an introduction to computational geometry
"Reissue of the 1988 Expanded Edition with a new foreword by L?eon Bottou."The first systematic study of parallelism in computation by two pioneers in the field.Reissue of the 1988 Expanded Edition with a new foreword by Leon BottouIn 1969, ten years after the discovery of the perceptron--which showed that a machine could be taught to perform certain tasks using examples--Marvin Minsky and Seym…
- Edition
- [2017 edition].
- ISBN/ISSN
- 9780262343930
- Collation
- 1 online resource (xxiii, 292 pages) :illustrations
- Series Title
- -
- Call Number
- -
Plato and the nerd :the creative partnership of humans and technology
In this book, Edward Ashford Lee makes a bold claim: that the creators of digital technology have an unsurpassed medium for creativity. Technology has advanced to the point where progress seems limited not by physical constraints but the human imagination. Writing for both literate technologists and numerate humanists, Lee makes a case for engineering -- creating technology -- as a deeply intel…
- Edition
- -
- ISBN/ISSN
- 9780262341202
- Collation
- 1 online resource (xvi, 266 pages) :illustrations
- Series Title
- -
- Call Number
- -
On computing :the fourth great scientific domain
Computing isn't simply about hardware or software, or calculation or applications. Computing, writes Paul Rosenbloom, is an exciting and diverse, yet remarkably coherent, scientific enterprise that is highly multidisciplinary yet maintains a unique core of its own. In On Computing, Rosenbloom proposes that computing is a great scientific domain on a par with the physical, life, and social scien…
- Edition
- -
- ISBN/ISSN
- 9780262305280
- Collation
- 1 online resource (xxiv, 307 pages) :illustrations
- Series Title
- -
- Call Number
- -
HAL's legacy : 2001's computer as dream and reality
I became operational... in Urbana, Illinois, on January 12, 1997. Inspired by HAL's self-proclaimed birth date, HAL's Legacy reflects upon science fiction's most famous computer and explores the relationship between science fantasy and technological fact. The informative, nontechnical chapters written especially for this book describe many of the areas of computer science critical to the des…
- Edition
- -
- ISBN/ISSN
- 9780262284455
- Collation
- 1 online resource (xxi, 384 pages) : illustrations (some color)
- Series Title
- -
- Call Number
- 001 HAL
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography