Technical Reports

The ICICS/CS Reading Room


1980 UBC CS Technical Report Titles

TR-80-01
Stiff Stability Considerations for Implicit Runge-Kutta Methods
James M. Varah

TR-80-02
Reformulation of Boundary Value Problems in ``Standard'' Form
Uri Ascher and Robert D. Russell

TR-80-03
Automating Physical Reorganizational Requirements at the Access Path Level of a Relational Database System
Grant Edwin Weddell

TR-80-04
On the Covering Relaxation Approach for the 0-1 Positive Polynomial Programming Problem
Willem Vaessen

TR-80-05 (Abstract not available on-line)
Optimal Load Control in Combined Batch-Interactive Computer Systems
Samuel T. Chanson and Prem Swarup Sinha

TR-80-06
On the Integrity of Typed First Order Data Bases
Raymond Reiter

TR-80-07
Some Representational Issues in Default Reasoning
Raymond Reiter and Giovanni Criscuolo

TR-80-08
A Spline Least Squares Method for Numerical Estimation in Differential Equations
James M. Varah

TR-80-09
Why Is a Goto Like a Dynamic Vector in the BCPL-Slim Computing System
Harvey Abramson

TR-80-10
Automatic Rectification of Landsat Durages Using Features Derived from Digital Terrain Models
James Joseph Little


If you have any questions or comments regarding this page please send mail to help@cs.ubc.ca.