# Theses & Reports

Instructions for submitting a technical report or thesis.

- Ph.D. Thesis 2000 SETL for Internet Data Processing Bacon, David Abstract | PDF
- TR2000-802 2000 Continuous Shape Transformation and Metrics on Shapes Davis, Ernest Abstract | PDF
- TR2000-809 2000 Describing Spatial Transitions Using Mereotopological Relations Over Histories Davis, Ernest 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
- TR2000-808 2000 CANS: Composable, Adaptive Network Services Infrastructure Fu, Xiaodong; Shi, Weisong; Akkerman, Anatoly; Karamcheti, Vijay Abstract | PDF
- Ph.D. Thesis 2000 A Language-Theoretic Approach to Algorithms Goyal, Deepak Abstract | PDF
- TR2000-801 2000 Paint By Relaxation Hertzmann, Aaron 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
- TR2000-803 2000 Verifying a Design Pattern for the Fault-Tolerant Execution of Parallel Programs Kindler, Ekkart; Shasha, Dennis Abstract | PDF
- TR2000-810 2000 An Overlapping Domain Decomposition Preconditioner for a Class of Discontinuous Galerkin Approximations of Advection-Diffusion Problems Lasser, Caroline; Toselli, Andrea Abstract | PDF
- TR2000-798 2000 Local Names in SPKI/SDSI 2.0 Li, Ninghui Abstract | PDF
- Ph.D. Thesis 2000 Delegation Logic: A Logic-based Approach to Distrbuted Authorization Li, Ninghui Abstract | PDF
- TR2000-799 2000 Variational Analysis of the Abscissa Mapping for Polynomials Overton, Michael; Burke, James V. Abstract | PDF
- TR2000-797 2000 A Feti preconditioner for two dimensional edge element approximations of Maxwell's equations on non-matching grids Rapetti, F.; Toselli, A. Abstract | PDF
- TR2000-804 2000 Domain Decomposition Methods for Mortar Finite Elements Stefanica, Dan Abstract | PDF
- TR2000-807 2000 A Numerical Study of FETI Algorithms for Mortar Finite Element Methods Stefanica, Dan Abstract | PDF
- Ph.D. Thesis 2000 Queryable Expert Systems Tanzer, David Abstract | PDF
- TR2000-800 2000 FETI domain decomposition methods for scalar advection-diffusion problems Toselli, A. Abstract | PDF
- TR2000-806 2000 hp-finite element approximations on non-matching grids for partial differential equations with non-negative characteristic form Toselli, Andrea Abstract | PDF
- Ph.D. Thesis 2000 Scenario Customization for Information Extraction Yangarber, Roman Abstract | PDF
- TR2000-805 2000 Expressing and Enforcing Distributed Resource Sharing Agreements Zhao, Tao; Karamcheti, Vijay Abstract | PDF