Computer Sciences Dept.

Tech Reports for 1971

  • Tech Report ID: TR107
    Optimal I/O Buffer Size for Multi-Programming
    James Wang Kho, Tad Brian Pinkerton
    View report information || Download this report (PDF)

  • Tech Report ID: TR108
    Remarks on Singular Perturbations with Turning Points
    Heinz O. Kreiss, Seymour Parter
    View report information || Download this report (PDF)

  • Tech Report ID: TR109
    A Net Structure for Semantic Information Storage, Deduction and Retrieval
    Stuart C. Shapiro
    View report information || Download this report (PDF)

  • Tech Report ID: TR110
    Numerical Studies of Flow Between Rotating Coaxial Disks
    Donald Greenspan
    View report information || Download this report (PDF)

  • Tech Report ID: TR111
    Interactive Graphical Spline Approximation to Boundary Value Problems
    J.B. Rosen, Paul LaFata
    View report information || Download this report (PDF)

  • Tech Report ID: TR112
    Noise-like Transforms of Omega-Events
    Stefan Feyock
    View report information || Download this report (PDF)

  • Tech Report ID: TR113
    BIBCON - An 1108 Program for Producing Concordances to Prose, Poetry and Bibliographic References
    Richard L. Venezky
    View report information || Download this report (PDF)

  • Tech Report ID: TR114
    Approximate Solutions and Error Bounds for Quadiliniear Elliptic Boundary Value Problems
    To-Yat Cheung
    View report information || Download this report (PDF)

  • Tech Report ID: TR115
    The Sca=1 Polynomial System
    George E. Collins
    View report information || Download this report (PDF)

  • Tech Report ID: TR116
    A Mini-Computer Support System
    Edouard Desautels
    View report information || Download this report (PDF)

  • Tech Report ID: TR117
    A Proof of the Instability of Backward-Difference Multistep Methods for the Numerical Integration of Ordinary Differential Equations
    Colin W. Cryer
    View report information || Download this report (PDF)

  • Tech Report ID: TR118
    Complete Minimum Discrepancy Distributions for One Through Six Points in the Unit Square
    Brian White
    View report information || Download this report (PDF)

  • Tech Report ID: TR119
    Analysis of Two Time-Sharing Queueing Models
    Harry C. Heacox, Paul W. Purdom
    View report information || Download this report (PDF)

  • Tech Report ID: TR120
    Numerical Studies of Steady, Viscous, Incompressible Flow Between Two Rotating Spheres
    Donald Greenspan
    View report information || Download this report (PDF)

  • Tech Report ID: TR121
    A Definitionally Extendible Type-Logic for Mechanical Theorem Proving
    George H. Woodmansee
    View report information || Download this report (PDF)

  • Tech Report ID: TR122
    New Forms of Discrete Mechanics
    Donald Greenspan
    View report information || Download this report (PDF)

  • Tech Report ID: TR123
    Complexity Classes of Partial Recursive Functions
    Edward L. Robertson
    View report information || Download this report (PDF)

  • Tech Report ID: TR124
    Techniques of Optimization
    Olvi Mangasarian
    View report information || Download this report (PDF)

  • Tech Report ID: TR125
    Remarks on the Existence Theory for Multiple Solutions of a Singular Perturbation Problem
    Seymour V. Parter
    View report information || Download this report (PDF)

  • Tech Report ID: TR126
    Remarks on Singular Perturbation of Certain Nonlinear Two-Point Boundary Value Problems
    Seymour V. Parter
    View report information || Download this report (PDF)

  • Tech Report ID: TR127
    The Numerical Solution of Boundary Value Problems for Second Order Functional Differential Equations by Finite Differences
    Colin W. Cryer
    View report information || Download this report (PDF)

  • Tech Report ID: TR128
    Quasilinear Parabolic Boundary Value Problems. Approximate Solutions and Error Bounds by Linear Programming
    T-Yat Cheung
    View report information || Download this report (PDF)

  • Tech Report ID: TR129
    The SAC-1 List Processing System
    George E. Collins
    View report information || Download this report (PDF)

  • Tech Report ID: TR130
    Topics in the Computer Simulation of Discrete Physics
    Donald Greenspan
    View report information || Download this report (PDF)

  • Tech Report ID: TR131
    The Lu-Factorization of Totally Positive Matrices
    Colin W. Cryer
    View report information || Download this report (PDF)

  • Tech Report ID: TR132
    Layers "Recognition Cone" Networks That Pre-Process, Classify, and Describe
    Leonard Uhr
    View report information || Download this report (PDF)

  • Tech Report ID: TR133
    Discrete Newtonian Gravitation and the Three-Body Problem
    Donald Greenspan
    View report information || Download this report (PDF)

  • Tech Report ID: TR134
    Algorithms for Polynomial Factorization
    David R. Musser
    View report information || Download this report (PDF)

  • Tech Report ID: TR135
    The SAC-1 Rational Functional System
    George E.Collins
    View report information || Download this report (PDF)

  • Tech Report ID: TR136
    The Exact Solution of Systems of Linear Equations with Polynomial Coefficients
    Michael T. McClellan
    View report information || Download this report (PDF)

  • Tech Report ID: TR137
    The Evaluation of Multidimensional Integrals by the Monte Carlo Sequential Stratification Technique
    John H. Halton, Edward A. Zeidman
    View report information || Download this report (PDF)

  • Tech Report ID: TR138
    An Interactive Graphical System for the Approximation of Partial Differential Equations
    Paul S. LaFata
    View report information || Download this report (PDF)

  • Tech Report ID: TR139
    Estimating the Accuracy of Quasi Monte Carlo Integration
    John H. Halton
    View report information || Download this report (PDF)

  • Tech Report ID: TR140
    General Convergence Conditions in Nonlinear Programming and a Kuhn-Tucker Algorithm
    Hilbert K. Schultz
    View report information || Download this report (PDF)

  • Tech Report ID: TR141
    A System for the Formal Definition of Digital Systems
    D.R. Fitzwater, C.A. Hintz
    View report information || Download this report (PDF)

  • Tech Report ID: TR142
    A Program for Generating Reports on the Status and History of Stochastically Modifiable Semantic Models of Arbitrary Universes
    Sheldon Klein, John D. Oakley, David I. Suurballe, Robert A. Ziesemer
    View report information || Download this report (PDF)

  • Tech Report ID: TR144
    An Interactive Program for Learning the Morphology of Natural Languages
    Sheldon Klein, Terry A. Dennison
    View report information || Download this report (PDF)

    Return to tech report index

  •  
    Computer Science | UW Home