My UW
|
UW Search
Computer Science Home Page
|
|
|
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
|
|
|