Probabilistic Turing machine - PDFSEARCH.IO - Document Search Engine

Probabilistic Turing machine
Results: 13

#	Item
1	Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARLS Probabilistic Functional Programming in Haskell Add to Reading List Source URL: web.engr.oregonstate.edu Language: English - Date: 2005-07-18 18:08:19 Probability distributions Probability theory Probabilistic complexity theory Monty Hall problem Normalizing constant Expected value Normal distribution Uniform distribution Distribution Probabilistic Turing machine
2	Retraction of Probabilistic Computation and Linear Time Lance Fortnow Michael Sipser MIT Math Dept. Cambridge, MA 02139 Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2010-05-13 09:33:41 Structural complexity theory Complexity classes Models of computation Lance Fortnow Probabilistic complexity theory Interactive proof system IP Bounded-error probabilistic polynomial Probabilistic Turing machine Theoretical computer science Computational complexity theory Applied mathematics
3	Generating counterexamples for quantitative safety specifications in probabilistic B Ukachukwu Ndukwu1 Department of Computing, Macquarie University, NSW 2109 Sydney, Australia. Abstract Add to Reading List Source URL: web.science.mq.edu.au Language: English - Date: 2010-04-30 06:17:08 Probabilistic complexity theory Complexity classes Probabilistic Turing machine Turing machine PP NL Predicate transformer semantics IP Model checking Theoretical computer science Computational complexity theory Applied mathematics
4	Modeling and Querying Probabilistic XML Data 1 Benny Kimelfeld Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-12-18 16:36:47 Applied mathematics Statistics Bayesian network Randomized algorithm Probabilistic Turing machine Probabilistic complexity theory Theoretical computer science Networks
5	LNCSComputational Proof as Experiment: Probabilistic Algorithms from a Thermodynamic Perspective Add to Reading List Source URL: www.ece.rice.edu Language: English - Date: 2012-08-15 21:56:56 Models of computation Computability theory Turing machine Probabilistic complexity theory Probabilistic Turing machine Computational complexity theory Randomized algorithm Algorithm NP Theoretical computer science Applied mathematics Computer science
6	TWO KINDS OF PROBABILISTIC INDUCTION Ray Solomonoff Visiting Professor, Computer Learning Research Center Royal Holloway, University of London Mailing Address: P.O.B, Cambridge, Ma, U.S.A. Add to Reading List Source URL: world.std.com Language: English - Date: 2014-07-03 19:24:34 Algorithmic information theory Artificial intelligence Computability theory Probability interpretations Turing machine Ray Solomonoff Kolmogorov complexity Algorithmic probability Inductive inference Theoretical computer science Applied mathematics Theory of computation
7	Is Quantum Mechanics Falsifiable? A computational perspective on the foundations of Quantum Mechanics. Dorit Aharonov∗and Umesh Vazirani† June 19, 2012 arXiv:1206.3686v1 [quant-ph] 16 Jun 2012 Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-06-18 20:15:58 Computational complexity theory Quantum complexity theory Models of computation Interactive proof system Quantum computer BQP IP Quantum algorithm Probabilistic Turing machine Theoretical computer science Applied mathematics Quantum information science
8	Proving the power of postselection⋆ Abuzer Yakaryılmaz1, ⋆⋆ and A.C. Cem Say2, ⋆ ⋆ ⋆ 1 arXiv:1111.3125v1 [cs.CC] 14 Nov 2011 Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-12-19 23:31:39 Quantum complexity theory Models of computation Turing machine PostBQP PP Quantum Turing machine Probabilistic Turing machine RL Bounded-error probabilistic polynomial Theoretical computer science Computational complexity theory Applied mathematics
9	Axiomatising physical experiments as oracles to algorithms Edwin J. Beggsa , Jos´e F´elix Costab∗ , and John V. Tuckerc a Department of Mathematics, College of Sciences, Swansea University, Swansea SA2 8PP, Wales, Un Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2012-04-11 07:58:28 Computability theory Complexity classes Models of computation Alan Turing Oracle machine Turing reduction John V. Tucker Probabilistic Turing machine Reduction Theoretical computer science Applied mathematics Computational complexity theory
10	i Computational Complexity: A Modern Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2007-01-08 22:01:30 Complexity classes Probabilistic complexity theory Analysis of algorithms Quantum complexity theory Bounded-error probabilistic polynomial PP Randomized algorithm Probabilistic Turing machine Time complexity Theoretical computer science Computational complexity theory Applied mathematics