# Theses & Reports

Instructions for submitting a technical report or thesis.

You can find technical reports published prior to 1990 archived here.

- Ph.D. Thesis 2022 Enhancing Robustness through Domain Faithful Deep Learning Systems Balashankar, Ananth Abstract | PDF
- Ph.D. Thesis 2022 Unstructured Mesh Generation and Repairing in the Wild Hu, Yixin Abstract | PDF
- Ph.D. Thesis 2022 Data-driven Solutions for Addressing Two Pressing Urban Sustainability Challenges: Air Pollution Reduction and Traffic Management Iyer, Shiva Abstract | PDF
- Ph.D. Thesis 2022 Synergistic Geometry Processing: from Robust Geometric Modeling to Scalable Physical Simulation Jiang, Zhongshi Abstract | PDF
- Ph.D. Thesis 2022 Cryptography: From Practice to Theory Karthikeyan, Harish Abstract | PDF
- Ph.D. Thesis 2022 Scalable Distributed Payment Systems with Minimal Trust Assumptions Kattis, Assimakis Abstract | PDF
- Ph.D. Thesis 2022 Characterizing and Resolving Degeneracies in Neural Autoregressive Text Generation Kulikov, Ilia Abstract | PDF
- Ph.D. Thesis 2022 Finding and Fixing Undesirable Behaviors in Pretrained Language Models Perez, Ethan Abstract | PDF
- Ph.D. Thesis 2022 Identifying, Addressing, and Understanding Challenging Cases in Machine Learning Resnick, Cinjon Abstract | PDF
- Ph.D. Thesis 2022 Constrained Surface Parameterization Methods with Guarantees Shen, Hanxiao Abstract | PDF
- Ph.D. Thesis 2022 On deep learning tools for scientific discovery in healthcare Sudarshan, Mukund Abstract | PDF
- Ph.D. Thesis 2022 Efficient Verification of Untrusted Services Tzialla, Ioanna Abstract | PDF
- Ph.D. Thesis 2022 NLP Evaluation in the Time of Large Language Models Wang, Alex Abstract | PDF
- Ph.D. Thesis 2022 Improving Sample Efficiency in Off-policy and Offline Deep Reinforcement Learning Wu, Yanqiu (Autumn) Abstract | PDF
- Ph.D. Thesis 2022 On-Policy Deep Reinforcement Learning — The Discounted and Average Reward Criteria Zhang, Yiming Abstract | PDF
- Ph.D. Thesis 2021 Advances in computer bridge: techniques for a partial-information, communication-based game. Bethe, Paul Abstract | PDF
- Ph.D. Thesis 2021 Learning Causality in Molecular Biology Cirrone, Jacopo Abstract | PDF
- Ph.D. Thesis 2021 Responsibility Analysis by Abstract Interpretation Deng, Chaoqiang Abstract | PDF
- Ph.D. Thesis 2021 Enhancing Collaboration and Productivity for Virtual and Augmented Reality He, Zhenyi Abstract | PDF
- Ph.D. Thesis 2021 Larger-Context Neural Machine Translation Jean, Sébastien Abstract | PDF
- Ph.D. Thesis 2021 Improving Sample Efficiency of Imitation and Reinforcement Learning Kostrikov, Ilya Abstract | PDF
- Ph.D. Thesis 2021 Latent Variable Models and Iterative Refinement for Non-Autoregressive Neural Machine Translation Lee, Jason Abstract | PDF
- Ph.D. Thesis 2021 Neural Structured Prediction using Iterative Refinement with Applications to Text and Molecule Generation Mansimov, Elman Abstract | PDF
- Ph.D. Thesis 2021 Scalable Particulate Flow Simulations with Boundary Integral Equations Morse, Matthew Abstract | PDF
- Ph.D. Thesis 2021 Towards More General and Adaptive Deep Reinforcement Learning Agents Raileanu, Roberta Abstract | PDF
- Ph.D. Thesis 2021 Theory and Algorithms for Several Central Problems in Large-Scale Machine Learning Storcheus, Dmitry Abstract | PDF
- Ph.D. Thesis 2021 The Evolutionary Maps of Data Tamaskar, Abhinav Abstract | PDF
- Ph.D. Thesis 2021 Order and Learning in Sequential Neural Structured Prediction Welleck, Sean Abstract | PDF
- Ph.D. Thesis 2021 Techniques for Sample-Efficient Reinforcement Learning Whitney, William Abstract | PDF
- Ph.D. Thesis 2021 Methods to Improve Knowledge Transfer Efficiency for Data-limited Problems in Genomics Yi, Ren Abstract | PDF
- Ph.D. Thesis 2020 Out of Distribution Generalization in Machine Learning Arjovsky, Martin Abstract | PDF
- Ph.D. Thesis 2020 Behavior of the Limited-Memory BFGS Method on Nonsmooth Optimization Problems Asl, Azam Abstract | PDF
- Ph.D. Thesis 2020 Enhanced Representations for Relations by Multi-task Learning Fu, Lisheng Abstract | PDF
- Ph.D. Thesis 2020 Scaling Multi-user Virtual and Augmented Reality Herscher, Sebastian Abstract | PDF
- Ph.D. Thesis 2020 Auditing Outsourced Services Tan, Cheng Abstract | PDF
- Ph.D. Thesis 2020 Market Efficiency and Dynamics Tao, Yixin Abstract | PDF
- Ph.D. Thesis 2020 Flexible and Efficient Systems for Training Emerging Deep Neural Networks Wang, Minjie Abstract | PDF
- Ph.D. Thesis 2019 From 2.5G To 5G: Enhancing Access And Performance For Mobile Users Ahmad, Talal Abstract | PDF
- Ph.D. Thesis 2019 Co-Located Augmented and Virtual Reality Systems DeFanti, Connor Abstract | PDF
- Ph.D. Thesis 2019 Design for Customized Manufacturing Gil-Ureta, Francisca T. Abstract | PDF
- Ph.D. Thesis 2019 Scalable Machine Learning using Dataflow Graph Analysis Huang, Chien-Chin Abstract | PDF
- Ph.D. Thesis 2019 Compositional Abstractions for Verifying Concurrent Data Structures Krishna, Siddharth Abstract | PDF
- Ph.D. Thesis 2019 Parallel Contact-Aware Algorithms for Large-Scale Direct Blood Flow Simulations Lu, Libin Abstract | PDF
- Ph.D. Thesis 2019 Leveraging Program Analysis for Type Inference Pavlinovic, Zvonimir Abstract | PDF
- Ph.D. Thesis 2019 Concentration and Anti-concentration for Markov Chains Rao, Shravas Abstract | PDF
- Ph.D. Thesis 2019 Approximation algorithms, Hardness, and PCPs Thiruvenkatachari, Devanathan Abstract | PDF
- Ph.D. Thesis 2019 Tactile Perception Design for Fabrication Tymms, Chelsea Abstract | PDF
- Ph.D. Thesis 2019 End-to-End Learning for Autonomous Driving Zhang, Jiakai Abstract | PDF
- Ph.D. Thesis 2019 Text Representation using Convolutional Networks Zhang, Xiang Abstract | PDF
- Ph.D. Thesis 2019 Unsupervised Learning with Regularized Autoencoders Zhao, Junbo Abstract | PDF
- Ph.D. Thesis 2019 Unsupervised Learning with Regularized Autoencoders Zhao, Junbo Abstract | PDF
- Ph.D. Thesis 2018 Deep Generative Models of Images and Video Denton, Emily Lynn Abstract | PDF
- Ph.D. Thesis 2018 Deep Networks for Forward Prediction and Planning Henaff, Mikael Bruce Abstract | PDF
- Ph.D. Thesis 2018 Learning Representations of Text through Language and Discourse Modeling: From Characters to Sentences Jernite, Yacine Abstract | PDF
- Ph.D. Thesis 2018 Deep Learning for Information Extraction Nguyen, Thien Huu Abstract | PDF
- Ph.D. Thesis 2018 Accelerating Approximate Simulation with Deep Learning Schlachter, Kristofer Abstract | PDF
- Ph.D. Thesis 2018 Elements of Intelligence: Memory, Communication and Intrinsic Motivation Sukhbaatar, Sainbayar Abstract | PDF
- Ph.D. Thesis 2018 Rethinking Customer Segmentation and Demand Learning in the Presence of Sparse, Diverse, and Large-scale Data Venkataraman, Ashwin Abstract | PDF
- Ph.D. Thesis 2017 On Quadtrees, Voronoi Diagrams, and Lattices: Results in Geometric Algorithms Bennett, Huxley Abstract | PDF
- Ph.D. Thesis 2017 Improving Event Extraction: Casting a Wider Net Cao, Kai Abstract | PDF
- Ph.D. Thesis 2017 Random Growth Models Florescu, Laura Abstract | PDF
- Ph.D. Thesis 2017 Zero-knowledge Proofs: Efficient Techniques for Combination Statements and their Applications Ganesh, Chaya Abstract | PDF
- Ph.D. Thesis 2017 Circuit Complexity: New Techniques and Their Limitations Golovnev, Aleksandr Abstract | PDF
- Ph.D. Thesis 2017 Unsupervised Learning Under Uncertainty Mathieu, Michael Abstract | PDF
- Ph.D. Thesis 2017 Fine-scale Structure Design for 3D Printing Panetta, Francis Julian Abstract | PDF
- Ph.D. Thesis 2017 On the Gaussian Measure Over Lattices Stephens-Davidowitz, Noah Abstract | PDF
- Ph.D. Thesis 2016 Decision Procedures for Finite Sets with Cardinality, and Local Theories Extensions Bansal, Kshitij Abstract | PDF
- Ph.D. Thesis 2016 Analyzing Source Code Across Static Conditionals Gazzillo, Paul Abstract | PDF
- Ph.D. Thesis 2016 Semi-Supervised Learning for Electronic Phenotyping in Support of Precision Medicine Halpern, Yonatan Abstract | PDF
- Ph.D. Thesis 2016 Improving Knowledge Base Population with Information Extraction Li, Xiang Abstract | PDF
- Ph.D. Thesis 2016 Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL Oh, Chanseok Abstract | PDF
- Ph.D. Thesis 2016 Graph-based Approaches to Resolve Entity Ambiguity Pershina, Maria Abstract | PDF
- Ph.D. Thesis 2016 Partition Memory Models for Program Analysis Wang, Wei Abstract | PDF
- Ph.D. Thesis 2016 Learning Algorithms from Data Zaremba, Wojciech Abstract | PDF
- Ph.D. Thesis 2016 Distributed Stochastic Optimization for Deep Learning Zhang, Sixin Abstract | PDF
- Ph.D. Thesis 2016 Pushing the Limits of Additive Fabrication Technologies Zhou, Qingnan (James) Abstract | PDF
- Ph.D. Thesis 2015 Big Data Analytics for Development: Events, Knowledge Graphs and Predictive Models Chakraborty, Sunandan Abstract | PDF
- Ph.D. Thesis 2015 SMT-Based and Disjunctive Relational Abstract Domains for StaticAnalysis Chen, Junjie Abstract | PDF
- Ph.D. Thesis 2015 Iris: Mitigating Phase Noise in Millimeter Wave OFDM Systems Dhananjay, Aditya Abstract | PDF
- Ph.D. Thesis 2015 Predicting Images using Convolutional Networks: Visual Scene Understanding with Pixel Maps Eigen, David Abstract | PDF
- Ph.D. Thesis 2015 Unsupervised Feature Learning in Computer Vision Goroshin, Ross Abstract | PDF
- Ph.D. Thesis 2015 Efficient and Trustworthy Theory Solver for Bit-vectors in SatisfiabilityModulo Theories Hadarean, Liana Abstract | PDF
- Ph.D. Thesis 2015 Predicting the Market Value of Single-Family Residences Lowrance, Roy Abstract | PDF
- Ph.D. Thesis 2015 Building Fast, CPU-Efficient Distributed Systems on Ultra-Low Latency, RDMA-Capable Networks Mitchell, Christopher Abstract | PDF
- Ph.D. Thesis 2015 Instance Segmentation of RGBD Scenes Silberman, Nathan Abstract | PDF
- Ph.D. Thesis 2015 Localization of Humans in Images Using Convolutional Networks Tompson, Jonathan Abstract | PDF
- Ph.D. Thesis 2015 Joint Training of a Neural Network and a Structured Model for Computer Vision Wan, Li Abstract | PDF
- Ph.D. Thesis 2015 Partition Memory Models in Program Analysis Wang, Wei Abstract | PDF
- Ph.D. Thesis 2014 On the Human Form: Efficient acquisition, modeling and manipulation of thehuman body Braga, Otavio Abstract | PDF
- Ph.D. Thesis 2014 Analyzing Tatonnement Dynamics in Economic Markets Cheung, Yun Kuen Abstract | PDF
- Ph.D. Thesis 2014 Low-latency Image Recognition withGPU-accelerated Convolutional Networksfor Web-based Services Huang, Fu Jie Abstract | PDF
- Ph.D. Thesis 2014 Effective Algorithms for the Satisfiability of Quantifier-Free Formulas Over Linear Real and Integer Arithmetic King, Tim Abstract | PDF
- Ph.D. Thesis 2014 Cryptographic Algorithms for the SecureDelegation of Multiparty Computation Lopez-Alt, Adriana Abstract | PDF
- Ph.D. Thesis 2014 Robust and Efficient Methods for Approximation and Optimization of Stability Measures Mitchell, Tim Abstract | PDF
- Ph.D. Thesis 2014 Building Efficient Distributed In-memory Systems Power, Russell Abstract | PDF
- Ph.D. Thesis 2014 Runtime Compilation of Array-Oriented Python Programs Rubinsteyn, Alex Abstract | PDF
- Ph.D. Thesis 2014 A Deep Learning Pipeline for Image Understanding and Acoustic Modeling Sermanet, Pierre Abstract | PDF
- Ph.D. Thesis 2014 Towards New Interfaces For Pedagogy Stein, Murphy Abstract | PDF
- Ph.D. Thesis 2014 Computational Complexity Implicationsof Secure Coin-Flipping Tentes, Aristeidis Abstract | PDF
- Ph.D. Thesis 2014 Data-driven Approaches for Paraphrasing across Language Variations Xu, Wei Abstract | PDF
- Ph.D. Thesis 2014 Positive-Unlabeled Learning in the Context of Protein Function Prediction Youngs, Noah Abstract | PDF
- Ph.D. Thesis 2014 Hierarchical Convolutional Deep Learning in Computer Vision Zeiler, Matthew Abstract | PDF
- Ph.D. Thesis 2013 Incentive-Centered Design of Money-Free Mechanisms Gkatzelis, Vasilis Abstract | PDF
- Ph.D. Thesis 2013 Locality Optimization for Data Parallel Programs Hielscher, Eric Abstract | PDF
- Ph.D. Thesis 2013 Piecewise Smooth Surfaces with Features Kovacs, Denis Abstract | PDF
- Ph.D. Thesis 2013 Low-level Image Priors and Laplacian Preconditioners for Applications in Computer Graphics and Computational Photography Krishnan, Dilip Abstract | PDF
- Ph.D. Thesis 2013 Relation Extraction with Weak Supervision and Distributional Semantics Min, Bonan Abstract | PDF
- Ph.D. Thesis 2013 Usable Security Mechanisms in the Developing World Paik, Michael Abstract | PDF
- Ph.D. Thesis 2013 Inapproximability Reductions and Integrality Gaps Popat, Preyas Abstract | PDF
- Ph.D. Thesis 2013 Natural Interaction with a Virtual World Rosenberg, Ilya Abstract | PDF
- Ph.D. Thesis 2013 Security Mechanisms for Physical Authentication Sharma, Ashlesh Abstract | PDF
- Ph.D. Thesis 2013 Augmenting Information Flow for Visual Privacy Spiro, Ian Abstract | PDF
- Ph.D. Thesis 2013 Toward a computational solution to the inverse problem of how hypoxia arises in metabolically heterogeneous cancer cell populations Sundstrom, Andrew Abstract | PDF
- Ph.D. Thesis 2013 Rethinking Information Privacy for the Web Tierney, Matthew Abstract | PDF
- Ph.D. Thesis 2012 Learning Hierarchical Feature Extractors For ImageRecognition Boureau, Y-Lan Abstract | PDF
- Ph.D. Thesis 2012 On populations, haplotypes and genome sequencing Franquin, Pierre Abstract | PDF
- Ph.D. Thesis 2012 Optimizing Machine Translation by Learning to Search Galron, Daniel Abstract | PDF
- Ph.D. Thesis 2012 Flexible-Cost SLAM Grimes, Matthew Abstract | PDF
- Ph.D. Thesis 2012 SMT Beyond DPLL(T): A New Approach to Theory Solvers and Theory Combination Jovanovic, Dejan Abstract | PDF
- Ph.D. Thesis 2012 An Adaptive Fast Multipole Method-Based PDE Solver in Three Dimensions Langston, Matthew Harper Abstract | PDF
- Ph.D. Thesis 2012 Acquiring information from wider scope to improve event extraction Liao, Shasha Abstract | PDF
- Ph.D. Thesis 2012 Mobile Accessibility Tools for the Visually Impaired Paisios, Nektarios Abstract | PDF
- Ph.D. Thesis 2012 Reusable Software Infrastructure for Stream Processing Soule, Robert Abstract | PDF
- Ph.D. Thesis 2012 Building scalable geo-replicated storage backends for web applications Sovran, Yair Abstract | PDF
- Ph.D. Thesis 2012 Rapid Training of Information Extraction with Local and Global Data Views Sun, Ang Abstract | PDF
- Ph.D. Thesis 2012 Combating Sybil attacks in cooperative systems Tran, Nguyen Abstract | PDF
- Ph.D. Thesis 2012 Multi-species biclustering: An integrative method to identify functional gene conservation between multiple species Waltman, Peter Abstract | PDF
- Ph.D. Thesis 2011 Collusion Preserving Computation Alwen, Joel Abstract | PDF
- Ph.D. Thesis 2011 Re-architecting Web and Mobile Information Access for Emerging Regions Chen, Jay Abstract | PDF
- Ph.D. Thesis 2011 Automatic Deduction for Theories of Algebraic Data Types Chikanian, Igor Abstract | PDF
- Ph.D. Thesis 2011 Efficient Cryptographic Primitives for Non-Interactive Zero-Knowledge Proofs and Applications Haralambiev, Kristiyan Abstract | PDF
- Ph.D. Thesis 2011 Learning Feature Hierarchies for Object Recognition Kavukcuoglu, Koray Abstract | PDF
- Ph.D. Thesis 2011 Topics in Formal Synthesis and Modeling Klein, Uri Abstract | PDF
- Ph.D. Thesis 2011 Adaptive Isotopic Approximation of Nonsingular Curves and Surfaces Lin, Long Abstract | PDF
- Ph.D. Thesis 2011 Real-Space Localization Methods for Minimizing the Kohn-Sham Energy Millstone, Marc Abstract | PDF
- Ph.D. Thesis 2011 Scoring-and-Unfolding Trimmed Tree Assembler: Algorithms for Assembling Genome Sequences Accurately and Efficiently Narzisi, Giuseppe Abstract | PDF
- Ph.D. Thesis 2011 Cryptographic Resilience to Continual Information Leakage Wichs, Daniel Abstract | PDF
- Ph.D. Thesis 2011 Surface Representation of Particle Based Fluids Yu, Jihun Abstract | PDF
- Ph.D. Thesis 2010 On the Randomness Requirements for Privacy Bosley, Carleton Abstract | PDF
- Ph.D. Thesis 2010 Machine Learning Approaches to Gene Duplication and Transcription Regulation Chen, Huang-Wen Abstract | PDF
- Ph.D. Thesis 2010 New Privacy-Preserving Architectures for Identity-/Attribute-based Encryption Chow, Sze Ming Abstract | PDF
- Ph.D. Thesis 2010 Tools and Techniques for the Sound Verification of Low Level Code Conway, Christopher L. Abstract | PDF
- Ph.D. Thesis 2010 Probabilistic and Topological methods in Computational Geometry Dhandapani, Raghavan Abstract | PDF
- Ph.D. Thesis 2010 Semi-Supervised Learning via Generalized Maximum Entropy Erkan, Ayse Naz Abstract | PDF
- Ph.D. Thesis 2010 Solving Quantified First Order Formulas in Satisfiability Modulo Theories Ge, Yeting Abstract | PDF
- Ph.D. Thesis 2010 An Algorithmic Enquiry Concerning Causality Kleinberg, Samantha Abstract | PDF
- Ph.D. Thesis 2010 Time Series Modeling with Hidden Variables and Gradient-Based Algorithms Mirowski, Piotr Abstract | PDF
- Ph.D. Thesis 2010 Structure Prediction and Visualization in Molecular Biology Poultney, Christopher Abstract | PDF
- Ph.D. Thesis 2010 Theoretical Foundations and Algorithms for Learning with Multiple Kernels Rostamizadeh, Afshin Abstract | PDF
- Ph.D. Thesis 2010 Creating collections and evaluating viewpoints: Selection techniques for interface design Secord, Adrian Abstract | PDF
- Ph.D. Thesis 2010 Analysis of Mass Spectrometry Data for Protein Identification In Complex Biological Mixtures Spivak, Marina Abstract | PDF
- Ph.D. Thesis 2010 Matrix Approximation for Large-scale Learning Talwalkar, Ameet Abstract | PDF
- Ph.D. Thesis 2009 Factor Graphs for Relational Regression Chopra, Sumit Abstract | PDF
- Ph.D. Thesis 2009 Numerical Estimation of the Second Largest Eigenvalue of a Reversible Markov Transition Matrix Gade, Kranthi Abstract | PDF
- Ph.D. Thesis 2009 2D-Centric Interfaces and Algorithms for 3D Modeling Gingold, Yotam Abstract | PDF
- Ph.D. Thesis 2009 Proximity problems for point sets residing in spaces with low doubling dimension Gottlieb, Lee-Ad Abstract | PDF
- Ph.D. Thesis 2009 Creativity Support for Computational Literature Howe, Daniel Abstract | PDF
- Ph.D. Thesis 2009 Efficient Systems Biology Algorithms for Biological Networks over Multiple Time-Scales: From Evolutionary to Regulatory Time Mitrofanova, Antonina Abstract | PDF
- Ph.D. Thesis 2009 Detecting, modeling and rendering complex configurations of curvilinear features Parilov, Evgueni Abstract | PDF
- Ph.D. Thesis 2009 Unsupervised Learning of Feature Hierarchies Ranzato, Marc'Aurelio Abstract | PDF
- Ph.D. Thesis 2009 Search Problems for Speech and Audio Sequences Weinstein, Eugene Abstract | PDF
- Ph.D. Thesis 2009 Using Application-Domain Knowledge in the Runtime Support of Multi-Experiment Computational Studies Yau, Siu-Man Abstract | PDF
- Ph.D. Thesis 2009 Ensuring Correctness of Compiled Code Zaks, Ganna Abstract | PDF
- Ph.D. Thesis 2008 Verification of Transactional Memories and Recursive Programs Cohen, Ariel Abstract | PDF
- Ph.D. Thesis 2008 Learning Long-Range Vision for an Offroad Robot Hadsell, Raia Abstract | PDF
- Ph.D. Thesis 2008 Synthesizing Executable Programs from Requirements Plock, Cory Abstract | PDF
- Ph.D. Thesis 2008 Theory and Algorithms for Modern Machine Learning Problems and an Analysis of Markets Rastogi, Ashish Abstract | PDF
- Ph.D. Thesis 2008 Geometric Modeling with High Order Derivatives Tosun, Elif Abstract | PDF
- Ph.D. Thesis 2007 Scaling Data Servers via Cooperative Caching Annapureddy, Siddhartha Abstract | PDF
- Ph.D. Thesis 2007 Shape Analysis by Abstraction, Augmentation, and Transformation Balaban, Ittai Abstract | PDF
- Ph.D. Thesis 2007 Democratizing Content Distribution Freedman, Michael Abstract | PDF
- Ph.D. Thesis 2007 Joint Inference for Information Extraction and Translation Ji, Heng Abstract | PDF
- Ph.D. Thesis 2007 Authentication Mechanisms for Open Distributed Systems Nicolosi, Antonio Abstract | PDF
- Ph.D. Thesis 2007 New Design Criteria for Hash Functions and Block Ciphers Puniya, Prashant Abstract | PDF
- Ph.D. Thesis 2007 Being Lazy and Preemptive at Learning toward Information Extraction Shinyama, Yusuke Abstract | PDF
- Ph.D. Thesis 2007 Constituent Parsing by Classification Turian, Joseph Abstract | PDF
- Ph.D. Thesis 2007 Enhanced Security Models for Network Protocols Walfish, Shabsi Abstract | PDF
- Ph.D. Thesis 2007 Tree-Structured Models of Multitext: Theory, Design and Experiments Wellington, Benjamin Abstract | PDF
- Ph.D. Thesis 2007 Formal Verification Using Static and Dynamic Analyses Zaks, Aleksandr Abstract | PDF
- Ph.D. Thesis 2006 Guaranteed Precision for Transcendental and Algebraic Computation Made Easy Du, Zilin Abstract | PDF
- Ph.D. Thesis 2006 On Cryptographic Techniques for Digital Rights Management Fazio, Nelly Abstract | PDF
- Ph.D. Thesis 2006 Finding Your Match: Techniques for Improving Sequence Alignment in DNA and RNA Gill, Ofer Hirsch Abstract | PDF
- Ph.D. Thesis 2006 DataSlicer: A Hosting Platform for Data-Centric Network Services He, Congchun Abstract | PDF
- Ph.D. Thesis 2006 Multimarker Genetic Analysis Methods for High Throughput Array Data Ionita, Iuliana Abstract | PDF
- Ph.D. Thesis 2006 Expressive Motion Lees, Alyssa Abstract | PDF
- Ph.D. Thesis 2006 Building Trustworthy Storage Services out of Untrusted Infrastructure Li, Jinyuan Abstract | PDF
- Ph.D. Thesis 2006 Measures for Robust Stability and Controllability Mengi, Emre Abstract | PDF
- Ph.D. Thesis 2006 Algorithmic Algebraic Model Checking: Hybrid Automata & Systems Biology Mysore, Venkatesh Pranesh Abstract | PDF
- Ph.D. Thesis 2006 Building an Automatic Phenotyping System of Developing Embryos Ning, Feng Abstract | PDF
- Ph.D. Thesis 2006 A Polymorphic Type System and Compilation Scheme for Record Concatenation Osinski, Edward Abstract | PDF
- Ph.D. Thesis 2006 A Probabilistic Learning Approach to Attribute Value Inconsistency Resolution Pevzner, Ilya Abstract | PDF
- Ph.D. Thesis 2006 Animating Autonomous Pedestrians Shao, Wei Abstract | PDF
- Ph.D. Thesis 2006 Complexity Analysis of Algorithms in Algebraic Computation Sharma, Vikram Abstract | PDF
- Ph.D. Thesis 2006 Pairwise Comparison between Genomic Sequences and Optical-Maps Sun, Bing Abstract | PDF
- Ph.D. Thesis 2006 Exploiting Service Usage Information for Optimizing Server Resource Management Totok, Alexander Abstract | PDF
- Ph.D. Thesis 2006 Time Series Matching: A Multi-Filter Approach Wang, Zhihua Abstract | PDF
- Ph.D. Thesis 2006 Incremental Web Search: Tracking Changes in the Web Wang, Ziyang Abstract | PDF
- Ph.D. Thesis 2006 Fast Algorithms for Burst Detection Zhang, Xin Abstract | PDF
- Ph.D. Thesis 2006 High Performance Algorithms for Multiple Streaming Time Series Zhao, Xiaojian Abstract | PDF
- Ph.D. Thesis 2006 Distribution of Route-Impacting Control Information in a Publish/Subscribe System with Delivery Guarantees Zhao, Yuanyuan Abstract | PDF
- Ph.D. Thesis 2005 Translation Validation of Optimizing Compilers Fang, Yi Abstract | PDF
- Ph.D. Thesis 2005 Translation Validation of Loop Optimizations Hu, Ying Abstract | PDF
- Ph.D. Thesis 2005 Construction of Component-Based Applications by Planning Kichkaylo, Tatiana Abstract | PDF
- Ph.D. Thesis 2005 Extensible MultiModal Environment Toolkit (EMMET): A Toolkit for Prototyping and Remotely Testing Speech and Gesture Based Multimodal Interfaces Robbins, Christopher A. Abstract | PDF
- Ph.D. Thesis 2005 Pattern Discovery for Hypotheses Generation in Biology Tsirigos, Aristotelis Abstract | PDF
- Ph.D. Thesis 2005 Automatic Verification of Parameterized Systems Xu, Jiazhao Abstract | PDF
- Ph.D. Thesis 2005 Mobility, Route Caching, and TCP Performance in Mobile Ad Hoc Networks Yu, Xin Abstract | PDF
- Ph.D. Thesis 2005 Information Extraction from Multiple Syntactic Sources Zhao, Shubin Abstract | PDF
- Ph.D. Thesis 2004 Partitionable Services Framework: Seamless Access to Distributed Applications Ivan, Anca Abstract | PDF
- Ph.D. Thesis 2004 VALIS: A Multi-language System for Rapid Prototyping in Computational Biology Paxia, Salvatore Abstract | PDF
- Ph.D. Thesis 2004 Thick Surfaces: Interactive Modeling of Topologically Complex Geometric Details Peng, Jianbo Abstract | PDF
- Ph.D. Thesis 2004 TM-LPSAT: Encoding Temporal Metric Planning in Continuous Time Shin, Ji-Ae Abstract | PDF
- Ph.D. Thesis 2004 Unsupervised Discovery of Extraction Patterns for InformationExtraction Sudo, Kiyoshi Abstract | PDF
- Ph.D. Thesis 2004 An Efficient and High-Order Accurate Boundary Integral Solver for the Stokes Equations in Three Dimensional Complex Geometries Ying, Lexing Abstract | PDF
- Ph.D. Thesis 2004 High Performance Data Mining in Time Series: Techniques and Case Studies Zhu, Yunyue Abstract | PDF
- Ph.D. Thesis 2003 Comparing and Improving Centralized and Distributed Techniques for Coordinating Massively Parallel Shared-Memory Systems Freudenthal, Eric Abstract | PDF
- Ph.D. Thesis 2003 Infrastructure Support for Accessing Network Services in Dynamic Network Environments Fu, Xiaodong Abstract | PDF
- Ph.D. Thesis 2003 Enriched Content: Concept, Architecture, Implementation, and Applications Hung-Hsien, Chang Abstract | PDF
- Ph.D. Thesis 2003 A framework for optimistic program optimization Pechtchanski, Igor Abstract | PDF
- Ph.D. Thesis 2003 Secure and Robust Censorship-Resistant Publishing Systems Waldman, Marc Abstract | PDF
- Ph.D. Thesis 2003 A Qualitative Profile-based Approach to Edge Detection Yen, Ting-jen Abstract | PDF
- Ph.D. Thesis 2002 Expert-Driven Validation of Set-Based Data Mining Results Adomavicius, Gediminas Abstract | PDF
- Ph.D. Thesis 2002 Responsive Thinwire Visualization of Large Geographic Datasets Been, Kenneth Abstract | PDF
- Ph.D. Thesis 2002 Representing and Modifying Complex Surfaces Biermann, Henning Abstract | PDF
- Ph.D. Thesis 2002 On computing the Pareto-optimal solution set in a large scale dynamic network Daruwala, Raoul-Sam Abstract | PDF
- Ph.D. Thesis 2002 Informative Features in Vision and Learning Rudra, Archisman Abstract | PDF
- Ph.D. Thesis 2001 Knowledge Discovery in Databases for Intrusion Detection, Disease Classification and Beyond Berger, Gideon Abstract | PDF
- Ph.D. Thesis 2001 Algorithms for Rendering in Artistic Styles Hertzmann, Aaron Abstract | PDF
- Ph.D. Thesis 2001 Region-based Register Allocation for EPIC Architectures Kim, Hansoo Abstract | PDF
- Ph.D. Thesis 2001 Adversarial Reasoning: A Logical Approach for Computer Go Klinger, Tamir Abstract | PDF
- Ph.D. Thesis 2001 Machine Level Optimizations for High Level Languages Leung, Allen Abstract | PDF
- Ph.D. Thesis 2001 Exact Geometric Computation: Theory and Applications Li, Chen Abstract | PDF
- Ph.D. Thesis 2001 An On-Line Handwriting Recognizer with Fisher Matching, Hypotheses Propagation Network and Context Constraint Models Oh, Jong Abstract | PDF
- Ph.D. Thesis 2001 Continuous Model for Salient Shape Selection and Representation Pao, Hsing-Kuo (Kenneth) Abstract | PDF
- Ph.D. Thesis 2001 Language Support for Program Generation Reasoning, Implementation, and Applications Yang, Zhe Abstract | PDF
- Ph.D. Thesis 2000 SETL for Internet Data Processing Bacon, David Abstract | PDF
- Ph.D. Thesis 2000 A Rigorous Framework for Fully Supporting the IEEE Standard for Floating-Point Arithmetic in High-Level Programming Languages Figueroa, Sam Abstract | PDF
- Ph.D. Thesis 2000 A Language-Theoretic Approach to Algorithms Goyal, Deepak Abstract | PDF
- Ph.D. Thesis 2000 Supporting a Flexible Parallel Programming Model on a Network of Non-Dedicated Workstations Huang, Shih-Chen Abstract | PDF
- Ph.D. Thesis 2000 Global Optimization Using Embedded Graphs Ishikawa, Hiroshi Abstract | PDF
- Ph.D. Thesis 2000 On the Use of Functionals on Boundaries in Hierarchical Models of Object Recognition Jermyn, Ian Abstract | PDF
- Ph.D. Thesis 2000 Delegation Logic: A Logic-based Approach to Distrbuted Authorization Li, Ninghui Abstract | PDF
- Ph.D. Thesis 2000 Queryable Expert Systems Tanzer, David Abstract | PDF
- Ph.D. Thesis 2000 Scenario Customization for Information Extraction Yangarber, Roman Abstract | PDF
- Ph.D. Thesis 1999 Higher-Order Conditional Synchronization Afshartous, Niki Abstract | PDF
- Ph.D. Thesis 1999 Metacomputing on on Commodity Computers Baratloo, Arash Abstract | PDF
- Ph.D. Thesis 1999 A Maximum Entropy Approach to Named Entity Recognition Borthwick, Andrew Abstract | PDF
- Ph.D. Thesis 1999 Algorithms for Nonlinear Models in Computational Finance and their Object-oriented Implementation Buff, Robert Abstract | PDF
- Ph.D. Thesis 1999 Prototyping a Prototyping Language Chen, Hseu-Ming Abstract | PDF
- Ph.D. Thesis 1999 Distributed intelligence with bounded rationality: Applications to economies and networks Even, Ron Abstract | PDF
- Ph.D. Thesis 1999 Pattern Discovery in Biology: Theory and Applications Floratos, Aristidis Abstract | PDF
- Ph.D. Thesis 1999 Matching Algorithms and Feature Match Quality Measures for Model-Based Object Recognition with Applications toAutomatic Target Recognition Garcia-Keller, Martin Abstract | PDF
- Ph.D. Thesis 1999 Learning to Play Network Games Greenwald, Amy Abstract | PDF
- Ph.D. Thesis 1999 Experiments in refining graphical interface widgets Hecker, Yaron Chanoch Abstract | PDF
- Ph.D. Thesis 1999 Automated Software Deployment Jai, Benchiao Abstract | PDF
- Ph.D. Thesis 1999 Toward Stronger User Authentication Monrose, Newman Fabian Abstract | PDF
- Ph.D. Thesis 1999 Optimization Over Symmetric Cones Nayakkankuppam, Madhu Abstract | PDF
- Ph.D. Thesis 1999 Efficient Computational Model for Energy Propagation in Geoemtrically Represented Large Envirnoments Rajkumar, Ajay Abstract | PDF
- Ph.D. Thesis 1999 Automatic Parallelization: An Incremental, Optimistic, Practical Approach Schwartz, Naftali Abstract | PDF
- Ph.D. Thesis 1999 Destructive Effect Analysis And Finite Differencing For Strict Functional Languages Yung, Chung Abstract | PDF
- Ph.D. Thesis 1998 Foveation Techniques and Scheduling Issues in Thinwire Visualization Chang, Ee-Chien Abstract | PDF
- Ph.D. Thesis 1998 Techniques to Improve the Performance of Software-based Distributed Shared Memory Systems Chu, Churngwei Abstract | PDF
- Ph.D. Thesis 1998 Deformable Object Tabula Rasa: A Zoomable User Interface System Fox, David Abstract | PDF