## Reductive Logic and Proof-search: Proof Theory, Semantics, and Control

*David J. Pym and Eike Ritter*

- Published in print:
- 2004
- Published Online:
- September 2007
- ISBN:
- 9780198526339
- eISBN:
- 9780191712012
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198526339.001.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy

This a research study about logic. Logic is both part of and has roles in many disciplines, including inter alia, mathematics, computing, and philosophy. The topic covered here — the mathematical ... More

## INTRODUCTION

*Jon Williamson*

### in Bayesian Nets and Causality: Philosophical and Computational Foundations

- Published in print:
- 2004
- Published Online:
- September 2007
- ISBN:
- 9780198530794
- eISBN:
- 9780191712982
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198530794.003.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy

This chapter describes the central claims of the book. From a philosophical point of view, the book argues for an objective Bayesian interpretation of probability and an epistemic interpretation of ... More

## LOT 2: The Language of Thought Revisited

*Jerry A. Fodor*

- Published in print:
- 2008
- Published Online:
- February 2010
- ISBN:
- 9780199548774
- eISBN:
- 9780191721106
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199548774.001.0001
- Subject:
- Philosophy, Philosophy of Mind, Philosophy of Language

This book presents a new development of the famous Language of Thought hypothesis, which has since the 1970s been at the centre of interdisciplinary debate about how the mind works. The book defends ... More

## Bayesian Models: A Statistical Primer for Ecologists

*N. Thompson Hobbs and Mevin B. Hooten*

- Published in print:
- 2015
- Published Online:
- October 2017
- ISBN:
- 9780691159287
- eISBN:
- 9781400866557
- Item type:
- book

- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691159287.001.0001
- Subject:
- Biology, Ecology

Bayesian modeling has become an indispensable tool for ecological research because it is uniquely suited to deal with complexity in a statistically coherent way. This book provides a comprehensive ... More

## Fast Computation on Massive Data Sets

*Željko Ivezi, Andrew J. Connolly, Jacob T. VanderPlas, Alexander Gray, Željko Ivezi, Andrew J. Connolly, Jacob T. VanderPlas, and Alexander Gray*

### in Statistics, Data Mining, and Machine Learning in Astronomy: A Practical Python Guide for the Analysis of Survey Data

- Published in print:
- 2014
- Published Online:
- October 2017
- ISBN:
- 9780691151687
- eISBN:
- 9781400848911
- Item type:
- chapter

- Publisher:
- Princeton University Press
- DOI:
- 10.23943/princeton/9780691151687.003.0002
- Subject:
- Physics, Particle Physics / Astrophysics / Cosmology

This chapter describes basic concepts and tools for tractably performing the computations described in the rest of this book. The need for fast algorithms for such analysis subroutines is becoming ... More

## Epilogue

*Luc Bovens and Stephan Hartmann*

### in Bayesian Epistemology

- Published in print:
- 2004
- Published Online:
- January 2005
- ISBN:
- 9780199269754
- eISBN:
- 9780191601705
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/0199269750.003.0007
- Subject:
- Philosophy, Metaphysics/Epistemology

Presents some general reflections on the role and the challenges of probabilistic modelling in philosophy.

## Outlook

*Vlatko Vedral*

### in Introduction to Quantum Information Science

- Published in print:
- 2006
- Published Online:
- January 2010
- ISBN:
- 9780199215706
- eISBN:
- 9780191706783
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199215706.003.0014
- Subject:
- Physics, Theoretical, Computational, and Statistical Physics

This book has discussed the foundations of quantum information science as well as the relationship between physics and information theory in general. It has considered the quantum equivalents of the ... More

## Neural Networks and Brain Function

*Edmund Rolls and Alessandro Treves*

- Published in print:
- 1997
- Published Online:
- March 2012
- ISBN:
- 9780198524328
- eISBN:
- 9780191724466
- Item type:
- book

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198524328.001.0001
- Subject:
- Neuroscience, Development

The aim of this book is to describe the types of computation that can be performed by biologically plausible neural networks, and to show how these may be implemented in different systems in the ... More

## Computations, Transition Formulae, and the Local Index Formula

*Simon Scott*

### in Traces and Determinants of Pseudodifferential Operators

- Published in print:
- 2010
- Published Online:
- January 2011
- ISBN:
- 9780198568360
- eISBN:
- 9780191594748
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198568360.003.0004
- Subject:
- Mathematics, Analysis

In this chapter the constructions of chapters 1 and 2 for are illustrated with explicit computations. The first part of the chapter presents various methods of computation commonly used in the ... More

## Structure Defines Function

*Buzsáki György*

### in Rhythms of the Brain

- Published in print:
- 2006
- Published Online:
- May 2009
- ISBN:
- 9780195301069
- eISBN:
- 9780199863716
- Item type:
- chapter

- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780195301069.003.0002
- Subject:
- Neuroscience, Neuroendocrine and Autonomic, Techniques

The neocortex is built from five principal-cell types and numerous classes of interneurons. Early formulation of cortical structure emphasized the modularity of the neocortex. Its robust local ... More