Filter by
Flexibility Principles in Boolean Semantics: The Interpretation of Coordinati…
An investigation of the logical flexibility principles needed for a formal semantic account of coordination, plurality, and scope in natural language.Since the early work of Montague, Boolean semantics and its subfield of generalized quantifier theory have become the model-theoretic foundation for the study of meaning in natural languages. This book uses this framework to develop a new semantic…
- Edition
- -
- ISBN/ISSN
- 9780262286374
- Collation
- 1 online resource (x, 297 pages) :illustrations.
- Series Title
- -
- Call Number
- -
The Formal Semantics of Programming Languages: An Introduction
"The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered…
- Edition
- -
- ISBN/ISSN
- 9780262291453
- Collation
- 1 online resource (xviii, 361 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Graphical models :foundations of neural computation
"A Bradford book."Graphical models use graphs to represent and manipulate joint probability distributions. They have their roots in artificial intelligence, statistics, and neural networks. The clean mathematical formalism of the graphical models framework makes it possible to understand a wide variety of network-based approaches to computation, and in particular to understand many neural netwo…
- Edition
- -
- ISBN/ISSN
- 0262291207
- Collation
- 1 online resource (xxiv, 421 pages) : illustrations
- Series Title
- Computational Neuroscience Series
- Call Number
- -
Global Cities: Urban Environments in Los Angeles, Hong Kong, and China
Over the past four decades, Los Angeles, Hong Kong, and key urban regions of China have emerged as global cities - in financial, political, cultural, environmental, and demographic terms. In this book, Robert Gottlieb and Simon Ng trace the global emergence of these urban areas and compare their responses to a set of six urban environmental issues. These cities have different patterns of develo…
- Edition
- -
- ISBN/ISSN
- 9780262338868
- Collation
- 1 online resource (xviii, 447 pages) :illustrations, maps.
- Series Title
- -
- Call Number
- -
MPI -- the Complete Reference.
This volume presents a complete specification of the MPI-2 Standard. It is annotated with comments that clarify complicated issues, including why certain design choices were made, how users are intended to use the interface, and how they should construct their version of MPI.OCLC-licensed vendor bibliographic record.
- Edition
- 2nd ed.
- ISBN/ISSN
- 9780262287548
- Collation
- 1 online resource (363 pages).
- Series Title
- -
- Call Number
- -
Global Meat: Social and Environmental Consequences of the Expanding Meat Indu…
Global meat production and consumption have risen sharply and steadily over the past five decades, with per capita meat consumption almost doubling since 1960. The expanding global meat industry, meanwhile, driven by new trade policies and fueled by government subsidies, is dominated by just a few corporate giants. Industrial farming—the intensive production of animals and fish—has spread a…
- Edition
- -
- ISBN/ISSN
- 9780262355384
- Collation
- -
- Series Title
- -
- Call Number
- -
The Manifesto for Teaching Online
In 2011, a group of scholars associated with the Centre for Research in Digital Education at the University of Edinburgh released “The Manifesto for Teaching Online,” a series of provocative statements intended to articulate their pedagogical philosophy. In the original manifesto and a 2016 update, the authors counter both the “impoverished” vision of education being advanced by corpora…
- Edition
- -
- ISBN/ISSN
- 9780262361064
- Collation
- 1 online resource
- Series Title
- -
- Call Number
- -
Cognition in the wild
Edwin Hutchins combines his background as an anthropologist and an open-ocean racing sailor and navigator in this account of how anthropological methods can be combined with cognitive theory to produce a new reading of cognitive science. His theoretical insights are grounded in an extended analysis of ship navigation - its computational basis, its historical roots, its social organization, and …
- Edition
- -
- ISBN/ISSN
- 9780262275972
- Collation
- 1 online resource (xviii, 381 pages) :illustrations
- Series Title
- -
- Call Number
- -
Uncertainty Underground: Yucca Mountain and the Nation's High-Level Nuclear W…
Despite approval by Congress and the Bush administration and over seven billion dollars already spent, the Yucca Mountain, Nevada, site for disposal of highly radioactive spent nuclear fuel is not yet in operation. The reasons for the delay lie not only in citizen and activist opposition to the project but also in the numerous scientific and technical issues that remain unresolved. Although man…
- Edition
- -
- ISBN/ISSN
- 9780262278782
- Collation
- 1 online resource (xxiii, 431 pages) :illustrations, maps
- Series Title
- -
- Call Number
- -
Understanding Language Understanding: Computational Models of Reading
A Bradford book."The book takes an interdisciplinary approach to the study of reading, with contributions from computer science, psychology, and philosophy. This book highlights cutting-edge research relevant to the building of a computational model of reading comprehension, as in the processing and understanding of a natural language text or story. A distinguishing feature of the book is its e…
- Edition
- -
- ISBN/ISSN
- 9780262282055
- Collation
- 1 online resource (xvii, 499 pages) :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