Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
29 open access dissertations and theses found for:
if(Disjointness)  »   Refine Search
1.
Reasoning about taxonomies
by Thau, David Michael, Ph.D.  University of California, Davis. 2010: 204 pages; 3422778.
2.
Partition Memory Models for Program Analysis
by Wang, Wei, Ph.D.  New York University. 2016: 137 pages; 10025665.
3.
A method for evaluating and standardizing ontologies
by Seyed, Ali Patrice, Ph.D.  State University of New York at Buffalo. 2012: 235 pages; 3495226.
4.
Communication complexity and information complexity
by Pankratov, Denis, Ph.D.  The University of Chicago. 2015: 188 pages; 3711791.
5.
A hybrid approach for ontology-based information extraction
by Gutierrez, Fernando, Ph.D.  University of Oregon. 2015: 132 pages; 10006380.
6.
Several Theorems in Error Correcting Codes
by Uurtamo, Steve, Ph.D.  State University of New York at Buffalo. 2013: 83 pages; 3554516.
8.
Addressing the limitations of tree-based approaches to high -bandwidth streaming multicast
by Birrer, Stefan, Ph.D.  Northwestern University. 2008: 151 pages; 3303707.
9.
A Framework for Building Lightweight Ontologies Based on Semi-Structured Data for Semantic Annotation
by Ali, Elshaimaa Elsayed, Ph.D.  University of Louisiana at Lafayette. 2015: 147 pages; 10188059.
10.
Efficient medium access protocols for wireless and RFID networks
by Jain, Shweta, Ph.D.  State University of New York at Stony Brook. 2007: 119 pages; 3334935.
11.
Analysis in the Heisenberg group: Weak s-John domains and the dimensions of graphs of Hölder functions
by Maki, John Michael, Ph.D.  University of Illinois at Urbana-Champaign. 2011: 128 pages; 3496795.
12.
Diophantine approximations by special points and applications to Dynamics and Geometry
by Dimitrov, Vesselin Atanasov, Ph.D.  Yale University. 2017: 109 pages; 10633241.
13.
The Generalized External Order, and Applications to Zonotopal Algebra
by Gillespie, Bryan R., Ph.D.  University of California, Berkeley. 2018: 110 pages; 10829226.
14.
Formal End-to-End Verification of Information-Flow Security for Complex Systems
by Costanzo, David, Ph.D.  Yale University. 2016: 165 pages; 10584941.
15.
Score-informed musical source separation and reconstruction
by Han, Yushen, Ph.D.  Indiana University. 2013: 152 pages; 3609061.
17.
Rate Types for Stream Programs
by Bartenstein, Thomas W., Ph.D.  State University of New York at Binghamton. 2017: 255 pages; 10643063.
18.
Modeling and verification techniques for ad hoc network protocols
by Singh, Anu, Ph.D.  State University of New York at Stony Brook. 2009: 130 pages; 3401731.
19.
Probabilistic and topological methods in computational geometry
by Dhandapani, Raghavan S., Ph.D.  New York University. 2010: 122 pages; 3396723.
20.
Survivability schemes for optical backbone and access networks
by Feng, Taiming, Ph.D.  Iowa State University. 2010: 130 pages; 3438693.
21.
Spectrum allocation algorithms for cognitive radio mesh networks
by Almasaeid, Hisham Mohammad, Ph.D.  Iowa State University. 2011: 157 pages; 3493977.
22.
Algorithmic approaches to reducing resource costs in data centers
by Mukherjee, Koyel, Ph.D.  University of Maryland, College Park. 2013: 210 pages; 3612196.
23.
Programmable and Scalable Software-Defined Networking Controllers
by Voellmy, Andreas Richard, Ph.D.  Yale University. 2014: 219 pages; 3580888.
24.
Region-based memory management for expressive GPU programming
by Holk, Eric, Ph.D.  Indiana University. 2016: 154 pages; 10132089.
25.
Architecture and protocols for a high-performance, secure IEEE 802.11-based wireless mesh network
by Raniwala, Ashish, Ph.D.  State University of New York at Stony Brook. 2009: 215 pages; 3401726.
26.
Type-Intertwined Separation Logic
by Coughlin, Devin, Ph.D.  University of Colorado at Boulder. 2015: 203 pages; 3704668.
27.
Accommodative mandatory access control
by Thomas, Jacques D., Ph.D.  Purdue University. 2011: 236 pages; 3506071.
28.
On the Representation of Distributed Behavior
by Shaver, Christopher Daniel, Ph.D.  University of California, Berkeley. 2016: 240 pages; 10251401.
29.
Deterministic Parallelization of Object-Oriented Code Through Out-of-Order Execution
by Jenista, James C., Ph.D.  University of California, Irvine. 2012: 291 pages; 3523925.
1 - 29 of 29 displayed.
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest