Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
9194 open access dissertations and theses found for:
if(Concolic execution)  »   Refine Search
271.
Enabling increased complexity for realistic image synthesis
by Budge, Brian Christopher, Ph.D.  University of California, Davis. 2009: 136 pages; 3396900.
272.
Automatic Real-Time Targeting of Single-Voxel Magnetic Resonance Spectroscopy
by Storrs, Judd, Ph.D.  University of Cincinnati. 2010: 118 pages; 3432351.
274.
Neuroevolution Based Inverse Reinforcement Learning
by Budhraja, Karan Kumar, M.S.  University of Maryland, Baltimore County. 2016: 85 pages; 10140581.
276.
Writing Development: A Process-Oriented Approach
by Min, Haesik, Ph.D.  State University of New York at Buffalo. 2017: 110 pages; 10620483.
277.
Heterogeneous construction of spatial data structures
by Butts, Robert O., M.S.  University of Colorado at Denver. 2015: 65 pages; 1588178.
278.
279.
Securing Operating Systems Through Utility Virtual Machines
by Denz, Robert, Ph.D.  Dartmouth College. 2016: 222 pages; 10190644.
280.
PSON: Predictable service overlay networks
by Shamsi, Jawwad, Ph.D.  Wayne State University. 2009: 193 pages; 3366199.
282.
Analysis and Detection of the Silent Thieves
by Perez, Jon, M.S.  Utica College. 2018: 94 pages; 10931156.
285.
Minor courts and communities at the frontier the justice of the peace in early Missouri
by Speck, Bonnie A., Ph.D.  Wayne State University. 2010: 234 pages; 3433505.
286.
Software Deployment Methods to Support Heterogeneous-ISA Application Migration
by Xing, Tong, Master's  Stevens Institute of Technology. 2020: 92 pages; 27957383.
288.
Faith on Trial: Persecution and Resistance of Jehovah's Witnesses in North Rhine-Westphalia during the Third Reich
by Klein, Julie A., M.A.  Southern Illinois University at Edwardsville. 2015: 106 pages; 10127208.
289.
Formal security analysis: Secrecy, authentication and attestation
by Li, Li, Ph.D.  National University of Singapore (Singapore). 2015: 152 pages; 10006040.
290.
Fault-tolerant FPGA-based multi-processor systems for nano-satellites
by Venkataraman, Shyamsunda, M.Eng.  National University of Singapore (Singapore). 2015: 94 pages; 10006079.
291.
Workflow Job Manager for NCCP
by Gibbs, Ivan, M.S.  University of Nevada, Reno. 2012: 104 pages; 1532258.
292.
Development of leading indicator methodology of university research project performance
by Abbott, Rodman P., Ph.D.  Southern Methodist University. 2016: 379 pages; 10247042.
293.
Exploring Complexity Metrics for Artifact-Centric Business Process Models
by Marin, Mike Andy, Ph.D.  University of South Africa (South Africa). 2017: 434 pages; 10759956.
294.
Communication complexity involving Unmanned Aerial Systems in a simulated NAS environment
by Roberts, Zachary, M.S.  California State University, Long Beach. 2015: 53 pages; 1573110.
295.
Robotic control: Real-time architectures and multi-flock flocking
by McKenzie, Andrew W., Ph.D.  The University of Alabama. 2012: 92 pages; 3511053.
296.
The computational content of isomorphisms
by James, Roshan P., Ph.D.  Indiana University. 2013: 197 pages; 3587675.
297.
Schemes for Surviving Advanced Persistent Threats
by Mehresh, Ruchika, Ph.D.  State University of New York at Buffalo. 2013: 159 pages; 3598713.
298.
Progression and Edge Intelligence Framework for IoT Systems
by Huang, Zhenqiu, Ph.D.  University of California, Irvine. 2016: 152 pages; 10168486.
299.
Spatial Stochastic Simulation of Biochemical Systems
by Drawert, Brian J., D.Eng.  University of California, Santa Barbara. 2013: 208 pages; 3559784.
300.
Resilient TDMA-based Communication Algorithm for Dynamic Ad-hoc Networks and Formal Verification
by Tyagi, Neha, M.S.  California State University, Long Beach. 2018: 65 pages; 10752255.
271 - 300 of 9194 displayed.
« First < Previous |   7    8    9    10    11    12    13    14    15    16    17   Next >
Copyright © 2021 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest