# Theses & Reports

Instructions for submitting a technical report or thesis.

- TR1994-659 1994 A New Primal-Dual Interior-Point Method for Semidefinite Programming Alizadeh, F.; Haeberly, J. A.; Overton, M. Abstract | PDF
- TR1994-674 1994 Automatic Synthesis Algorithms for Supervisory Controllers (Preliminary Report) Antoniotti, M.; Mishra, B. Abstract | PDF
- TR1994-675 1994 Discrete Event Models + Temporal Logic = Supervisory Controller: Automatic Synthesis of Locomotion Controllers Antoniotti, M.; Mishra, B. Abstract | PDF
- TR1994-654 1994 Multilevel Schwarz Methods with Partial Refinement Chen, H. Abstract | PDF
- TR1994-670 1994 Approximate Euclidean Shortest Path in 3-Space Choi, J.; Sellen, J.; Yap, C.K. Abstract | PDF
- TR1994-666 1994 Branching Continuous Time and the Semantics of Continuous Action Davis, E. Abstract | PDF
- TR1994-657 1994 Adaptive Time-Frequency Approximations with Matching Pursuits Davis, G.; Mallat, S.; Zhang, Z. Abstract | PDF
- Ph.D. Thesis 1994 Systolic Combining Switch Designs Dickey, Susan Abstract | PDF
- TR1994-662 1994 Multilevel Schwarz Methods for Elliptic Problems with Discontinuous Coefficients in Three Dimensions Dryja, M.; Sarkis, M.; Widlund, O. Abstract | PDF
- TR1994-668 1994 A Direct-Drive Hand: Design, Modeling and Control Ebner, M.; Wallace, R. Abstract | PDF
- Ph.D. Thesis 1994 Gedanken: A tool for Pondering the Tractability of Correct Program Technology Ericson, Lars Abstract | PDF
- TR1994-660 1994 Optimizing Eigenvalues of Symmetric Definite Pencils Haeberly, J. A.; Overton, M. Abstract | PDF
- Ph.D. Thesis 1994 Designing Pattern Matching Algorithms by Exploiting Structural Pattern Properties Hariharan, Ramesh Abstract | PDF
- Ph.D. Thesis 1994 Compilation of Array-Style Programs for Distributed Memory MIMD Machines: a Geometric Approach Katz, Alex Abstract | PDF
- TR1994-676 1994 An Optimal Preconditioner for a Class of Saddle Point Problems with a Penalty Term Klawonn, A. Abstract | PDF
- TR1994-677 1994 New Estimates for Ritz Vectors Knyazev, A. Abstract | PDF
- Ph.D. Thesis 1994 Lazy SETL Debugging with Persistent Data Structures Liu, Zhiqing Abstract | PDF
- TR1994-671 1994 Schwarz Preconditioners for Elliptic Problems with Discontinuous Coefficients Using Conforming and Non-Conforming Elements Martins, M.S. Abstract | PDF
- Ph.D. Thesis 1994 Searching for Strings and Searching in Presence of Errors Muthukrishnan, S. Abstract | PDF
- Ph.D. Thesis 1994 Visual Programming Nickerson, Jeffrey Abstract | PDF
- TR1994-661 1994 A Polylogarithmic Bound for an Iterative Substructuring Method for Spectral Elements in Three Dimensions Pavarino, L.; Widlund, O. Abstract | PDF
- TR1994-663 1994 Iterative Substructuring Methods for Spectral Elements: Problems in Three Dimensions Based on Numerical Quadrature Pavarino, L.; Widlund, O. Abstract | PDF
- TR1994-672 1994 Planning Paths of Minimal Curvature Sellen, J. Abstract | PDF
- TR1994-673 1994 Simple Multi Function Vision System for 3D Data Acquisition Sokolov, S. M.; Max, D. P.; Wallace, R. S. Abstract | PDF
- TR1994-669 1994 Scaling Direct Drive Robots Wallace, R.; Selig, J. Abstract | PDF
- TR1994-667 1994 Representing Control in Parallel Applicative Programing Yao, C. Abstract | PDF
- TR1994-655 1994 Pscheme: Extending Continuations to Express Control and Synchronization in a Parallel LISP Yao, C.; Goldberg, B. Abstract | PDF
- Ph.D. Thesis 1994 Representing Control in Parallel Applicative Programming Yao, Chi Abstract | PDF