Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
34228 open access dissertations and theses found for:
if(Linear temporal logic (ltl))  »   Refine Search
1.
Cyber Physical System Modeling of Smart Charging Process
by Langschwager, Matthew T., M.S.  University of Louisiana at Lafayette. 2018: 98 pages; 13420593.
2.
Verification of Business Process Specifications With Arithmetic and Data Dependencies
by Damaggio, Elio, Ph.D.  University of California, San Diego. 2011: 155 pages; 3475417.
4.
Formally ensuring the permissibility of obligations in security and privacy policies
by Chowdhury, Omar Haider, Ph.D.  The University of Texas at San Antonio. 2013: 306 pages; 3594559.
5.
Analysis and Control of Switched Linear Systems Using Different Switching Strategies
by Duan, Chang, Ph.D.  North Carolina State University. 2013: 169 pages; 3586263.
6.
An Automata-Theoretic Approach to Hardware/Software Co-verification
by Li, Juncao, Ph.D.  Portland State University. 2010: 215 pages; 3439215.
7.
Game relations, metrics and refinements
by Raman, Vishwanath, Ph.D.  University of California, Santa Cruz. 2010: 294 pages; 3421295.
8.
Minimalist multi-agent filtering and guidance
by Bobadilla Molina, Jaime Leonardo, Ph.D.  University of Illinois at Urbana-Champaign. 2013: 141 pages; 3614523.
11.
Interpreting the Temporal Aspects of Language
by UzZaman, Naushad, Ph.D.  University of Rochester. 2012: 221 pages; 3543329.
13.
Spatio-termporal reasoning about agent behavior
by Shakarian, Paulo, Ph.D.  University of Maryland, College Park. 2011: 649 pages; 3461587.
14.
A formative program evaluation of the Crucial Conversations™ program
by Trinidad, David R., D.N.P.  The University of Arizona. 2013: 114 pages; 3606916.
15.
Modeling and simulation of vertebrate limb development and algorithms for comparative genomics
by Christley, Scott, Ph.D.  University of Notre Dame. 2008: 188 pages; 3436465.
16.
A Fuzzy Logic Nowcasting Approach Using COTREC and Model Wind Field Vectors
by Caban, Nick, M.S.  Southern Illinois University at Edwardsville. 2018: 71 pages; 13418725.
17.
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.
18.
An Optical Flow Derived Nowcasting Approach with Fuzzy Logic and Model Wind Field Vectors
by Olden, Joseph , M.S.  Southern Illinois University at Edwardsville. 2020: 62 pages; 27957931.
19.
Rethinking Patterns: Associative Formal Analysis and Luciano Berio's Sequenzas
by Schullman, Matthew David Monfredo, Ph.D.  Yale University. 2016: 366 pages; 10160876.
21.
Epistemic dynamics and protocol information
by Hoshi, Tomohiro, Ph.D.  Stanford University. 2009: 257 pages; 3364501.
22.
A Fuzzy Logic-Based Fault Tolerant Control Approach for Wind Turbines
by Kanumalla, Neha, M.S.  University of Louisiana at Lafayette. 2015: 99 pages; 10002411.
23.
The cis-regulatory logic of gustatory neuron development in Caenorhabditis elegans
by Etchberger, John Frank, Jr., Ph.D.  Columbia University. 2008: 286 pages; 3333479.
25.
Real-Time Synchronized Automata for Cooperative Mobile Robots in Dynamic Networks
by Barjasteh, Sina, M.S.  California State University, Long Beach. 2018: 35 pages; 10978741.
26.
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.
27.
Functional organization of the human medial temporal lobe
by Awipi, Tarimotimi, Ph.D.  New York University. 2009: 177 pages; 3365694.
30.
Enforcing user-defined management logic in large scale systems
by Perera, Hemapani Srinath, Ph.D.  Indiana University. 2009: 274 pages; 3358983.
1 - 30 of 34228 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