Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
1707 open access dissertations and theses found for:
if(Zero-knowledge proofs)  »   Refine Search
31.
Several Theorems in Error Correcting Codes
by Uurtamo, Steve, Ph.D.  State University of New York at Buffalo. 2013: 83 pages; 3554516.
32.
Resplendent models generated by indiscernibles
by Lee, Whanki, Ph.D.  City University of New York. 2013: 88 pages; 3553132.
33.
Functional programming with logical frameworks
by Poswolsky, Adam Brett, Ph.D.  Yale University. 2008: 534 pages; 3342732.
34.
Properties of Sequent-Calculus-Based Languages
by Johnson-Freyd, Philip Alden, Ph.D.  University of Oregon. 2017: 230 pages; 10684255.
35.
Secure building automation system using Tesla protocol
by Wadhwa, Preeti H., M.S.  California State University, Long Beach. 2015: 60 pages; 1601311.
36.
37.
Using Spammers' Computing Resources for Volunteer Computing
by Bui, Thai Le Quy, M.S.  Portland State University. 2014: 90 pages; 1553892.
38.
39.
Discrete Ergodic Jacobi matrices: Spectral Properties and Quantum Dynamical Bounds
by Han, Rui, Ph.D.  University of California, Irvine. 2017: 146 pages; 10288910.
40.
Output Stability Analysis for Nonlinear Systems with Time Delays
by Gallolu Kankanamalage, Hasala Senpathy Karunaratne, Ph.D.  Florida Atlantic University. 2017: 143 pages; 10617407.
41.
Reasoning about taxonomies
by Thau, David Michael, Ph.D.  University of California, Davis. 2010: 204 pages; 3422778.
42.
Essays in Transfer Pricing
by Maruster, Sorin, Ph.D.  Northwestern University. 2013: 149 pages; 3563779.
43.
Information-Theoretic Aspects of Signal Analysis and Reconstruction
by Lim, Taehyung, Ph.D.  University of California, San Diego. 2017: 111 pages; 10637732.
44.
Studies on optimal trade execution
by Sepin, Tardu Selim, Ph.D.  Princeton University. 2015: 122 pages; 3682773.
45.
On the Borel Complexity of some classes of Banach spaces
by de Mendonca Braga, Bruno, Ph.D.  Kent State University. 2013: 104 pages; 3618917.
46.
Computing Canonical Heights on Jacobians
by Müller, Jan Steffen, Dr.Nat.  Universitaet Bayreuth (Germany). 2010: 249 pages; 27600523.
47.
Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL
by Oh, Chanseok, Ph.D.  New York University. 2016: 145 pages; 10025676.
48.
Refining Multivariate Value Set Bounds
by Smith, Luke Alexander, Ph.D.  University of California, Irvine. 2015: 43 pages; 3709756.
49.
Normal Families and Monodromies of Holomorphic Motions
by Beck, Michael, Ph.D.  City University of New York. 2012: 67 pages; 3508642.
50.
Forms of Generic Common Knowledge
by Antonakos, Evangelia, Ph.D.  City University of New York. 2013: 102 pages; 3557113.
51.
Limit theory for overfit models
by Calhoun, Grayson Ford, Ph.D.  University of California, San Diego. 2009: 121 pages; 3359804.
53.
Optimal Multi-parameter Auction Design
by Haghpanah, Nima, Ph.D.  Northwestern University. 2014: 231 pages; 3638183.
54.
Conjugate diameters: Apollonius of Perga and Eutocius of Ascalon
by McKinney, Colin Bryan Powell, Ph.D.  The University of Iowa. 2010: 189 pages; 3422241.
55.
Formal End-to-End Verification of Information-Flow Security for Complex Systems
by Costanzo, David, Ph.D.  Yale University. 2016: 165 pages; 10584941.
56.
Affine Stanley symmetric functions for classical groups
by Pon, Steven A., Ph.D.  University of California, Davis. 2010: 104 pages; 3427426.
57.
Program self -reference
by Moelius, Samuel E., III, Ph.D.  University of Delaware. 2009: 115 pages; 3360282.
58.
Variance function estimation in nonparametric regression model
by Wang, Lie, Ph.D.  University of Pennsylvania. 2008: 77 pages; 3328698.
59.
Inapproximability Reductions and Integrality Gaps
by Popat, Preyas, Ph.D.  New York University. 2013: 157 pages; 3591337.
60.
Variational and Structural Methods in Mean Field Spin Glasses
by Jagannath, Aukosh Sundar, Ph.D.  New York University. 2016: 334 pages; 10139632.
31 - 60 of 1707 displayed.
« First < Previous |   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