Sciweavers

8699 search results - page 152 / 1740
» Elements of the Theory of Computation
Sort
View
BSL
2005
74views more  BSL 2005»
14 years 11 months ago
Turing computations on ordinals
We define the notion of ordinal computability by generalizing standard Turing computability on tapes of length to computations on tapes of arbitrary ordinal length. We show that a ...
Peter Koepke
JMLR
2010
92views more  JMLR 2010»
14 years 6 months ago
Posterior distributions are computable from predictive distributions
As we devise more complicated prior distributions, will inference algorithms keep up? We highlight a negative result in computable probability theory by Ackerman, Freer, and Roy (...
Cameron E. Freer, Daniel M. Roy
ASC
2008
14 years 11 months ago
Morphic computing
Morphic Computing is based on Field Theory [14-16] and more specifically Morphic Fields. Morphic Fields were first introduced by [18] from his hypothesis of formative causation tha...
Germano Resconi, Masoud Nikravesh
ITICSE
2006
ACM
15 years 5 months ago
Putting threshold concepts into context in computer science education
This paper describes Threshold Concepts, a theory of learning that distinguishes core concepts whose characteristics can make them troublesome in learning. With an eye to applying...
Anna Eckerdal, Robert McCartney, Jan Erik Mostr&ou...
CORR
2008
Springer
107views Education» more  CORR 2008»
14 years 11 months ago
Metric Structures and Probabilistic Computation
Abstract. Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical co...
Wesley Calvert