Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
1812 open access dissertations and theses found for:
if(Non-interactive proofs)  »   Refine Search
1.
Efficient Cryptographic Primitives for Non-Interactive Zero-Knowledge Proofs and Applications
by Haralambiev, Kristiyan, Ph.D.  New York University. 2011: 157 pages; 3466893.
2.
Formal proofs and refutations
by Alama, Jesse, Ph.D.  Stanford University. 2009: 254 pages; 3364492.
3.
Students' development in proof: A longitudinal study
by Haverhals, Nicolas John, Ph.D.  University of Montana. 2011: 574 pages; 3457406.
4.
A self-verifying theorem prover
by Davis, Jared Curran, Ph.D.  The University of Texas at Austin. 2009: 554 pages; 3407549.
5.
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.
6.
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.
8.
Using Spammers' Computing Resources for Volunteer Computing
by Bui, Thai Le Quy, M.S.  Portland State University. 2014: 90 pages; 1553892.
9.
The Nature of Mathematics: A Heuristic Inquiry
by Pair, Jeffrey David, Ph.D.  Middle Tennessee State University. 2017: 263 pages; 10287185.
10.
A guided reinvention of ring, integral domain, and field
by Cook, John Paul, Ph.D.  The University of Oklahoma. 2012: 281 pages; 3517320.
11.
A Physical Zero-Knowledge Proof and Unclonable Sensors for Nuclear Warhead Verification
by Philippe, Sébastien, Ph.D.  Princeton University. 2018: 120 pages; 10813590.
12.
13.
Design and Implementation of Privacy-Preserving Surveillance
by Segal, Aaron, Ph.D.  Yale University. 2016: 162 pages; 10584958.
14.
Fully countering trusting trust through Diverse Double-Compiling
by Wheeler, David A., Ph.D.  George Mason University. 2010: 199 pages; 3393623.
15.
Disjoint NP-Pairs and Propositional Proof Systems
by Wisiol, Nils, M.S.  State University of New York at Buffalo. 2014: 28 pages; 1567056.
16.
The rhetoric of probability mathematics
by Palmer, Terri, Ph.D.  Carnegie Mellon University. 2005: 193 pages; 3310328.
18.
CMO: Chief Marketing Officer or chief “marginalized” officer
by Carver, James Richmond, Ph.D.  The University of Arizona. 2009: 136 pages; 3355006.
19.
Enhancing privacy in cryptographic protocols
by Shin, Ji Sun, Ph.D.  University of Maryland, College Park. 2009: 146 pages; 3359424.
20.
A Compositional Automation Engine for Verifying Complex System Software
by Wu, Xiongnan Newman, Ph.D.  Yale University. 2018: 211 pages; 13851930.
21.
Stochastic Ising Models at Zero Temperature on Various Graphs
by Eckner, Sinziana Maria, Ph.D.  New York University. 2014: 69 pages; 3665138.
22.
Understanding Aesthetic Anticipation in Interactive Art
by Ying, Chiang Jing, M.A.  National University of Singapore (Singapore). 2015: 128 pages; 10005987.
24.
25.
Relativistic quantum cryptography
by Kaniewski, Jedrzej, Ph.D.  National University of Singapore (Singapore). 2015: 136 pages; 10006026.
26.
Partial Solutions for the Firing Squad Synchronization Problem on Rings
by Ng, Weng Leong, Ph.D.  University of California, Irvine. 2011: 380 pages; 3477975.
27.
Resplendent models generated by indiscernibles
by Lee, Whanki, Ph.D.  City University of New York. 2013: 88 pages; 3553132.
28.
Functional programming with logical frameworks
by Poswolsky, Adam Brett, Ph.D.  Yale University. 2008: 534 pages; 3342732.
29.
Factor models: Testing and forecasting
by Yao, Jiawei, Ph.D.  Princeton University. 2015: 114 pages; 3682786.
30.
Biologically -inspired control for self -adaptive multiagent systems
by Yu, Chih-Han, Ph.D.  Harvard University. 2010: 226 pages; 3415434.
1 - 30 of 1812 displayed.
  1    2    3    4    5    6    7    8    9    10    11   Next >
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest