Follow

Theses/Dissertations from 2017

PDF

Improved Scoring Models for Semantic Image Retrieval Using Scene Graphs, Erik Timothy Conser (Thesis)

PDF

Refining Bounding-Box Regression for Object Localization, Naomi Lynn Dickerson (Thesis)

PDF

Fully Generic Programming Over Closed Universes of Inductive-Recursive Types, Larry Diehl (Dissertation)

PDF

Communicating at Terahertz Frequencies, Farnoosh Moshirfatemi (Dissertation)

PDF

Certifying Loop Pipelining Transformations in Behavioral Synthesis, Disha Puri (Dissertation)

PDF

Power-Aware Datacenter Networking and Optimization, Qing Yi (Dissertation)

Theses/Dissertations from 2016

PDF

Identifying Relationships between Scientific Datasets, Abdussalam Alawini (Dissertation)

PDF

Information Representation and Computation of Spike Trains in Reservoir Computing Systems with Spiking Neurons and Analog Neurons, Amin Almassian (Thesis)

PDF

Investigations of an "Objectness" Measure for Object Localization, Lewis Richard James Coates (Thesis)

PDF

Image Stitching: Handling Parallax, Stereopsis, and Video, Fan Zhang (Dissertation)

Theses/Dissertations from 2015

PDF

Novel Methods for Learning and Adaptation in Chemical Reaction Networks, Peter Banda (Dissertation)

PDF

Post-silicon Functional Validation with Virtual Prototypes, Kai Cong (Dissertation)

PDF

Novel Cryptographic Primitives and Protocols for Censorship Resistance, Kevin Patrick Dyer (Dissertation)

PDF

Hardware/Software Interface Assurance with Conformance Checking, Li Lei (Dissertation)

PDF

Leveraging Contextual Relationships Between Objects for Localization, Clinton Leif Olson (Thesis)

PDF

The Performance of Random Prototypes in Hierarchical Models of Vision, Kendall Lee Stewart (Thesis)

PDF

Tweakable Ciphers: Constructions and Applications, Robert Seth Terashima (Dissertation)

PDF

Scalable Equivalence Checking for Behavioral Synthesis, Zhenkun Yang (Dissertation)

Theses/Dissertations from 2014

PDF

The Nax Language: Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types, Ki Yung Ahn (Dissertation)

PDF

Using Spammers' Computing Resources for Volunteer Computing, Thai Le Quy Bui (Thesis)

PDF

Towards Constructing Interactive Virtual Worlds, Francis Chang (Dissertation)

PDF

System-wide Performance Analysis for Virtualization, Deron Eugene Jensen (Thesis)

PDF

Advances in Piecewise Smooth Image Reconstruction, Ralf Juengling (Dissertation)

PDF

Interpretable Machine Learning and Sparse Coding for Computer Vision, Will Landecker (Dissertation)

PDF

Optimizing Data Movement in Hybrid Analytic Systems, Patrick Michael Leyshock (Dissertation)

PDF

Ranked Similarity Search of Scientific Datasets: An Information Retrieval Approach, Veronika Margaret Megler (Dissertation)

PDF

Using GIST Features to Constrain Search in Object Detection, Joanna Browne Solmon (Thesis)

PDF

The Role of Prototype Learning in Hierarchical Models of Vision, Michael David Thomure (Dissertation)

Theses/Dissertations from 2013

PDF

Object Detection and Recognition in Natural Settings, George William Dittmar (Thesis)

PDF

Trust-but-Verify: Guaranteeing the Integrity of User-generated Content in Online Applications, Akshay Dua (Dissertation)

PDF

Equivalence Checking for High-Assurance Behavioral Synthesis, Kecheng Hao (Dissertation)

PDF

Type Classes and Instance Chains: A Relational Approach, John Garrett Morris (Dissertation)

Theses/Dissertations from 2012

PDF

Using Dataflow Optimization Techniques with a Monadic Intermediate Language, Justin George Bailey (Thesis)

PDF

A Survey and Analysis of Solutions to the Oblivious Memory Access Problem, Erin Elizabeth Chapman (Thesis)

PDF

A Data-Descriptive Feedback Framework for Data Stream Management Systems, Rafael J. Fernández Moctezuma (Dissertation)

PDF

Extending Relativistic Programming to Multiple Writers, Philip William Howard (Dissertation)

PDF

The Basic Scheme for the Evaluation of Functional Logic Programs, Arthur Peters (Thesis)

PDF

The Link Between Image Segmentation and Image Recognition, Karan Sharma (Thesis)

PDF

Relativistic Causal Ordering A Memory Model for Scalable Concurrent Data Structures, Josh Triplett (Dissertation)

Theses/Dissertations from 2011

PDF

Conceptual Modeling of Data with Provenance, David William Archer (Dissertation)

PDF

Low-latency Estimates for Window-Aggregate Queries over Data Streams, Amit Bhat (Thesis)

PDF

Information Processing in Two-Dimensional Cellular Automata, Martin Cenek (Dissertation)

PDF

Scalable and Efficient Tasking for Dynamic Sensor Networks, Thanh Xuan Dang (Dissertation)

PDF

On the Effect of Topology on Learning and Generalization in Random Automata Networks, Alireza Goudarzi (Thesis)

PDF

HOLCF '11: A Definitional Domain Theory for Verifying Functional Programs, Brian Charles Huffman (Dissertation)

PDF

A Functional Approach to Memory-Safe Operating Systems, Rebekah Leslie (Dissertation)

PDF

Factoring Semiprimes Using PG2N Prime Graph Multiagent Search, Keith Eirik Wilson (Thesis)

PDF

High Speed Wireless Networking for 60GHz, Candy Yiu (Dissertation)

Theses/Dissertations from 2010

PDF

Extensible Scheduling in a Haskell-based Operating System, Kenneth William Graunke (Thesis)

PDF

Addressing Automated Adversaries of Network Applications, Edward Leo Kaiser (Dissertation)

PDF

An Automata-Theoretic Approach to Hardware/Software Co-verification, Juncao Li (Dissertation)

PDF

Practical Type Inference for the GADT Type System, Chuan-kai Lin (Dissertation)

PDF

Scalable event tracking on high-end parallel systems, Kathryn Marie Mohror (Dissertation)

PDF

Performance Analysis of Hybrid CPU/GPU Environments, Michael Shawn Smith (Thesis)

Theses/Dissertations from 2009

PDF

Computational Techniques for Reducing Spectra of the Giant Planets in Our Solar System, Holly L. Grimes (Thesis)

PDF

Programmer Friendly Refactoring Tools, Emerson Murphy-Hill (Dissertation)

PDF

Graphical User Interfaces as Updatable Views, James Felger Terwilliger (Dissertation)

Theses/Dissertations from 2008

PDF

Window Queries Over Data Streams, Jin Li (Dissertation)

PDF

Irrelevance, Polymorphism, and Erasure in Type Theory, Richard Nathan Mishra-Linger (Dissertation)

PDF

Semantic Components: A Model for Enhancing Retrieval of Domain- Specific Information, Susan Loucette Price (Dissertation)

Theses/Dissertations from 2006

PDF

Addressing Cheating and Workload Characterization in Online Games, Christopher Chambers (Dissertation)

PDF

Gridfields: Model-Driven Data Transformation in the Physical Sciences, Bill Howe (Dissertation)

PDF

Efficient Support for Application-Specific Video Adaptation, Jie Huang (Dissertation)

PDF

Analysis of Relay-based Cellular Systems, Ansuya Negi (Dissertation)

Theses/Dissertations from 2004

PDF

PPerfGrid: A Grid Services-Based Tool for the Exchange of Heterogeneous Parallel Performance Data, John Jared Hoffman (Thesis)

PDF

TeaBag: A Debugger for Curry, Stephen Lee Johnson (Thesis)

PDF

Infrastructure For Performance Tuning MPI Applications, Kathryn Marie Mohror (Thesis)

Theses/Dissertations from 2002

PDF

Querying Geographically Dispersed, Heterogeneous Data Stores: The PPerfXchange Approach, Matthew Edward Colgrove (Thesis)

PDF

Content Aware Request Distribution for High Performance Web Service: A Performance Study, Robert M. Jones (Thesis)

PDF

A Performance Study of LAM and MPICH on an SMP Cluster, Brian Patrick Kearns (Thesis)

Theses/Dissertations from 2001

PDF

Towards Comparative Profiling of Parallel Applications with PPerfDB, Christian Leland Hansen (Thesis)