Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
2140 open access dissertations and theses found for:
if(Semantics)  »   Refine Search
61.
Wide-Area Software-Defined Storage
by Nelson, Jude Christopher, Ph.D.  Princeton University. 2018: 266 pages; 10824272.
62.
Refining syntactic sugar: Tools for supporting macro development
by Culpepper, Ryan, Ph.D.  Northeastern University. 2010: 134 pages; 3398747.
63.
Partition Memory Models for Program Analysis
by Wang, Wei, Ph.D.  New York University. 2016: 137 pages; 10025665.
65.
PR-OWL Decision: A Framework for Decision Making with Probabilistic Ontologies
by Matsumoto, Shou, Ph.D.  George Mason University. 2019: 198 pages; 13864553.
66.
Properties of Sequent-Calculus-Based Languages
by Johnson-Freyd, Philip Alden, Ph.D.  University of Oregon. 2017: 230 pages; 10684255.
67.
Language Learning Through Comparison
by Babarsad, Omid Bakhshandeh, Ph.D.  University of Rochester. 2017: 116 pages; 10618060.
68.
Region-based memory management for expressive GPU programming
by Holk, Eric, Ph.D.  Indiana University. 2016: 154 pages; 10132089.
69.
The polysemy of an “empty” prefix: A corpus-based cognitive semantic analysis of the Russian verbal prefix po-
by LeBlanc, Nicholas Lance, Ph.D.  The University of North Carolina at Chapel Hill. 2010: 222 pages; 3427728.
70.
Preserving the appeal of transactional programming
by Dalessandro, Luke K., Ph.D.  University of Rochester. 2014: 183 pages; 3614950.
71.
Architectures for transactional memory
by McDonald, Austen, Ph.D.  Stanford University. 2009: 143 pages; 3364506.
72.
Accommodative mandatory access control
by Thomas, Jacques D., Ph.D.  Purdue University. 2011: 236 pages; 3506071.
73.
Wh -quantification in Vietnamese
by Tran, Thuan, Ph.D.  University of Delaware. 2009: 273 pages; 3344072.
74.
The computational content of isomorphisms
by James, Roshan P., Ph.D.  Indiana University. 2013: 197 pages; 3587675.
75.
Exploring Realism and Truth
by Gifford, Michael Lee, Ph.D.  State University of New York at Buffalo. 2017: 220 pages; 10620352.
76.
A Defense of the Moral Error Theory
by Christmann, John, M.A.  University of Colorado at Boulder. 2018: 60 pages; 10826545.
77.
The transformation of spatal experience in narrative discourse
by Howald, Blake Stephen, Ph.D.  Georgetown University. 2011: 244 pages; 3459823.
78.
Program metamorphosis
by Reichenbach, Christoph, Ph.D.  University of Colorado at Boulder. 2010: 233 pages; 3404054.
79.
Blobjectivism and Indirect Correspondence: A Correspondence Theory in an Austere World
by Kaufman, Mitchell A., M.A.  California State University, Long Beach. 2017: 67 pages; 10263797.
81.
An ontology-based knowledge management framework for heterogeneous verification
by Kumar, Rajesh, Ph.D.  Carnegie Mellon University. 2007: 174 pages; 3264769.
82.
Sources of Subjectivity
by Vardomskaya, Tamara Nikolaevna, Ph.D.  The University of Chicago. 2018: 230 pages; 10812973.
83.
Demonstratives in motion: The grammaticalization of demonstratives as a window into synchronic phenomena
by Ferrazzano, Lisa Reisig, Ph.D.  City University of New York. 2013: 275 pages; 3601868.
84.
Rate Types for Stream Programs
by Bartenstein, Thomas W., Ph.D.  State University of New York at Binghamton. 2017: 255 pages; 10643063.
85.
Signifying Nothing: How Fiction Represents
by Manning, Luke Andrew, Ph.D.  University of California, Santa Barbara. 2012: 121 pages; 3505292.
86.
Lightweight Programming Abstractions for Increased Safety and Performance
by Osvald, Leo, Ph.D.  Purdue University. 2018: 147 pages; 10808010.
87.
Parallel functional programming with mutable state
by Bergstrom, Lars, Ph.D.  The University of Chicago. 2013: 133 pages; 3568360.
88.
Semantic Variance
by Abreu Zavaleta, Martín, Ph.D.  New York University. 2018: 226 pages; 10831337.
89.
Detecting Fine-Grained Similarity in Binaries
by Saebjornsen, Andreas, Ph.D.  University of California, Davis. 2014: 107 pages; 3646391.
90.
Program inconsistency detection: Universal reachability analysis and conditional slicing
by Tomb, Aaron, Ph.D.  University of California, Santa Cruz. 2011: 182 pages; 3471818.
61 - 90 of 2140 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