Theses & Reports

Instructions for submitting a technical report or thesis.

  • TR1992-610 1992 HESFCN - A Fortran package of Hessian Subroutines for Testing Nonlinear Optimization Software Averbukh, V.; Figueroa, S.; Schlick, T. Abstract | PDF
  • Ph.D. Thesis 1992 A Miniature Space-Variant Active Vision System: Cortex-I Bederson, Benjamin Abstract | PDF
  • TR1992-604 1992 More Efficient Bottom-Up Mult-Pattern Matching in Trees Cai, J.; Paige, R.; Tarjan, R. Abstract | PDF
  • TR1992-609 1992 Multiset Discrimination - A Method for Implementing Programming Language Systems without Hashing Cai, J.; Paige, R. Abstract | PDF
  • TR1992-602 1992 An $O(m$log$n)$-Time Algorithm for the Maximal Planar Subgraph Problem Cai, J.; Han, X.; Tarjan, R. Abstract | PDF
  • TR1992-603 1992 Counting Embeddings of Planar Graphs Using DFS Trees Cai, Jiazhen Abstract | PDF
  • TR1992-595 1992 Multiplicative Schwarz Algorithms for Some Nonsymmetric and Indefinite Problems Cai, X.-C.; Widlund, O. Abstract | PDF
  • Ph.D. Thesis 1992 Regular Expressions to DFA's using Compressed NFA's Chang, Chia-Hsiang Abstract | PDF
  • TR1992-620 1992 Backward Analysis for Higher-Order Functions Using Inverse Images Chuang, T.-R.; Goldberg, B. Abstract | PDF
  • TR1992-615 1992 Some Recent Results on Schwarz Type Domain Decomposition Algorithms Dryja, M.; Widlund, O. Abstract | PDF
  • TR1992-606 1992 Domain Decomposition Algorithms with Small Overlap Dryja, M.; Widlund, O. Abstract | PDF
  • Ph.D. Thesis 1992 Complexity Issues in Computational Algebra Gallo, Giovanni Abstract | PDF
  • TR1992-607 1992 GMRES/CR and Arnoldi/Lanczos as Matrix Approximation Problems Greenbaum, A.; Trefethen, L. Abstract | PDF
  • TR1992-608 1992 Matrices that Generate the Same Krylov Residual Spaces Greenbaum, A.; Strakos, Z. Abstract | PDF
  • Ph.D. Thesis 1992 Typing Higher-Order Functions with Dynamic Dispatching Hsieh, Chih-Hung Abstract | PDF
  • Ph.D. Thesis 1992 Computer Simulation of Cortical Polymaps Landau, Pierre Abstract | PDF
  • Ph.D. Thesis 1992 Polymorphic Type Inference and Abstract Data Types Laufer, Konstantin Abstract | PDF
  • Ph.D. Thesis 1992 A sublanguage based medical language processing system for German Oliver, Neil Abstract | PDF
  • Ph.D. Thesis 1992 Image Processing, Pattern Recognition and Attentional Algorithms in a Space-Variant Active Vision System Ong, Ping-Wen Abstract | PDF
  • Ph.D. Thesis 1992 On Compiling Regular Loops for Efficient Parallel Execution Ouyang, Pei Abstract | PDF
  • TR1992-597 1992 Semantic Analyses for Storage Management Optimizations in Functional Language Implementations Park, G. Abstract | PDF
  • TR1992-616 1992 Domain Decomposition Algorithms for the P-Version Finite Element Method for Elliptic Problems Pavarino, L. Abstract | PDF
  • TR1992-614 1992 Some Schwarz Algorithms for the P-Version Finite Element Method Pavarino, L. Abstract | PDF
  • Ph.D. Thesis 1992 Japanese/English Machine Translation Using Sublanguage Patterns and Reversible Grammars Peng, Ping Abstract | PDF
  • Ph.D. Thesis 1992 The Analysis and Generation of Tests for Programming Language Translators Rennels, Deborah Abstract | PDF
  • Ph.D. Thesis 1992 Massively Parallel Bayesian Object Recognition Rigoutsos, Isidore Abstract | PDF
  • Ph.D. Thesis 1992 Control of a Dexterous Robot Hand: Theory, Implementation, and Experiments Silver, Naomi Abstract | PDF
  • Ph.D. Thesis 1992 Executable Operational Semantics of Programming Languages Siritzky, Brian Abstract | PDF
  • Ph.D. Thesis 1992 Non-Correcting Error Recovery For LR Parsers Snyder, Kirk Abstract | PDF
  • Ph.D. Thesis 1992 Global Methods for Image Motion Analysis Sundareswaran, V. Abstract | PDF
  • TR1992-621 1992 Statistical Approach to Affine Invariant Matching with Line Features Tsai, F. Abstract | PDF