1977 Technical Reports

YALEU/DCS/TR084 * Research at Yale
Roger Schank
Yale AI Project
1977

YALEU/DCS/TR085 * On Structure Preserving Reductions
Lipton
Lynch
1977

YALEU/DCS/TR086 * Specific Hard 0,1 Polynomials Over a Monotone Basis
Lipton
1977

YALEU/DCS/TR087 [.pdf] The APL Idiom List
S. Rugaber
Alan J. Perlis
April 1977

YALEU/DCS/TR088 * The Process of Question Answering (In book form - may be ordered from publisher:
Wendy Lehnert Lawrence Erlbaum Associates)
May 1977

YALEU/DCS/TR089 [.pdf] Talk Notes on Mathematical Studies of Parallel Computation
Raymond E. Miller
1977

YALEU/DCS/TR090 * Evaluation Criteria for Process Synchronization
Lipton
Snyder
Zalcstein
1977

YALEU/DCS/TR091 * The Complexity of Word and Isomorphism Problems for Finite Groups
Lipton
Snyder
Zalcstein
1977

YALEU/DCS/TR092 [.pdf] Linear Time Colorings of Planar Graphs
R.J. Lipton
R.E. Miller
1977

YALEU/DCS/TR093 [.pdf] The Complexity of Searching Lines in the Plane (Preliminary version)
D.P. Dobkin
R.J. Lipton
1977

YALEU/DCS/TR094 [.pdf] On the Power of Applicative Languages
R.J. Lipton
L. Snyder
1977

YALEU/DCS/TR095 [.pdf] On an Array Sorting Problem of Kosaraju
R.J. Lipton
R. Miller
L. Snyder
1977

YALEU/DCS/TR096 [.pdf] On the Complexity of Linear Search Tree Programs for Searching
D.P. Dobkin
R.J. Lipton
1977

YALEU/DCS/TR097 [.pdf] On the Synthesis and Analysis of Protection Systems
Lawrence Snyder
1977

YALEU/DCS/TR098 [.pdf] Some Results on Maximum a Posteriori Probability Parsing Algorithms
R.J. Lipton
S.E. Levinson
L. Snyder
1977

YALEU/DCS/TR099 [.pdf] On the Halting of Tree Replacement Systems
R.J. Lipton
L. Snyder
1977

YALEU/DCS/TR100 [.pdf] Increasing Confidence in Software Through Program Perturbations
D.R. Hanson
R.J. Lipton
F.G. Sayward
1977

YALEU/DCS/TR101 [.pdf] Introduction to Linear Asynchronous Structures
R.J. Lipton
RE.. Miller
L. Snyder
1977

YALEU/DCS/TR102 [.pdf] On the Solvability of a Word Problem for Restricted Semigroups
L. Snyder
1977

YALEU/DCS/TR103 [.pdf] A Linear Time Algorithm for Deciding Security
A.K. Jones
R.J. Lipton
L. Snyder
1977

YALEU/DCS/TR104 * Skimming Newspaper Stories by Computer
Gerald DeJong
May 1977

YALEU/DCS/TR105 [.pdf] Minimal Storage Band Elimination
Martin Schultz
Stanley Eisenstat
Andrew Sherman
1977

YALEU/DCS/TR106 [.pdf] A Minimal Space Selection Algorithm That Runs in Linear Time
David Dobkin
Ian Munro
1977

YALEU/DCS/TR107 [.pdf] The Modified Conjugate Residual Method for Partial Differential Equations
R. Chandra
Stanley Eisenstat
Martin Schultz
May 1977

YALEU/DCS/TR108 [.pdf] Response Time of Parallel Programs
R.J. Lipton
F. Sayward
1977

YALEU/DCS/TR109 [.pdf] Finite Element Methods for Spherically Symmetric Elliptic Equations
Stanley Eisenstat
R.S. Schreiber
Martin Schultz
May 1977

YALEU/DCS/TR110 * Analyzing English Noun Groups for Their Conceptual Content
Anatole Gershman
May 1977

YALEU/DCS/TR111 * Ideological belief system simulation
Carbonell
May 1977

YALEU/DCS/TR112 [.pdf] Yale Sparse Matrix Package I. The Symmetric Codes
Stanley Eisenstat
M.C. Gursky
Martin Schultz
Andrew Sherman
1977

YALEU/DCS/TR113 [.pdf] Inverse Translation: The Theory of Practical Automatic Programming
Steven Peter Reiss
1977

YALEU/DCS/TR114 [.pdf] Yale Sparse Matrix Package II. Nonsymmetric Codes
Stanley Eisenstat
M.C. Gursky
Martin Schultz
A.H. Sherman
1977

YALEU/DCS/TR115 [.pdf] Finite Element Methods for Singular Two-point Boundry Value Problems
Robert S. Schreiber
1977

YALEU/DCS/TR116 * Script Application: Computer Understanding of Newspaper Stories
Cullingford
January 1978

YALEU/DCS/TR117 * Users’ Guide to the Pilot Mutation System
Budd
Sayward
1977

YALEU/DCS/TR118 * The Design of the Pilot Mutation System
Budd
Sayward
1977

YALEU/DCS/TR119 [.pdf] On the Synthesis and Analysis of Protection
Lawrence Snyder
1977

YALEU/DCS/TR120 * A Theoretic Approach to Automatic Programming
Reiss
1977

YALEU/DCS/TR123 * Testing Ramamoorthy’s Triangle Categorization Program on PIMS
Sayward
1977

YALEU/DCS/TR124 * A Comparison of Symbolic Evaluation and Mutant Analysis
Budd
1977

YALEU/DCS/TR125 * SCAN - PIM’s Line Scanner
Budd
1977

YALEU/DCS/TR126 [.pdf] I. Inert Rights and Conspirators in the TAKE/GRANT System II. Safety in Protection Systems
Timothy A. Budd
Richard J. Lipton
1977