perm filename BIB.PUB[BIB,CSR]19 blob
sn#499937 filedate 1980-04-17 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00010 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .require "setup.bib[bib,csr]" source file
C00008 00003 REPORTS 1 THRU 99
C00037 00004 REPORTS 100 THRU 199
C00066 00005 REPORTS 200 THRU 299
C00095 00006 REPORTS 300 THRU 399
C00125 00007 REPORTS 400 THRU 499
C00154 00008 REPORTS 500 THRU 599
C00184 00009 REPORTS 600 THRU 699
C00213 00010 REPORTS 700 THRU 799
C00239 ENDMK
C⊗;
.require "setup.bib[bib,csr]" source file;
.once center
NUMBERING KEY
The following is a key to reading the different report numbers.
STAN-CS-: This is the number given to the report by the Department of
Computer Science. It is this number that should be used when
ordering a report from us.
AIM-: This is a "group" number. It stands for Artificial
Intelligence Memo.
HPP-: This is a "group" number. It stands for Heuristic Programming
Project.
SU326: This is a DOE sponsored report, and this is their number for
it.
SLAC-: This report may also be ordered from the Stanford Linear
Accelerator Center using this number.
LBL-: This report may also be ordered from the Lawrence Berkeley
Laboratory using this number.
CSL-: This report may also be ordered from the Computer Science
Laboratory (Department of Electrical Engineering) using this number.
PB: This report may be ordered from the National Technical
Information Service using this number.
AD: This report may be ordered from the National Technical
Information Service using this number.
AD-A: This report may be ordered from the National Technical
Information Service using this number.
For example: If a report was numbered
.skip
.once center
STAN-CS-77-611 (AIM-298, AD-A046 703)
it means that you could order the report from the Stanford Department
of Computer Science by the number STAN-CS-77-611. You could also
order it from the Artificial Intelligence Group by the number AIM-
298. And if neither place had copies left available, you could write
to the National Technical Information Service and ask for the same
report by specifying number AD-A046 703.
For people with access to the ARPA Network, the texts of some A. I.
Memos are stored online in the Stanford A. I. Laboratory disk file.
These are designated below by "Diskfile: <file name>" appearing in
the header.
To order reports from the Stanford Department of Computer Science (or
the Artificial Intelligence Group), use the following address:
.skip
.begin nofill
Publications Coordinator
Department of Computer Science
Stanford University
Stanford, California 943O5 USA
.end
To order reports from the National Technical Information Service, use
the following address:
.skip
.begin nofill
U.S. Department of Commerce
National Technicl Information
Service
5285 Port Royal Road
Springfield, Virginia 22161 USA
.end
Memos that are also Ph.D. theses are so marked below and may be
ordered from:
.skip
.begin nofill
University Microfilm
P. O. Box 1346
Ann Arbor, Michigan 48106
.end
.next page
.once center
REPORTS 1 THRU 99
STAN-CS-63-1 (AD462108), J. B. Rosen, "Primal Partition Programming
for Block Diagonal Matrices", 23 pages, November 1963.
STAN-CS-63-2 (AD427753), J. M. Pavkovich, "The Soultion of Large
Systems of Algebraic Equations", 46 pages, December 1963.
STAN-CS-64-3 (AD430445), G. E. Forsythe (translated by), "The
Theorems in a Paper by V. K. Saulev 'On an Estimate of the Error in
Obtaining Characteristic Functions by the Method of Finite
Differences' ", 6 pages, January 1964.
STAN-CS-64-4 (AD434858), Stefan Bergman and J. G. Herriot, "Numerical
Solution of Boundary Value Problems by the Method of Integral
Operators", 24 pages, February 1964.
STAN-CS-64-5 (N-6519765), J. B. Rosen, "Existence and Uniqueness of
Equilibrium Points for Concave N-Person Games", 28 pages, March 1964.
STAN-CS-64-6 (AD600164), R. W. Hockney, "A Fast Direct Solution of
Poisson's Fourier Analysis", 28 pages, April 1964.
STAN-CS-64-7 (PB176753), J. B. Rosen, "Sufficient Conditions for
Optimal Control of Convex Processes", 29 pages, May 1964.
STAN-CS-64-8 (AD603116), G. Golub and W. Kahan, "Calculating the
Singular Values and Pseudo-Inverse of a Matrix", 33 pages, May 1964.
STAN-CS-64-9 (AD604012), Charles Anderson, "The QD-Algorithm as a
Method for Finding the Roots of a Polynomial Equation When All Roots
are Positive", 74 pages, June 1964.
STAN-CS-64-10 (AD603163), R. L. Causey (Thesis), "On Closest Normal
Matrices", 131 pages, June 1964.
STAN-CS-64-11 (PB176754), T. Nakamura and J. B. Rosen, "Elastic-
Plastic Analysis of Trusses by the Gradient Projection Method", 32
pages, July 1964.
STAN-CS-64-12 (AD608292), G. Golub and P. Businger, "Numerical
Methods for Solving Linear Least Squares Problems (and) an Algol
Procedure for Finding Linear Least Squares Solutions", 27 pages,
August 1964.
STAN-CS-64-13 (N65-27058), V. Pereyra and J. B. Rosen, "Computation
of the Pseudo- inverse of a Matrix of Unknown Rank", 28 pages,
September 1964.
STAN-CS-64-14 (TT-65-61724), V. A. Efimenko (translated by G. Reiter
and C. Moler), "On Approximate Calculations of the Eigenvalues and
Eigenfunctions of Boundary Value Problems in Partial Differential
Equations", 20 pages, November 1964.
STAN-CS-65-15 (AD611366), D. W. Grace (Thesis), "Computer Search for
Non-Isomorphic Convex Polyhedra", 137 pages, January 1965.
STAN-CS-65-16 (AD611427), G. E. Forsythe and G. H. Golub, "Maximizing
a Second Degree Polynomial on the Unit Sphere", 31 pages, February
1965.
STAN-CS-65-17 (AD611434), G. E. Forsythe and N. Wirth, "Automatic
Grading Programs", 17 pages, February 1965.
STAN-CS-65-18 (AD612478), V. Pereyra, "The Difference Correction
Method for Non- Linear Two-Point Boundary Value Problems", February
1965.
STAN-CS-65-19 (TT-65-61839), M. I. Ageev and J. Maclaren, "English
Equivalents of Metalinguistic Terms of Russian ALGOL", March 1965.
STAN-CS-65-20 (PB176755), N. Wirth and H. Weber, "EULER: A
Generalition of ALGOL and its Formal Definition", 115 pages, April
1965.
STAN-CS-65-21 (PB176756), D. D. Fisher, J. von der Groeben and J. G.
Toole, "Vectorgardiographic Analysis by Digital Computer, Selected
Results", 104 pages, May 1965.
STAN-CS-65-22 (AD616676), C. B. Moler (Thesis), "Finite Difference
Methods for the Eigenbales of Laplace's Operator", 142 pages, May
1965.
STAN-CS-65-23 (AD618214), B. D. Rudin (Thesis), "Convex Polynomial
Approximation", 44 pages, June 1965.
STAN-CS-65-24 (AD616611), V. V. Klyuyev and N. I. Kokovkin Shoherbak
(translated by G. J. Tee), "On the Minimization of the Number of
Arithmetic Operations for the Solution of Linear Algebraic Systems of
Equations", 24 pages, June 1965.
STAN-CS-65-25 (AD618215), P. G. Hodge, "Yield-Point Load
Determination by Nonlinear Programming", 24 pages, June 1965.
STAN-CS-65-26 (not at NTIS), G. E. Forsythe, "Stanford University's
Program in Computer Science", 15 pages, June 1965.
STAN-CS-65-27 (AD618216), E. A. Volkov (translated by R. Bartels),
"An Analysis of One Algorithm of Heightened Precision of the Method
of Nets for the Solution of Poisson's Equation", 29 pages, July 1965.
STAN-CS-65-28 (AD618217), J. Miller and G. Strang, "Matrix Theorems
for Partial Differential an Difference Equations", 33 pages, July
1965.
STAN-CS-65-29 (AD624837), V. Pereyra, "On Improving an Approximate
Solution of a Functional Equation by Deferred Corrections", 32 pages,
August 1965.
STAN-CS-65-30 (SS624-829), S. Marchuk (translated by G. J. Tee), "The
Automatic Construction of Computational Algorithms", 56 pages,
September 1965.
STAN-CS-65-31 (SS626-315), P. A. Raviart, "On the Approximation of
Weak Solutions of Linear Parabolic Equations by a Class of Multi-step
Difference Methods", 55 pages, December 1965.
STAN-CS-65-32 (SS633-557), R. W. Hockney, "Minimum Multiplication
Fourier Analysis", 53 pages, December 1965.
STAN-CS-65-33 (PB176763), N. Wirth, "A Programming Language for the
360 Computers", 23 pages, December 1965.
STAN-CS-66-34 (SS630-998), J. M. Varah, "Eigenvectors of a Real
Matrix by Inverse Iteration", 24 pages, February 1966.
STAN-CS-66-35 (PB176758), N. Wirth and C. Hoare, "A Contribution to
the Development of ALGOL", 64 pages, February 1966.
STAN-CS-66-36 (PB176759), J. F. Traub, "The Calculation of Zeros of
Polyynomials and Analytic Functions", 26 pages, April 1966.
STAN-CS-66-37 (PB176789), J. D. Reynolds, "Cogent 1.2 Operations
Manual", 33 pages, April 1966.
STAN-CS-66-38 (AIM-40, AD662880), J. McCarthy and J. Painter,
"Correctness of a Compiler for Arithmetic Expressions", 13 pages,
April 1966.
STAN-CS-66-39 (PB176760), G. E. Forsythe, "A University's Educational
Program in Computer Science", 26 pages, May 1966.
STAN-CS-66-40 (AD639052), G. E. Forsythe, "How Do You Solve a
Quadratic Equation?", 19 pages, June 1966.
STAN-CS-66-41 (SS638-976), W. Kahan, "Accurate Eigenvalues of a
Symmetric Tri-Diagonal Matrix", 53 pages, July 1966.
STAN-CS-66-42 (SS638-797), W. Kahan, "When to Neglect Off-Diagonal
Elements of Symmetric Tri-Diagonal Matrices", 10 pages, July 1966.
STAN-CS-66-43 (SS638-798), W. Kahan and J. Varah, "Two Working
Algorithms for the Eigenvalues of a Symmetric Tri-Diagonal Matrix",
28 pages, August 1966.
STAN-CS-66-44 (SS638-818), W. Kahan, "Relaxation Methods for an
Eigenvalue Problem", 35 pages, August 1966.
STAN-CS-66-45 (SS638-799), W. Kahan, "Relaxation Methods for Semi-
Definite Systems", 31 pages, August 1966.
STAN-CS-66-46 (SS638-809), G. E. Forsythe, "Today's Computational
Methods of Linear Algebra", 47 pages, August 1966.
STAN-CS-66-47 (PB173335), P. Abrams, "An Interpreter for 'Inverson
Notation' ", 61 pages, August 1966.
STAN-CS-66-48 (SS639-166), W. M. McKeeman (Thesis), "An Approach to
Computer Language Design", 124 pages, August 1966.
STAN-CS-66-49 (AIM-43, SS640-836), D. R. Reddy (Thesis), "An Approach
to Computer Speech Recognition by Direct Analysis of Speech Wave",
143 pages, September 1966.
STAN-CS-66-50 (AIM-46, PB176761), S. Persson (Thesis), "Some Sequence
Extrapulating Programs: A Study of Representation and Modelling in
Inquiring Systems", 176 pages, September 1966.
STAN-CS-66-51 (AD648394), S. Bergman, J. G. Herriot and T. G. Kurtz,
"Numerical Calculation of Transonic Flow Patterns", 35 pages, October
1966.
STAN-CS-66-52 (PB176762), A. C. Shaw, "Lecture Notes on a Course in
Systems Programming", 216 pages, December 1966.
STAN-CS-66-53 (PB176757), N. Wirth, "A Programming Language for the
360 Computers", 81 pages, December 1966.
STAN-CS-67-54 (AD662882), G. Golub and T. N. Robertson, "A
Generalized Bairstow Algorithm", 10 pages, January 1967.
STAN-CS-67-55 (AD647200), D. A. Adams, "A Stopping Criterion for
Polynomial Root Finding", 11 pages, February 1967.
STAN-CS-67-56 (PB176764), F. L. Bauer, "QD-Method with Newton Shift",
6 pages, March 1967.
STAN-CS-67-57 (PB176765), D. Gries, "The Use of Transition Matrices
in Compiling", 60 pages, March 1967.
STAN-CS-67-58 (PB176766), V. Tixier (Thesis), "Recursive Functions of
Regular Expressions in Language Analysis", 146 pages, March 1967.
STAN-CS-67-59 (SS650-116), J. H. Wilkinson, "Almost Diagonal Matrices
with Multiple or Close Eigenvalues", 18 pages, April 1967.
STAN-CS-67-60 (SS650-117), J. H. Wilkinson, "Two Algorithms Based on
Successive Linear Interpolation", 13 pages, April 1967.
STAN-CS-67-61 (SS650-610), G. E. Forsythe, "On the Asymptotic
Directions of the S-Dimensional Optimum Gradient Method", 43 pages,
April 1967.
STAN-CS-67-62 (SS650-620), M. Tienari, "Varying Length Floating Point
Arithmetic: A Necessary Tool for the Numerical Analyst", 38 pages,
April 1967.
STAN-CS-67-63 (SS650-627), G. Polya, "Graeffe's Method for
Eigenvalues", 9 pages, April 1967.
STAN-CS-67-64 (SS651-201), P. Richman, "Floating-Point Number
Representations: Base Choice Versus Exponent Range", 32 pages, April
1967.
STAN-CS-67-65 (PB176767), N. Wirth, "On Certain Basic Concepts of
Programming Languages", 30 pages, May 1967.
STAN-CS-67-66 (AD652921), J. M. Varah (Thesis), "The Computation of
Bounds for the Invariant Subspaces of a General Matrix Operator", 240
pages, May 1967.
STAN-CS-67-67 (AD652992), R. H. Bartels and G. H. Golub,
"Computational Considerations Regarding the Calculation of Chebyshev
Solutions for Over-Determined Linear Equations Systems by the
Exchange Method", 63 pages, June 1967.
STAN-CS-67-68 (PB176768), N. Wirth, "The PL 360 System", 63 pages,
June 1967.
STAN-CS-67-69 (PB176769), J. Feldman and D. Gries, "Translator
Writing Systems", 127 pages, June 1967.
STAN-CS-67-70 (AD655472), S. Bergman, J. G. Herriot and P. L.
Richman, "On Computation of Flow Patterns of Compressible Fluids in
the Transonic Region", 77 pages, July 1977.
STAN-CS-67-71 (AD655230), M. A. Jenkins and J. F. Traub, "An
Algorithm for an Automatic General Polynomial Solver", 38 pages, July
1967.
STAN-CS-67-72 (PB175581), G. H. Golub and L. B. Smith, "Chebysev
Approximation of Continuous Functions by a Chebyshev Systems of
Functions", 54 pages, July 1967.
STAN-CS-67-73 (AD662883), P. Businger and G. H. Golub, "Least
Squares, Singular Values and Matrix Approximations (and) an ALGOL
Procedure for Computing the Singular Value Decomposition", 12 pages,
July 1967.
STAN-CS-67-74 (AD657639), G. E. Forsythe, "What is a Satisfactory
Quadratic Equation Solver?", 9 pages, August 1967.
STAN-CS-67-75 (PB175793), F. L. Bauer, "Theory of Norms", 136 pages,
August 1967.
STAN-CS-67-76 (AD657450), P. M. Anselone, "Collectively Compact
Operator Approximations", 60 pages, April 1967.
STAN-CS-67-77 (PB176770), G. E. Forsythe, "What To Do Till The
Computer Scientist Comes", 13 pages, September 1967.
STAN-CS-67-78 (PB176771), K. M. Colby and H. Enea, "Machine
Utilization of the Natural Language Word 'Good' ", 8 pages, September
1967.
STAN-CS-67-79 (AD662884), R. W. Doran, "360 U.S. Fortran IV Free
Field Input/Output Subroutine Package", 21 pages, October 1967.
STAN-CS-67-80 (AD662902), J. Friedman, "Directed Random Generation of
Sentences", 30 pages, October 1967.
STAN-CS-67-81 (AD661217), G. H. Golub and J. H. Welsch, "Calculation
of Gauss Quadrature Rules", 28 pages, November 1967.
STAN-CS-67-82 (PB176775), L. Tesler, H. Enea and K. M. Colby, "A
Directed Graph Representation for Computer Simulation of Belief
Systems", 31 pages, December 1967.
STAN-CS-68-83 (AD664237), A. Bjorck and G. Golub, "Iterative
Refinements of Linear Squares Solutions by House-Holder
Transformations", 28 pages, January 1968.
STAN-CS-68-84 (AD692680), J. Friedman, "A Computer System for
Transformational Grammar", 31 pages, January 1968.
STAN-CS-68-85 (PB177426), K. M. Colby, "Computer-Aided Language
Development in Nonspeaking Mentally Disturbed Children", 35 pages,
December 1968.
STAN-CS-68-86 (PB179162), H. R. Bauer, S. Becker and S. L. Graham,
"ALGOL With Programming", 90 pages, January 1968.
STAN-CS-68-87 (PB178176), J. Ehrman, "CS 139 Lecture Notes Part 1,
Sections 1 thru Preliminary Version", 188 pages, 1968.
STAN-CS-68-88 (AD665672), S. Schechter, "Relaxation Methods for
Convex Problems", 19 pages, February 1968.
STAN-CS-68-89 (PB180920), H. R. Bauer, S. Becker and S. L. Graham,
"ALGOL W (revised)", 42 pages, March 1968.
STAN-CS-68-90 (PB178177), V. R. Lesser, "A Multi-Level Computer
Organization Designed to Separate Data Accessing from the
Computation", 20 pages, March 1968.
STAN-CS-68-91 (PB178114), N. Wirth, J. W. Wells, Jr. and E. H.
Satterthwaite, Jr., "The PL360 System", 89 pages, April 1968.
STAN-CS-68-92 (PB178078), H. Enea, "MLISP", 18 pages, March 1968.
STAN-CS-68-93 (PB178078), G. E. Forsythe, "Computer Science and
Education", 50 pages, March 1968.
STAN-CS-68-94 (SLACR-84), A. C. Shaw (Thesis), "The Formal
Description and Parsing of Pictures", 205 pages, April 1968.
STAN-CS-68-95 (not at NTIS), J. Friedman and R. W. Doran, "A Formal
Syntax for Transformational Grammar", 47 pages, March 1968.
STAN-CS-68-96 (AD673673), L. B. Smith, "Interval Arithmetic
Determinant Evalation and its Use in Testing for a Chebyshev System",
26 pages, April 1968.
STAN-CS-68-97 (not at NTIS), W. F. Miller, "Research in the Computer
Science Department at Stanford University", 49 pages, April 1968.
STAN-CS-68-98 (PB179162), H. Bauer, S. Becker and S. Graham, "ALGOL
With Implementation", 147 pages, May 1968.
STAN-CS-68-99 (PB179057), J. Friedman, "Lecture Notes on Foundations
for Computer Science", 212 pages, June 1968.
.next page
.once center
REPORTS 100 THRU 199
STAN-CS-68-100 (PB178877), T. H. Bredt, "A Computer Model of
Information Processing in Children", 60 pages, June 1968.
STAN-CS-68-101 (AIM-60, AD672923), D. M. Kaplan (Thesis), "The Formal
Theoretic Analysis of Stront Equivalence for Elemental Programs", 263
pages, June 1968.
STAN-CS-68-102 (AD677982), A. Pnueli, "Integer Programming Over a
Cone", 29 pages, July 1968.
STAN-CS-68-103 (AD692689), T. H. Bredt and J. Friedman, "Lexical
Insertion in Transformational Grammar", 47 pages, June 1968.
STAN-CS-68-104 (AD673010), R. Bartels, "A Numerical Investigation of
the Simplex Method", 122 pages, July 1968.
STAN-CS-68-105 (AD673674), P. Richman (Thesis), "Epsiolon-Calculus",
138 pages, August 1968.
STAN-CS-68-106 (AIM-65, AD673971), B. Huberman (Thesis), "A Program
to Play Chess End Games", 168 pages, August 1968.
STAN-CS-68-107 (AD668558), M. Jenkins, "A Three-Stage Variable-Shift
Iteration for Polynomial Zeros and its Relation to Generalized
Rayleigh Interation", 46 pages, August 1968.
STAN-CS-68-108 (AD692681), J. Friedman (editor), "Computer
Experiments in Transformational Grammar", 36 pages, August 1968.
STAN-CS-68-109 (AD692690), J. Friedman, "A Computer System for
Writing and Testing Transformational Grammars - Final Report", 14
pages, September 1968.
STAN-CS-68-110 (PB180920), H. Bauer, S. Becker, S. Graham and E.
Satterthwaite, "ALGOL W (revised)", 103 pages, October 1968.
STAN-CS-68-111 (AD692691), J. Friedman and T. Martner, "Analysis in
Transformational Grammar", 18 pages, August 1968.
STAN-CS-68-112 (AD692687), J. Friedman and B. Pollack, "A Control
Language for Transformational Grammar", 51 pages, August 1968.
STAN-CS-68-113 (PB188705), W. J. Hansen, "The Impact of Storage
Management on Plex Processing Language Implementation", 253 pages,
July 1968.
STAN-CS-68-114 (PB182156), J. George, "Calgen, An Interactive Picture
Calculus Generation System", 75 pages, December 1968,
STAN-CS-68-115 (AD692686), J. Friedman, T. Bredt, R. Doran, T.
Martner and B. Pollack, "Programmer's Manual for a Computer System
for Transformational Grammar", 199 pages, August 1968.
STAN-CS-68-116 (AIM-72, AD680036), D. Pieper (Thesis), "The
Kinematics of Manipulators Under Computer Control", 157 pages,
October 1968.
STAN-CS-68-117 (PB182151), D. Adams (Thesis), "A Computational Model
with Data Flow Sequencing", 130 pages, December 1968.
STAN-CS-68-118 (AIM-74, AD681027), D. Waterman (Thesis), "Machine
Learning of Heuristics", 235 pages, December 1968.
STAN-CS-68-119 (AD692681), G. Dantzig, et al., "Mathematical
Programming Language", 91 pages, May 1968.
STAN-CS-68-120 (PB182166), E. Satterthwaite, "Mutant 0.5: An
Experimental Programming Language", 60 pages, February 1968.
STAN-CS-69-121 (AD682978), C. B. Moler, "Accurate Bounds for the
Eigenvalues of the Laplacian and Applications to Rhombical Domains",
17 pages, February 1969.
STAN-CS-69-122 (AD687450), W. C. Mitchell and D. L. McCraith,
"Heuristic Analysis of Numerical Variants of the Gram-Schmidt
Orthonormalization Process", 21 pages, February 1969.
STAN-CS-69-123 (AD696982), R. P. Brent, "Empirical Evidence for a
Proposed Distribution of Small Prime Gaps", 18 pages, February 1969.
STAN-CS-69-124 (AD687719), G. H. Golub, "Matrix Decompositions and
Statistical Calculations", 52 pages, March 1969.
STAN-CS-69-125 (AIM-89, AD692390), J. Feldman, J. Horning, J. Gips
and S. Reder, "Grammatical Complexity and Inference", 100 pages,
June 1969.
STAN-CS-69-126 (AD702898), G. Dantzig, "Complementary Spanning
Trees", 10 pages, March 1969.
STAN-CS-69-127 (AIM-85, AD687720), P. Vicens (Thesis), "Aspects of
Speech Recognition by Computer", 210 pages, April 1969.
STAN-CS-69-128 (AD687717), G. H. Golub, B. L. Buzbee and C. W.
Nielson, "The Method of Odd/Even Reduction and Factorization with
Application to Poisson's Equation", 39 pages, April 1969.
STAN-CS-69-129 (not at NTIS), W. F. Miller, "Research in the Computer
Science Department", 82 pages, April 1969.
STAN-CS-69-130 (AIM-83, PB183907), R. C. Schank (Thesis), "A
Conceptual Dependency Representation for a Computer-Oriented
Semantics", 201 pages, March 1969.
STAN-CS-69-131 (SLAC-96), L. B. Smith (Thesis), "The Use of Man-
Machine Interaction in Data-Fitting Problems", 287 pages, March 1969.
STAN-CS-69-132, Never Printed.
STAN-CS-69-133 (AD687718), G. H. Golub and C. Reinsch, "Handbook
Series Linear Algebra: Singular Value Decompositions and Least
Sequares Solutions", 38 pages, May 1969.
STAN-CS-69-134 (AD700923), G. H. Golub and M. A. Saunders, "Linear
Least Squares and Quadratic Programming", 38 pages, May 1969.
STAN-CS-69-135 (SLACR-102, not at NTIS), D. Gries, "Compiler
Implementation Language", 113 pages, May 1969.
STAN-CS-69-136 (SLACR-104, not at NTIS), I. Pohl (Thesis), "Bi-
Directional and Heuristic Search in Path Problems", 157 pages, May
1969.
STAN-CS-69-137 (AD698801), P. Henrici, "Fixed Points of Analytic
Functions", 7 pages, July 1969.
STAN-CS-69-138 (AIM-96, AD696394), C. C. Green (Thesis), "The
Application of Theorem Proving to Question-Answering Systems", 162
pages, June 1969.
STAN-CS-69-139 (AIM-98, AD695401), J. J. Horning (Thesis), "A Study
of Grammatical Inference", 166 pages, August 1969.
STAN-CS-69-140 (AD698799), G. E. Forsythe, "Design - Then and Now",
15 pages, September 1969.
STAN-CS-69-141 (PB188542), G. Dahlquist, S. C. Eisenstat and G. H.
Golub, "Bounds for the Error of Linear Systems of Equations Using the
Theory of Moments", 26 pages, October 1969.
STAN-CS-69-142, G. H. Golub and R. Underwood, "Stationary Values of
the Ratio of Quadratic Forms Subject to Linear Constraints", 22
pages, November 1969.
STAN-CS-69-143 (AD694464), M. A. Jenkins (Thesis), "Three-Stage
Variable-Shift for the Solution of Polynomial Equations with a
Posteriori Error Bounds for the Zeros" (has also been printed
incorrectly as STAN-CS-69-138), 199 pages, August 1969.
STAN-CS-69-144 (AD698800), G. E. Forsythe, "The Maximum and Minimum
of a Positive Definite Quadratic Polynomial on a Sphere are Convex
Functions of the Radius", 9 pages, July 1969.
STAN-CS-69-145 (AD698798), P. Henrici, "Methods of Search for Solving
Polynomial Equations", 25 pages, December 1969.
STAN-CS-70-146 (not at NTIS), G. O. Ramos (Thesis), "Roundoff Error
Analysis of the Fast Fourier Transform", February 1970.
STAN-CS-70-147 (AD699897), G. E. Forsythe, "Pitfalls in Computation,
or Why a Math Book Isn't Enough", 43 pages, January 1970.
STAN-CS-70-148 (PB188749), D. E. Knuth and R. W. Floyd, "Notes on
Avoiding 'GO TO' Statements", 15 pages, January 1970.
STAN-CS-70-149 (PB188748), D. E. Knuth, "Optimum Binary Search
Trees", 19 pages, January 1970.
STAN-CS-70-150 (AD699898), J. H. Wilkinson, "Elementary Proof of the
Wielandt-Hoffman Theorem and of its Generalization", 8 pages, January
1970.
STAN-CS-70-151 (not at NTIS), E. A. Volkov (translated by G. E.
Forsythe), "On the Properties of the Derivatives of the Solution of
Laplace's Equation and the Errors of the Method of Finite Differences
for Boundary Values in C(2) and C(1,1)", 26 pages, January 1970.
STAN-CS-70-152 (not at NTIS), S. Gustafson, "Rapid Computation of
Interpolation Formulae and Mechanical Quadrature Rules", 23 pages,
February 1970.
STAN-CS-70-153 (AD701358), S. Gustafson, "Error Propagation by Use of
Interpolation Formulae and Quadrature Rules which are Computed
Numerically", 17 pages, February 1970.
STAN-CS-70-154, H. S. Stone, "The Spectrum of Incorrectly Decoded
Bursts for Cyclic Error Codes", 24 pages, February 1970.
STAN-CS-70-155 (AD705508), B. L. Buzbee, G. H. Golub and C. W.
Nielson, "The Method of Odd/Even Reduction and Factorization with
Application to Poisson's Equation, Part II", 36 pages, March 1970.
STAN-CS-70-156 (AD713972), G. B. Dantzig, "On a Model for Computing
Roundoff Error of a Sum", October 1979.
STAN-CS-70-157 (AD705509), R. P. Brent, "Algorithms for Matrix
Multiplication", 54 pages, March 1970.
STAN-CS-70-158, H. Stone, "Parallel Processing with the Perfect
Shuffle", 36 pages, March 1970.
STAN-CS-70-159 (AD708690), J. A. George, "The Use of Direct Methods
for the Solution of the Discrete Poisson Equation on Non-Rectangular
Regions", 2 pages, June 1970.
STAN-CS-70-160 (CSL-TR-5, AD707762), T. H. Bredt and E. McCluskey, "A
Model for Parallel Computer Systems", 62 pages, April 1970.
STAN-CS-70-161 (SLACR-117, not at NTIS), L. J. Hoffman (Thesis), "The
Formulary Model for Access Control and Privacy in Computer Systems",
81 pages, May 1970.
STAN-CS-70-162 (SLACP-760, AD709564), R. H. Bartels, G. H. Golub and
M. A. Saunders, "Numerical Techniques in Mathematical Programming",
61 pages, May 1970.
STAN-CS-70-163 (AD708691), H. Malcolm, "An Algorithm for Floating-
Point Accumulation of Sums with Small Realative Error", 22 pages,
June 1970.
STAN-CS-70-164 (AD708692), V. I. Gordonova (translated by L.
Kaufman), "Estimates of the Roundoff Error in the Solution of a
System of Conditional Equations, by V. I. Gordonova", 16 pages, June
1970.
STAN-CS-70-165, H. Bauer and H. Stone, "The Scheduling of N Tasks
with M Operations on Two Processors", 34 pages, July 1970.
STAN-CS-70-166 (AIM-128, AD713841), E. J. Sandewall, "Representing
Natural-Language Information in Predicate Calculus", 27 pages, July
1970.
STAN-CS-70-167 (AIM-129, AD712460), S. Igarashi, "Semantics of ALGOL-
Like Statements", 95 pages, June 1970.
STAN-CS-70-168 (AIM-130, AD713252), M. Kelly (Thesis), "Visual
Identification of People by Computer", 138 pages, July 1970.
STAN-CS-70-169 (AIM-126, AD711329), D. Knuth, "Examples of Formal
Semantics", 35 pages, August 1970.
STAN-CS-70-170 (CSL-TR-6, AD711334), T. Bredt, "Analysis and
Synthesis of Concurrent Sequential Programs", 50 pages, May 1970.
STAN-CS-70-171 (CSL-TR-8, AD714202), T. Bredt, "A Survey of Models
for Parrallel Computing", 58 pages, August 1970.
STAN-CS-70-172 (CSL-TR-7, AD714180), T. Bredt, "Analysis of Parallel
Systems", 59 pages, August 1970.
STAN-CS-70-173 (CSL-TR-9, AD714181), T. Bredt, "The Mutual Exclusion
Problem", 68 pages, August 1970.
STAN-CS-70-174 (AIM-127, AD711395), Z. Manna and R. Waldinger,
"Towards Automatic Program Synthesis", 55 pages, August 1970.
STAN-CS-70-175 (AD713842), M. Malcolm, "A Description and Subroutines
for Computing Euclidean Inner Products on the IBM 360", 14 pages,
October 1970.
STAN-CS-70-176 (AIM-131, AD715128), E. A. Feigenbaum, B. C. Buchanan
and J. Lederberg, "On Generality and Problem Solving: A Case Study
Using the DENDRAL Program", 48 pages, September 1970.
STAN-CS-70-177 (AD715511), R. W. Floyd and D. E. Knuth, "The Bose-
Nelson Sorting Problem", 16 pages, October 1970.
STAN-CS-70-178 (not at NTIS), G. Forsythe and W. F. Miller, "Research
Review", 186 pages, October 1970.
STAN-CS-70-179 (AIM-135, AD716566), D. C. Smith, "MLISP", 99 pages,
October 1970.
STAN-CS-70-180 (AIM-132, AD715665), G. Falk (Thesis), "Computer
Interpretation of Imperfect Line Data as a Three-Dimensional Scene",
187 pages, October 1970.
STAN-CS-70-181 (AIM-133), A. C. Hearn, "Reduce 2 - User's Manual", 85
pages, October 1970.
STAN-CS-70-182 (AIM-134, AD748565), J. Tenenbaum (Thesis),
"Accomodation in Computer Vision", 452 pages, Septmeber 1970.
STAN-CS-70-183 (AIM-136, AD717600), G. M. White, "Machine Learning
Through Signature Trees...Application to Human Speech", 40 pages,
October 1970.
STAN-CS-70-184 (AD715512), M. Malcolm, "A Note on a Conjecture of J.
Mordell", 5 pages, October 1970.
STAN-CS-70-185 (TID22593), E. Nelson, "Graph Program Simulation", 175
pages, October 1970.
STAN-CS-70-186 (AIM-137, AD715513), D. E. Knuth, "An Empirical Study
of Fortran Programs", 50 pages, November 1970.
STAN-CS-70-187 (AD197154), G. Dantzig et al., "Mathematical
Programming Language (MPL) Specification Manual for Committee
Review", 82 pages, December 1970.
STAN-CS-70-188 (AIM-138, PB197161), E. Ashcroft and Z. Manna, "The
Translation of 'Go To' Programs to 'While' Programs", 28 pages,
December 1970.
STAN-CS-70-189 (AIM-139, AD717601), Z. Manna, "Mathematical Theory of
Partial Correctness", 24 pages, December 1970.
STAN-CS-70-190 (AD719398), J. Hopcroft, "An N Log N Algorithm for
Minimizing States in a Finite Automaton", 12 pages, December 1970.
STAN-CS-70-191 (SLACP-904, PB198494), V. Lesser, "An Introduction to
the Direct Emulation of Control Structures by a Parallel Micro-
Computer", 26 pages, December 1970.
STAN-CS-70-192 (AD719399), J. Hopcroft, "An N Log N Algorithm for
Isomorphism of Planar Triply Connected Graphs", 6 pages, December
1970.
STAN-CS-70-193 (AIM-140, not at NTIS), R. Schank, "Intention, Memory
and Computer Understanding", 59 pages, December 1970.
STAN-CS-70-194 (PB198495), D. E. Knuth, "The Art of Computer
Programming - Errata et Addenda", 28 pages, December 1970.
STAN-CS-70-195 (723871), B. L. Buzbee, F. W. Dorr, A. George and G.
H. Golub, "The Direct Solution of the Discrete Poisson Equation on
Irregular Regions", 30 pages, December 1970.
STAN-CS-70-196 (AD725167), C. B. Moler, "Matrix Computations with
Fortran and Paging", 13 pages, December 1970.
STAN-CS-71-197 (not at NTIS), D. E. Knuth and R. L. Sites, "Mix/360
User's Guide", 11 pages, January 1971.
STAN-CS-71-198 (AD726170), R. Brent (Thesis), "Algorithms for Finding
Zeros and Extrema of Functions without Calculating Derivatives", 250
pages, February 1971.
STAN-CS-71-199 (PB198415), Staff, "Bibliography of Stanford Computer
Science Reports 1963-1971", 28 pages, February 1971.
.next page
.once center
REPORTS 200 THRU 299
STAN-CS-71-200 (PB198416), J. G. Herriot and C. H. Peinsch, "ALGOL 60
Procedures for the Calculation of Interpolating Natural Spline
Functions", 30 pages, February 1971.
STAN-CS-71-201 (AD722434), J. Hopcroft and R. Tarjan, "Planarity
Testing in V Log V Steps: Extended Abstracts", 18 pages, February
1971.
STAN-CS-71-202 (SLAC-117, not at NTIS), H. J. Saal and W. Riddle,
"Communicating Semaphores", 21 pages, February 1971.
STAN-CS-71-203 (AIM-141, AD730506), B. Buchanan, E. Feigenbaum and J.
Lederberg, "The Heuristic DENDRAL Program for Explaining Empirical
Data", 20 pages, February 1971.
STAN-CS-71-204 (PB198510), D. Ingalls, "FETE - a Fortran Execution
Time Estimator", 12 pages, February 1971.
STAN-CS-71-205 (AIM-142, AD731383), Robin Milner, "An Algebraic
Definition of Simulation Between Programs", 20 pages, March 1971.
STAN-CS-71-206 (AD726158), D. E. Knuth, "Mathematical Analysis of
Algorithms", 26 pages, March 1971.
STAN-CS-71-207 (AD726169), J. Hopcroft and R. Tarjan, "Efficient
Algorithms for Graph Manipulation", 19 pages, March 1971.
STAN-CS-71-208 (AD726171), J. A. George (Thesis), "Computer
Implementation of the Finite Element Method", 220 pages, March 1971.
STAN-CS-71-209 (AIM-143, AD724867), J. McCarthy and Staff, "Project
Technical Report", 80 pages, March 1971.
STAN-CS-71-210 (PB201917), J. Gerry Purdy, "Access - a Program for
the Catalog and Access of Information", 28 pages, March 1971.
STAN-CS-71-211 (AD727104), M. Malcolm, "An Algorithm to Reveal
Properties of Floating-Point Arithmetic", 8 pages, March 1971.
STAN-CS-71-212 (AD727107), M. A. Morgana, "Time and Memory
Requirements for Solving Linear Systems", 7 pages, March 1971.
STAN-CS-71-213 (PB201629), R. Tarjan, "The Switchyard Problem:
Sorting Using Networks of Queues and Stacks", 13 pages, April 1971.
STAN-CS-71-214 (AD727108), R. L. Graham, D. E. Knuth and T. S.
Motzkin, "Complements and Transitive Closures", 6 pages, April 1971.
STAN-CS-71-215 (AD727115), M. Malcolm, "PL360 (Revised) - a
Programming Language for the IBM 360", 91 pages, May 1971.
STAN-CS-71-216 (AIM-147, AD732457), R. E. Kling, "Reasoning by
Analogy with Applications to Heuristics Problem Solving: a Case
Study", 180 pages, May 1971.
STAN-CS-71-217 (AIM-148, AD731730), E. A. Ashcroft, Z. Manna and A.
Pnueli, "Decidable Properties of Monadic Functional Schemas", 9
pages, May 1971.
STAN-CS-71-218 (AD731038), N. G. Debruijn, D. E. Knuth and S. O.
Rice, "The Average Height of Plane Trees", 7 pages, May 1971.
STAN-CS-71-219 (AIM-144, not at NTIS), Lynn Quam (Thesis), "Computer
Comparison of Pictures", 120 pages, May 1971.
STAN-CS-71-220 (CSL-4, AD727116), Harold Stone, "Dynamic Memories
with Enhanced Data Access", 32 pages, February 1971.
STAN-CS-71-221 (AIM-145, AD731729), B. G. Buchanan, E. Feigenbaum and
J. Lederberg, "A Heuristic Programming Study of Theory Formation in
Science", 41 pages, June 1971.
STAN-CS-71-222 (PB235417/AS), W. J. Meyers (Thesis), "Linear
Representation of Tree Structure (a Mathematical Theory of
Parenthesis-Free Notations)", 245 pages, June 1971.
STAN-CS-71-223 (PB203429), Susan Graham (Thesis), "Precedence
Languages and Bounded Right Context Languages", 192 pages, July 1971.
STAN-CS-71-224 (AIM-146, PB212183), A. Ershov, "Parallel
Programming", 15 pages, July 1971.
STAN-CS-71-225 (PB203344), Ake Bjorck and Gene Golub, "Numerical
Methods for Computing Angles Between Linear Subspaces", 30 pages,
July 1971.
STAN-CS-71-226 (SLAC-133), J. E. George, "SIMPLE - A Simple
Precedence Translator Writing System", 92 pages, July 1971.
STAN-CS-71-227 (SLAC-134), J. E. George (Thesis), "GEMS - A Graphical
Experimental Meta System", 184 pages, July 1971.
STAN-CS-71-228 (PB203343), Linda Kaufman, "Function Minimization and
Automatic Therapeutic Control", 30 pages, July 1971.
STAN-CS-71-229 (AD732766), E. H. Lee and G. E. Forsythe, "Variational
Study of Nonlinear Spline Curves", 22 pages, August 1971.
STAN-CS-71-230 (PB203601), R. L. Sites, "ALGOL With Reference
Manual", 141 pages, August 1971.
STAN-CS-71-231 (AIM-149, AD732644), Rod Schmidt (Thesis), "A Study of
the Real-Time Control of a Computer Driven Vehicle", 180 pages,
August 1971.
STAN-CS-71-232 (AD733073), C. B. Moler and G. W. Steward, "An
Algorithm for the Generalized Matrix Eigenvalue Problem", 50 pages,
August 1971.
STAN-CS-71-233 (not at NTIS), Wayne Wilner, "Declarative Semantic
Definition", 211 pages, August 1971.
STAN-CS-71-234 (not at NTIS), Gene H. Golub, "Some Modified
Eigenvalue Problems", 38 pages, September 1971.
STAN-CS-71-235 (AIM-150, not at NTIS), R. W. Floyd, "Toward Iterative
Design of Correct Programs", 12 pages, September 1971.
STAN-CS-71-236 (AD737648), G. H. Golub and George Styan, "Numerical
Computation for Univeariate Linear Models", 35 pages, September 1971.
STAN-CS-71-237 (CSL-TR-16, AD737270), D. C. Van Voorhis, "A
Generalization of the Divide-Sort-Merge Strategy for Sorting
Networks", 67 pages, September 1971.
STAN-CS-71-238 (CSL-TR-17, AD735901), D. C. Van Voorhis, "A Lower
Bound for Sorting Networks That Use the Divide-Sort-Merge Strategy",
13 pages, September 1971.
STAN-CS-71-239 (CSL-TR-18, AD736610), D. C. Van Voorhis, "Large
[g.d.] Sorting Networks", 84 pages, September 1971.
STAN-CS-71-240 (AIM-151, AD738568), Ralph London, "Correctness of Two
Compilers for a LISP Subset", 42 pages, October 1971.
STAN-CS-71-241 (AIM-152, AD732642), Alan Bierman, "On the Inference
of Turing Machines from Sample Computations", 31 pages, October 1971.
STAN-CS-71-242 (AIM-153, AD738569), Patrick Hayes, "The Frame Problem
and Related Problems in AI", 24 pages, November 1971.
STAN-CS-71-243 (AIM-154, AD738570), Z. Manna, S. Ness and J.
Vuillemin, "Inductive Methods for Proving Properties of Programs", 24
pages, November 1971.
STAN-CS-71-244 (AD738027), R. Tarjan (Thesis), "An Efficient
Planarity Algorithm", 154 pages, November 1971.
STAN-CS-71-245 (AIM-155, not at NTIS), John Ryder (Thesis),
"Heuristic Analysis of Large Trees as Generated in the Game of Go",
350 pages, November 1971.
STAN-CS-71-246 (AIM-156, AD740141), Ken Colby, S. Weber, Frank Hilf
and H. Kraemer, "A Resemblance Test for the Validation of a Computer
Simulation of Paranoid Processing", 30 pages, November 1971.
STAN-CS-71-247 (AIM-157, not at NTIS), Yorick Wilks, "On Small Head
-- Some Remarks on the Use of 'Model' in Linguistics", 16 pages,
December 1971.
STAN-CS-71-248 (AD739335), Michael Fredman and Donald Knuth,
"Recurrence Relations Based on Minimization", 35 pages, December
1971.
STAN-CS-71-249 (not at NTIS), Bary Pollack, "An Annotated
Bibliography on the Construction of Compilers", 140 pages, December
1971.
STAN-CS-71-250 (AIM-158, AD740127), Ashok Chandra and Zohar Manna,
"Program Schemas with Equality", 13 pages, December 1971.
STAN-CS-72-251 (CSL-TR-19, AD736814), Harold Stone, "An Efficient
Parallel Algorithm for the Solution of a Tridiagonal Linear System of
Equation", 24 pages, January 1972.
STAN-CS-72-252 (SU326 P30 14), M. A. Saunders, "Large-Scale Linear
Programming Using the Cholesky Factorization", 40 pages, January
1972.
STAN-CS-72-253 (AIM-159, not at NTIS), J. A. Feldman and P. C.
Shields, "Total Complexity and the Inference of Best Programs",
January 1972.
STAN-CS-72-254 (AD740330), G. E. Forsythe, "Von Neumann's Comparison
Method for Random Sampling from the Normal and Other Distributions",
19 pages, January 1972.
STAN-CS-72-255 (AIM-160, AD740140), J. A. Feldman, "Automatic
Programming", 20 pages, January 1972.
STAN-CS-72-256 (AD740331), V. Chvatal, "Edmonds Polyhedra and Weakly
Hamiltonian Graphs", 22 pages, January 1972.
STAN-CS-72-257 (PB208519), N. Wirth, "On Pascal, Code Generation, and
the CDC 6000 Computer", 39 pages, February 1972.
STAN-CS-72-258 (AD740332), Harold Brown, "Some Basic Machine
Algorithms for Integral Order Computations", 15 pages, February 1972.
STAN-CS-72-259 (PB208595), Clark A. Crane (Thesis), "Linear Lists and
Priority Queues as Balanced Binary Trees", 131 pages, February 1972.
STAN-CS-72-260 (AD740110), Vaughan R. Pratt (Thesis), "Shellsort and
Sorting Networks", 59 pages, February 1972.
STAN-CS-72-261 (SU326 P30 15), Gene H. Golub and Victor Pereyra, "The
Diffenentiation of Pseudoinverses and Nonlinear Least Squares Whose
Variables Separate", 35 pages, February 1972.
STAN-CS-72-262 (PB209357), Staff, "Bibliography", 36 pages, February
1972.
STAN-CS-72-263 (AD741189), David A. Klarner and Ronald Rivest, "A
Procedure for Improving the Upper Bound for the Number of n-Ominoes",
31 pages, February 1972.
STAN-CS-72-264 (AIM-161, AD741189), Yorick Wilks, "Artificial
Intelligence Approach to Machine Translation", 42 pages, February
1972.
STAN-CS-72-265 (AIM-162, AD744634), Neil Goldman, Roger Shank, Chuck
Rieger and Chris Riesbeck, "Primitive Concepts Underlying Verbs of
Thought", 80 pages, February 1972.
STAN-CS-72-266 (AIM-163, not at NTIS), Jean Cadiou (Thesis),
"Recursive Definitions of Partial and Functions and Their
Computation", 160 pages, March 1972.
STAN-CS-72-267 (PB209629), Pierre E. Bonzon, "MPL (An Appraisal Based
on Practical Experiment)", 26 pages, March 1972.
STAN-CS-72-268 (AD742348), V. Chvatal, "Degrees and Matchings", 16
pages, March 1972.
STAN-CS-72-269 (AD742747), David Klarner and R. Rado, "Arithmetic
Properties of Certain Recursively Defined Sets", 30 pages, March
1972.
STAN-CS-72-270 (PB209616), G. Golub, J. H. Wilkinson and R.
Underwood, "The Lanczos Algorithm for the Symmetric Ax = λ Bx
Problem", 21 pages, Marcy 1972.
STAN-CS-72-271 (not at NTIS), William E. Riddle (Thesis), "The
Modeling and Analysis of Supervisory Systems", 174 pages, March 1972.
STAN-CS-72-272 (AIM-164, AD742748), Zohar Manna and J. Vuillemin,
"Fixedpoint Approach to the Theory of Computation", 25 pages, March
1972.
STAN-CS-72-273 (PB209806), V. Chvatal and J. Sichler, "Chromatic
Automorphisms of Graphs", 12 pages, March 1972.
STAN-CS-72-274 (AD742749), D. Klarner and Richard Rado, "Linear
Combinations of Sets of Consecutive Integers", 12 pages, March 1972.
STAN-CS-72-275 (AD742750), David A. Klarner, "Sets Generated by
Iteration of a Linear Operation", 16 pages, March 1972.
STAN-CS-72-276 (AD745022), Linda Kaufman (Thesis), "A Generalized LR
Method to Solve Ax = Bx", 70 pages, April 1972.
STAN-CS-72-277 (SLAC-149, not at NTIS), C. T. Zahn, "Region
Boundaries on a Triangular Grid", 40 pages, April 1972.
STAN-CS-72-278 (SU326 P30-17), Paul Concus and Gene H. Golub, "Use of
Fast Direct Methods for the Efficient Numerical Solution of
Nonseparable Elliptic Equations", April 1972.
STAN-CS-72-279 (AD744313), Michael Osborne, "Topics in Optimization",
143 pages, April 1972.
STAN-CS-72-280 (AIM-165, AD742751), D. A. Bochvar, "Two Papers on
Partial Predicate Calculus", April 1972.
STAN-CS-72-281 (AIM-166, AD743598), Lynn Quam, Sydney Liebes, Robert
Tucker, Marsha Jo Hanna and Botond Eross, "Computer Interactive
Picture Processing", 41 pages, April 1972.
STAN-CS-72-282 (AIM-167, AD747254), Ashok K. Chandra, "Efficient
Compilation of Linear Recursive Programs", 40 pages, April 1972.
STAN-CS-72-283 (not at NTIS), David R. Stoutemyer, "Numerical
Implemtation of the Schwarz Alternating Procedure for Elliptic
Partial Differential Equations", 131 pages, May 1972.
STAN-CS-72-284 (O.R. 72-6, AD745778), V Chvatal, "Edmonds Polyhedra
and a Hierarchy of Combinatorial Problems", 49 pages, May 1972.
STAN-CS-72-285 (PB210910), Robert Floyd and Alan J. Smith, "A Linear
Time Two Tape Merge", 16 pages, May 1972.
STAN-CS-72-286 (PB211036), Ashok K. Chandra, "On the Solution of
Moser's Problem in 4 Dimensions, and Related Issues", 32 pages, May
1972.
STAN-CS-72-287 (AIM-168, AD746146), Shigaru Igarashi, "Admissibility
of Fixed-Point Induction in First-Order Logic of Typed Theories", 36
pages, May 1972.
STAN-CS-72-288 (AIM-169, not at NTIS), Robin Milner, "Logic for
Computable Functions: Description of a Machine Implementation", 36
pages, May 1972.
STAN-CS-72-289 (AIM-170, AD748607), Yorick Wilks, "Lakoff on
Linquistics and Natural Logic", 20 pages, June 1972.
STAN-CS-72-290 (AIM-171, AD746147), Roger Schank, "Adverbs and
Beliefs", 30 pages, June 1972.
STAN-CS-72-291 (AD746189), Donald E. Knuth, "Some Combinatorial
Lemmas", 21 pages, June 1972.
STAN-CS-72-292 (AD746150), V. Chvatal, D. A. Klarner and D. E. Knuth,
"Selected Combinatorial Research Problems", 31 pages, June 1972.
STAN-CS-72-293 (CSL-TN-32, PB212234), J. A. Lukes (Thesis),
"Combinatorial Solutions to Partitioning Problems", 130 pages, June
1972.
STAN-CS-72-294 (SLACP-1072), Harry J. Saal and Leonard J. Shustek,
"Microprogrammed Implementation of Computer Measurement Techniques",
20 pages, June 1972.
STAN-CS-72-295 (PB212130), C. C. Paige, "Bidiagonalization of
Matrices and Solution of Linear Equations", 27 pages, June 1972.
STAN-CS-72-296 (AD748606), Michael L. Fredman (Thesis), "Growth
Properties of a Class of Recursively Defined Functions", 84 pages,
June 1972.
STAN-CS-72-297 (PB212300), C. C. Paige, "An Error Analysis of a
Method for Solving Matrix Equations", 13 pages, June 1972.
STAN-CS-72-298 (CSL-TR-25), P. M. Kogge and H. S. Stone, "A Parallel
Algorithm for the Efficient Solution of a General Class of Recurrence
Equations", 33 pages, July 1972.
STAN-CS-72-299 (AIM-172, AD752801), Sylvia Weber Russell, "Semantic
Categories of Nominals for Conceptual Dependency Analysis of Natural
Language", 67 pages, July 1972.
.next page
.once center
REPORTS 300 THRU 399
STAN-CS-72-300 (CSL-TN-17, AD749848), Marc T. Kaufman,
"Counterexample of a Conjecture of Fujii, Kasami and Ninomiya", 5
pages, July 1972.
STAN-CS-72-301 (SU326 P30-21), Michael A. Saunders, "Product Form of
the Cholesky Factorization for Large-Scale Linear Programming", 35
pages, July 1972.
STAN-CS-72-302 (SU326 P30-19), G. H. Golub, "Some Uses of the Lanczos
Algorithm in Numerical Linear Algebra", 23 pages, August 1972.
STAN-CS-72-303 (AIM-174, PB212827), F. Lockwood Morris (Thesis),
"Correctness of Translations of Programming Languages - an Algebraic
Approach", 125 pages, August 1972.
STAN-CS-72-304 (SU326 P30-20), R. S. Anderssen and G. H. Golub,
"Richardson's Non-Stationary Matrix Iterative Procedure", 76 pages,
August 1972.
STAN-CS-72-305 (AIM-173, AD755139), Gerald Agin (Thesis),
"Representation and Description of Curved Objects", 125 pages, August
1972.
STAN-CS-72-306 (SU326 P23-X-2), Bary W. Pollack, "A Bibliography on
Computer Graphics", 145 pages, August 1972.
STAN-CS-72-307 (AIM-175, not at NTIS), Hozumi Tanaka, "Hadamard
Transform for Speech Wave Analysis", August 1972.
STAN-CS-72-308 (AIM-176, AD754109), J. A. Feldman, J. R. Low, R. H.
Taylor and D. C. Swinehart, "Recent Development in SAIL - an ALGOL
Based Language for Artificial Intelligence", 22 pages, August 1972.
STAN-CS-72-309 (CSL-TR-157, not at NTIS), V. Lesser (Thesis),
"Dynamic Control Structures and Their Use in Emulation", 251 pages,
August 1972.
STAN-CS-72-310 (CSL-TR-34, AD750671), Marc T. Kaufman, "Anomalies in
Scheduling Unit-Time Tasks", 22 pages, September 1972.
STAN-CS-72-311 (AIM-177, not at NTIS), Richard Paul (Thesis),
"Modelling, Trajectory Calculation and Servoing of a Computer
Controlled Arm", September 1972.
STAN-CS-72-312 (AIM-178, AD754108), Ahron Gill, "Visual Feedback and
Related Problems in Computer Controlled Hand-Eye Coordination", 134
pages, September 1972.
STAN-CS-72-313 (PB218353/1), Staff, "Bibliography of Computer Science
Reports", 42 pages, September 1972.
STAN-CS-72-314 (CSL-TR-43, PB212893), Peter M. Kogge (Thesis, Part
I), "Parallel Algorithms for the Efficient Solution of Recurrence
Problems", 74 pages, September 1972.
STAN-CS-72-315 (CSL-TR-44, PB212894), Peter M. Kogge (Thesis, Part
II), "The Numerical Stability of Parallel Algorithms for Solving
Recurrence Problems", 49 pages, September 1972.
STAN-CS-72-316 (CSL-TR-45, PB212828), Peter M. Kogge (Thesis, Part
III), "Minimal Paralellism in the Solution of Recurrence Problems",
45 pages, September 1972.
STAN-CS-72-317 (CSL-TR-26, AD750672), S. H. Fuller and F. Baskett,
"An Analysis of Drum Storage Units", 69 pages, October 1972.
STAN-CS-72-318 (AD755140), H. Brown, L. Masinter and L. Hjelmeland,
"Constructive Graph Labeling Using Double Cosets", 50 pages, October
1972.
STAN-CS-72-319 (SU326 P30-22), Gene H. Golub and James M. Varah, "On
a Characterization of the Best 1↓2 Scaling of a Matrix", 14 pages,
October 1972.
STAN-CS-72-320 (AIM-179), Bruce G. Baumgart, "Winged Edge Polyhedra
Representation", 46 pages, October 1972.
STAN-CS-72-321 (AIM-180, AD759712), Ruzena Bajcsy (Thesis), "Computer
Identification of Textured Visual Scenes", 156 pages, October 1972.
STAN-CS-72-322 (SU326 P30-23), P. E. Gill, G. H. Golub, W. Murray and
M. A. Saunders, "Methods for Modifying Matrix Factorizations", 62
pages, November 1972.
STAN-CS-72-323, Michael A. Malcolm and John Palmer, "A Fast Method
for Solving a Class of Tri-Diagonal Linear Systems" (also listed on
the abstract as "On the Lu Decomposition of Toeplitz Matrices"), 11
pages, November 1972.
STAN-CS-72-324 (CSL-TR-48, PB214612), Henry R. Bauer, III (Thesis),
"Subproblems of the m X n Sequencing Problem", 115 pages, November
1972.
STAN-CS-72-325 (AIM-181), Bruce G. Buchanan, "Review of Hubert
Dreyfus' What Computers Can't Do: A Critique of Artificial Reason",
14 pages, November 1972.
STAN-CS-72-326 (AIM-182, AD754107), Kenneth Mark Colby and Franklin
Dennis Hilf, "Can Expert Judges, Using Transcripts of Teletyped
Psychiatric Interviews, Distinguish Human Paranoid Patients from a
Computer Simulation of Paranoid Processes?", 12 pages, December 1972.
STAN-CS-72-327 (AD755138), David A. Klarner and Ronald L. Rivest,
"Asymptotic Bounds for the Number of Convex n-Ominoes", 15 pages,
December 1972.
STAN-CS-72-328 (CSL-TR-31, PB218929), Harold Gabow, "An Efficient
Implementation of Edmonds' Maximum Matching Algorithm", 68 pages,
December 1972.
STAN-CS-72-329 (PB218875), Isu Fang (Thesis), "Folds, A Declarative
Formal Language Definition System", 290 pages, December 1972.
STAN-CS-73-330 (AIM-184, AD758651), Malcolm Newey, "Axioms and
Theorems for Integers, Lists and Finite Sets in LCF", 53 pages,
January 1973.
STAN-CS-73-331 (AIM-187, AD757364), George Collins, "The Computing
Time of the Eulidian Algorithm", 17 pages, January 1973.
STAN-CS-73-332 (AIM-186, AD758645), Robin Milner, "Models of LCF", 17
pages, January 1973.
STAN-CS-73-333 (AIM-185, AD757367), Zohar Manna and Ashok Chandra,
"On the Power of Programming Features", 29 pages, January 1973.
STAN-CS-73-334 (AD757366), Michael A. Malcolm and Cleve B. Moler,
"URAND, A Universal Random Number Generator", 10 pages, January 1973.
STAN-CS-73-335 (SU326 P30-24), G. Golub and E. Seneta, "Computation
of the Stationary Distribution of an Infinite Markov Matrix", 12
pages, January 1973.
STAN-CS-73-336 (AIM-188, AD758646), Ashok K. Chandra (Thesis), "On
the Properties and Applications of Program Schemas", 225 pages,
January 1973.
STAN-CS-73-337 (AIM-189, PB218682), James Gips and George Stiny
"Aestehetics Systems", 22 pages, January 1973.
STAN-CS-73-338 (AD759713), David A Klarner, "A Finite Basis Theorem
Revisited", 10 pages, February 1973.
STAN-CS-73-339 (SU326 P30-25), Gene H. Golub and Warren Dent,
"Computation of the Limited Information Maximum Likelihood
Estimator", 27 pages, February 1973.
STAN-CS-73-340 (AIM-190, AD759714), Malcolm Newey, "Notes on a
Problem Involving Permutations as Subsequences", 20 pages, March
1973.
STAN-CS-73-341 (AIM-191, AD764272), Shmuel Katz and Zohar Manna, "A
Heuristic Approach to Program Verification", 40 pages, March 1973.
STAN-CS-73-342 (AD759715), Donald Knuth, "Matroid Partitioning", 12
pages, March 1973.
STAN-CS-73-343 (not at NTIS), David R. Levine (Thesis), "Computer-
Based Analytic Grading for German Grammar Instruction", 220 pages,
March 1973.
STAN-CS-73-344 (AIM-183, AD759716), Roger C. Schank, "The Fourteen
Primitive Actions and Their Inferences", 71 pages, March 1973.
STAN-CS-73-345 (AIM-192, not at NTIS), George Collins and Ellis
Horowitz, "The Minimum Root Separation of a Polynomial", 25 pages,
April 1973.
STAN-CS-73-346 (AIM-193, AD759717), Kenneth Mark Colby, "The Rational
for Computer Based Treatment of Language Difficulties in Nonspeaking
Autistic Children", 8 pages, April 1973.
STAN-CS-73-347 (AIM-194, PB221170/4), Kenneth M. Colby and Franklin
Dennis Hilf, "Multi Dimensional Analysis in Evaluating a Simulation
of Paranoid Thought Processes", 10 pages, April 1973.
STAN-CS-73-348 (SU326 P30-26, PB222513), V. Pereyra, "High Order
Finite Difference Solution of Differential Equations", 86 pages,
April 1973.
STAN-CS-73-349 (PB221115), Manuel Blum, Robert Floyd, Vaughn Pratt,
Ronald Rivest and Robert Tarjan, "Time Bounds for Selection", and
Robert Floyd and Ronald Rivest, "Expected Time Bounds for Selection",
51 pages, April 1973.
STAN-CS-73-350 (CSL-TR-53, AD761177), Marc T. Kaufman, "An Almost-
Optimal Algorithm for the Assmbly Line Scheduling Problem", 21 pages,
April 1973.
STAN-CS-73-351 (CSL-TR-27, AD761175), Samuel H. Fuller, "Performance
of an I/O Channel with Multiple Paging Drums", 8 pages, April 1973.
STAN-CS-73-352 (CSL-TR-28, AD761176), Samuel H. Fuller, "The Expected
Difference Between the SLTF and MTPT Drum Scheduling Disciplines", 6
pages, April 1973.
STAN-CS-73-353 (CSL-TR-29, AD761185), Samuel H. Fuller, "Random
Arrivals and MTPT Disc Scheduling Disciplines", 7 pages, April 1973.
STAN-CS-73-354 (PB221165/4), David A. Klarner, "The Number of SDR's
in Certain Regular Systems", 7 pages, April 1973.
STAN-CS-73-355 (CSL-TR-57, AD764598), Thomas G. Price, "An Analysis
of Central Processor Scheduling in Multiprogrammed Computer Systems",
8 pages, April 1973.
STAN-CS-73-356 (AIM-195, PB222164), David Canfield Smith and Horace
J. Enea, "MLISP2", 92 pages, May 1973.
STAN-CS-73-357 (AIM-196, AD762471), Neil M. Goldman and Christopher
K. Riesbeck, "A Conceptually Based Sentence Paraphraser", 88 pages,
May 1973.
STAN-CS-73-358 (AIM-197, AD762470), Roger C. Schank and Charles J.
Rieger III, "Inference and the Computer Understanding of Natural
Lanugage", 40 pages, May 1973.
STAN-CS-73-359 (CSL-TN-25, PB222064), Harold Stone, "A Note on a
Combinatorial Problem of Burnett and Coffman", 8 pages, May 1973.
STAN-CS-73-360 (CSL-TR-33, AD764014), Richard R. Muntz and Forest
Baskett, "Open, Closed and Mixed Networks of Queues with Different
Classes of Customers", 40 pages, May 1973.
STAN-CS-73-361 (Serra, AD764273), Harold Brown and Larry Masinter,
"An Algorithm for the Construction of the Graphs of Organic
Molecules", 25 pages, May 1973.
STAN-CS-73-362, appears in print as STAN-CS-73-398.
STAN-CS-73-363 (Serra, PB222099), Linda C. Kaufman (Thesis), "The LZ
Algorithm to Solve the Generalized Eigenvalue Problem", 101 pages,
May 1973.
STAN-CS-73-364 (AIM-198, AD763611), R. B. Thosar, "Estimation of
Probability Density Using Signature Tables for Application to Pattern
Recognition", 36 pages, May 1973.
STAN-CS-73-365 (AIM-200, AD767331), Shigeru Igarashi, Ralph L. London
and David C. Luckham, "Automatic Program Verification I: Logical
Basis and its Implementation", 50 pages, May 1973.
STAN-CS-73-366 (AIM-201, AD763673), Gunnar Rutger Grape (Thesis),
"Model Bases (Intermediate-Level) Computer Vision", 256 pages, May
1973.
STAN-CS-73-367 (AD763601), Ole Amble and Donald E. Knuth, "Ordered
Hash Tables", 34 pages, May 1973.
STAN-CS-73-368 (AIM-202, AD764396), Roger C. Schank and Yorick Wilks,
"The Goals of Linguistic Theory Revisited", 44 pages, May 1973.
STAN-CS-73-369 (AIM-203, AD764274), Roger C. Schank, "The Development
of Conceptual Structures in Children", 26 pages, May 1973.
STAN-CS-73-370 (AIM-205, AD764288), N.S. Sridharan, G. Gelernter,
A.J. Hart, W.F. Fowler and H.J. Shue, "A Heuristic Program to
Discover Syntheses for Complex Organic Molecules", 30 pages, June
1973.
STAN-CS-73-371 (AD223572/AS), Donald E. Knuth, "A review of
'Structured Programming' ", 25 pages, June 1973.
STAN-CS-73-372 (AD767970), Michael A. Malcolm (Thesis, part II),
"Nonlinear Spline Functions", 60 pages, June 1973.
STAN-CS-73-373 (AIM-204, AD765353/BWC), Kurt A. van Lehn (editor),
"SAIL User Manual", 200 pages, June 1973.
STAN-CS-73-374 (AD764275), Michael A. Malcolm (Thesis excerpt), "A
Machine-Independent ALGOL Procedure for Accurate Floating-Point
Summation", 5 pages, June 1973.
STAN-CS-73-375 (SU-326 P30-27), D. Fischer, G. Golub, O. Hald, C.
Levin and O. Widlund, "On Fourier-Toeplitz Methods for Separable
Elliptic Problems", 30 pages, June 1973.
STAN-CS-73-376 (SU326 P30-28), Gunter Meinardus and G. D. Taylor,
"Lower Estimates for the Error of Best Uniform Approximation", 20
pages, June 1973.
STAN-CS-73-377 (AIM-206, AD764652), Yorick Wilks, "Preference
Semantics", 20 pages, June 1973.
STAN-CS-73-378 (AIM-207, AD767333), James Anderson Moorer, "The
'Optimum-Comb' Method of Pitch Period Analysis in Speech", 25 pages,
June 1973.
STAN-CS-73-379 (AIM-208, AD767334), James Anderson Moorer, "The
Hetrodyne Filter as a Tool for Analysis of Transient Waveforms", 30
pages, June 1973.
STAN-CS-73-380 (AIM-209, AD767695/O WC), Yoram Yakimovsky (Thesis),
"Scene Analysis Using a Semantic Base for Region Growing", 120 pages,
June 1973.
STAN-CS-73-381 (AD767694), N. S. Sridharan, "Computer Generation of
Vertex-Graphs", 18 pages, July 1973.
STAN-CS-73-382 (AIM-210, AD767335), Zohar Manna and Amir Pnueli,
"Axiomatic Approach to Total Correctness of Programs", 26 pages, July
1973.
STAN-CS-73-383 (AIM-211, AD769673), Yorick Wilks, "Natural Language
Inference", 47 pages, July 1973.
STAN-CS-73-384 (AIM-212, AD769379), Annette Herskovits, "The
Generation of French from a Semantic Representation", 50 pages,
August 1973.
STAN-CS-73-385 (AIM-213, not at NTIS), R. B. Thosar, "Recognition of
Continuous Speech: Segmentation and Classification Using Signature
Table Adaptation", 37 pages, August 1973.
STAN-CS-73-386 (AIM-214, AD767332), W. A. Perkins and T. O. Binford,
"A Corner Finder for Visual Feed-Back", 59 pages, August 1973.
STAN-CS-73-387 (AIM-215, AD769380), Bruce G. Buchanan and N. S.
Sridharan, "Analysis of Behavior of Chemical Molecules: Rule
Formation on Non-Homogeneous Classes of Objects", 15 pages, August
1973.
STAN-CS-73-388 (CSL-TR-74, PB226044/AS), R. C. Swanson,
"Interconnections for Parallel Memories to Unscramble P-Ordered
Vectors", 52 pages, August 1973.
STAN-CS-73-389 (AIM-216, AD771299), L. Masinter, N. S. Sridharan, J.
Lederberg and D. H. Smith, "Applications of Artificial Intelligence
for Chemical Inference XII: Exhaustive Generation of Cyclic and
Acyclic Isomers", 60 pages, September 1973.
STAN-CS-73-390 (not at NTIS), James Gips, "A Construction for the
Inverse of a Turing Machine", 8 pages, Septermber 1973.
STAN-CS-73-391 (AIM-217, AD770610), N. S. Sridharan, "Search
Strategies for the Task of Organic Chemical Synthesis", 32 pages,
September 1973.
STAN-CS-73-392, Donald E. Knuth, "Sorting and Searching - Errata and
Addenda", 31 pages, October 1973.
STAN-CS-73-393 (AIM-218, AD772063/4WC), Jean Etienne Vuillemin
(Thesis), "Proof Techniques for Recursive Programs", 97 pages,
October 1973.
STAN-CS-73-394 (AIM-219, AD769674), C. A. R. Hoare, "Parallel
Programming: An Axiomatic Approach", 33 pages, October 1973.
STAN-CS-73-395, Staff, "Bibliography of Computer Science Reports", 48
pages, October 1973.
STAN-CS-73-396 (AIM-220, AD772064), Robert Bolles and Richard Paul,
"The Use of Sensory Feedback in a Programmable Assembly System", 24
pages, October 1973.
STAN-CS-73-397 (SU326 P30-28A), Peter Henrici, "Computational Complex
Analysis", 14 pages, October 1973.
STAN-CS-73-398 (AIM-199, AD771300), Bruce G. Baumgart, "Image
Contouring and Comparing", 52 pages, October 1973.
STAN-CS-73-399 (SU326 P30-29), C. C. Paige and M. A. Saunders,
"Solution of Spase Indefinite Systems of Equations and Least Squares
Problems", 47 pages, October 1973.
.next page
.once center
REPORTS 400 THRU 499
STAN-CS-73-400 (AIM-223, AD772509), C. A. R. Hoare, "Recursive Data
Structures", 32 pages, November 1973.
STAN-CS-73-401 (PB226691/AS), C. A. R. Hoare, "Monitors: An
Operating System Structuring Concept", 25 pages, November 1973.
STAN-CS-73-402 (PB229616/AS), J. G. Herriot and C. H. Reinsch, "ALGOL
60 Precedures for the Calculation of Interpolating Natural Quintic
Spline Functions", 40 pages, November 1973.
STAN-CS-73-403 (AIM-224, AD773391), C. A. R. Hoare, "Hints on
Programming Language Design", 29 pages, December 1973.
STAN-CS-74-404 (AD775452), N. S. Sridharan, "A Catalog of
Quadri/Trivalent Graphs", 48 pages, January 1974.
STAN-CS-74-405 (not at NTIS), R. Davis and M. Wright, "Stanford
Computer Science Department: Research Report", 38 pages, January
1974.
STAN-CS-74-406 (AIM-225, AD775645), W. A. Perkins, "Memory Model for
a Robot", January 1974.
STAN-CS-74-407 (AIM-226, AD778310), F. Wright, "FAIL Manual", 50
pages, February 1974.
STAN-CS-74-408 (AIM-227, AD-A003 483), Arthur Thomas and Thomas
Binford, "Information Processing Analysis of Visual Perception: a
review", 40 pages, February 1974.
STAN-CS-74-409 (AIM-228, AD776233), John McCarthy and Staff, "Final
Report: Ten Years of Research in Artificial Intelligence. An
Overview", February 1974.
STAN-CS-74-410 (CSL-TR-46, PB231926/AS), James L. Peterson (Thesis),
"Modelling of Parallel Systems", 241 pages, February 1974.
STAN-CS-74-411 (AIM-229), D. B. Anderson, T. O. Binford, A. J.
Thomas, R. W. Weyhrauch and Y. A. Wilks, "After Leibniz...:
Discussions on Philosophy and Artificial Intelligence", 50 pages,
March 1974.
STAN-CS-74-412 (AIM-230, AD786721), Daniel C. Swinehart (Thesis),
"COPILOT: A Multiple Process Approach to Interactive Programming
Systems", March 1974.
STAN-CS-74-413 (AIM-231, AD-A001 814), James Gips (Thesis), "Shape
Grammars and Their Uses", 243 pages, March 1974.
STAN-CS-74-414 (AIM-232, AD780452), Bruce G. Baumgart, "GEOMED: A
Geometric Editor", April 1974.
STAN-CS-74-415 (PB233065/AS), Ronald L. Rivest (Thesis), "Analysis of
Associative Retrieval Algorithms", 109 pages, April 1974.
STAN-CS-74-416 (PB233507/AS), Donald E. Knuth, "Structured
Programming with "Go To" Statements", 100 pages, April 1974.
STAN-CS-74-417 (PB234102/AS), Richard L. Sites, "Some Thoughts on
Proving That Programs Terminate Cleanly", 68 pages, May 1974.
STAN-CS-74-418 (PB233045/AS), Richard L. Sites (Thesis), "Proving
That Computer Programs Terminate Cleanly", 143 pages, May 1974.
STAN-CS-74-419 (AIM-233, AD-A000 086), Charles Rieger III (Thesis),
"Conceptual Memory: A Theory and Computer Program for Processing the
Meaning Content of Natural Language Utterances", 393 pages, May 1974.
STAN-CS-74-420 (CSL-TR-50, PB232543/AS), John Wakerly, "Partially
Self-Checking Circuits and Their Use in Performing Logical
Operations", 46 pages, May 1974.
STAN-CS-74-421 (CSL-TR-51, PB232356/AS), John Wakerly (Thesis), "Low-
Cost Error Detection Techniques for Small Computers", 232 pages, May
1974.
STAN-CS-74-422 (CSL-TR-79, NASA-TM-62,370), Harold Stone, "Parallel
Tri-Diagonal Equation Solvers", 42 pages, May 1974.
STAN-CS-74-423 (CSL-TN-41, PB232860/AS), Gururaj S. Rao, "Asymptotic
Representation of the Average Number of Active Modules in an N-Way
Interleaved Memory", 16 pages, May 1974.
STAN-CS-74-424 (CSL-TR-80, PB232602/AS), Maurice Schlumberger
(Thesis, chapter 1), "Logorithmic Communications Networks", 38 pages,
May 1974.
STAN-CS-74-425 (CSL-TR-81, PB232598/AS), Maurice Schlumberger
(Thesis, chapter 2), "Vulnerability of deBruijn Communications
Networks", 68 pages, May 1974.
STAN-CS-74-426 (CSL-TR-82, PB232597), Maurice Schlumberger, (Thesis,
chapter 3), "Queueing Equal Length Messages in a Logorithmic
Network", 75 pages, May 1974.
STAN-CS-74-427 (CSL-TN-36, PB232624/AS), Tomas Lang (Thesis excerpt),
"Performing the Perfect Schuffle in an Array Computer", 18 pages, May
1974.
STAN-CS-74-428 (CSL-TR-76, PB232633/AS), Tomas Lang (Thesis excerpt),
"Interconnections Between Precessors and Memory Modules Using the
Schuffle-Exchange Network", 32 pages, May 1974.
STAN-CS-74-429 (CSL-TR-70, PB232623/AS), Samuel E. Orcutt (Thesis
excerpt), "Efficient Data Routing Schemes for ILLIAC IV-Type
Computers", 31 pages, May 1974.
STAN-CS-74-430 (CSL-TR-71, PB234513/AS), Samuel E. Orcutt (Thesis
excerpt), "A Novel Parallel Computer Architecture and Some
Applications", 44 pages, May 1974.
STAN-CS-74-431 (AIM-234, not at NTIS), Kenneth Mark Colby and Roger
C. Parkison, "Pattern Matching Rules for the Recognition of Natural
Language Dialogue Expressions", 23 pages, May 1974.
STAN-CS-74-432 (AIM-235, AD-A006 898), Richard Weyhrauch and Arthur
Thomas, "FOL: A Proof Checker for First-Order Logic", 60 pages, May
1974.
STAN-CS-74-433 (AIM-236, AD784513), Jack R. Buchanan and David C.
Luckham, "On Automating the Construction of Programs", 65 pages, May
1974.
STAN-CS-74-434 (SU326 P30-31), Axel Ruhe and Per Ake Wedin,
"Algorithms for Separable Nonlinear Least Squares Problems", 50
pages, June 1974.
STAN-CS-74-435 (CSL-TR-88, A001-071), Thomas G. Price, "Balanced
Computer Systems", 56 pages, June 1974.
STAN-CS-74-436 (AIM-237, AD-A012 477), Yorick Wilks, "Natural
Language Understanding Systems Within the A.I. Paradigm -- A Survey
and Some Comparisons", 25 pages, July 1974.
STAN-CS-74-437 (AIM-238, AD-A005 040), C. K. Riesbeck (Thesis),
"Computational Understanding: Analysis of Sentences and Context",
245 pages, July 1974.
STAN-CS-74-438 (AIM-239, AD786720), Marsha Jo Hanna (Thesis),
"Computer Matching of Areas in Stereo Images", 99 pages, July 1974.
STAN-CS-74-439 (OR-74-7, SU326 P30-32), Richard W. Cottle, Gene H.
Golub and R. S. Sacher, "On the Solution of Large, Structured Linear
Complementarity Problems: III", 87 pages, July 1974.
STAN-CS-74-440 (PB237360/AS), James H. Morris, Jr., Vaughn R. Pratt
and Donald E. Knuth, "Fast Pattern Matching in Strings", 32 pages,
July 1974.
STAN-CS-74-441 (AD-A000 284), Donald E. Knuth and Ronald W. Moore,
"An Analysis of Alpha-Beta Pruning", 64 pages, July 1974.
STAN-CS-74-442 (AD-A004 208), Donald E. Knuth, "Estimating the
Efficiency of Backtrack Programs", 30 pages, July 1974.
STAN-CS-74-443 (PB-236 471/AS), Douglas K. Brotz (Thesis), "Embedding
Heuristic Problem Solving Methods in a Mechanical Theorem Prover",
107 pages, July 1974.
STAN-CS-74-444 (AIM-240, AD787035), C. C. Green, R. J. Waldinger, D.
R. Barstow, R. Elschlager, D. B. Lenat, B. P. McCune, D. E. Shaw and
L. I. Steinberg, "Progress Report on Program-Understanding Systems",
50 pages, July 1974.
STAN-CS-74-445 (SLACP-1448), J. H. Friedman, F. Baskett and L. J.
Shustek, "A Relatively Efficient Algorithm for Finding Nearest
Neighbors", 21 pages, September 1974.
STAN-CS-74-446 (AIM-241, AD786723), L. Aiello and R. W. Weyhrauch,
"LCFsmall: An Implementation of LCF", 45 pages, September 1974.
STAN-CS-74-447 (AIM-221, AD787631), L. Aiello, M. Aiello and R. W.
Weyhrauch, "Semantics of Pascal in LCF", 78 pages, September 1974.
STAN-CS-74-448 (SU326 P30-33), D. Goldfarb, "Matrix Factorizations in
Optimization of Nonlinear Functions Subject to Linear Constraints",
45 pages, September 1974.
STAN-CS-74-449 (CSL-TR-89, AD785027), A. Smith (Thesis), "Performance
Analysis of Computer Systems Components", 323 pages, September 1974.
STAN-CS-74-450 (CSL-TR-90, AD787008), F. Baskett and A. J. Smith
(Thesis, chapter 3), "Interference in Multiprocessor Computer Systems
with Interleaved Memory", 45 pages, September 1974.
STAN-CS-74-451 (CSL-TR-91, AD786999), A. Smith (Thesis, chapter 5),
"A Modified Working Set Paging Algorithm", 40 pages, October 1974.
STAN-CS-74-452 (AIM-242, AD-A000 500), J. R. Low (Thesis), "Automatic
Coding: Choice of Data Structures", 110 pages, September 1974.
STAN-CS-74-453 (AD-A000 034), Donald E. Knuth, "Random Matroids", 30
pages, September 1974.
STAN-CS-74-454 (SU326 P30-35), L. S. Jennings, "A Computational
Approach to Simultaneous Estimation", 15 pages, September 1974.
STAN-CS-74-455 (AD-A000 083), Robert E. Tarjan, "Edge-Disjoint
Spanning Trees, Dominators, and Depth-First Search", 40 pages,
September 1974.
STAN-CS-74-456 (AIM-243, AD-A003 815), R. Finkel, R. Taylor, R.
Bolles, R. Paul and J. Feldman, "AL, A Programming System for
Automation: Preliminary Report", 117 pages, October 1974.
STAN-CS-74-457 (AIM-244, not at NTIS), K. M. Colby, "Ten Criticisms
of Parry", 7 pages, October 1974.
STAN-CS-74-458 (AIM-245, AD784816), J. Buchanan (Thesis), "A Study in
Automatic Programming", 146 pages, October 1974.
STAN-CS-74-459 (AIM-246, AD-A000 085), Terry Winograd, "Five Lectures
on Artificial Intelligence", 95 pages, October 1974.
STAN-CS-74-460 (PB238148/AS), T. Porter and I. Simon, "Random
Insertion into a Priority Queue Structure", 25 pages, October 1974.
STAN-CS-74-461 (AIM-247, AD-A005 041), N. M. Goldman (Thesis),
"Computer Generation of Natural Language from a Deep Conceptual
Base", 316 pages, October 1974.
STAN-CS-74-462 (AIM-248), K. Pingle and A. J. Thomas, "A Fast,
Feature-Driven Stereo Depth Program", 15 pages, October 1974.
STAN-CS-74-463 (AIM-249, AD-A002 261), Bruce Baumgart (Thesis),
"Geometric Modeling for Computer Vision", 141 pages, November 1974.
STAN-CS-74-464 (AIM-250, AD-A003 488), Ramakant Nevatia (Thesis),
"Structured Descriptions of Complex Curved Objects for Recognition
and Visual Memory", 125 pages, November 1974.
STAN-CS-74-465 (AIM-251, AD-A001 373), E. H. Shortliffe (Thesis),
"MYCIN: A Rule-Based Computer Program for Advising Physicians
Regarding Antimicrobial Therapy Selection", 409 pages, November 1974.
STAN-CS-74-466 (AIM-252, AD-A002 246), Lester Earnest (editor),
"Recent Research in Artificial Intelligence, Heuristic Programming,
and Network Protocols", 79 pages, November 1974.
STAN-CS-74-467 (AIM-222, AD-A007 562), M. Aiello and R. Weyhrauch,
"Checking Proofs in the Meta-Mathematics of First Order Logic", 55
pages, November 1974.
STAN-CS-74-468 (AD-A003 832), S. Krogdahl, "A Combinatorial Base for
Some Optimal Matroid Intersection Algorithms", 25 pages, November
1974.
STAN-CS-74-469, H. Brown, "Molecular Structure Elucidation III", 38
pages, December 1974.
STAN-CS-74-470, L. Trabb Prado, "Stable Sorting and Merging with
Optimal Time and Space Bounds", 75 pages, December 1974.
STAN-CS-74-471 (AIM-253, AD-A003 487), B. Faught, K. M. Colby and R.
C. Parkison, "The Interaction of Inferences, Affects, and Intentions
in a Model of Paranoia", 38 pages, December 1974.
STAN-CS-74-472 (AIM-254, AD-A005 407), L. H. Quam and M. J. Hannah,
"Stanford Automatic Photogrammetry Research", 15 pages, December
1974.
STAN-CS-74-473 (AIM-255, AD-A005 412), N. Suzuki, "Automatic Program
Verification II: Verifying Programs by Algebraic and Logical
Reduction", 28 pages, December 1974.
STAN-CS-74-474 (AIM-256, AD-A007 563), F. W. von Henke and D. C.
Luckham, "A Methodology for Verifying Programs", 45 pages, December
1974.
STAN-CS-75-475 (AIM-257, AD-A005 413), M. C. Newey (Thesis), "Formal
Semantics of LISP with Applications to Program Correctness", 184
pages, January 1975.
STAN-CS-75-476 (AIM-258, AD-A006 294), Cordell Green and David
Barstow, "A Hypothetical Dialogue Exhibiting a Knowledge Base for a
Program-Understanding System", 45 pages, January 1975.
STAN-CS-75-477 (not at NTIS), V. Chvatal and D. Sankoff, "Longest
Common Subsequences of Two Random Sequences", 18 pages, January 1975.
STAN-CS-75-478 (SU326 P30-36), G. H. Golub and J. H. Wilkinson, "Ill-
Conditioned Eigensystems and the Computation of the Jordan Canonical
Form", 66 pages, February 1975.
STAN-CS-75-479 (SU326 P30-38), F. Chatelin and J. Lemordant, "Error
Bounds in the Approximation of Eigenvalues of Differential and
Integral Operators", 24 pages, February 1975.
STAN-CS-75-480 (A008804), Donald E. Knuth, "Notes on Generalized
Dedekind Sums", 45 pages, February 1975.
STAN-CS-75-481 (SU326 P30-39), J. Oliger, "Difference Methods for the
Initial-Boundary Value Problem for Hyperbolic Equations", 31 pages,
February 1975.
STAN-CS-75-482 (SLACP-1549, not at NTIS), J. A. Friedman, J. L.
Bentley and R. A. Finkel, "An Algorithm for Finding Best Matches in
Logarithmic Time", 31 pages, March 1975.
STAN-CS-75-483 (AD-A011 835), P. Erdos and R. L. Graham, "On Packing
Squares with Equal Squares", 8 pages, March 1975.
STAN-CS-75-484 (AD-A011 832), R. L. Graham and E. Szemeredi, "On
Subgraph Number Independence in Trees", 18 pages, March 1975.
STAN-CS-75-485 (AD-A011 834), P. Erdos and E. Szemeredi, "On
Multiplicative Representations of Integers", 18 pages, March 1975.
STAN-CS-75-486 (SU326 P30-37), A. Bjorck and G. H. Golub,
"Eigenproblems for Matrices Associated with Periodic Boundary
Conditions", 19 pages, March 1975.
STAN-CS-75-487 (SLACP-1573), J. H. Friedman, "A Variable Metric
Decision Rule for Non-Parametric Classification", 34 pages, April
1975.
STAN-CS-75-488 (AD-A011 445), B. Bollobas, P. Erdos and E. Szemeredi,
"On Complete Subgraphs of r-Chromatic Graphs", 16 pages, April 1975.
STAN-CS-75-489 (AD-A011 833), E. Szemeredi, "Regular Partitions of
Graphs", 8 pages, April 1975.
STAN-CS-75-490 (AD-A014 429), R. William Gosper, "Numerical
Experiments with the Spectral Test", 31 pages, May 1975.
STAN-CS-75-491, G. D. Knott (Thesis), "Deletion in Binary Storage
Trees", 93 pages, May 1975.
STAN-CS-75-492, R. Sedgewick (Thesis), "Quicksort", 352 pages, May
1975.
STAN-CS-75-493 (PB244421/AS), R. Kurki-Suonio, "Describing Automata
in Terms of Languages Associated with Their Peripheral Devices", 37
pages, May 1975.
STAN-CS-75-494, E. H. Satterthwaite, Jr. (Thesis), "Source Language
Debugging Tools", 345 pages, May 1975.
STAN-CS-75-495 (AD-A014 424), S. Krogdahl, "The Dependence Graph for
Bases in Matroids", 29 pages, May 1975.
STAN-CS-75-496 (SU326 P30-41), R. Underwood (Thesis), "An Iterative
Block Lanczos Method for the Solution of Large Sparse Symmetric
Eigenproblems", 133 pages, May 1975.
STAN-CS-75-497 (AD-A016 825), R. L. Graham and L. Lovasz, "Distance
Matrices of Trees", 48 pages, August 1975.
STAN-CS-75-498 (AIM-259, AD-A017 025), H. Samet (Thesis),
"Automatically Proving the Correctness of Translations Involving
Optimized Code", 214 pages, August 1975.
STAN-CS-75-499 (AIM-260), D. C. Smith (Thesis), "PYGMALION: A
Creative Programming Environment", 193 pages, August 1975.
.next page
.once center
REPORTS 500 THRU 599
STAN-CS-75-500 (PB246708/AS), R. Kurki-Suonio, "Towards Better
Definitions of Programming Languages", 29 pages, August 1975.
STAN-CS-75-501 (AIM-261, AD-A016 810), O. Pettersen, "Procedural
Events as Software Interrupts", 8 pages, August 1975.
STAN-CS-75-502 (AIM-262, AD-A016 808), O. Pettersen, "Synchronization
of Concurrent Processes", 14 pages, August 1975.
STAN-CS-75-503 (AIM-263, AD-A016 807), O. Pettersen, "The Macro-
Processing System STAGE2", 20 pages, August 1975.
STAN-CS-75-504 (AD-A017 370), P. Erdos, R. L. Graham and E.
Szemeredi, "On Sparse Graphs with Dense Long Paths", 14 pages, August
1975.
STAN-CS-75-505 (AD-A017 053), V. Chvatal, "Some Linear Programming
Aspects of Combinatorics", 30 pages, August 1975.
STAN-CS-75-506 (AIM-264, AD-A017 176), M. Gordon, "Operational
Reasoning and Denotational Semantics", 30 pages, August 1975.
STAN-CS-75-507 (AIM-265), M. Gordon, "Towards a Semantic Theory of
Dynamic Binding", 25 pages, August 1975.
STAN-CS-75-508, James Eve, "On Computing the Transitive Closure of a
Relation", 14 pages, August 1975.
STAN-CS-75-509 (AD-A017 331), M. Overton and A. Proskurowski,
"Finding the Maximal Incidence Matrix of a Large Graph", 72 pages,
August 1975.
STAN-CS-75-510 (AD-A017 054), A. C. Yao and D. E. Knuth, "Analysis of
the Subtractive Algorithm for Greatest Common Divisors", 10 pages,
August 1975.
STAN-CS-75-511 (AD-A017 294), P. Dubost and J. M. Trousse, "Software
Implementation of a New Method of Combinatorial Hashing", 35 pages,
August 1975.
STAN-CS-75-512 (PB247895/AS), Robert E. Tarjan, "Applications of Path
Compression on Balanced Trees", 53 pages, October 1975.
STAN-CS-75-513 (SLACR-186), J. L Bentley, "A Survey of Techniques for
Fixed Radius Near Neighbor Searching", 30 pages, October 1975.
STAN-CS-75-514 (PB247561/AS), N. Tokura, "A Microprogram Control Unit
Based on a Tree Memory", 39 pages, October 1975.
STAN-CS-75-515, R. P. Brent, "Fast Multiple-Precision Evaluation of
Elementary Functions", 22 pages, October 1975.
STAN-CS-75-516 (SU326 P30-42), J. Stoer, "On the Relation Between
Quadratic Termination and Convergence Properties of Minimization
Algorithms", 103 pages, October 1975.
STAN-CS-75-517, V. Chvatal and C. Thomassen, "Distances in
Orientations of Graphs", 24 pages, October 1975.
STAN-CS-75-518 (AD-A018 461), V. Chvatal and P. L. Hammer,
"Aggregation of Inequalities in Integer Programming", 27 pages,
October 1975.
STAN-CS-75-519 (AIM-266, AD-A019 641), R. Davis, B. Buchanan and E.
Shortliffe, "Production Rules as a Representation for a Knowledge-
Based Consultation Program", 37 pages, November 1975.
STAN-CS-75-520 (AIM-267, AD-A019 664), F. W. von Henke, "On the
Representation of Data Structures in LCF with Applications to Program
Generation", 41 pages, November 1975.
STAN-CS-75-521 (AIM-268), C. Thompson, "Depth Perception in Stereo
Computer Vision", 16 pages, November.
STAN-CS-75-522 (AIM-269, AD-A019 569), D. C. Luckham and N. Suzuki,
"Automatic Program Verification IV: Proof of Termination Within a
Weak Logic of Programs", 39 pages, November 1975.
STAN-CS-75-523 (AIM-270, AD-A019 467), J. F. Reiser, "BAIL -- A
Debugger for SAIL", 26 pages, November 1975.
STAN-CS-75-524 (AIM-271, AD-A019 702), R. Davis and J. King, "An
Overview of Production Systems", 40 pages, November 1975.
STAN-CS-75-525 (AIM-272), S. Ganapathy (Thesis), "Reconstruction of
Secnes Containing Polyhedra from Stereo Pair of Views", 204 pages,
November 1975.
STAN-CS-75-526 (AD-A020 848), Robert E. Tarjan, "Graph Theory and
Gaussian Elimination", 23 pages, November 1975.
STAN-CS-75-527 (CSL-TR-100, not at NTIS), E. McCluskey, J. Wakerley
and R. Ogus, "Center for Reliable Computing", 100 pages, November
1975.
STAN-CS-75-528 (AD-A020 597), Robert E. Tarjan, "Solving Path
Problems on Directed Graphs", 45 pages, November 1975.
STAN-CS-75-529 (SLACP-1665), J. L. Bentley and J. H. Friedman, "Fast
Algorithms for Constructing Minimal Spanning Trees in Coordinate
Spaces", 29 pages, November 1975.
STAN-CS-75-530 (SU326 P30-40), M. Lentini and V. Pereyra, "An
Adaptive Finite Difference Solver for Nonlinear Two Point Boundary
Problems with Mild Boundary Layers", 42 pages, November 1975.
STAN-CS-75-531 (AD-A020 847), D. J. Rose and R. E. Tarjan,
"Algorithmic Aspects of Vertex Elimination on Directed Graphs", 45
pages, November 1975.
STAN-CS-75-532, Pat E. Jacobs (staff), "Bibliography of Computer
Science Reports", 77 pages, November 1975.
STAN-CS-76-533 (LBL-4604, SU326 P30-44), P. Concus, G. H. Golub and
D. P. O'Leary, "A Generalized Conjugate Gradient Method for the
Numerical Solution of Elliptic Partial Differential Equations", 24
pages, January 1976.
STAN-CS-76-534 (AIM-273), Linda G. Hemphill (Thesis), "A Conceptual
Approach to Automatic Language Understanding and Belief Structures:
With Disambiguation of the Word 'For' ", 254 pages, January 1976.
STAN-CS-76-535, P. Concus and G. H. Golub, "A Generalized Conjugate
Gradient Method for Non-Selmmetric Systems of Linear Equations", 12
pages, January 1976.
STAN-CS-76-536 (AIM-274, AD-A020 942/9WC), David Grossman and Russell
Taylor, "Interactive Generation of Object Models with a Manipulator",
32 pages, January 1976.
STAN-CS-76-537 (AIM-275, AD-A020 943/7WC), Robert C. Bolles,
"Verification Vision Within a Programmable Assembly System: An
Introductory Discussion", 82 pages, January 1976.
STAN-CS-76-538 (AD-A024 416), Donald E. Knuth and L. Trabb Pardo,
"Analysis of a Simple Factorization Algorithm", 43 pages, January
1976.
STAN-CS-76-539 (AIM-276, AD-A021 055/9WC), Zohar Manna and Adi
Shamir, "A New Approach to Recursive Programs", 26 pages, January
1976.
STAN-CS-76-540 (AD-A021 587), R. L. Graham, A. C. Yao and F. F. Yao,
"Addition Chains with Multiplicative Cost", 7 pages, January 1976.
STAN-CS-76-541, Donald E. Knuth, "Mathematics and Computer Science:
Coping with Finiteness", 30 pages, March 1976.
STAN-CS-76-542 (AIM-277, AD-A027 454), Zohar Manna and Adi Shamir,
"The Theoretical Aspects of the Optimal Fixedpoint", 24 pages, March
1976.
STAN-CS-76-543, D. A. Zave, "Optimal Polyphase Sorting", 75 pages,
March 1976.
STAN-CS-76-544, B. Mont-Reynaud, "Removing Trivial Assignments from
Programs", 28 pages, March 1976.
STAN-CS-76-545, W. J. Paul, R. E. Tarjan and J. R. Celoni, "Space
Bounds for a Game on Graphs", 21 pages, March 1976.
STAN-CS-76-546 (SLACP-1715), F. Baskett and L. Sustek, "The Design of
a Low Cost Video Graphics Terminal", 25 pages, March 1976.
STAN-CS-76-547, Robert E. Tarjan, "Iterative Algorithms for Global
Flow Analysis", 31 pages, March 1976.
STAN-CS-76-548, D. Prost O'Leary (Thesis), "Hybrid Conjugate Gradient
Algorithms", 120 pages, March 1976.
STAN-CS-76-549 (AIM-278, AD-A027 455), David Luckham and Norihisa
Suzuki, "Automatic Program Verification V: Verification-Oriented
Proof Rules or Arrays, Records and Pointers", 48 pages, March 1976.
STAN-CS-76-550, R. E. Tarjan and A. E. Trojanowski, "Finding a
Maximum Independent Set", 22 pages, June 1976.
STAN-CS-76-551 (AD-A032 347), Donald E. Knuth, "The State of the Art
of Computer Programming", 57 pages, June 1976.
STAN-CS-76-552 (AIM-279), Norihsa Suzuki (Thesis), "Automatic
Verification of Programs with Complex Data Structures", 194 pages,
February 1976.
STAN-CS-76-553 (AD-A032 772), R. E. Tarjan, "Complexity of Monotone
Networks for Computing Conjunctions", 21 pages, June 1976.
STAN-CS-76-554, F. S. Yu (Thesis), "Modeling the Write Behavior of
Computer Programs", 185 pages, June 1976.
STAN-CS-76-555 (AIM-280), David D. Grossman, "Monte Carlo Simulation
of Tolerancing in Discrete Parts Manufacturing and Assembly", 25
pages, May 1976.
STAN-CS-76-556, L. J. Guibas (Thesis), "The Analysis of Hashing
Algorithms", 136 pages, August 1976.
STAN-CS-76-557 (AD-A032 122), M. S. Paterson, "An Introduction to
Boolean Function Complexity", 19 pages, August 1976.
STAN-CS-76-558 (AIM-281.1, AD-A042 507), Zohar Manna and Richard
Waldinger, "Is 'sometime' sometimes better than 'always'?
Intermittent assertions in proving program correctness", 41 pages,
June 1976, revised March 1977.
STAN-CS-76-559 (AD-A032 348), Gene Golub, V. Klema and G. W. Stewart,
"Rank Degeneracy and Least Squares Problems", 38 pages, August 1976.
STAN-CS-76-560 (AIM-282), Russell Taylor (Thesis), "Synthesis of
Manipulator Control Programs from Task-level Specifications", 229
pages, July 1976.
STAN-CS-76-561, D. R. Woods, "Mathematical Programming Language:
User's Guide", 139 pages, August 1976.
STAN-CS-76-562 (AD-A032 123), Donald E. Knuth and L. Trabb Prado,
"The Early Development of Programming Languages", 109 pages, August
1976.
STAN-CS-76-563, D. L. Russell (Thesis), "State Restoration Among
Communicating Processes", 173 pages, August 1976.
STAN-CS-76-564 (AIM-283), Randall Davis (Thesis), "Applications of
Meta Level Knowledge to the Construction, Maintenance and Use of
Large Knowledge Bases", 304 pages, July 1976.
STAN-CS-76-565 (AD-A032 802), J. C. Strikwerda (Thesis), "Initial
Boundary Value Problems for Incompletely Parabolic Systems", 107
pages, November 1976.
STAN-CS-76-566, Margaret Wright (Thesis), "Numerical Methods for
Nonlinearly Constrained Optimization", 262 pages, November 1976.
STAN-CS-76-567 (AIM-284), Rafael Finkel (Thesis), "Constructing and
Debugging Manipulator Programs", 171 pages pages, August 1976.
STAN-CS-76-568 (AIM-285, PB-259 130/2WC), T. O. Binford, D. D.
Grossman, C. R. Lui, R. C. Bolles, R. A. Finkel, M. S. Mujtaba, M. D.
Roderick, B. E. Shimano, R. H. Taylor, R. H. Goldman, J. P. Jarvis,
V. D. Scheinman, T. A. Gafford, "Exploratory Study of Computer
Integrated Assembly Systems - Progress Report 3", 336 pages, August
1976.
STAN-CS-76-568-4 (AIM-285.4, PB-259 130/3WC), T. O. Binford, C. R.
Lui, G. Gini, M. Gini, I. Glaser, T. Ishida, M. S. Mujtaba, E.
Nakano, H. Nabavi, E. Panofsky, B. E. Shimano, R. Goldman, V. D.
Scheinman, D. Schmelling, T. A. Gafford, "Exploratory Study of
Computer Integrated Assembly Systems - Progress Report 4", 255 pages,
June 1977.
STAN-CS-76-569 (PB-261 814/AS), John G. Herriot, "Calculation of
interpolating Natural Spline Functions Using De Boor's Package for
Calculating with B-Splines", 46 pages, November 1976.
STAN-CS-76-570 (AIM-286), Douglas Lenat (Thesis), "AM: An Artificial
Intelligence Approach to Discovery in Mathematics as Heuristic
Search", 350 pages, July 1976.
STAN-CS-76-571 (AIM-287), Michael Roderick (Thesis), "Discrete
Control of a Robot Arm", 98 pages, August 1976.
STAN-CS-76-572 (AIM-288), Robert Filman and Richard Weyhrauch, "An
FOL Primer", 36 pages, September 1976.
STAN-CS-76-573 (AD-A032 945), Arne Jonassen, "The Stationary P-Tree
Forest", 90 pages, November 1976.
STAN-CS-76-574 (AIM-289), John Reiser (editor), "SAIL Manual", 178
pages, August 1976.
STAN-CS-76-575 (AIM-290, AD-A042 494), Nancy W. Smith, "SAIL
Tutorial", 54 pages, November 1976.
STAN-CS-76-576 (AD-A035 350), Colin McDiarmid, "Determining the
Chromatic Number of a Graph", 61 pages, December 1976.
STAN-CS-76-577 (AIM-291, AO44 713), Bruce Buchanan, Joshua Lederberg
and John McCarthy, "Three Reviews of J. Weizenbaum's Computer Power
and Human Reason", 28 pages, November 1976.
STAN-CS-76-578 (AD-A035 219), Joseph Oliger and Arne Sundstrom,
"Theoretical and Practical Aspects of Some Initial-Boundary Value
Problems in Fluid Dynamics", 62 pages, December 1976.
STAN-CS-76-579 (SLACP-1826), Forest Basket and Abbas Rafii, "The A0
Inversion Model of Program Paging Behavior", 30 pages, December 1976.
STAN-CS-76-580 (AIM-292), Terry Winograd, "Towards a Procedural
Understanding of Semantics", 30 pages, October 1976.
STAN-CS-76-581 (AIM-293, AD-A042 508), Daniel Bobrow and Terry
Winograd, "An Overview of KRL", 40 pages, November 1976.
STAN-CS-76-582 (AD-A038 863), V. Chvatal, M. R. Garey, and D. S.
Johnson, "Two Results Concerning Multicoloring", 9 pages, December
1976.
STAN-CS-77-583 (AD-A038 864), V. Chvatal, "Determining the Stability
Number of a Graph", 39 pages, February 1977.
STAN-CS-77-584 (AD-A038 865), Donald E. Knuth, "Deletions That
Preserve Randomness", 32 pages, February 1977.
STAN-CS-77-585, P. Concus, G. H. Golub and D. O'Leary, "Numerical
Solution of Nonlinear Elliptic Partial Differential Equations by a
Generalized Conjugate Gradient Method", 43 pages, February 1977.
STAN-CS-77-586 (AIM-294, AD-A042 516), Nachum Dershowitz and Zohar
Manna, "The Evolution of Programs: A System for Automatic Program
Modification", 45 pages, February 1977.
STAN-CS-77-587 (AD-A038 867), M. R. Garey, R. L. Graham, D. S.
Johnson, and D. E. Knuth, "Complexity Results for Bandwidth
Minimization", 36 pages, February 1977.
STAN-CS-77-588 (PB-266 381/AS), Tony Fan C. Chan, "On Computing the
Singular Value Decomposition", 57 pages, February 1977.
STAN-CS-77-589 (HPP-77-2, AD-A038 866), Robert S. Engelmore and H. P.
Nii, "A Knowledge-Based System for the Interpretation of Protein X-
Ray Crystallographic Data", 36 pages, February 1977.
STAN-CS-77-590 (AD-A038 868), Donald E. Knuth and Michael S.
Paterson, "Identities from Partition Involutions", 22 pages, February
1977.
STAN-CS-77-591 (AIM-295), Robert C. Bolles (Thesis), "Verification
Vision Within a Programmable Assembly System", 245 pages, February
1977.
STAN-CS-77-592 (AIM-296), Robert Cartwright, Jr. (Thesis), "A
Practical Formal Semantic Definition and Verification Systems for
Typed LISP", 158 pages, Fegruary 1977.
STAN-CS-77-593 (HPP-77-1), A. C. Scott, W. J. Clancey, R. Davis, and
E. H. Shortliffe, "Explanation Capabilities of Production-Based
Consultation Systems", 30 pages, April 1977.
STAN-CS-77-594 (SLAC-200), Edwin P. Stritter (Thesis), "File
Migration", 112 pages, April 1977.
STAN-CS-77-595, John Gregg Lewis (Thesis), "Algorithms for Sparse
Matrix Eigenvalue Problems", 212 pages, April 1977.
STAN-CS-77-596 (HPP-77-5), Mark J. Stefik and Nancy Martin, "A Review
of Knowledge Based Problem Solving as a Basis for a Genetics
Experiment Designing System", 97 pages, April 1977.
STAN-CS-77-597 (HPP-77-6), Bruce G. Buchanan and Tom M. Mitchell,
"Model-Directed Learning of Production Rules", 21 pages, April 1977.
STAN-CS-77-598 (AD-A040 486), Arne T. Jonassen and Donald E. Knuth,
"A Trivial Algorithm Whose Analysis Isn't", 32 pages, April 1977.
STAN-CS-77-599 (AD-A040 441), Donald E. Knuth and Arnold Schonhage,
"The Expected Linearity of a Simple Equivalence Algorithm", 56 pages,
April 1977.
.next page
.once center
REPORTS 600 THRU 699
STAN-CS-77-600 (AD-A040 538), Mark R. Brown (Thesis), "The Analysis
of a Practical and Nearly Optimal Priority Queue", 102 pages, April
1977.
STAN-CS-77-601 (AD-A045 652), John F. Reiser (Thesis), "Analysis of
Additive Random Number Generators", 34 pages, April 1977.
STAN-CS-77-602, C. DeBoor and G. H. Golub, "The Numerically Stable
Reconstruction of a Jacobi Matrix from Spectral Data", 21 pages,
April 1977.
STAN-CS-77-603 (AD-A041 292), Robert E. Tarjan, "Reference Machines
Require Non-Linear Time to Maintain Disjoint Sets", 45 pages, April
1977.
STAN-CS-77-604 (AD-A040 399), Tony F. C. Chan and Joseph Oliger,
"Control of the Dissipativity of Lax-Wendroff Type Methods for First
Order Systems of Hyperbolic Equations", 45 pages, April 1977.
STAN-CS-77-605 (HPP-77-14, AD-A042 834), R. G. Smith, T. M. Mitchell,
R. A. Chestek and B. Buchanan, "A Model for Learning Systems", 22
pages, June 1977.
STAN-CS-77-606, Michael J. Clancy and Donald E. Knuth, "A Programming
and Problem-Solving Seminar", 104 pages, June 1977.
STAN-CS-77-607 (CSL-TR-133), Susan Owicki, "Specifications and Proofs
for Abstract Data Types in Concurrent Programs", 26 pages, June 1977.
STAN-CS-77-608, Istvan Simon (Thesis), "On Some Subrecursive
Reducibilities", 102 pages, June 1977.
STAN-CS-77-609 (AD-A043 362), Robert E. Tarjan, "Complexity of
Combinatorial Algorithms", 97 pages, June 1977.
STAN-CS-77-610 (AIM-297), Terry Winograd, "A Framework for
Understanding Discourse", 24 pages, June 1977.
STAN-CS-77-611 (AIM-298, AD-A046 703), Zohar Manna, Richard
Waldinger, "The Logic of Computer Programming", 90 pages, June 1977.
STAN-CS-77-612 (HPP-77-7, AD-A042 756), H. Penny Nii and Edward A.
Feigenbaum, "Rule-Based Understanding of Signals", 23 pages, June
1977.
STAN-CS-77-613, E. Spedicato, "On Some Classes of Quasi-Newton
Methods for Systms of Nonlinear Algebraic Equations", 31 pages, June
1977.
STAN-CS-77-614 (AIM-299), Zohar Manna, Adi Shamir, "The Convergence
of Functions to Fixedpoints of Recursive Definitions", 45 pages, June
1977.
STAN-CS-77-615, R. Glowinski and O. Pironneau, "Numerical Methods for
the First Biharmonic Equation and for the Two- Dimensional Stokes
Problem", 86 pages, June 1977.
STAN-CS-77-616 (AD-A046 311), Heinz-Otto Kreiss and Joseph Oliger,
"Stability of the Fourier Method", 25 pages, September 1977.
STAN-CS-77-617 (AIM-300), Terry Winograd, "On some Contested
Suppositions of Generative Linguistics about the Scientific Study of
Language", 25 pages, September 1977.
STAN-CS-77-618 (HPP-77-28, AD-A045 948), Nils J. Nilsson, "A
Production System for Automatic Deduction", 42 pages, September 1977.
STAN-CS-77-619 (AD-A046 481), W. J. Paul and R. E. Tarjan, "Time-
Space Trade-Offs in a Pebble Game", 8 pages, September 1977.
STAN-CS-77-620, J. Bolstad and J. Oliger, "Adaptation of the Fourier
Method to the Nonperiodic Initial Boundary Value Problem", 80 pages,
September 1977.
STAN-CS-77-621 (HPP-77-25, AD-A046 289), E. A. Feigenbaum, "The Art
of Artificial Intelligence: I. Themes and Case Studies of Knowledge
Engineering", 18 pages, September 1977.
STAN-CS-77-622, G. H. Golub, M. Heath and G. Wahba, "Generalized
Cross-Validation as a Method for Choosing a Good Ridge Parameter", 25
pages, September 1977.
STAN-CS-77-623, D. Boley and G. H. Golub, "Inverse Eigenvalue
Problems for Band Matrices", 75 pages, September 1977.
STAN-CS-77-624 (AIM-301, AD-A044 231), Lester Earnest, et. al.,
"Recent Research in Computer Science", 118 pages, September 1977.
STAN-CS-77-625 (AD-A046 090), Mark R. Brown and Robert E. Tarjan, "A
Fast Merging Algorithm", 42 pages, September 1977.
STAN-CS-77-626, Andrew C. Yao, "On the Loop Switching Addressing
Problem", 21 pages, October 1977.
STAN-CS-77-627 (AD-A048 786), Richard J. Lipton and Robert E. Tarjan,
"A Separator Theorem for Planar Graphs", 31 pages, October 1977.
STAN-CS-77-628 (AD-A048 787), Richard J. Lipton and Robert E. Tarjan,
"Applications of a Planar Separator Theorem", 34 pages, October 1977.
STAN-CS-77-629, Andrew C. Yao, "The Complexity of Pattern Matching
for a Random String", 43 pages, October 1977.
STAN-CS-77-630 (AIM-302, AD-AO49 761), Zohar Manna and Richard
Waldinger "Synthesis: Dreams => Programs", 119 pages, October 1977.
STAN-CS-77-631 (AIM-303, AD-A050 806), Nachum Dershowitz and Zohar
Manna, "Inference Rules for Program Annotation", 46 pages, October
1977.
STAN-CS-77-632 (AIM-304, AD-A048 684), Todd Jeffery Wagner (Thesis),
"Hardware Verification", 102 pages, October 1977.
STAN-CS-77-633 (AIM-305, AD-A048 660), William Faught (Thesis),
"Motivation and Intensionality in a Computer Simulation Model", 104
pages, October 1977.
STAN-CS-77-634, W. Hoffmann and B. N. Parlett, "A New Proof of Global
Convergence for the Tridiagonal QL Algorithm", 18 pages, October
1977.
STAN-CS-77-635, G. H. Golub, F. T. Luk and M. L. Overton, "A Block
Lanczos Method to Computer the Singular Value and Corresponding
Singular Vectrs of a Matrix", 80 pages, October 1977.
STAN-CS-77-636 (AD-A048 788), Kenneth P. Bube, "C↑m Convergence of
Trigonometric Interpolants", 25 pages, October 1977.
STAN-CS-77-637, Lyle Ramshaw, "On the Gap Structure of Sequences of
Points on a Circle", 26 pages, September 1977.
STAN-CS-77-638 (SU326 P30-57), Dianne Prost O'Leary, "A Generalized
Conjugate Gradient Algorithm for Solving a Class of Quadratic
Programming Problems", 49 pages, October 1977.
STAN-CS-77-639 (AIM-306, AD-A053 175), Cordell Green and David
Barstow, "On Program Synthesis Knowledge", 63 pages, November 1977.
STAN-CS-77-640 (AIM-307, AD-A053 176), Zohar Manna and Richard
Waldinger, "Structured Programming Without Recursion", 10 pages,
December 1977.
STAN-CS-77-641 (AIM-308, AD-A053 184), David Barstow (Thesis),
"Automatic Construction of Algorithms", 220 pages, December 1977.
STAN-CS-77-642, Andrew C. Yao, "On Constructing Minimum Spanning
Trees in k-Dimensional Spaces and Related Problems", 37 pages,
November 1977.
STAN-CS-77-643, Kunio Tanabe, "A Geometric Method in Nonlinear
Programming", 53 pages, December 1977.
STAN-CS-77-644, Bernard Mont-Reynaud (Thesis), "Hierarchical
Properties of Flows and the Determination of Inner Loops", 164 pages,
December 1977.
STAN-CS-77-645, Richard J. Lipton, Donald J. Rose, and Robert Endre
Tarjan, "Generalized Nested Dissection", 32 pages, December 1977.
STAN-CS-77-646 (AIM-309), C. G. Nelson and Derek C. Oppen, "Efficient
Decision Procedures Based on Congruence Closure", 5 pages, December
1977.
STAN-CS-78-647, Andrew C. Yao, "A Lower Bound to Palindrome
Recognition by Probabilistic Turing Machines", 20 pages, January
1978.
STAN-CS-78-648 (AD-A054 143), Donald E. Knuth, "Mathematical
Typography", 68 pages, January 1978.
STAN-CS-78-649 (HPP-78-1), Bruce G. Buchanan and Edward A.
Feigenbaum, "DENDRAL and Meta-DENDRAL: Their Applications
Dimension", 25 pages, January 1978.
STAN-CS-78-650 (AD-A054 144), Thomas Lengaue and Robert E. Tarjan, "A
Fast Algorithm for Finding Dominators in a Flow Graph", 40 pages,
February 1978.
STAN-CS-78-651 (AIM-310, AD-A058 601), Nachum Dershowitz and Zohar
Manna, "Proving Termination with Multiset Orderings", 30 pages, March
1978.
STAN-CS-78-652 (AIM-311), Greg Nelson and Derek C. Oppen, "A
Simplifier Based on Efficient Decision Algorithms", 20 pages, March
1978.
STAN-CS-78-653, Yossi Shiloach, "Multi-Terminal 0-1 Flow", 18 pages,
January 1978.
STAN-CS-78-654 (PB288520/AS), Yossi Shiloach, "The Two Paths Problem
is Polynomial", 23 pages, September 1977.
STAN-CS-78-655, Germund Dahlquist, "On Accuracy and Unconditional
Stability of Linear Multistep Methods for Second Order Differential
Equations", 8 pages, March 1978.
STAN-CS-78-656, Michael T. Heath, "Numerical Algorithms for
Nonlinearly Constrained Optimization", 142 pages, March 1978.
STAN-CS-78-657 (AIM-312), John McCarthy, Masahiko Sato, Takeshi
Hayashi, and Shigeru Igarashi, "On the Model Theory of Knowledge", 12
pages, April 1978.
STAN-CS-78-658 (SLAC-205), Leonard J. Shustek (Thesis), "Analysis and
Performance of Computer Instruction Sets", 177 pages, March 1978.
STAN-CS-78-659 (SLAC-206), John E. Zolnowsky (Thesis), "Topics in
Computational Geometry", 63 pages, March 1978.
STAN-CS-78-660 (AIM-313), Bruce E. Shimano (Thesis), "The Kinematic
Design and Force Control of Computer Controlled Manipulators", 135
pages, March 1978.
STAN-CS-78-661 (AD-A060 794), John R. Gilbert and Robert E. Tarjan,
"Variations of a Pebble Game on Graphs", 23 pages, April 1978.
STAN-CS-78-662, Andrew Chi-Chih Yao, "New Algorithms in Bin Packing",
50 pages, May 1978.
STAN-CS-78-663 (AD-A060 793), Eric Grosse, "Software Restyling in
Graphics and Programming Languages", 30 pages, May 1978.
STAN-CS-78-664, Peter Bjorstad and Jorge Nocedal, "Analysis of a New
Algorithm for One-Dimensional Minimization", 18 pages, May 1978.
STAN-CS-78-665 (CSL-TR-152), T. M. McWilliams and L. C. Widdoes, Jr.,
"SCALD: Structured Computer-Aided Logic Design", 39 pages, March
1978.
STAN-CS-78-666 (CSL-TR-153), T. M. McWilliams and L. C. Widdoes, Jr.,
"The SCALD Physical Design Subsystem", 28 pages, March 1978.
STAN-CS-78-667 (HPP-78-7, AD-A060 795), Reid G. Smith and Randall
Davis, "Distributed Problem Solving: The Contract Net Approach", 27
pages, June 1978.
STAN-CS-78-668 (HPP-78-10), Alain Bonnet, "BAOBAB, A Parser for a
Rule-Based System Using a Semantic Grammar", 41 pages, June 1978.
STAN-CS-78-669, Paul K. Stockmeyer and F. Frances Yao, "On the
Optimality of Linear Merge", 11 pages, June 1978.
STAN-CS-78-670, Ronald L. Graham, Andrew C. Yao, and F. Frances Yao,
"Information Bounds are Weak in the Shortest Distance Problem", 39
pages, June 1978.
STAN-CS-78-671 (AIM-316), Jerrold Ginsparg (Thesis), "Natural
Language Processing in an Automatic Programming Domain", 172 pages,
June 1978.
STAN-CS-78-672, Tony F. C. Chan (Thesis), "Comparison of Numerical
Methods for Initial Value Problems", 195 pages, June 1978.
STAN-CS-78-673 (SU36 P30-59), Tony F. Chan, William M. Coughran, Jr.,
Eric H. Grosse and Michael T. Heath, "A Numerical Library and its
Support", 22 pages, July 1978.
STAN-CS-78-674 (SU326 P30-60), Tony F. Chan and Roland Glowinski,
"Finite Element Appoximation and Iterative Solution of a Class of
Mildly Non-Linear Elliptic Equations", 76 pages, November 1978.
STAN-CS-78-675 (AIM-317), Donald E. Knuth, "Tau Epsilon Chi, a system
for technical text", 200 pages, November 1978.
STAN-CS-78-676 (SLACR-213), John Phineas Banning (Thesis), "A Method
for Determining the Side Effects of Procedure Calls", 283 pages,
November 1978.
STAN-CS-78-677, Frank M. Liang (editor), "Comprehensive Examinations
in Computer Science, 1972-1978", 238 pages, November 1978.
STAN-CS-78-678 (AIM-314), Derek C. Oppen, "Reasoning About
Recursively Defined Data Structures", 15 pages, November 1978.
STAN-CS-78-679, Walter Murray and Michael L. Overton, "Steplength
Algorithms for Minimizing a Class of Nondifferentiable Functions", 57
pages, November 1978.
STAN-CS-78-680, Connie J. Stanley (editor), "Bibliography of Stanford
Computer Science Reports, 1963-1978", 100 pages, November 1978.
STAN-CS-78-681 (AD-A065 283), Louis Trabb Pardo (Thesis), "Set
Representation and Set Intersection", 85 pages, December 1978.
STAN-CS-78-682 (AD-A065 265), Jacobo Valdes (Thesis), "Parsing
Flowcharts and Series-Parallel Graphs", 233 pages, December 1978.
STAN-CS-78-683 (AD-A065 284), Robert Endre Tarjan, "Storing a Sparse
Table", 23 pages, December 1978.
STAN-CS-78-684 (SU326 P30-63), D. L. Boley and G. H. Golub, "The
Matrix Inverse Eigenvalue Problem for Periodic Jacobi Matrices", 18
pages, December 1978.
STAN-CS-78-685 (AD-A065 285), Franklin Tai-cheung Luk (Thesis),
"Sparse and Parallel Matrix Computations", 168 pages, December 1978.
STAN-CS-78-686, Richard J. Lipton, Arnold L. Rosenberg and Andrew C.
Yao, "External Hashing Schemes for Collections of Data Structures",
33 pages, December 1978.
STAN-CS-78-687 (AIM-315, AD-A065 698), Richard Weyhrauch,
"Prolegomena to a Theory of Formal Reasoning", 41 pages, December
1978.
STAN-CS-78-688 (AIM-318), Zohar Manna, "Six Lectures on the Logic of
Computer Programming", 54 pages, December 1978.
STAN-CS-78-689 (AIM-319), Charles G. Nelson, "An n∩[log n] Algorithm
for the Two-Variable-Per-Constraint Linear Programming Satisfiability
Problem", 20 pages, December 1978.
STAN-CS-78-690 (AIM-320, AD-A065 558), Zohar Manna and Richard
Waldinger, "A Deductive Approach to Program Synthesis", 30 pages,
December 1978.
STAN-CS-78-691 (AD-A066 058), Kenneth P. Bube (Thesis), "The
Construction of Initial Data for Hyperbolic Systems from Nonstandard
Data", 119 pages, November 1978.
STAN-CS-78-692 (HPP-77-39, AD-A066 147), Bruce G. Buchanan, Tom M.
Mitchell, Reid G. Smith and C. Richard Johnson Jr., "Models of
Learning Systems", 38 pages, November 1978.
STAN-CS-78-693 (AD-A066 099), Douglas B. West, "A Class of Solutions
to the Gossip Problem", 61 pages, November 1978.
STAN-CS-78-694, Jonathan King (editor), "Computer Science at Stanford
1977-1978", 27 pages, November 1978.
STAN-CS-78-695 (AIM-321, AD-A066 562), John McCarthy et al., "Recent
Research in Artificial Intelligence and Foundations of Programming",
94 pages, November 1978.
STAN-CS-78-696 (HPP-78-22, AD-A068 538), Reid G. Smith and Tom M.
Mitchell, "Considerations for Microprocessor-Based Terminal Design",
14 pages, November 1978.
STAN-CS-78-697, Walter Gander, "On the Linear Least Squares Problem
with a Quadratic Constraint", 120 pages, November 1978.
STAN-CS-78-698, Richard E. Sweet (Thesis), "Empirical Estimates of
Program Entropy", 167 pages, November 1978.
STAN-CS-78-699 (HPP-78-23, AD-A068 539), James Bennett, Lewis Creary,
Robert Englemore and Robert Melosh, "SACON: A Knowledge-Based
Consultant for Structural Analysis", 65 pages, September 1978.
.next page
.once center
REPORTS 700 THRU 799
STAN-CS-78-700 (HPP-78-28, AD-A068 230), Reid Garfield Smith
(Thesis), "A Framework for Problem Solving in a Distributed
Processing Environment", 150 pages, December 1978.
STAN-CS-79-701, Mitch L Model (Thesis), "Monitoring System Behavior
in a Complex Computational Environment", 189 pages, January 1979.
STAN-CS-79-702, Yossi Shiloach, "An O(n|cdIlog↑2I) Maximum-Flow
Algorithm", 33 pages, January 1979.
STAN-CS-79-703 (AD-A068 228), Bengt Aspval and Yossi Shiloach, "A
Polynomial Time Algorithm for Solving Systems of Linear Inequalities
With Two Variables Per Inequality", 25 pages, January 1979.
STAN-CS-79-704 (AD-A068 232), Roland A. Sweet, "A Survey of the State
of Software for Partial Differential Equations", 31 pages, January
1979.
STAN-CS-79-705, Robert Lewis (Scot) Drysdale, III (Thesis),
"Generalized Voronoi Diagrams and Geometric Searching", 196 pages,
January 1979.
STAN-CS-79-706, F. Francis Yao, "Graph 2-Isomorphism is NP-Complete",
12 pages, January 1979.
STAN-CS-79-707, Chris Van Wyk and Donald E. Knuth, "A Programming and
Problem-Solving Seminar", 83 pages, January 1979.
STAN-CS-79-708, Andrew C. Yao, "An Analysis of a Memory Allocation
Scheme for Implementing Stacks", 18 pages, January 1979.
STAN-CS-78-709 (AD-A068 231), Mark R. Brown and Robert E. Tarjan,
"Design and Analysis of a Data Structure for Representing Sorted
Lines", 50 pages, December 1978.
STAN-CS-79-710 (AD-A068 210), Lloyd Trefethen, "Numerical Computation
of the Schwarz-Christoffel Transformation", 42 pages, 1979.
STAN-CS-78-711, Tom Michael Mitchell (Thesis), "Version Spaces: An
Approach to Concept Learning", 216 pages, December 1978.
STAN-CS-79-712 (AD-A068 393), Donald E. Knuth, "The Errata of
Computer Programming", 58 pages, January 1979.
STAN-CS-79-713, Gene Golub, Stephen Nash and Charles Van Loan, "A
Hessenberg-Schur Method for the Problem AX + XB = C", 50 pages,
January 1979.
STAN-CS-79-714 (CSL-TN-160), Fernando Castaneda, Frederick Chow,
Peter Nye, Dan Sleator and Gio Wiederhold, "PCFORT: A Fortran-to-
Pcode Translator", January 1979.
STAN-CS-79-715 (CSL-TN-161), Brent T. Hailpern and Bruce L. Hitson,
"S-1 Architecture Manual", January 1979.
STAN-CS-79-716 (AIM-322), Michael Georgeff, "A Framework for Control
in Production Systems", 35 pages, January 1979.
STAN-CS-79-717 (AIM-324), Robert Cartwright and John McCarthy,
"Recursive Programs as Functions in a First Order Theory", 32 pages,
March 1979.
STAN-CS-79-718 (AIM-323), Shahid Mujtaba and Ron Goldman, "AL Users'
Manual", 136 pages, January 1979.
STAN-CS-79-719, Petter Bjorstad, Germund Dahlquist and Eric Grosse,
"Extrapolation of Asymptotic Expansions by a Modified Aitken %Ad%1↑2-
Formula", 54 pages, February 1979.
STAN-CS-79-720, R. Glowinski, "On Grid Optimization for Boundary
Value Problems", 22 pages, February 1979.
STAN-CS-79-721, Andrew C. Yao and F. Frances Yao, "On Fault-Tolerant
Networks for Sorting", 20 pages, February 1979.
STAN-CS-79-722 (AD-A074 077), Gio Wiederhold and Ramez El-Masri, "A
Structural Model for Database Systems" 57 pages, March 1979.
STAN-CS-79-723 (AD-A074 076), Edward H. Shortliffe, Bruce G. Buchanan
and Edward A. Feigenbaum, "Knowledge Engineering for Medical Decision
Making: a review of computer-based clinical decision aids", 52 pages,
February 1979.
STAN-CS-79-724 (AIM-325), John McCarthy, "First Order Theories of
Individual Concepts and Propositions", 19 pages, March 1979.
STAN-CS-79-725 (AIM-326, AD-A071 423), John McCarthy, "Ascribing
Mental Qualities to Machines", 25 pages, March 1979.
STAN-CS-79-726, Andrew Chi-Chih Yao, "An Analysis of (h,k,l)-
Shellsort", 55 pages, March 1979.
STAN-CS-79-727 (AIM-327), Robert Elliot Filman (Thesis), "The
Interaction of Observation and Inference", 235 pages, March 1979.
STAN-CS-79-728, Yossi Shiloach, "Union-Member Algorithms for Non-
Disjoint Sets", 12 pages, January 1979.
STAN-CS-79-729 (AD-A068 229), Robert Endre Tarjan, "A Unified
Approach to Path Problems", 43 pages, April 1979.
STAN-CS-79-730, Frank M. Liang, "Qualifying Examinations in Computer
Science, 1965-1978", 238 pages.
STAN-CS-79-731 (PVG-11, AD-A071 900), D.C. Luckham, S.M. German F.W.
von Henke, R.A. Karp, P.W. Milne, D.C. Oppen, W. Polak, and W.L.
Scherlis, "Stanford PASCAL Verifier User Manual", April 1979.
STAN-CS-79-732, Donald R. Woods, "Notes on Introductory
Combinatorics", 120 pages, April 1979.
STAN-CS-79-733, Andrew Chi-Chih Yao, "A Lower Bound to Finding Convex
Hulls", 22 pages, April 1979.
STAN-CS-79-734 (AD-A074 079), Robert Endre Tarjan, "Fast Algorithms
for Solving Path Problems", 49 pages, April 1979.
STAN-CS-79-735, J. H. Wilkinson, "Kronecker's Canonical Form and the
QZ Algorithm", 23 pages, April 1979.
STAN-CS-79-736, J. H. Wilkinson, "Note on the Practical Significance
of the Drazin Inverse", 20 pages, April 1979.
STAN-CS-79-737, Andrew C. Yao and F. Frances Yao, "On the Average-
case Complexity of Selecting the k-th Best", 45 pages, April 1979.
STAN-CS-79-738 (SU326 P30-65), Randall LeVeque, Germund Dahlquist and
Dan Andree, "Computations Related to G-Stability of Linear Multistep
Methods", 27 pages, May 1979.
STAN-CS-79-739 (HPP-79-14, AD-A074 075), J. R. Quinlan, "Induction
Over Large Data Bases", 19 pages, May 1979.
STAN-CS-79-740 (PVG-12), R. S. Cartwright and D. C. Oppen, "The Logic
of Aliasing", 24 pages, May 1979.
STAN-CS-79-741, Lyle Harold Ramshaw (Thesis), "Formalizing the
Analysis of Algorithms", 123 pages, June 1979.
STAN-CS-79-742 (HPP-79-12, AD-A074 078), Anne Gardner, "Handbook of
Artificial Intelligence: Search", 100 pages, June l979.
STAN-CS-79-743 (AIM-328), Juan Bulnes-Rozas (Thesis), "GOAL: A Goal
Oriented Command Language for Interactive Proof Construction", 175
pages, June 1979.
STAN-CS-79-744 (CSL-TR-172, AD-A075 268), Hector Garcia-Molina
(Thesis), "Performance of Update Algorithms for Replicated Data in a
Distributed Database", 320 pages, June 1979.
STAN-CS-79-745 (AD-A076 264), Thomas Lengauer (Thesis), "Upper and
Lower Bounds on Time-Space Tradeoffs in a Pebble Game", 82 pages,
July 1979.
STAN-CS-79-746, Alan Borning (Thesis), "ThingLab -- A Constraint-
Oriented Simulation Laboratory", 109 pages, July 1979.
STAN-CS-79-747 (AIM-329, AD-A076 872), David E. Wilkins (Thesis),
"Using Patterns and Plans to Solve Problems and Control Search", 264
pages, June 1979.
STAN-CS-79-748 (AD-A075 376), David Y. Y. Yun, "Fast Algorithms for
Solving Toeplitz System of Equations and Finding Rational
Interpolants", 9 pages, July 1979.
STAN-CS-79-749 (HPP-79-17), William Clancey, James Bennett and Paul
Cohen, "Applications-Oriented AI Research: Education", 60 pages,
July 1979.
STAN-CS-79-750 (AD-A075 171), Peter Gacs and Laszlo Lovasz,
"Khachian's Algorithm for Linear Programming", 12 pages, July 1979.
STAN-CS-79-751 (AIM-330), Zohar Manna and Amir Pnueli, "The Modal
Logic of Programs", 36 pages, September 1979.
STAN-CS-79-752, Michael Lockhart Overton (Thesis), "Projected
Lagrangian Algorithms for Nonlinear Minimax and l↓1 Optimization",
164 pages, July 1979.
STAN-CS-79-753, Andrew Chi-Chih Yao, "Should Tables Be Sorted?", 36
pages, July 1979.
STAN-CS-79-754 (HPP-79-21, AD-A076 873), Anne Gardner, James Davidson
and Terry Winograd, "Natural Language Understanding", 100 pages, July
1979.
STAN-CS-79-755 (AIM-331), Elaine Kant (Thesis), "Efficiency
Considerations in Program Synthesis: A Knowledge-Based Approach", 160
pages, July 1979.
STAN-CS-79-756 (HPP-79-22, AD-A076 875), James S. Bennett, Bruce G.
Buchanan, Paul R. Cohen and Fritz Fisher, "Applications-Oriented AI
Research: Science and Mathematics", 110 pages, July 1979.
STAN-CS-79-757 (HPP-79-23, AD-A075 402), Victor B. Clesielski, James
S. Bennett and Paul R. Cohen, "Applications-Oriented AI Research:
Medicine", 40 pages, July 1979.
STAN-CS-79-758 (HPP-79-24, AD-A076 874), Robert Elschlager and Jorge
Phillips, "Automatic Programming", 100 pages, July 1979.
STAN-CS-79-759 (HPP-79-25), Alain Bonnet, "Schema-Shift Strategies
for Understanding Structured Texts in Natural Language", 40 pages,
July 1979.
STAN-CS-79-760, R. L. Graham, A. C. Yao and F. F. Yao, "Some
Monotonicity Properties of Partial Orders", 21 pages, September 1979.
STAN-CS-79-761, Douglas B. West, "Gossiping Without Duplicate
Transmissions", 7 pages, September 1979.
STAN-CS-79-762 (AIM-332), Donald E. Knuth, "METAFONT, a system for
alphabet design", 110 pages, September 1979.
STAN-CS-79-763 (AD-A076 876), Douglas B. West, "A Symmetric Chain
Decomposition of L(4,n)", 15 pages, September 1979.
STAN-CS-79-764, Andrew Chi-Chih Yao, "On the Time-Space Tradeoff for
Sorting with Linear Queries", 33 pages, September 1979.
STAN-CS-79-765, Peter Gacs, "Relation Between the Complexity and the
Probability of Large Numbers", 8 pages, September 1979.
STAN-CS-79-766 (SU326 P30-69), J. Kautsky and N. K. Nichols,
"Equidistributing Meshes with Constraints", 27 pages, September 1979.
STAN-CS-79-767, Charles Van Loan, "On Stewart's Singular Value
Decomposition for Partitioned Orthogonal Matrices", 17 pages,
September 1979.
STAN-CS-79-768, Peter Gacs and Leonid A. Levin, "Causal Networks on
What Is a Deterministic Computation?", 24 pages, September 1979.
STAN-CS-79-769, William John Clancey (Thesis), "Transfer of Rule-
Based Expertise Through a Tutorial Dialogue", 462 pages, September
1979.
STAN-CS-79-770, Derek C. Oppen, "Pretty Printing", 20 pages, October
1979.
STAN-CS-79-771 (HPP-79-29), Peter E. Friedland (Thesis), "Knowldge-
Based Experiment Design in Molecular Genetics", 137 pages, August
1979.
STAN-CS-79-772 (AIM-333), Brian P. McCune (Thesis), "Building
Program Models Incrementally from Informal Descriptions", 146 pages,
October 1979.
STAN-CS-79-773, Tony F. Chan, Gene H. Golub and Randal J. LeVeque,
"Updating Formulae and a Pairwise Algorithm for Computing Sample
Variances", 19 pages, November 1979.
STAN-CS-79-774, Gene H. Golub and Robert J. Plemmons, "Large Scale
Geodetic Least Squares Adjustment by Dissection and Orthogonal
Decomposition", 33 pages, November 1979.
STAN-CS-79-775, Persi Diaconis and Ronald Graham, "The Analysis of
Sequential Experiments with Feedback to Subjects", 48 pages, November
1979.
STAN-CS-79-776 (This paper supersedes STAN-CS-79-750 by Lovas and
Gacs), Bengt Aspvall and Richard E. Stone, "Khachiyan's Linear
Programming Algorithm", 13 pages, November 1979.
STAN-CS-79-777, R.L. Graham and N.J.A. Sloane, "On Constant Weight
Codes and Harmonious Graphs", 17 pages, December 1979.
STAN-CS-79-778, David Elliot Shaw, "A Hierarchical Associative
Architecture for the Parallel Evaluation of Relational Algebraic
Database Primitives", 56 pages, October 1979.
STAN-CS-80-779, Zohar Manna and Richard Waldinger, "Problematic
Features of Programming Languages: A Situational - Calculus
Approach", 70 pages.
STAN-CS-80-780, Donald E. Knuth, "The Computer Modern Family of
Typefaces", 406 pages, January 1980.
STAN-CS-79-781 (HPP-79-30), Jonathan J. King, "Exploring the Use of
Domain Knowledge for Query Processing Efficiency", 21 pages, December
1979.
STAN-CS-79-782, Zohar Manna and Amir Pnueli, "Synchronous Schemes and
Their Decision Problems", 36 pages.
STAN-CS-79-783 (PVG-14), Richard Alan Karp (Thesis), "Proving
Concurrent Systems Correct", 151 pages, November 1979.
STAN-CS-80-784 (HPP-80-2) Mark Jeffrey Stefik (Thesis), "Planning
with Constraints", 230 pages, January 1980.
STAN-CS-80-785 (PVG-15), Gerard Huet and Derek C. Oppen, "Equations
and Rewrite Rules", 52 pages, January 1980.
STAN-CS-80-786, Donald E. Knuth, "Algorithms in Modern Mathematics
and Computer Science", 25 pages, January 1980.
STAN-CS-80-787, H.J. Symm and J.H. Wilkinson, "Realistic Error Bounds
for a Simple Eigenvalue and its Associated Eigenvector", 22 pages,
January 1980.
STAN-CS-80-788 (AIM-334), John McCarthy, "Circumscription - A Form of
Non-Monotonic Reasoning", 15 pages, February 1980.
STAN-CS-80-789 (PVG-16), D. C. Luckham and W. Polak,
"Ada Exceptions: Specification and Proof Techniques", 19 pages, February 1980.
STAN-CS-80-790, Gio Wiederhold, "Databases in Healthcare",
76 pages, March 1980.
STAN-CS-80-791 (CSL TR-166),
Clark R. Wilcox, Mary L. Dageforde, and Gregory A. Jirak,
"MAINSAIL Language Manual",
247 pages, March 1980.
STAN-CS-80-792 (CSL TR-167),
Clark R. Wilcox, Mary L. Dageforde, and Gregory A. Jirak,
"MAINSAIL Implementation Overview", 70 pages, March 1980.
STAN-CS-80-793 (HPP-80-3),
Avron Barr and James Davidson, "Representation of Knowledge",
90 pages, March 1980.
STAN-CS-80-794 (HPP-80-4),
Michael Genesereth, "The Role of Plans in Intelligent Teaching Systems",
pages.
STAN-CS-80-795,
Donald E. Knuth, "The Letter S",
pages.
STAN-CS-80-796 (AIM-335),
Arthur Samuel, "Essential E", 33 pages, March 1980.
STAN-CS-80-797,
STAN-CS-80-798,
Robert W. Floyd and Jeffrey D. Ullman,
"The Compilation of Regular Expressions into Integrated Circuits",
28 pages, April 1980.
.next page