1981 Technical Reports

YALEU/DCS/TR191 * Multiple Context Shells
J.R. Ellis
January 1981

YALEU/DCS/TR192 [.pdf] Inductive Inference Theories from Facts
Ehud Shapiro
February 1981

YALEU/DCS/TR193 * Organizing Spatial Knowledge
Ernest Davis
January 1981

YALEU/DCS/TR194 [.pdf] On Some Trends in Elliptical Problem Solvers
Stanley Eisenstat
Martin Schultz
February 1981

YALEU/DCS/TR195 * Finding Objects with Given Spatial Properties
Drew McDermott
March 1981

YALEU/DCS/TR196 * A Temporal Logic for Reasoning about Processes and Plans
Drew McDermott
March 1981

YALEU/DCS/TR197 [.pdf] Arc-length Continuation and Multi-grid Techniques for Non-linear Elliptic Eigenvalue Problems
Tony Chan
H. Keller
March 1981

YALEU/DCS/TR198 [.pdf] Numerical Computation of Large Amplitude Internal Solitary Waves
Tony Chan
March 1981

YALEU/DCS/TR199 [.pdf] Analysis of Multi-level Inverse Iteration Process Eigenvalue Problems
Randolph Bank
December 1980

YALEU/DCS/TR200 * Steps Toward Efficiently Implementing Program Mutation Systems: The High Level Design of a Distributed Mutation
Sayward
Lipton
1981

YALEU/DCS/TR201 [.pdf] Secondary Storage Methods for Solving Symmetric, Positive Definite, Bonded Linear Systems
John Richard Perry
April 1981

YALEU/DCS/TR202 [.pdf] Analysis of a Multi-level Iterative Method for Non-linear Finite Element Equation
Randolph Bank
April 1981

YALEU/DCS/TR203 [.pdf] Preconditioned Conjugate-Gradient Methods for Non-Symmetric Systems of Linear Equations
Howard Elman
April 1981

YALEU/DCS/TR204 Optimal Block Diagonal Scaling of Block 2-Cyclic Matrices
Stanley Eisenstat
Martin Schultz
John Lewis
April 1981

YALEU/DCS/TR205 * What’s the Point System
Gregg Collins
Ernest Davis
Peter Johnson
Steve Lytinen
Brian Reiser
April 1981

YALEU/DCS/TR206 * MAGPIE: A Goal-Based Model of Conversation
Johnson
Peter Johnson
Scott Robertson
May 1981

YALEU/DCS/TR207 [.pdf] The Order of Monotone Piecewise Cubic Interpolation
Stanley Eisenstat
K. Jackson
John Lewis
August 1981

YALEU/DCS/TR208 [.pdf] Alternating-Direction Incomplete Factorizations
Tony Chan
Kenneth Jackson
Benren Zhu
August 1981

YALEU/DCS/TR209 [.pdf] Variational Iterative Methods for Non-symmetric Systems of Linear Equations
Stanley Eisenstat
Martin Schultz
Howard Elman
August 1981

YALEU/DCS/TR210 [.pdf] The Positive Solution of a Certain Non-linear Parabolic System and it’s Computation I
Benren Zhu
September 1981

YALEU/DCS/TR211 [.pdf] Stability of High Order Difference Equations and its Algebraic Survey
Benren Zhu
September 1981

YALEU/DCS/TR212 [.pdf] Iterative Solution of Indefinite Symmetric Systems by Methods using Orthogonal Polynomials over Two Disjointed Intervals
Youcef Saad
October 1981

YALEU/DCS/TR213 [.pdf] Local-Mesh, Local-Order, Adaptive Finite Element Methods with A Posteriori Error Estimators for Elliptic Partial Differential
Alan Weiser
September 1981