Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
12475 open access dissertations and theses found for:
if(Proof)  »   Refine Search
1.
Students' development in proof: A longitudinal study
by Haverhals, Nicolas John, Ph.D.  University of Montana. 2011: 574 pages; 3457406.
2.
A self-verifying theorem prover
by Davis, Jared Curran, Ph.D.  The University of Texas at Austin. 2009: 554 pages; 3407549.
3.
Formal proofs and refutations
by Alama, Jesse, Ph.D.  Stanford University. 2009: 254 pages; 3364492.
4.
Disjoint NP-Pairs and Propositional Proof Systems
by Wisiol, Nils, M.S.  State University of New York at Buffalo. 2014: 28 pages; 1567056.
5.
Towards an unconditional proof of the André-Oort Conjecture and surrounding problems
by Tsimerman, Jacob, Ph.D.  Princeton University. 2011: 104 pages; 3463338.
6.
The proof of concept for a novel approach to DNA sequencing
by Lin, Lisha, Ph.D.  Arizona State University. 2009: 87 pages; 3392130.
7.
A Physical Zero-Knowledge Proof and Unclonable Sensors for Nuclear Warhead Verification
by Philippe, Sébastien, Ph.D.  Princeton University. 2018: 120 pages; 10813590.
8.
Unnecessary roughness: Viral video, circulation, and proof in the Ray Rice case
by Booker, Elizabeth Grace, M.A.  The University of North Carolina at Charlotte. 2016: 73 pages; 10118020.
9.
Developing a neural prosthesis for hippocampus: Proof-of-concept using the in vitro slice
by Hsiao, Min-Chi, Ph.D.  University of Southern California. 2009: 79 pages; 3355409.
13.
Holomorphic Motions and Extremal Annuli
by Wang, Zhe, Ph.D.  City University of New York. 2011: 154 pages; 3481839.
14.
Students' understanding of real analysis
by Pinto, Marcia Maria Fusaro, Ph.D.  University of Warwick (United Kingdom). 1998: 354 pages; 3491803.
15.
Strong-DISM: A First Attempt to a Dynamically Typed Assembly Language (D-TAL)
by Hernandez, Ivory, M.S.C.S.  University of South Florida. 2017: 65 pages; 10640802.
16.
Stability and instability in the Stefan problem with surface tension
by Hadzic, Mahir, Ph.D.  Brown University. 2010: 197 pages; 3430185.
17.
Using Spammers' Computing Resources for Volunteer Computing
by Bui, Thai Le Quy, M.S.  Portland State University. 2014: 90 pages; 1553892.
18.
Resplendent models generated by indiscernibles
by Lee, Whanki, Ph.D.  City University of New York. 2013: 88 pages; 3553132.
19.
Professional certification: Does the security industry need a new yardstick?
by Mathews, Timothy J., D.Sc.  New Jersey City University. 2015: 282 pages; 3730746.
20.
Towards optimized dynamical error control and algorithms for quantum information processing
by Kuo, Wan-Jung, Ph.D.  University of Southern California. 2012: 117 pages; 3542273.
21.
Optical sensor design for advanced drag -free satellites
by Allen, Graham Scott, Ph.D.  Stanford University. 2009: 162 pages; 3364493.
22.
Polyfolds and Persistence
by Filippenko, Benjamin, Ph.D.  University of California, Berkeley. 2019: 200 pages; 13901770.
23.
Formal End-to-End Verification of Information-Flow Security for Complex Systems
by Costanzo, David, Ph.D.  Yale University. 2016: 165 pages; 10584941.
24.
A Compositional Automation Engine for Verifying Complex System Software
by Wu, Xiongnan Newman, Ph.D.  Yale University. 2018: 211 pages; 13851930.
25.
The Nature of Mathematics: A Heuristic Inquiry
by Pair, Jeffrey David, Ph.D.  Middle Tennessee State University. 2017: 263 pages; 10287185.
26.
In Search of Minimal Hypersurfaces
by Song, Antoine, Ph.D.  Princeton University. 2019: 208 pages; 13882316.
27.
Extending Oda's Theorem to Curves with Ordinary Singularities
by Taylor, J. David, Ph.D.  The University of Arizona. 2020: 163 pages; 28026225.
28.
A combinatorial approach to the q; t-symmetry in Macdonald polynomials
by Gillespie, Maria Monks, Ph.D.  University of California, Berkeley. 2016: 94 pages; 10150833.
29.
Asymptotically optimal heuristics for network Revenue Management
by Jasin, Stefanus, Ph.D.  Stanford University. 2011: 100 pages; 3471011.
1 - 30 of 12475 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