Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
9262 open access dissertations and theses found for:
if(Concolic execution)  »   Refine Search
511.
Stopping the Nightmare: An Analysis of Focusing Oriented Dream Imagery Therapy For Trauma Survivors with Repetitive Nightmares
by Ellis, Leslie Anne, Ph.D.  The Chicago School of Professional Psychology. 2015: 269 pages; 3670632.
512.
Applying database refactoring techniques to procedural SQL
by Van Exel, Leslie M., Jr., M.S.  California State University, Long Beach. 2012: 166 pages; 1511395.
513.
Wait-free balanced search trees with fast readers
by Savoie, Lee Hilton, M.S.  The University of Texas at Dallas. 2009: 1 pages; 1484464.
514.
Interactive Learning for Sequential Decisions and Predictions
by Ross, Stephane, Ph.D.  Carnegie Mellon University. 2013: 294 pages; 3575525.
515.
Determinants Of Aid Effectiveness In Agriculture: Non-Governmental Organizations (NGOs) In Haiti
by Pierre, Jean M., Ph.D.  Florida Atlantic University. 2016: 137 pages; 10583080.
516.
Wide-Area Software-Defined Storage
by Nelson, Jude Christopher, Ph.D.  Princeton University. 2018: 266 pages; 10824272.
517.
Characterizing Latencies of Edge Video Streaming
by Balhaj, Mohamed, M.S.  The University of North Carolina at Charlotte. 2017: 64 pages; 10280746.
518.
An Approach to Aligning Leadership Development with Organizational Strategy Management
by Garrett, Kelly Eugene, Ed.D.  University of Pennsylvania. 2017: 191 pages; 10602764.
519.
Scalable Transactions for Scalable Distributed Database Systems
by Pang, Gene, Ph.D.  University of California, Berkeley. 2015: 142 pages; 3733329.
520.
Software maintenance: A program slicer using cross referencer
by Hoang, Viet, M.S.  California State University, Long Beach. 2009: 64 pages; 1481796.
521.
Toward hardware-oriented defensive network infrastructure
by Chen, Hao, Ph.D.  State University of New York at Binghamton. 2015: 194 pages; 3713553.
522.
Web browsers as operating systems: Supporting robust and secure web programs
by Reis, Charles, Ph.D.  University of Washington. 2009: 173 pages; 3370601.
523.
Integrated test and evaluation (T&E) management: The Information Mission Assessment Tool (IMAT) prototype
by Guernsey, Gregory Gene, Ph.D.  Union Institute and University. 2009: 373 pages; 3388401.
524.
Marshall Griffith's “Duel for Solo Guitar”: Performance edition and analysis
by Nitz, Ryan, D.M.A.  Arizona State University. 2009: 98 pages; 3392129.
525.
Illiquidity, stock return and corporate capital structure: Evidence from seasoned equity offering
by Zhao, Yu, M.Sc.  Singapore Management University (Singapore). 2010: 72 pages; 1483226.
526.
Secure framework for implementing distributed networked control systems with mobile observers using heterogeneous controllers
by Padilla-Franco, Javitt Higmar Nahitt, Ph.D.  New Mexico State University. 2017: 194 pages; 10759028.
527.
Analysis of multi-platform mobile application development
by Thaden, Courtney B., M.S.  The University of North Dakota. 2014: 137 pages; 1560009.
528.
An extended workflow pattern for automating user interface design and implementation
by Martin, Adam, M.S.  California State University, Long Beach. 2013: 76 pages; 1527331.
529.
Nathan Richardson and the editions of the “New Method for the Pianoforte”
by Prigge, Sarah Kaye, D.M.A.  North Dakota State University. 2012: 60 pages; 3527455.
530.
Using the podcast as a medium to prepare hearers of the Word to receive the Sunday preaching
by Nolan, Michael E., D.Min.  Aquinas Institute of Theology. 2011: 259 pages; 3499394.
531.
532.
A Framework for Capturing the Hidden Stakeholder System
by Wood, John N., Ph.D.  The George Washington University. 2012: 174 pages; 3524224.
533.
534.
Vital sign monitor with emergency control
by Kavuru, Sree Keerthi, M.S.  California State University, Long Beach. 2015: 27 pages; 1603974.
535.
Two Essays on Corporate Policy and Corporate Governance
by Cha, Taemin, Ph.D.  The George Washington University. 2014: 102 pages; 3608897.
536.
Object Ranking Algorithms for Improved Decision Making
by Duggimpudi, Maria Bala, Ph.D.  University of Louisiana at Lafayette. 2017: 135 pages; 10684385.
539.
Using Simplified Models and Limited-Horizon Planning to React to Time-Critical Problems
by Lurz, Joshua Paul, D.Sc.  The George Washington University. 2019: 145 pages; 13419796.
540.
Adapting Swarm Applications: A Systematic and Quantitative Approach
by Zhang, Ben, Ph.D.  University of California, Berkeley. 2018: 100 pages; 10931111.
511 - 540 of 9262 displayed.
« First < Previous |   15    16    17    18    19    20    21    22    23    24    25   Next >
Copyright © 2021 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest