Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
1251 open access dissertations and theses found for:
if(Boolean)  »   Refine Search
31.
Accurate Localization Given Uncertain Sensors
by Kramer, Jeffrey A., M.S.  University of South Florida. 2010: 285 pages; 1492929.
32.
A language for specifying compiler optimizations for generic software
by Willcock, Jeremiah J., Ph.D.  Indiana University. 2007: 134 pages; 3297114.
33.
An Automata-Theoretic Approach to Hardware/Software Co-verification
by Li, Juncao, Ph.D.  Portland State University. 2010: 215 pages; 3439215.
34.
An electronic on-board recorder for intermodal drayage operations
by Browning, Andrew, M.S.  California State University, Long Beach. 2012: 137 pages; 1517591.
35.
PR-OWL Decision: A Framework for Decision Making with Probabilistic Ontologies
by Matsumoto, Shou, Ph.D.  George Mason University. 2019: 198 pages; 13864553.
36.
Mobile Robot Homing Control Based on Odor Sensing
by Craver, Matthew David, Ph.D.  North Carolina State University. 2014: 148 pages; 3690207.
37.
Experiments on an Automotive Electronic Control Unit Using a Controller Area Network Bus
by Tou, Johnny, M.S.  California State University, Long Beach. 2018: 70 pages; 10751912.
38.
Modeling and Querying Multimodal Urban Transportation Networks
by Booth, Joel Alexander, Ph.D.  University of Illinois at Chicago. 2011: 161 pages; 3540298.
39.
AIMOS: Automated Inferential Multi-Objective Optimization System
by Praharaj, Blake, M.S.  Southern Connecticut State University. 2017: 83 pages; 10249184.
40.
Devel-Op: An Optimizer Development Environment
by Peng, Zhibo, Ph.D.  Brandeis University. 2018: 157 pages; 10681532.
41.
Dynamic Trace Analysis with Zero-Suppressed BDDs
by Price, Graham David, Ph.D.  University of Colorado at Boulder. 2011: 224 pages; 3468482.
42.
Quick Java refactoring tool
by Liu, Shendun, M.S.  California State University, Long Beach. 2013: 120 pages; 1524137.
43.
Energy-efficient Gait Control Schema of a Hexapod Robot with Dynamic Leg Lengths
by Cafarelli, Ryan, M.S.  Southern Illinois University at Edwardsville. 2017: 119 pages; 10684042.
44.
Hardware/Software Co-Design via Specification Refinement
by Peck, Wesley G., Ph.D.  University of Kansas. 2011: 183 pages; 3489442.
45.
A Modular Point-of-Care Platform for Real-Time Monitoring and Transmission of Physiological Signals
by Harder, RenĂ©, Ph.D.  Vanderbilt University. 2015: 305 pages; 13835059.
46.
Permission in Non-Monotonic Normative Reasoning
by Dong, Huimin, Ph.D.  Universitaet Bayreuth (Germany). 2017: 181 pages; 27603232.
47.
Computable Continuous Structure Theory
by Moody, James Gardner, Ph.D.  University of California, Berkeley. 2019: 116 pages; 13881481.
48.
Peephole superoptimization
by Bansal, Sorav, Ph.D.  Stanford University. 2008: 95 pages; 3332986.
49.
Nanopass compiler infrastructure
by Sarkar, Dipanwita, Ph.D.  Indiana University. 2008: 176 pages; 3337263.
51.
Implementation of an improved embedded SQL for Java
by Bradley, Louis M., M.S.  Florida Atlantic University. 2012: 91 pages; 1522078.
52.
A filter bank approach to automate vessel extraction with applications
by Huynh, Nen, M.S.  California State University, Long Beach. 2013: 123 pages; 1523090.
53.
Interactive Data Management and Data Analysis
by Yang, Ying, Ph.D.  State University of New York at Buffalo. 2017: 119 pages; 10288109.
54.
Bluetooth telemetry system for a wearable electrocardiogram
by Green, Ryan B., M.S.  Mississippi State University. 2013: 82 pages; 1543340.
55.
Design of an Aquatic Quadcopter with Optical Wireless Communications
by Haller, Patterson, M.S.  Florida Atlantic University. 2016: 134 pages; 10583106.
56.
The complexity of flow analysis in higher-order languages
by Van Horn, David, Ph.D.  Brandeis University. 2009: 162 pages; 3369445.
57.
A Publish-Subscribe Framework for Embedded Systems: Simplifying the Development Process
by Schoettler, Michael R., M.S.  California State University, Long Beach. 2017: 68 pages; 10604640.
58.
A context-aware approach to healthcare
by Shah, Harshal, M.S.  California State University, Long Beach. 2016: 116 pages; 10144828.
59.
Automated Black Box Generation of Structured Inputs for Use in Software Testing
by Dewey, Kyle Thomas, Ph.D.  University of California, Santa Barbara. 2017: 318 pages; 10605739.
60.
Using Frequency Based Substructuring to Optimize Multi-Axis Resonant Plate Shock Tests
by Jacobson, Erica M., M.S.  Michigan Technological University. 2019: 192 pages; 22618763.
31 - 60 of 1251 displayed.
« First < Previous |   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