# Theses & Reports

Instructions for submitting a technical report or thesis.

- TR1995-681 1995 Complementarity and Nondegeneracy in Semidefinite Programming Alizadeh, F.; Haeberly, J.; Overton, M. Abstract | PDF
- TR1995-682 1995 Computing Limit Loads by Minimizing a Sum of Norms Andersen, K.; Christiansen, E.; Overton, M. Abstract | PDF
- TR1995-707 1995 The Supervisor Synthesis Problem for Unrestricted CTL is NP-complete Antoniotti, M.; Mishra, B. Abstract | PDF
- Ph.D. Thesis 1995 Synthesis and Verification of Controllers for Robotics and Manufacturing Devices with Temporal Logic and the "Control-D" System Antoniotti, Marco Abstract | PDF
- TR1995-704 1995 Diagonal Edge Preconditioners in p-Version and Spectral Element Methods Casarin, M. A. Abstract | PDF
- TR1995-705 1995 Quasi-Optimal Schwarz Methods for the Conforming Spectral Element Discretization Casarin, M. A. Abstract | PDF
- TR1995-712 1995 A Hierarchical Preconditioner for the Mortar Finite Element Method Casarin, M. A.; Widlund, O. B. Abstract | PDF
- Ph.D. Thesis 1995 Planning in an Imperfect World Using Previous Experiences Chiu, Jen-Lung Abstract | PDF
- Ph.D. Thesis 1995 Geodesic Problems in High Dimensions Choi, Joonsoo Abstract | PDF
- TR1995-700 1995 On the Dynamic Finger Conjecture for Splay Trees Part I: Splay Sorting log n-Block Sequences Cole, R.; Mishra, B.; Schmidt, J.; Siegel, A. Abstract | PDF
- TR1995-701 1995 On the Dynamic Finger Conjecture for Splay Trees Part II: The Proof Cole, R. Abstract | PDF
- TR1995-711 1995 The Average Case Complexity of Multilevel Syllogistic Cox, J.; Ericson, L.; Mishra, B. Abstract | PDF
- TR1995-706 1995 Approximation and Abstraction in Solid Object Kinematics Davis, E. Abstract | PDF
- TR1995-714 1995 A Highly Expressive Language of Spatial Constraints Davis, E. Abstract | PDF
- TR1995-703 1995 Approximations of Shape and Configuration Space Davis, E. Abstract | PDF
- Ph.D. Thesis 1995 Practical Structures for Parallel Operating Systems Edler, Jan Abstract | PDF
- Ph.D. Thesis 1995 Dreme: for Life in the Net Fuchs, Matthew Abstract | PDF
- Ph.D. Thesis 1995 Fault-tolerant Parallel Processing Combining Linda, Checkpointing, and Transactions Jeong, Karpjoo Abstract | PDF
- TR1995-692 1995 A Knowledge Representation Based on the Belnap's Four-Valued Logic Kaluzhny, Y.; Muravitsky, A. Abstract | PDF
- TR1995-695 1995 Dirichlet Problem for the Schrodinger Operator in a Half-space with Boundary Data of Arbitrary Growth at Infinity Kheyfits, A. Abstract | PDF
- TR1995-683 1995 An Optimal Preconditioner for a Class of Saddle Point Problems with a Penalty Term, Part II: General Theory Klawonn, A. Abstract | PDF
- TR1995-699 1995 Run-time versus Compile-time Instruction Scheduling in Superscalar (RISC) Processors: Performance and Tradeoffs Leung, A.; Palem, K.; Ungureanu, C. Abstract | PDF
- Ph.D. Thesis 1995 A Model-Based 3-D Object Recognition System Using Geometric Hashing with Attributed Features Liu, Jyhjong Abstract | PDF
- TR1995-709 1995 Three Finger Optimal Planar Grasp Mishra, B.; Teichman, M. Abstract | PDF
- TR1995-713 1995 Computational Real Algebraic Geometry Mishra, B. Abstract | PDF
- TR1995-680 1995 Grasp Metrics: Optimality and Complexity Mishra, B. Abstract | PDF
- TR1995-710 1995 On the Lidskii-Vishik-Lyusternik Perturbation Theory for Eigenvalues of Matrices with Arbitrary Jordan Structure Moro, J.; Burke, J.V.; Overton, M.L. Abstract | PDF
- TR1995-698 1995 Combined Instruction Scheduling and Register Allocation Motwani, R.; Palem, K.; Sarkar, V.; Reyen, S. Abstract | PDF
- TR1995-691 1995 Some Knowledge Transformers: Infons and Constraints Muravitsky, A. Abstract | PDF
- TR1995-689 1995 Knowledge Representation as Domains Muravitsky, A. Abstract | PDF
- TR1995-690 1995 A Framework for Knowledge-Based Systems Muravitsky, A. Abstract | PDF
- TR1995-693 1995 A Perspective of New Foundations for Knowledge Maintenance Systems: Research Program Muravitsky, A. Abstract | PDF
- TR1995-688 1995 On the First Degree Entailment of Two 3-Valued Logics Muravitsky, A. Abstract | PDF
- TR1995-694 1995 Logic of Information Knowledge Muravitsky, A. Abstract | PDF
- TR1995-697 1995 New Mathematical Foundations for Knowledge Maintenance Systems: Research Program Muravitsky, Alexei Yu. Abstract | PDF
- TR1995-696 1995 Some Knowledge Transformers: Infons and Constraints Muravitsky, Alexei Yu. Abstract | PDF
- TR1995-686 1995 Double Hashing is Computable and Randomizable with Universal Hash Functions Schmidt, J.; Siegel, A. Abstract | PDF
- TR1995-708 1995 An API for Choreographing Data Accesses Shriver, E.A.M.; Wisniewski, L.F. Abstract | PDF
- TR1995-687 1995 Closed Hashing is Computable and Optimally Randomizable with Universal Hash Functions Siegel, A.; Schmidt, J. Abstract | PDF
- TR1995-685 1995 Toward a Usable Theory of Chernoff Bounds for Heterogeneous and Partially Dependent Random Variables Siegel, A. Abstract | PDF
- TR1995-684 1995 On Universal Classes of Extremely Random Constant Time Hash Functions and their Time-space Tradeoff Siegel, A. Abstract | PDF
- Ph.D. Thesis 1995 Grasping and Fixturing: a Geometric Study and an Implementation Teichmann, Marek Abstract | PDF
- TR1995-679 1995 Report on NSF Workshop on Manufacturing and Computational Geometry Yap, C. Abstract | PDF