Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
15075 open access dissertations and theses found for:
if(Modal logic)  »   Refine Search
1.
Forms of Generic Common Knowledge
by Antonakos, Evangelia, Ph.D.  City University of New York. 2013: 102 pages; 3557113.
2.
A modal logic for role-based access control within the HOL theorem prover
by Kosiyatrakul, Thumrongsak, Ph.D.  Syracuse University. 2010: 463 pages; 3429046.
3.
Modal types for mobile code
by Murphy, Tom VII, Ph.D.  Carnegie Mellon University. 2008: 376 pages; 3314655.
4.
Design, analysis, and synthesis of 16 bit arithmetic logic unit using reversible logic gate
by Midde, Bharath Reddy, M.S.  California State University, Long Beach. 2016: 59 pages; 10099864.
5.
Metaphysical dependence and set theory
by Wigglesworth, John, Ph.D.  City University of New York. 2013: 218 pages; 3549151.
6.
What Can You Say? Measuring the Expressive Power of Languages
by Kocurek, Alexander William, Ph.D.  University of California, Berkeley. 2018: 231 pages; 10830321.
7.
Permission in Non-Monotonic Normative Reasoning
by Dong, Huimin, Ph.D.  Universitaet Bayreuth (Germany). 2017: 181 pages; 27603232.
8.
Hungarian Temporal and Aspectual Reference in the Absence of Dedicated Markers
by Palffy-Muhoray, Nicole Marie, Ph.D.  Yale University. 2016: 250 pages; 10160871.
9.
England's Dreaming: The Rise and Fall of Science Fiction, 1871-1874
by Erhart, Erin Michelle, Ph.D.  Brandeis University. 2016: 224 pages; 10103436.
12.
Ontological Commitment, Paraphrase, and Nihilism
by Snapper, Jeff, Ph.D.  University of Notre Dame. 2017: 213 pages; 13836374.
13.
Epistemic dynamics and protocol information
by Hoshi, Tomohiro, Ph.D.  Stanford University. 2009: 257 pages; 3364501.
14.
Understanding and Critiquing Multi-Modal Engineering Design Explanations
by Wetzel, Jon, Ph.D.  Northwestern University. 2014: 218 pages; 3669343.
15.
Archiving transgender: Affects, logic, and the power of queer history
by Rawson, Kelly Jacob, Ph.D.  Syracuse University. 2010: 328 pages; 3429041.
16.
A formative program evaluation of the Crucial Conversations™ program
by Trinidad, David R., D.N.P.  The University of Arizona. 2013: 114 pages; 3606916.
17.
Exploring Realism and Truth
by Gifford, Michael Lee, Ph.D.  State University of New York at Buffalo. 2017: 220 pages; 10620352.
18.
Collaborative Object Identification in Multi-Modal IoT Systems
by Ruiz Dominguez, Carlos, Ph.D.  Carnegie Mellon University. 2019: 160 pages; 27737184.
19.
Analysis and Control of Switched Linear Systems Using Different Switching Strategies
by Duan, Chang, Ph.D.  North Carolina State University. 2013: 169 pages; 3586263.
20.
Desafíos del español caribeño: el debate sobre el modo y la microvariación modal
by Aponte Alequin, Hector A., Ph.D.  University of Puerto Rico, Rio Piedras (Puerto Rico). 2014: 295 pages; 3618518.
21.
Modality in Flux
by Willer, Malte, Ph.D.  The University of Texas at Austin. 2010: 222 pages; 3484425.
22.
Enforcing user-defined management logic in large scale systems
by Perera, Hemapani Srinath, Ph.D.  Indiana University. 2009: 274 pages; 3358983.
24.
Miniaturized fiber modal interferometers and their applications as fiber sensors
by Bo, Dong, Ph.D.  National University of Singapore (Singapore). 2015: 167 pages; 10005995.
25.
Seismic assessment of curved bridges using modal pushover analysis
by Ahmed, Mohamed Salah Eldin Ibrahim, Ph.D.  University of Maryland, College Park. 2010: 265 pages; 3443416.
26.
Toward Localized Tactile Effects on Variable Friction Touchscreens through Modal Superposition
by Katumu, Karl M., M.S.  Southern Illinois University at Edwardsville. 2015: 82 pages; 1600771.
27.
Swedish Modal Particles: Analyses of ju, väl, nog and visst
by Scherf, Nathalie Katharina Abendroth, Ph.D.  Humboldt Universitaet zu Berlin (Germany). 2018: 371 pages; 27731832.
28.
Multi-Modal Optical Methods for Intra-Procedural Evaluation of Breast Specimens
by Wilson, Rebecca Anne, Ph.D.  University of Rochester. 2012: 302 pages; 3543334.
29.
How to Understand the Debate over Presentism and Eternalism
by Figg, Travis Matthew, Ph.D.  Wayne State University. 2017: 219 pages; 10278405.
30.
Type-Intertwined Separation Logic
by Coughlin, Devin, Ph.D.  University of Colorado at Boulder. 2015: 203 pages; 3704668.
1 - 30 of 15075 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