Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
7602 open access dissertations and theses found for:
if(Verification)  »   Refine Search
1.
2.
Verifying Scope 3 Greenhouse Gases in the Federal Supply Chain
by Buzzelle, Stanley Adelbert, III, LL.M.  The George Washington University. 2012: 96 pages; 1531548.
3.
Interface grammars for modular software verification
by Hughes, Graham, Ph.D.  University of California, Santa Barbara. 2009: 203 pages; 3350382.
4.
Verification of Business Process Specifications With Arithmetic and Data Dependencies
by Damaggio, Elio, Ph.D.  University of California, San Diego. 2011: 155 pages; 3475417.
5.
Automatic verification of string manipulating programs
by Yu, Fang, Ph.D.  University of California, Santa Barbara. 2010: 239 pages; 3422651.
6.
On the Modular Verification and Design of Firewalls
by Bhattacharya, Hrishikesh, Ph.D.  The University of Texas at Austin. 2012: 118 pages; 3572873.
7.
Zero-Knowledge Isotopic Discrimination for Nuclear Warhead Verification
by Hepler, Michael Andrew, Ph.D.  Princeton University. 2020: 184 pages; 27956002.
8.
Formal Modeling and Verification of Delay-Insensitive Circuits
by Park, Hoon, Ph.D.  Portland State University. 2015: 187 pages; 3743768.
9.
Modeling and verification techniques for ad hoc network protocols
by Singh, Anu, Ph.D.  State University of New York at Stony Brook. 2009: 130 pages; 3401731.
10.
Mining explosion identification as an application to treaty verification
by Arrowsmith, Marie, Ph.D.  Southern Methodist University. 2009: 519 pages; 3356199.
11.
An ontology-based knowledge management framework for heterogeneous verification
by Kumar, Rajesh, Ph.D.  Carnegie Mellon University. 2007: 174 pages; 3264769.
12.
Efficient, sound formal verification for analog/mixed-signal circuits
by Fisher, Andrew N., Ph.D.  The University of Utah. 2015: 190 pages; 10003590.
13.
Verification of grouting effectiveness using three-dimensional seismic tomography
by Lynch, Christopher Michael, M.S.  University of Colorado at Boulder. 2011: 154 pages; 1505457.
14.
Verification of ramps software for design of steel I-girders
by Berti, Michael A., M.C.E.  University of Delaware. 2015: 90 pages; 10014925.
15.
Deductive Verification of Infinite-State Stochastic Systems using Martingales
by Chakarov, Aleksandar Nevenov, Ph.D.  University of Colorado at Boulder. 2016: 157 pages; 10151160.
16.
An Automata-Theoretic Approach to Hardware/Software Co-verification
by Li, Juncao, Ph.D.  Portland State University. 2010: 215 pages; 3439215.
17.
Experimental verification of flexural guided waves in concrete cylindrical piles
by Lynch, James J., Jr., Ph.D.  Northwestern University. 2007: 473 pages; 3284190.
18.
Verification of Seismic Motion Input into the Finite Element Models
by Jeong, Chang-Gyun, M.S.  University of California, Davis. 2013: 181 pages; 1546211.
20.
A Physical Zero-Knowledge Proof and Unclonable Sensors for Nuclear Warhead Verification
by Philippe, S├ębastien, Ph.D.  Princeton University. 2018: 120 pages; 10813590.
21.
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.
22.
Analysis and verification of fatigue reliability variation under two-stage loading conditions
by Sathiamoorthy, Bharadwaj, M.S.  Northeastern University. 2010: 26 pages; 1510683.
23.
Formal End-to-End Verification of Information-Flow Security for Complex Systems
by Costanzo, David, Ph.D.  Yale University. 2016: 165 pages; 10584941.
24.
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.
25.
Verification of post-glacial Speleogenesis and the origins of Epigene Maze Caves in New York
by Cooper, Max, M.S.  Mississippi State University. 2014: 198 pages; 1554909.
26.
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.
27.
29.
Verification and modification a program for calculating the area of intersection of a cone and voxel
by Ting, Chun-Hsiu, M.S.  The University of Texas at San Antonio. 2010: 76 pages; 1480536.
1 - 30 of 7602 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