Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
12786 open access dissertations and theses found for:
if(Logic)  »   Refine Search
1.
A formative program evaluation of the Crucial Conversations™ program
by Trinidad, David R., D.N.P.  The University of Arizona. 2013: 114 pages; 3606916.
2.
Enforcing user-defined management logic in large scale systems
by Perera, Hemapani Srinath, Ph.D.  Indiana University. 2009: 274 pages; 3358983.
3.
Type-Intertwined Separation Logic
by Coughlin, Devin, Ph.D.  University of Colorado at Boulder. 2015: 203 pages; 3704668.
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.
Towards Magneto-Logic Gates in Graphene
by Wen, Hua, Ph.D.  University of California, Riverside. 2014: 131 pages; 3682060.
6.
A modal logic for role-based access control within the HOL theorem prover
by Kosiyatrakul, Thumrongsak, Ph.D.  Syracuse University. 2010: 463 pages; 3429046.
7.
Inscribing reasoned becoming for electric singularities through conductive logic and aleatory procedures
by Vincent, Noel, M.A.  California State University, Long Beach. 2011: 176 pages; 1499223.
8.
A self-verifying theorem prover
by Davis, Jared Curran, Ph.D.  The University of Texas at Austin. 2009: 554 pages; 3407549.
9.
Forms of Generic Common Knowledge
by Antonakos, Evangelia, Ph.D.  City University of New York. 2013: 102 pages; 3557113.
10.
Meaning-making in student conduct administration: A developmental perspective
by Horrigan, Sean Robert, Ph.D.  University of San Diego. 2016: 307 pages; 10128123.
11.
Filtered bank associative TLB with victim buffering for reduced access to main TLB and power optimization
by Castle, Michael, M.S.  California State University, Long Beach. 2011: 108 pages; 1499238.
12.
PLC code vulnerabilities through SCADA systems
by Valentine, Sidney E., Ph.D.  University of South Carolina. 2013: 136 pages; 3561883.
13.
FPGA implementation of Rajendra Kumar's adaptive receiver for higher order modulated signal over fading channel
by Bhagavatula, Falgun, M.S.  California State University, Long Beach. 2016: 44 pages; 10142980.
14.
The Impact of Outcome Measurement on Non-profit Organizations: A Case Study
by Ortega, Sandra de, Ph.D.  The Ohio State University. 2006: 286 pages; 10835713.
15.
Auxiliary Roles in STT-MRAM Memory
by Das, Jayita, Ph.D.  University of South Florida. 2014: 122 pages; 3666526.
16.
The memristor and its applications in RAM and logic gates
by Jagtap, Anubhav J., M.S.  California State University, Long Beach. 2016: 102 pages; 10118896.
18.
What Can You Say? Measuring the Expressive Power of Languages
by Kocurek, Alexander William, Ph.D.  University of California, Berkeley. 2018: 231 pages; 10830321.
19.
21.
The Efficacy of Using Enforceable Statements as a High School Classroom Management Technique
by Johnson, Miriam S., Ed.D.  Jones International University. 2014: 152 pages; 3632214.
22.
Evaluating Outcomes Through a Logic Model
by Thompson, Caitlin, M.A.  Prescott College. 2012: 120 pages; 1531115.
23.
How leaders engage in complexity leadership: Do action-logics make a difference?
by Presley, Stephen P., Ph.D.  Fielding Graduate University. 2014: 253 pages; 3611483.
24.
Relational programming in miniKanren: Techniques, applications, and implementations
by Byrd, William E., Ph.D.  Indiana University. 2009: 296 pages; 3380156.
25.
An ontology-based knowledge management framework for heterogeneous verification
by Kumar, Rajesh, Ph.D.  Carnegie Mellon University. 2007: 174 pages; 3264769.
26.
Self-interpreter for Prolog
by Alkhelaiwi, Aseel, M.S.  University of Rhode Island. 2012: 83 pages; 1508337.
27.
Service-Dominant Logic Framework Theory Contributions to the Agriculture Industry
by Goerig, Anita J., D.B.A.  Capella University. 2019: 202 pages; 13425523.
28.
New tests and test methodologies for scan cell internal faults
by Yang, Fan, Ph.D.  The University of Iowa. 2009: 155 pages; 3390232.
29.
Methods for performance optimization of latency-insensitive systems
by Li, Cheng-Hong, Ph.D.  Columbia University. 2010: 214 pages; 3401048.
30.
Ontological Commitment, Paraphrase, and Nihilism
by Snapper, Jeff, Ph.D.  University of Notre Dame. 2017: 213 pages; 13836374.
1 - 30 of 12786 displayed.
  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