Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
2670 open access dissertations and theses found for:
if(Probabilistically checkable proofs (pcp))  »   Refine Search
1.
Inapproximability Reductions and Integrality Gaps
by Popat, Preyas, Ph.D.  New York University. 2013: 157 pages; 3591337.
2.
4.
PUFFS: Probabilistically utilized flash file system for sensor motes and embedded systems
by Razgulin, Sergei, M.E.  University of Colorado at Boulder. 2008: 46 pages; 1460899.
5.
Efficient Cryptographic Primitives for Non-Interactive Zero-Knowledge Proofs and Applications
by Haralambiev, Kristiyan, Ph.D.  New York University. 2011: 157 pages; 3466893.
6.
8.
Formal proofs and refutations
by Alama, Jesse, Ph.D.  Stanford University. 2009: 254 pages; 3364492.
9.
Monoclonal antibodies as protective medications for drug abuse during pregnancy
by Hubbard, Jonathan J., Ph.D.  University of Arkansas for Medical Sciences. 2008: 201 pages; 3340141.
10.
Comparison of health-promoting lifestyles in adult patients with and without primary care provider continuity
by Long, Jennifer J., M.S.N.  California State University, Long Beach. 2012: 85 pages; 1511365.
13.
Students' development in proof: A longitudinal study
by Haverhals, Nicolas John, Ph.D.  University of Montana. 2011: 574 pages; 3457406.
14.
A self-verifying theorem prover
by Davis, Jared Curran, Ph.D.  The University of Texas at Austin. 2009: 554 pages; 3407549.
15.
A Compositional Automation Engine for Verifying Complex System Software
by Wu, Xiongnan Newman, Ph.D.  Yale University. 2018: 211 pages; 13851930.
16.
A Physical Zero-Knowledge Proof and Unclonable Sensors for Nuclear Warhead Verification
by Philippe, S├ębastien, Ph.D.  Princeton University. 2018: 120 pages; 10813590.
17.
Cometary escape in the restricted circular planar three body problem
by Galante, Joseph Robert, Ph.D.  University of Maryland, College Park. 2011: 260 pages; 3461517.
18.
Any-Com Multi-Robot Path Planning
by Otte, Michael Wilson, Ph.D.  University of Colorado at Boulder. 2011: 194 pages; 3489609.
19.
Structural, functional, and computational insights into the ANL superfamily of enzymes
by Mitchell, Carter Alexander, Ph.D.  State University of New York at Buffalo. 2013: 234 pages; 3598714.
20.
Nets and translation nets of higher dimensions
by Swaminathan, Ganesh, Ph.D.  National University of Singapore (Singapore). 2015: 89 pages; 10006001.
22.
Patent Quality And Company Performance: A Sample within the USA Biotechnology and Pharmaceutical Industry
by Vazquez Toro, Guillermo J., Ph.D.  Inter-American University of Puerto Rico (Puerto Rico). 2013: 200 pages; 3577982.
24.
An explication of the Hilbert basis theorem and its relation to school mathematics
by Tse, Jasmine, M.S.  California State University, Long Beach. 2009: 66 pages; 1466156.
25.
Essays in Health Economics
by Kwok, Jennifer Helen, Ph.D.  University of California, Berkeley. 2019: 103 pages; 22618664.
26.
Relaxations of L(1,1)-labeling for the broadcast scheduling problem
by Joseph, Shaun N., Ph.D.  University of Rhode Island. 2011: 90 pages; 3449951.
27.
Annotation Scaffolds for Robotics
by Frank Bolton, Pablo, Ph.D.  The George Washington University. 2018: 166 pages; 10843648.
28.
The Nature of Mathematics: A Heuristic Inquiry
by Pair, Jeffrey David, Ph.D.  Middle Tennessee State University. 2017: 263 pages; 10287185.
29.
Robust Resource Allocation of Independent Tasks in Heterogeneous Computing Systems via Probabilistic Task Pruning
by Gentry, James A. S., M.S.  University of Louisiana at Lafayette. 2018: 88 pages; 10843501.
30.
Roles of polarity in zebrafish facial motor neuron migration
by Grant, Paul K., Ph.D.  University of Washington. 2009: 93 pages; 3393989.
1 - 30 of 2670 displayed.
  1    2    3    4    5    6    7    8    9    10    11   Next >
Copyright © 2020 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest