Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
6920 open access dissertations and theses found for:
if(Verification)  »   Refine Search
61.
Improvement of a propagation delay model for CMOS digital logic circuits
by Stamness, Rodger Lawrence, M.S.  San Jose State University. 2010: 100 pages; 1477363.
62.
Cyber Physical System Modeling of Smart Charging Process
by Langschwager, Matthew T., M.S.  University of Louisiana at Lafayette. 2018: 98 pages; 13420593.
63.
A manual for developing and implementing an AS9100 certified quality management system for small machine shops
by Smith, Concetta, M.S.  California State University, Dominguez Hills. 2014: 145 pages; 1526312.
65.
Toward Consistent Robotics Simulation Through Validation
by Taylor, James R., Ph.D.  The George Washington University. 2018: 136 pages; 10929572.
66.
Formal Modeling and Verification of Delay-Insensitive Circuits
by Park, Hoon, Ph.D.  Portland State University. 2015: 187 pages; 3743768.
67.
Program inconsistency detection: Universal reachability analysis and conditional slicing
by Tomb, Aaron, Ph.D.  University of California, Santa Cruz. 2011: 182 pages; 3471818.
68.
Computational Studies of Geophysical Systems
by Wilson, John Max, Ph.D.  University of California, Davis. 2018: 116 pages; 10979293.
69.
Armed for Arms Control? Presidents, Bureaucrats and the Role of Government Structure in Policymaking
by Dalton, Toby F., Ph.D.  The George Washington University. 2015: 502 pages; 3643434.
70.
Design, construction, inverse kinematics, and visualization of continuum robots
by Neppalli, Srinivas, M.S.  Mississippi State University. 2008: 85 pages; 1459824.
71.
The role of WNT inhibitory factor I in adipose tissue development
by Alsaedi, Manal, M.S.  Tennessee State University. 2016: 80 pages; 10158616.
72.
Characteristics of Turbulent Boundary Layers along a Hypersonic Vehicle
by DiGregorio, Nicholas J., M.S.  State University of New York at Buffalo. 2018: 142 pages; 10822170.
73.
Verification Tests of Mass Conservation for FireFOAM and Development of a User's Guide
by Wu, Shiyun, M.S.  University of Maryland, College Park. 2019: 83 pages; 13863445.
74.
Verification of ramps software for design of steel I-girders
by Berti, Michael A., M.C.E.  University of Delaware. 2015: 90 pages; 10014925.
76.
Experimental verification of flexural guided waves in concrete cylindrical piles
by Lynch, James J., Jr., Ph.D.  Northwestern University. 2007: 473 pages; 3284190.
77.
Mining explosion identification as an application to treaty verification
by Arrowsmith, Marie, Ph.D.  Southern Methodist University. 2009: 519 pages; 3356199.
78.
Efficient, sound formal verification for analog/mixed-signal circuits
by Fisher, Andrew N., Ph.D.  The University of Utah. 2015: 190 pages; 10003590.
79.
Verification of Seismic Motion Input into the Finite Element Models
by Jeong, Chang-Gyun, M.S.  University of California, Davis. 2013: 181 pages; 1546211.
80.
Evaluating the performance of iPhoto facial recognition at the biometric verification task
by Patmore, Keegan P., M.S.  Colorado State University. 2012: 28 pages; 1511042.
81.
Security and Privacy Challenges in Content-Centric Networks
by Wood, Christopher A., Ph.D.  University of California, Irvine. 2017: 337 pages; 10684217.
82.
Deductive Verification of Infinite-State Stochastic Systems using Martingales
by Chakarov, Aleksandar Nevenov, Ph.D.  University of Colorado at Boulder. 2016: 157 pages; 10151160.
83.
An Automata-Theoretic Approach to Hardware/Software Co-verification
by Li, Juncao, Ph.D.  Portland State University. 2010: 215 pages; 3439215.
84.
A Physical Zero-Knowledge Proof and Unclonable Sensors for Nuclear Warhead Verification
by Philippe, S├ębastien, Ph.D.  Princeton University. 2018: 120 pages; 10813590.
85.
Human alveolar osteoblast response to date-expired dental implants renewed by hydrogen peroxide gas plasma sterilization
by Al-Hashemi, Jacob Yousef Kadhum, M.S.  State University of New York at Buffalo. 2013: 160 pages; 1539788.
86.
Development of prediction models of high temperature crumb rubber modified binders
by Thodesen, Carl Christian, Ph.D.  Clemson University. 2008: 215 pages; 3306696.
87.
Development of Instrumentation and Techniques for Preclinical Image Guided Microirradiation
by Price, Samantha G., Ph.D.  University of Missouri - Columbia. 2012: 139 pages; 13877162.
88.
Fluency training the correct use of "to lie" and "to lay"
by Willadsen, Jessica L., M.S.  The University of Wisconsin - Milwaukee. 2014: 74 pages; 1565396.
89.
Rhetorical Analysis of Public Policy Rhetoric: Child Nutrition Reauthorization Act of 2004 and 2010
by Stella, Julie Ann, M.A.  Minnesota State University, Mankato. 2011: 107 pages; 1495686.
90.
Problem Management: A System Engineering Management Framework
by Olson, Bill A., Ph.D.  The George Washington University. 2012: 110 pages; 3499216.
61 - 90 of 6920 displayed.
« First < Previous |   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