Technical Reports
1980
SGMC (Simulation of a General-purpose Micro-programmable Computer) User Manual
Elis Lieuson, Kevin Douglas, Bary Pollack, Samuel Chanson, Mabo Ito, John Peck and Cindy Chan
Reformulation of Boundary Value Problems in ``Standard'' Form
Uri Ascher and Robert D. Russell
Automating Physical Reorganizational Requirements at the Access Path Level of a Relational Database System
Grant Edwin Weddell
On the Covering Relaxation Approach for the 0-1 Positive Polynomial Programming Problem
Willem Vaessen
Optimal Load Control in Combined Batch-Interactive Computer Systems
Samuel T. Chanson and Prem Swarup Sinha
A Spline Least Squares Method for Numerical Parameter Estimation in Differential Equations
James M. Varah
Automatic Rectification of Landsat Images Using Features Derived from Digital Terrain Models
James Joseph Little