TOP >> YALE UNIVERSITY >> Computer science
 
Browse Institutions
You are viewing titles for YALE UNIVERSITY in the Computer science available through the UMI Dissertations & Thesis Gradwoorks site
 
Design exploration frameworks for detecting and mitigating transient errors in logic circuits
 Distributed systems of simple interacting agents
 
A new class of analysis-based fast transforms
 Using sentence context and implicit contrast to learn sensor-grounded meanings for relational and deictic words: The TWIG system
 
Functional reactive control of humanoid robots
 The mechanized verification of garbage collector implementations
 
Clustering algorithms for random and pseudo-random structures
 Computational methods for eye-tracking analysis: Applications to autism
 
Functional programming with logical frameworks
 Efficient and robust traffic engineering in a dynamic environment
 
Fast construction algorithms for overlay networks
 Mining biological complexity: Cross integration of large-scale metagenomics, environmental, and chemical datasets
 
The asymptotics of combinatorial problems on random graphs
 Intention from motion
 
Efficient graph-based algorithms for linear equations, network flows, and machine learning
 Theory and application of extractable functions
 
Design and analysis of efficient anonymous-communication protocols
 Studies in texture generation of weathered appearance from captured data
 
Hashing, contention, and cell-probe proofs
 Active learning of interaction networks
 
Integrated analysis of partial sampling techniques in bioinformatics
 Syntactic finitism in the metatheory of programming languages
 
A Dual-System Approach to Realistic Evaluation of Large-Scale Networked Systems
 A New Class of Fast Divide-and-Conquer Algorithms for the Real Symmetric Tridiagonal Eigenvalue Problem
 
Memory Consistency and Program Verification
 Scalable Strategies for Computing with Massive Sets of Data
 
A Sensor-Fusion System to Detect, Track, and Identify People in Realistic Scenarios
 Computational Methods for Studying the Early Secretory Pathway and Trypanosoma brucei
 
Fasciculography: Volumetric Tract Parcellation from Diffusion Magnetic Resonance Images
 The Theory and Practice of Causal Commutative Arrows
 
Acquiring the Shape and Appearance of Physical Scenes
 A Randomized Approximate Nearest Neighbors Algorithm
 
Message Passing Algorithms for Optimization
 Analyzing Macroscopic Human Behaviors Using Spatio-Temporal Data from Sensor Networks
 
Deterministic OpenMP