Computer Sciences Dept.

Tech Reports for 1970

  • Tech Report ID: TR79
    Numerical Solution of Discrete Nondegenerate N-Body Problems with an Application to Free Surface Fluid Flow
    Donald Greenspan, David Schultz
    View report information || Download this report (PDF)

  • Tech Report ID: TR80
    The Sac-1 Partial Fraction Decomposition and Rational Function Integration System
    G.E.Collins, E. Horowitz
    View report information || Download this report (PDF)

  • Tech Report ID: TR81
    Nonlinear Two-Point Boundary Value Problems with Multiple Solutions
    Seymour V.Parter, Victor Pereyra
    View report information || Download this report (PDF)

  • Tech Report ID: TR82
    Recursive Properties of Abstract Complexity Classes
    L.H. Landweber, E. L. Robertson
    View report information || Download this report (PDF)

  • Tech Report ID: TR83
    SAC-1A for Paging: An Adaptation of SAC-1 for Alphanumeric String List Processing and for a Paging Machine
    William Fabens
    View report information || Download this report (PDF)

  • Tech Report ID: TR84
    Discrete Shock Waves
    Donald Greenspan
    View report information || Download this report (PDF)

  • Tech Report ID: TR85
    A Pattern Recognition Program which uses a Geometry-Preserving Representation of Features
    Albert Zobrist
    View report information || Download this report (PDF)

  • Tech Report ID: TR86
    The List Set Generator: A Construct For Evaluating Set Expressions
    Stuart C. Shapiro
    View report information || Download this report (PDF)

  • Tech Report ID: TR87
    Feature Extraction Algorithms
    Syed Kamel Abdali
    View report information || Download this report (PDF)

  • Tech Report ID: TR88
    A New Hashing Method With Application for Game Playing
    Albert L. Zobrist
    View report information || Download this report (PDF)

  • Tech Report ID: TR89
    Numerical Approximation of Periodic Solutions of van der Pol's Equation
    Donald Greenspan
    View report information || Download this report (PDF)

  • Tech Report ID: TR90
    A Generative Cai Program That Teaches Algebra
    Carol Peplinski
    View report information || Download this report (PDF)

  • Tech Report ID: TR91
    Algorithms for Partial Fraction Decomposition and Rational Function Integration
    Ellis Horowitz
    View report information || Download this report (PDF)

  • Tech Report ID: TR92
    Experience with Inducttive Assertions for Proving Programs Correct
    Ralph L. London
    View report information || Download this report (PDF)

  • Tech Report ID: TR93
    The Sac-1 Polynomial Real Zero System
    G.E. Collins, L.E. Heindel
    View report information || Download this report (PDF)

  • Tech Report ID: TR94
    An Improvement to Domelki's Algorithm
    David S. Wise
    View report information || Download this report (PDF)

  • Tech Report ID: TR95
    Boundary Value Control of the Higher Dimensional Wave Equation: Part II
    David L. Russell
    View report information || Download this report (PDF)

  • Tech Report ID: TR96
    Fast Finite-Difference Solution of Biharmonic Problems
    Donald Greenspan, David Schltz
    View report information || Download this report (PDF)

  • Tech Report ID: TR97
    An Interactive, Heuristic Program for Learning Transformational Grammars
    Sheldon Klein, Michael A. Kuppin
    View report information || Download this report (PDF)

  • Tech Report ID: TR98
    Statistical Investigation of Three Storage Allocation Algorithms
    Paul W. Purdom, Stephen M. Stigler, Tot-Ong Cheam
    View report information || Download this report (PDF)

  • Tech Report ID: TR99
    The Solution of the Dirichlet Problem for Laplace's Equation when the Boundary Data is Discontinuous and the Domain has a Boundary which is of Bounded Rotation by Means of the Lebesgue-Stieltjes Integral Equation for the Double Layer Potential
    Colin W. Cryer
    View report information || Download this report (PDF)

  • Tech Report ID: TR100
    Minimum Error Bounds for Multidimensional Spline Approximation
    J.B. Rosen
    View report information || Download this report (PDF)

  • Tech Report ID: TR101
    Applications of the Maximum Principle to Singular Perturbation Problems
    Fred W. Dorr, Seymour V. Parter, L.F. Shampine
    View report information || Download this report (PDF)

  • Tech Report ID: TR102
    A Correctness Proof of the Fisher-Galler Algorithm Using Inductive Assertions
    Ralph L. London
    View report information || Download this report (PDF)

  • Tech Report ID: TR103
    Flexible Linguistic Pattern Recognition
    Leonard Uhr
    View report information || Download this report (PDF)

  • Tech Report ID: TR104
    Bibliography on Proving the Correctness of Computer Programs - Addition No. 1
    Ralph L. London
    View report information || Download this report (PDF)

  • Tech Report ID: TR105
    Convergent Generalized Monotone Splitting of Matrices
    Olvi Mangasarian
    View report information || Download this report (PDF)

  • Tech Report ID: TR106
    Monotone Splitting of Matrices
    Olvi Mangasarian
    View report information || Download this report (PDF)

    Return to tech report index

  •  
    Computer Science | UW Home