Probabilistically checkable proof - PDFSEARCH.IO - Document Search Engine

Probabilistically checkable proof
Results: 138

#	Item
1	Randomization, random walks, derandomization, expansion April 12, L´ aszl´ o Babai. Monte Carlo algorithms in graph isomorphism testing. Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2014-04-12 08:04:57 Theoretical computer science Lance Fortnow Probabilistic complexity theory Carsten Lund Computer science IP BPP Probabilistically checkable proof Symposium on Foundations of Computer Science Mathematics
2	SelectNet_Manual_v2_April_2012.pdf Add to Reading List Source URL: www.pinnacol.com Language: English - Date: 2012-11-30 16:14:36 Neurochemistry Nervous system Probabilistic complexity theory General anesthetics Piperidines Biochemistry Probabilistically checkable proof Phencyclidine
3	WV Public Employees Insurance Agency Frequently Asked Questions on Picking a Primary Care Provider Q. Why is PEIA making me pick a physician? Add to Reading List Source URL: www.peia.wv.gov Language: English - Date: 2015-05-01 10:02:02 Health care Neurochemistry Health Dissociative drugs NMDA receptor antagonists Piperidines Family medicine Phencyclidine Primary care physician Probabilistically checkable proof
4	Interactive proofs April 12, L´ aszl´ o Babai. Trading group theory for randomness. In Proc. 17th STOC, pages 421–429. ACM Press, 1985. doi:22192. Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2014-04-12 05:40:19 Lance Fortnow Probabilistic complexity theory BPP Probabilistically checkable proof Carsten Lund Computational complexity theory
5	Inapproximability of Combinatorial Optimization Problems Luca Trevisan∗ arXiv:cs/0409043v1 [cs.CC] 24 SepJuly 27, 2004 Add to Reading List Source URL: vigna.di.unimi.it Language: English - Date: 2008-02-01 14:51:28 Computational complexity theory Theory of computation Complexity classes NP-complete problems Mathematical optimization NP-hard problems MAX-3SAT NP Approximation algorithm Probabilistically checkable proof PCP theorem APX
6	PGPOOL II 3.5 enhancements May, 2015 © 2014 EnterpriseDB Corporation. All rights reserved. 1 Add to Reading List Source URL: www.sraoss.co.jp Language: English - Date: 2015-05-14 04:02:37 Software Neurochemistry Computing Cross-platform software EnterpriseDB PostgreSQL Probabilistically checkable proof Command-line interface Password Phencyclidine
7	2015 Knuth Prize Citation for L´ aszl´ o Babai The 2015 Donald E. Knuth Prize is awarded to L´aszl´o Babai of the University of Chicago for his fundamental contributions to theoretical computer science, including alg Add to Reading List Source URL: www.sigact.org Language: English - Date: 2015-05-26 18:25:25 Probabilistic complexity theory Theoretical computer science Morphisms Computational complexity theory PCP theorem Mathematical optimization Probabilistically checkable proof Combinatorica IP Algorithm Russell Impagliazzo Graph isomorphism
8	Secure Two-Party Computation with Low Communication Ivan Damg˚ard∗ Sebastian Faust† Carmit Hazay‡ Add to Reading List Source URL: www.eng.biu.ac.il Language: English - Date: 2013-10-04 08:09:02 Complexity classes Probabilistic complexity theory Zero-knowledge proof Probabilistically checkable proof NP Proof of knowledge IP Non-interactive zero-knowledge proof Soundness Cryptography Cryptographic protocols Theoretical computer science
9	National Physician Survey For the American Board of Internal Medicine Foundation N = 600 physicians nationwide (n = 360 PCPs; n = 240 specialists) Margin of error: + 4.0 percentage points February 12 through March 21, 2 Add to Reading List Source URL: www.choosingwisely.org Language: English - Date: 2015-04-15 11:57:50 General anesthetics NMDA receptor antagonists Phencyclidine Piperidines Probabilistically checkable proof Medicine Biochemistry Neurochemistry Dissociative drugs Euphoriants
10	Plank 8 Tool: Standard Workflow for BP Check (ThedaCare) Steps 1 2 Add to Reading List Source URL: www.measureuppressuredown.com Language: English - Date: 2013-10-31 12:22:54 Piperidines Probabilistically checkable proof Blood pressure Medicine Biochemistry Neurochemistry Euphoriants Phencyclidine