# Theses & Reports

Instructions for submitting a technical report or thesis.

- Ph.D. Thesis 2014 On the Human Form: Efficient acquisition, modeling and manipulation of thehuman body Braga, Otavio Abstract | PDF
- TR2014-969 2014 Overlapping Schwarz Algorithms for Almost Incompressible Linear Elasticity Cai, Mingchao; Pavarino, Luca F.; Widlund, Olof B. Abstract | PDF
- TR2014-965 2014 A BDDC algorithm with deluxe scaling for H(curl) in two dimensions with irregular subdomains Calvo, Juan G. Abstract | PDF
- TR2014-968 2014 A two-level overlapping Schwarz method for H(curl) in two dimensions with irregular subdomains Calvo, Juan G. Abstract | PDF
- Ph.D. Thesis 2014 Analyzing Tatonnement Dynamics in Economic Markets Cheung, Yun Kuen Abstract | PDF
- TR2014-964 2014 A BDDC algorithm with deluxe scaling for three-dimensional H(curl) problems Dohrmann, Clark R.; Widlund, Olof B. 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
- TR2014-966 2014 Local temporal reasoning Koskinen, Eric Abstract | PDF
- TR2014-967 2014 The Push/Pull model of transactions Koskinen, Eric; Parkinson, Matthew Abstract | PDF
- Ph.D. Thesis 2014 Cryptographic Algorithms for the SecureDelegation of Multiparty Computation Lopez-Alt, Adriana Abstract | PDF
- M.S. Thesis 2014 Resolution-Exact Planner for a 2-link Planar Robot using Soft Predicates Luo, Zhongdi 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
- TR2014-971 2014 VerifiableAuction: An Auction System for a Suspicious World Rosenberg, Michael; Shasha, Dennis 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
- TR2014-963 2014 On Automating Separation Logic with Trees and Data Wies, Thomas 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