Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
24689 open access dissertations and theses found for:
if(Formal semantics)  »   Refine Search
1.
Stative and Stativizing Constructions in Arabic News Reports: A Corpus-Based Study
by Mansouri, Aous, Ph.D.  University of Colorado at Boulder. 2016: 278 pages; 10108811.
2.
A formal semantics of C with applications
by Ellison, Charles McEwen, III, Ph.D.  University of Illinois at Urbana-Champaign. 2012: 428 pages; 3600342.
3.
Formal reasoning in software-defined networks
by Reitblatt, Mark, Ph.D.  Cornell University. 2017: 179 pages; 10254203.
4.
Formal End-to-End Verification of Information-Flow Security for Complex Systems
by Costanzo, David, Ph.D.  Yale University. 2016: 165 pages; 10584941.
5.
Identifying and Ordering Scalar Adjectives Using Lexical Substitution
by Wilkinson, Bryan, Ph.D.  University of Maryland, Baltimore County. 2017: 151 pages; 10623407.
6.
Formal analysis of web service composition
by Manman, Chen, Ph.D.  National University of Singapore (Singapore). 2015: 240 pages; 10005980.
7.
Identification and Representation of Caused Motion Constructions
by Hwang, Jena D., Ph.D.  University of Colorado at Boulder. 2014: 193 pages; 3672431.
9.
A theory of typed hygienic macros
by Herman, David, Ph.D.  Northeastern University. 2010: 168 pages; 3398847.
10.
A formal approach to specifying and verifying spacecraft behavior
by McInnes, Allan I. S., Ph.D.  Utah State University. 2007: 290 pages; 3279572.
11.
Supervised and Unsupervised Learning for Semantics Distillation in Multimedia Processing
by Liu, Yu, Ph.D.  State University of New York at Buffalo. 2018: 150 pages; 10932367.
13.
The syntax-semantics interface in distributed morphology
by Kelly, Justin Robert, Ph.D.  Georgetown University. 2013: 264 pages; 3559577.
14.
An ontology-based knowledge management framework for heterogeneous verification
by Kumar, Rajesh, Ph.D.  Carnegie Mellon University. 2007: 174 pages; 3264769.
15.
The Syntax, Semantics and Pragmatics of Japanese Addressee-Honorific Markers
by Yamada, Akitaka, Ph.D.  Georgetown University. 2019: 568 pages; 27668871.
16.
Composition Semantics of the Rosetta Specification Language
by Peck, Megan E., M.S.  University of Kansas. 2012: 100 pages; 1519367.
17.
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.
18.
The semantics and pragmatics of Japanese focus particles
by Hasegawa, Akio, Ph.D.  State University of New York at Buffalo. 2011: 285 pages; 3440290.
19.
Syntax, Semantics, and Pragmatics of Accusative-Quotative Constructions in Japanese
by Horn, Stephen Wright, Ph.D.  The Ohio State University. 2008: 405 pages; 10630999.
20.
Representing Relationality: MEG Studies on Argument Structure
by Williams, Adina, Ph.D.  New York University. 2018: 160 pages; 10750823.
21.
Efficient, sound formal verification for analog/mixed-signal circuits
by Fisher, Andrew N., Ph.D.  The University of Utah. 2015: 190 pages; 10003590.
22.
Beyond Labels and Captions: Contextualizing Grounded Semantics for Explainable Visual Interpretation
by Aakur, Sathyanarayanan Narasimhan, Ph.D.  University of South Florida. 2019: 138 pages; 13903779.
23.
Formal security analysis: Secrecy, authentication and attestation
by Li, Li, Ph.D.  National University of Singapore (Singapore). 2015: 152 pages; 10006040.
24.
The Semantics of Optionality
by Heider, Paul M., Ph.D.  State University of New York at Buffalo. 2015: 208 pages; 3683040.
25.
Topics in the syntax and semantics of Korean embedded clauses
by Kwon, Jongil, Ph.D.  University of Kansas. 2009: 267 pages; 3359750.
26.
Formal Modeling and Verification of Delay-Insensitive Circuits
by Park, Hoon, Ph.D.  Portland State University. 2015: 187 pages; 3743768.
27.
What Students Know about In and On : Understanding Semantic Complexity of Spatial Terms in L2 English Speakers
by Hebert, Jacqueline E., M.A.  University of Louisiana at Lafayette. 2018: 92 pages; 10812508.
28.
Self-interpreter for Prolog
by Alkhelaiwi, Aseel, M.S.  University of Rhode Island. 2012: 83 pages; 1508337.
29.
Syntax and semantics of mood in Spanish relative clauses: A class/member analysis
by Moore, Patrick James, Ph.D.  State University of New York at Buffalo. 2010: 147 pages; 3423583.
30.
Accessing the semantics of Japanese numeral classifiers
by Ngo, Nancy T., M.A.  California State University, Long Beach. 2015: 78 pages; 1586876.
1 - 30 of 24689 displayed.
  1    2    3    4    5    6    7    8    9    10    11   Next >
Copyright © 2020 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest