Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
1731 open access dissertations and theses found for:
if(Zero-knowledge proofs)  »   Refine Search
481.
User inspired management of scientific jobs in grids and clouds
by Withana, Eran Chinthaka, Ph.D.  Indiana University. 2011: 151 pages; 3488334.
482.
Large-Scale, Low-Latency State Estimation Of Cyberphysical Systems With An Application To Traffic Estimation
by Hunter, Timothy Jason, Ph.D.  University of California, Berkeley. 2014: 176 pages; 3686329.
483.
Essays on trading and financial econometrics
by Xu, Jiangmin, Ph.D.  Princeton University. 2014: 148 pages; 3627305.
484.
A language for specifying compiler optimizations for generic software
by Willcock, Jeremiah J., Ph.D.  Indiana University. 2007: 134 pages; 3297114.
485.
Permission in Non-Monotonic Normative Reasoning
by Dong, Huimin, Ph.D.  Universitaet Bayreuth (Germany). 2017: 181 pages; 27603232.
486.
Separating control from specification for parallel and distributed search algorithms
by See, Andrew G., Ph.D.  University of Connecticut. 2009: 173 pages; 3384551.
487.
Structural induction: Towards automatic ontology elicitation
by Silvescu, Adrian, Ph.D.  Iowa State University. 2008: 187 pages; 3307040.
488.
Cooperability: A new property for multithreading
by Yi, Jaeheon, Ph.D.  University of California, Santa Cruz. 2011: 222 pages; 3497948.
489.
On some problems in the simulation of flow and transport through porous media
by Thomas, Sunil George, Ph.D.  The University of Texas at Austin. 2009: 244 pages; 3372678.
490.
On efficient computation of Grobner bases
by Gash, Justin M., Ph.D.  Indiana University. 2008: 206 pages; 3330795.
492.
Regularization and Simulation of Constrained Partial Differential Equations
by Altmann, Robert, Dr.Nat.  Technische Universitaet Berlin (Germany). 2015: 147 pages; 10699740.
493.
Epistemic dynamics and protocol information
by Hoshi, Tomohiro, Ph.D.  Stanford University. 2009: 257 pages; 3364501.
494.
Robust Principal Component Analysis
by Kpamegan, Neil Racheed, M.S.  American University. 2018: 47 pages; 10784806.
496.
Approximation of Positive Semidefinite Matrices Using the Nyström Method
by Arcolano, Nicholas Francis, Ph.D.  Harvard University. 2011: 247 pages; 3462777.
497.
A Risk Analysis Tool for Evaluating ROI of TRA for Major Defense Acquisition Programs
by Bailey, Reginald U., Ph.D.  The George Washington University. 2015: 134 pages; 3668434.
498.
Scalable Garbage Collection via Remembered Set Summarization and Refinement
by Klock, Felix S., II, Ph.D.  Northeastern University. 2011: 183 pages; 3450602.
499.
Information, Disclosure, and Accountability
by Guraieb Duenas, Marlene, Ph.D.  New York University. 2017: 173 pages; 10618922.
500.
Considerations on the optimal and efficient processing of information-bearing signals
by Harms, Herbert Andrew, Ph.D.  Princeton University. 2013: 174 pages; 3597492.
501.
Spectral abscissa optimization using polynomial stability conditions
by Cross, Jonathan A., Ph.D.  University of Washington. 2010: 201 pages; 3406832.
502.
Chern-simons equations arising in a quantum hall effect
by Medina, Luciano, Ph.D.  Polytechnic Institute of New York University. 2014: 96 pages; 3629550.
503.
List-coloring and sum-list-coloring problems on graphs
by Lastrina, Michelle Anne, Ph.D.  Iowa State University. 2012: 127 pages; 3511610.
504.
Zero and Low Energy Thresholds in Quantum Simulation
by Shi, Yun Xuan, M.S.  San Jose State University. 2019: 94 pages; 13884562.
505.
A hybrid domain decomposition method and its applications to contact problems
by Lee, Jungho, Ph.D.  New York University. 2009: 146 pages; 3380283.
506.
Invalidating Transactions: Optimizations, Theory, Guarantees, and Unification
by Gottschlich, Justin E., Ph.D.  University of Colorado at Boulder. 2011: 163 pages; 3453718.
508.
Towards an unconditional proof of the André-Oort Conjecture and surrounding problems
by Tsimerman, Jacob, Ph.D.  Princeton University. 2011: 104 pages; 3463338.
509.
Information Frictions in Trade
by Allen, David West, III, Ph.D.  Yale University. 2012: 90 pages; 3525204.
510.
Some applications of the theory of formal groups to algebraic topology
by Noel, Justin, Ph.D.  The University of Chicago. 2009: 91 pages; 3369459.
481 - 510 of 1731 displayed.
« First < Previous |   14    15    16    17    18    19    20    21    22    23    24   Next >
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest