# Theses & Reports

Instructions for submitting a technical report or thesis.

- TR2007-908 2008 General Algorithms for Testing the Ambiguity of Finite Automata Allauzen, Cyril; Mohri, Mehryar; Rastogi, Ashish Abstract | PDF
- TR2008-913 2008 Competitive Hybridization Model Cherepinsky, Vera; Hashmi, Ghazala; Seul, Michael; Mishra, Bud Abstract | PDF
- M.S. Thesis 2008 Friendshare: A decentralized, consistent storage repository for collaborative file sharing Chiang, Frank Abstract | PDF
- TR2007-906 2008 Factor Graphs for Relational Regression Chopra, Sumit; Thampy, Trivikaraman; Leahy, John; Caplin, Andrew; LeCun, Yann Abstract | PDF
- Ph.D. Thesis 2008 Verification of Transactional Memories and Recursive Programs Cohen, Ariel Abstract | PDF
- TR2008-910 2008 Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors Conway, Christopher L.; Dams, Dennis; Namjoshi, Kedar S.; Barrett, Clark Abstract | PDF
- M.S. Thesis 2008 STUMP: Stereo Correspondence in the Cyclopean Eye under Belief Propagation Distler, George Abstract | PDF
- TR2008-912 2008 An Overlapping Schwarz Algorithm for Almost Incompressible Elasticity Dohrmann, Clark R.; Widlund, Olof B. Abstract | PDF
- Ph.D. Thesis 2008 Learning Long-Range Vision for an Offroad Robot Hadsell, Raia Abstract | PDF
- TR2007-907 2008 Modal Logic, Temporal Models and Neural Circuits: What Connects Them Kleinberg, Samantha; Antoniotti, Marco; Ramakrishnan, Naren; Mishra, Bud Abstract | PDF
- TR2008-914 2008 Extension of Two-level Schwarz Preconditioners to Symmetric Indefinite Problems Leong, Alan Abstract | PDF
- TR2008-911 2008 Nonlinear extraction of 'Independent Components' of elliptically symmetric densities using radial Gaussianization Lyu, Siwei; Simoncelli, Eero P. 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
- M.S. Thesis 2008 Measuring biomolecules: an image processing and length estimation pipeline using atomic force microscopy to measure DNA and RNA with high precision Sundstrom, Andrew Abstract | PDF
- Ph.D. Thesis 2008 Geometric Modeling with High Order Derivatives Tosun, Elif Abstract | PDF