Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
1225 open access dissertations and theses found for:
if(Boolean)  »   Refine Search
1.
Boolean Partition Algebras
by Van Name, Joseph, Ph.D.  University of South Florida. 2013: 128 pages; 3560193.
2.
Orthomorphisms of Boolean Groups
by Schimanski, Nichole Louise, Ph.D.  Portland State University. 2016: 99 pages; 10154830.
3.
Boolean Satisfiability, Graph Problems, and Zeons
by Strotheide, Amanda, M.S.  Southern Illinois University at Edwardsville. 2018: 30 pages; 10844331.
4.
The Role of Canalization in the Spreading of Perturbations in Boolean Networks
by Manicka, Santosh Venkatiah Sudharshan, Ph.D.  Indiana University. 2017: 225 pages; 10277023.
6.
ALGEBRAIC AND LOCALLY ALGEBRAIC FUNCTORS
by DUKARM, JAMES JOSEPH, Ph.D.  Simon Fraser University (Canada). 1980: 1 pages; NK44892.
7.
Relation algebras
by Mirin, Alison C., M.A.  Mills College. 2013: 147 pages; 1537718.
8.
Enforcing role-based access control on a social network
by Anderson, James Carold, M.S.  East Carolina University. 2012: 240 pages; 1518475.
9.
Machine Learning and Network-Based Systems Toxicology Modeling of Chemotherapy-Induced Peripheral Neuropathy
by Bloomingdale, Peter, Ph.D.  State University of New York at Buffalo. 2018: 353 pages; 13427432.
10.
Structural induction: Towards automatic ontology elicitation
by Silvescu, Adrian, Ph.D.  Iowa State University. 2008: 187 pages; 3307040.
11.
Development of PHP to UMPL transformer
by Hu, Zili, Ed.D.  Ball State University. 2013: 245 pages; 3590414.
12.
Tenability and Computability of Generalized PĆ³lya Urns
by Konzem, Scott R., Ph.D.  The George Washington University. 2017: 103 pages; 10263413.
13.
Determining Optimal Arithmetic Circuits for Solving Linear Optimization Problems with SAT Solvers
by Nain, Prerna, M.S.  California State University, Long Beach. 2018: 54 pages; 10752239.
14.
Robust hough transform for noisy and cluttered images
by Slininger, Timothy, M.S.  Southern Connecticut State University. 2014: 197 pages; 1525183.
15.
A formalization of logic in diagonal-free cylindric algebras
by Ylvisaker, Andrew John, Ph.D.  Iowa State University. 2012: 62 pages; 3511508.
19.
Pebble Games and Complexity
by Chan, Siu Man, Ph.D.  University of California, Berkeley. 2013: 74 pages; 3593787.
20.
Malware Vectors: A Technique for Discovering Defense Logics
by Stocco, Gabriel Fortunato, Ph.D.  Dartmouth College. 2014: 121 pages; 3685144.
21.
Formal Modeling and Verification of Delay-Insensitive Circuits
by Park, Hoon, Ph.D.  Portland State University. 2015: 187 pages; 3743768.
22.
Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL
by Oh, Chanseok, Ph.D.  New York University. 2016: 145 pages; 10025676.
23.
Moving Objects Management for Location-Based Services
by Long, Guo, Ph.D.  National University of Singapore (Singapore). 2015: 161 pages; 10006006.
24.
Social network analysis: Determining betweenness centrality of a network using Ant Colony Optimization
by Rubano, Vincent, M.S.  Southern Connecticut State University. 2016: 117 pages; 10108549.
25.
Accurate Localization Given Uncertain Sensors
by Kramer, Jeffrey A., M.S.  University of South Florida. 2010: 285 pages; 1492929.
26.
A Duality Between Hypergraphs and Cone Lattices
by French, Zack, M.S.  Middle Tennessee State University. 2018: 126 pages; 10784141.
27.
Adding Intelligence to a Floor Based Array Personnel Detector
by Muheidat, Fadi, M.S.  University of Missouri - Columbia. 2015: 122 pages; 13849576.
29.
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.
30.
An Automata-Theoretic Approach to Hardware/Software Co-verification
by Li, Juncao, Ph.D.  Portland State University. 2010: 215 pages; 3439215.
1 - 30 of 1225 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