perm filename BIB.PUB[BIB,CSR]25 blob
sn#531294 filedate 1980-08-23 generic text, type C, neo UTF8
COMMENT ā VALID 00011 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .require "setup.csr[bib,csr]" source file
C00008 00003 .once center <<reports 1 thru 99>>
C00037 00004 .once center <<reports 100 thru 199>>
C00066 00005 .once center <<reports 200 thru 299>>
C00095 00006 .once center <<reports 300 thru 399>>
C00125 00007 .once center <<reports 400 thru 499>>
C00154 00008 .once center <<reports 500 thru 599>>
C00184 00009 .once center <<reports 600 thru 699>>
C00213 00010 .once center <<reports 700 thru 799>>
C00237 00011 .once center <<reports 800 thru 899>>
C00242 ENDMK
Cā;
.require "setup.csr[bib,csr]" source file;
.font A "coron";
.once center
%3NUMBERING KEY
@The following is a key to reading the different report numbers.
%3STAN-CS-:%1 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.
%3AIM-:%1 This is a %2group%1 number. It stands for Artificial
Intelligence Memo.
%3HPP-:%1 This is a %2group%1 number. It stands for Heuristic Programming
Project.
%3SU326:%1 This is a DOE sponsored report, and this is their number for
it.
%3SLAC-:%1 This report may also be ordered from the Stanford Linear
Accelerator Center using this number.
%3LBL-:%1 This report may also be ordered from the Lawrence Berkeley
Laboratory using this number.
%3CSL-:%1 This report may also be ordered from the Computer Science
Laboratory (Department of Electrical Engineering) using this number.
%3PB:%1 This report may be ordered from the National Technical
Information Service using this number.
%3AD:%1 This report may be ordered from the National Technical
Information Service using this number.
%3AD-A:%1 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 %2Diskfile: <file name>%1 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
@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.
This bibliography is kept in diskfile "AIMLST [BIB,DOC] @SU-AI".
.next page
.once center <<reports 1 thru 99>>
%3REPORTS 1 THRU 99%1
STAN-CS-63-1 (AD462108), J. B. Rosen, %2Primal Partition Programming for
Block Diagonal Matrices%1, 23 pages, November 1963.
STAN-CS-63-2 (AD427753), J. M. Pavkovich, %2The Soultion of Large
Systems of Algebraic Equations%1, 46 pages, December 1963.
STAN-CS-64-3 (AD430445), G. E. Forsythe (translated by), %2The Theorems
in a Paper by V. K. Saulev 'On an Estimate of the Error in Obtaining
Characteristic Functions by the Method of Finite Differences' %1, 6 pages,
January 1964.
STAN-CS-64-4 (AD434858), Stefan Bergman and J. G. Herriot, %2Numerical
Solution of Boundary Value Problems by the Method of Integral Operators%1,
24 pages, February 1964.
STAN-CS-64-5 (N-6519765), J. B. Rosen, %2Existence and Uniqueness of
Equilibrium Points for Concave N-Person Games%1, 28 pages, March 1964.
STAN-CS-64-6 (AD600164), R. W. Hockney, %2A Fast Direct Solution of
Poisson's Fourier Analysis%1, 28 pages, April 1964.
STAN-CS-64-7 (PB176753), J. B. Rosen, %2Sufficient Conditions for Optimal
Control of Convex Processes%1, 29 pages, May 1964.
STAN-CS-64-8 (AD603116), G. Golub and W. Kahan, %2Calculating the
Singular Values and Pseudo-Inverse of a Matrix%1, 33 pages, May 1964.
STAN-CS-64-9 (AD604012), Charles Anderson, %2The QD-Algorithm as a Method
for Finding the Roots of a Polynomial Equation When All Roots are
Positive%1, 74 pages, June 1964.
STAN-CS-64-10 (AD603163), R. L. Causey (Thesis), %2On Closest Normal
Matrices%1, 131 pages, June 1964.
STAN-CS-64-11 (PB176754), T. Nakamura and J. B. Rosen, %2Elastic-
Plastic Analysis of Trusses by the Gradient Projection Method%1, 32 pages,
July 1964.
STAN-CS-64-12 (AD608292), G. Golub and P. Businger, %2Numerical Methods
for Solving Linear Least Squares Problems (and) an Algol Procedure for
Finding Linear Least Squares Solutions%1, 27 pages, August 1964.
STAN-CS-64-13 (N65-27058), V. Pereyra and J. B. Rosen, %2Computation of
the Pseudo- inverse of a Matrix of Unknown Rank%1, 28 pages, September
1964.
STAN-CS-64-14 (TT-65-61724), V. A. Efimenko (translated by G. Reiter and
C. Moler), %2On Approximate Calculations of the Eigenvalues and
Eigenfunctions of Boundary Value Problems in Partial Differential
Equations%1, 20 pages, November 1964.
STAN-CS-65-15 (AD611366), D. W. Grace (Thesis), %2Computer Search for
Non-Isomorphic Convex Polyhedra%1, 137 pages, January 1965.
STAN-CS-65-16 (AD611427), G. E. Forsythe and G. H. Golub, %2Maximizing a
Second Degree Polynomial on the Unit Sphere%1, 31 pages, February 1965.
STAN-CS-65-17 (AD611434), G. E. Forsythe and N. Wirth, %2Automatic
Grading Programs%1, 17 pages, February 1965.
STAN-CS-65-18 (AD612478), V. Pereyra, %2The Difference Correction Method
for Non- Linear Two-Point Boundary Value Problems%1, February 1965.
STAN-CS-65-19 (TT-65-61839), M. I. Ageev and J. Maclaren, %2English
Equivalents of Metalinguistic Terms of Russian ALGOL%1, March 1965.
STAN-CS-65-20 (PB176755), N. Wirth and H. Weber, %2EULER: A
Generalition of ALGOL and its Formal Definition%1, 115 pages, April 1965.
STAN-CS-65-21 (PB176756), D. D. Fisher, J. von der Groeben and J. G.
Toole, %2Vectorgardiographic Analysis by Digital Computer, Selected
Results%1, 104 pages, May 1965.
STAN-CS-65-22 (AD616676), C. B. Moler (Thesis), %2Finite Difference
Methods for the Eigenbales of Laplace's Operator%1, 142 pages, May 1965.
STAN-CS-65-23 (AD618214), B. D. Rudin (Thesis), %2Convex Polynomial
Approximation%1, 44 pages, June 1965.
STAN-CS-65-24 (AD616611), V. V. Klyuyev and N. I. Kokovkin Shoherbak
(translated by G. J. Tee), %2On the Minimization of the Number of
Arithmetic Operations for the Solution of Linear Algebraic Systems of
Equations%1, 24 pages, June 1965.
STAN-CS-65-25 (AD618215), P. G. Hodge, %2Yield-Point Load Determination
by Nonlinear Programming%1, 24 pages, June 1965.
STAN-CS-65-26 (not at NTIS), G. E. Forsythe, %2Stanford University's
Program in Computer Science%1, 15 pages, June 1965.
STAN-CS-65-27 (AD618216), E. A. Volkov (translated by R. Bartels), %2An
Analysis of One Algorithm of Heightened Precision of the Method of Nets
for the Solution of Poisson's Equation%1, 29 pages, July 1965.
STAN-CS-65-28 (AD618217), J. Miller and G. Strang, %2Matrix Theorems for
Partial Differential an Difference Equations%1, 33 pages, July 1965.
STAN-CS-65-29 (AD624837), V. Pereyra, %2On Improving an Approximate
Solution of a Functional Equation by Deferred Corrections%1, 32 pages,
August 1965.
STAN-CS-65-30 (SS624-829), S. Marchuk (translated by G. J. Tee), %2The
Automatic Construction of Computational Algorithms%1, 56 pages, September
1965.
STAN-CS-65-31 (SS626-315), P. A. Raviart, %2On the Approximation of Weak
Solutions of Linear Parabolic Equations by a Class of Multi-step
Difference Methods%1, 55 pages, December 1965.
STAN-CS-65-32 (SS633-557), R. W. Hockney, %2Minimum Multiplication
Fourier Analysis%1, 53 pages, December 1965.
STAN-CS-65-33 (PB176763), N. Wirth, %2A Programming Language for the 360
Computers%1, 23 pages, December 1965.
STAN-CS-66-34 (SS630-998), J. M. Varah, %2Eigenvectors of a Real Matrix
by Inverse Iteration%1, 24 pages, February 1966.
STAN-CS-66-35 (PB176758), N. Wirth and C. Hoare, %2A Contribution to the
Development of ALGOL%1, 64 pages, February 1966.
STAN-CS-66-36 (PB176759), J. F. Traub, %2The Calculation of Zeros of
Polyynomials and Analytic Functions%1, 26 pages, April 1966.
STAN-CS-66-37 (PB176789), J. D. Reynolds, %2Cogent 1.2 Operations
Manual%1, 33 pages, April 1966.
STAN-CS-66-38 (AIM-40, AD662880), J. McCarthy and J. Painter,
%2Correctness of a Compiler for Arithmetic Expressions%1, 13 pages, April
1966.
STAN-CS-66-39 (PB176760), G. E. Forsythe, %2A University's Educational
Program in Computer Science%1, 26 pages, May 1966.
STAN-CS-66-40 (AD639052), G. E. Forsythe, %2How Do You Solve a Quadratic
Equation?%1, 19 pages, June 1966.
STAN-CS-66-41 (SS638-976), W. Kahan, %2Accurate Eigenvalues of a
Symmetric Tri-Diagonal Matrix%1, 53 pages, July 1966.
STAN-CS-66-42 (SS638-797), W. Kahan, %2When to Neglect Off-Diagonal
Elements of Symmetric Tri-Diagonal Matrices%1, 10 pages, July 1966.
STAN-CS-66-43 (SS638-798), W. Kahan and J. Varah, %2Two Working
Algorithms for the Eigenvalues of a Symmetric Tri-Diagonal Matrix%1, 28
pages, August 1966.
STAN-CS-66-44 (SS638-818), W. Kahan, %2Relaxation Methods for an
Eigenvalue Problem%1, 35 pages, August 1966.
STAN-CS-66-45 (SS638-799), W. Kahan, %2Relaxation Methods for Semi-
Definite Systems%1, 31 pages, August 1966.
STAN-CS-66-46 (SS638-809), G. E. Forsythe, %2Today's Computational
Methods of Linear Algebra%1, 47 pages, August 1966.
STAN-CS-66-47 (PB173335), P. Abrams, %2An Interpreter for 'Inverson
Notation' %1, 61 pages, August 1966.
STAN-CS-66-48 (SS639-166), W. M. McKeeman (Thesis), %2An Approach to
Computer Language Design%1, 124 pages, August 1966.
STAN-CS-66-49 (AIM-43, SS640-836), D. R. Reddy (Thesis), %2An Approach to
Computer Speech Recognition by Direct Analysis of Speech Wave%1, 143
pages, September 1966.
STAN-CS-66-50 (AIM-46, PB176761), S. Persson (Thesis), %2Some Sequence
Extrapulating Programs: A Study of Representation and Modelling in
Inquiring Systems%1, 176 pages, September 1966.
STAN-CS-66-51 (AD648394), S. Bergman, J. G. Herriot and T. G. Kurtz,
%2Numerical Calculation of Transonic Flow Patterns%1, 35 pages, October
1966.
STAN-CS-66-52 (PB176762), A. C. Shaw, %2Lecture Notes on a Course in
Systems Programming%1, 216 pages, December 1966.
STAN-CS-66-53 (PB176757), N. Wirth, %2A Programming Language for the 360
Computers%1, 81 pages, December 1966.
STAN-CS-67-54 (AD662882), G. Golub and T. N. Robertson, %2A Generalized
Bairstow Algorithm%1, 10 pages, January 1967.
STAN-CS-67-55 (AD647200), D. A. Adams, %2A Stopping Criterion for
Polynomial Root Finding%1, 11 pages, February 1967.
STAN-CS-67-56 (PB176764), F. L. Bauer, %2QD-Method with Newton Shift%1, 6
pages, March 1967.
STAN-CS-67-57 (PB176765), D. Gries, %2The Use of Transition Matrices in
Compiling%1, 60 pages, March 1967.
STAN-CS-67-58 (PB176766), V. Tixier (Thesis), %2Recursive Functions of
Regular Expressions in Language Analysis%1, 146 pages, March 1967.
STAN-CS-67-59 (SS650-116), J. H. Wilkinson, %2Almost Diagonal Matrices
with Multiple or Close Eigenvalues%1, 18 pages, April 1967.
STAN-CS-67-60 (SS650-117), J. H. Wilkinson, %2Two Algorithms Based on
Successive Linear Interpolation%1, 13 pages, April 1967.
STAN-CS-67-61 (SS650-610), G. E. Forsythe, %2On the Asymptotic
Directions of the S-Dimensional Optimum Gradient Method%1, 43 pages, April
1967.
STAN-CS-67-62 (SS650-620), M. Tienari, %2Varying Length Floating Point
Arithmetic: A Necessary Tool for the Numerical Analyst%1, 38 pages, April
1967.
STAN-CS-67-63 (SS650-627), G. Polya, %2Graeffe's Method for
Eigenvalues%1, 9 pages, April 1967.
STAN-CS-67-64 (SS651-201), P. Richman, %2Floating-Point Number
Representations: Base Choice Versus Exponent Range%1, 32 pages, April
1967.
STAN-CS-67-65 (PB176767), N. Wirth, %2On Certain Basic Concepts of
Programming Languages%1, 30 pages, May 1967.
STAN-CS-67-66 (AD652921), J. M. Varah (Thesis), %2The Computation of
Bounds for the Invariant Subspaces of a General Matrix Operator%1, 240
pages, May 1967.
STAN-CS-67-67 (AD652992), R. H. Bartels and G. H. Golub,
%2Computational Considerations Regarding the Calculation of Chebyshev
Solutions for Over-Determined Linear Equations Systems by the Exchange
Method%1, 63 pages, June 1967.
STAN-CS-67-68 (PB176768), N. Wirth, %2The PL 360 System%1, 63 pages, June
1967.
STAN-CS-67-69 (PB176769), J. Feldman and D. Gries, %2Translator Writing
Systems%1, 127 pages, June 1967.
STAN-CS-67-70 (AD655472), S. Bergman, J. G. Herriot and P. L. Richman,
%2On Computation of Flow Patterns of Compressible Fluids in the Transonic
Region%1, 77 pages, July 1977.
STAN-CS-67-71 (AD655230), M. A. Jenkins and J. F. Traub, %2An
Algorithm for an Automatic General Polynomial Solver%1, 38 pages, July
1967.
STAN-CS-67-72 (PB175581), G. H. Golub and L. B. Smith, %2Chebysev
Approximation of Continuous Functions by a Chebyshev Systems of
Functions%1, 54 pages, July 1967.
STAN-CS-67-73 (AD662883), P. Businger and G. H. Golub, %2Least Squares,
Singular Values and Matrix Approximations (and) an ALGOL Procedure for
Computing the Singular Value Decomposition%1, 12 pages, July 1967.
STAN-CS-67-74 (AD657639), G. E. Forsythe, %2What is a Satisfactory
Quadratic Equation Solver?%1, 9 pages, August 1967.
STAN-CS-67-75 (PB175793), F. L. Bauer, %2Theory of Norms%1, 136 pages,
August 1967.
STAN-CS-67-76 (AD657450), P. M. Anselone, %2Collectively Compact
Operator Approximations%1, 60 pages, April 1967.
STAN-CS-67-77 (PB176770), G. E. Forsythe, %2What To Do Till The Computer
Scientist Comes%1, 13 pages, September 1967.
STAN-CS-67-78 (PB176771), K. M. Colby and H. Enea, %2Machine
Utilization of the Natural Language Word 'Good' %1, 8 pages, September
1967.
STAN-CS-67-79 (AD662884), R. W. Doran, %2360 U.S. Fortran IV Free Field
Input/Output Subroutine Package%1, 21 pages, October 1967.
STAN-CS-67-80 (AD662902), J. Friedman, %2Directed Random Generation of
Sentences%1, 30 pages, October 1967.
STAN-CS-67-81 (AD661217), G. H. Golub and J. H. Welsch, %2Calculation of
Gauss Quadrature Rules%1, 28 pages, November 1967.
STAN-CS-67-82 (PB176775), L. Tesler, H. Enea and K. M. Colby, %2A
Directed Graph Representation for Computer Simulation of Belief Systems%1,
31 pages, December 1967.
STAN-CS-68-83 (AD664237), A. Bjorck and G. Golub, %2Iterative
Refinements of Linear Squares Solutions by House-Holder Transformations%1,
28 pages, January 1968.
STAN-CS-68-84 (AD692680), J. Friedman, %2A Computer System for
Transformational Grammar%1, 31 pages, January 1968.
STAN-CS-68-85 (PB177426), K. M. Colby, %2Computer-Aided Language
Development in Nonspeaking Mentally Disturbed Children%1, 35 pages,
December 1968.
STAN-CS-68-86 (PB179162), H. R. Bauer, S. Becker and S. L. Graham,
%2ALGOL With Programming%1, 90 pages, January 1968.
STAN-CS-68-87 (PB178176), J. Ehrman, %2CS 139 Lecture Notes Part 1,
Sections 1 thru Preliminary Version%1, 188 pages, 1968.
STAN-CS-68-88 (AD665672), S. Schechter, %2Relaxation Methods for Convex
Problems%1, 19 pages, February 1968.
STAN-CS-68-89 (PB180920), H. R. Bauer, S. Becker and S. L. Graham,
%2ALGOL W (revised)%1, 42 pages, March 1968.
STAN-CS-68-90 (PB178177), V. R. Lesser, %2A Multi-Level Computer
Organization Designed to Separate Data Accessing from the Computation%1,
20 pages, March 1968.
STAN-CS-68-91 (PB178114), N. Wirth, J. W. Wells, Jr. and E. H.
Satterthwaite, Jr., %2The PL360 System%1, 89 pages, April 1968.
STAN-CS-68-92 (PB178078), H. Enea, %2MLISP%1, 18 pages, March 1968.
STAN-CS-68-93 (PB178078), G. E. Forsythe, %2Computer Science and
Education%1, 50 pages, March 1968.
STAN-CS-68-94 (SLACR-84), A. C. Shaw (Thesis), %2The Formal Description
and Parsing of Pictures%1, 205 pages, April 1968.
STAN-CS-68-95 (not at NTIS), J. Friedman and R. W. Doran, %2A Formal
Syntax for Transformational Grammar%1, 47 pages, March 1968.
STAN-CS-68-96 (AD673673), L. B. Smith, %2Interval Arithmetic Determinant
Evalation and its Use in Testing for a Chebyshev System%1, 26 pages, April
1968.
STAN-CS-68-97 (not at NTIS), W. F. Miller, %2Research in the Computer
Science Department at Stanford University%1, 49 pages, April 1968.
STAN-CS-68-98 (PB179162), H. Bauer, S. Becker and S. Graham, %2ALGOL With
Implementation%1, 147 pages, May 1968.
STAN-CS-68-99 (PB179057), J. Friedman, %2Lecture Notes on Foundations for
Computer Science%1, 212 pages, June 1968.
.next page
.once center <<reports 100 thru 199>>
%3REPORTS 100 THRU 199%1
STAN-CS-68-100 (PB178877), T. H. Bredt, %2A Computer Model of
Information Processing in Children%1, 60 pages, June 1968.
STAN-CS-68-101 (AIM-60, AD672923), D. M. Kaplan (Thesis), %2The Formal
Theoretic Analysis of Stront Equivalence for Elemental Programs%1, 263
pages, June 1968.
STAN-CS-68-102 (AD677982), A. Pnueli, %2Integer Programming Over a
Cone%1, 29 pages, July 1968.
STAN-CS-68-103 (AD692689), T. H. Bredt and J. Friedman, %2Lexical
Insertion in Transformational Grammar%1, 47 pages, June 1968.
STAN-CS-68-104 (AD673010), R. Bartels, %2A Numerical Investigation of the
Simplex Method%1, 122 pages, July 1968.
STAN-CS-68-105 (AD673674), P. Richman (Thesis), %2Epsiolon-Calculus%1, 138
pages, August 1968.
STAN-CS-68-106 (AIM-65, AD673971), B. Huberman (Thesis), %2A Program to
Play Chess End Games%1, 168 pages, August 1968.
STAN-CS-68-107 (AD668558), M. Jenkins, %2A Three-Stage Variable-Shift
Iteration for Polynomial Zeros and its Relation to Generalized Rayleigh
Interation%1, 46 pages, August 1968.
STAN-CS-68-108 (AD692681), J. Friedman (editor), %2Computer Experiments
in Transformational Grammar%1, 36 pages, August 1968.
STAN-CS-68-109 (AD692690), J. Friedman, %2A Computer System for Writing
and Testing Transformational Grammars - Final Report%1, 14 pages,
September 1968.
STAN-CS-68-110 (PB180920), H. Bauer, S. Becker, S. Graham and E.
Satterthwaite, %2ALGOL W (revised)%1, 103 pages, October 1968.
STAN-CS-68-111 (AD692691), J. Friedman and T. Martner, %2Analysis in
Transformational Grammar%1, 18 pages, August 1968.
STAN-CS-68-112 (AD692687), J. Friedman and B. Pollack, %2A Control
Language for Transformational Grammar%1, 51 pages, August 1968.
STAN-CS-68-113 (PB188705), W. J. Hansen, %2The Impact of Storage
Management on Plex Processing Language Implementation%1, 253 pages, July
1968.
STAN-CS-68-114 (PB182156), J. George, %2Calgen, An Interactive Picture
Calculus Generation System%1, 75 pages, December 1968,
STAN-CS-68-115 (AD692686), J. Friedman, T. Bredt, R. Doran, T. Martner
and B. Pollack, %2Programmer's Manual for a Computer System for
Transformational Grammar%1, 199 pages, August 1968.
STAN-CS-68-116 (AIM-72, AD680036), D. Pieper (Thesis), %2The Kinematics
of Manipulators Under Computer Control%1, 157 pages, October 1968.
STAN-CS-68-117 (PB182151), D. Adams (Thesis), %2A Computational Model with
Data Flow Sequencing%1, 130 pages, December 1968.
STAN-CS-68-118 (AIM-74, AD681027), D. Waterman (Thesis), %2Machine
Learning of Heuristics%1, 235 pages, December 1968.
STAN-CS-68-119 (AD692681), G. Dantzig, et al., %2Mathematical Programming
Language%1, 91 pages, May 1968.
STAN-CS-68-120 (PB182166), E. Satterthwaite, %2Mutant 0.5: An
Experimental Programming Language%1, 60 pages, February 1968.
STAN-CS-69-121 (AD682978), C. B. Moler, %2Accurate Bounds for the
Eigenvalues of the Laplacian and Applications to Rhombical Domains%1, 17
pages, February 1969.
STAN-CS-69-122 (AD687450), W. C. Mitchell and D. L. McCraith,
%2Heuristic Analysis of Numerical Variants of the Gram-Schmidt
Orthonormalization Process%1, 21 pages, February 1969.
STAN-CS-69-123 (AD696982), R. P. Brent, %2Empirical Evidence for a
Proposed Distribution of Small Prime Gaps%1, 18 pages, February 1969.
STAN-CS-69-124 (AD687719), G. H. Golub, %2Matrix Decompositions and
Statistical Calculations%1, 52 pages, March 1969.
STAN-CS-69-125 (AIM-89, AD692390), J. Feldman, J. Horning, J. Gips and S.
Reder, %2Grammatical Complexity and Inference%1, 100 pages, June 1969.
STAN-CS-69-126 (AD702898), G. Dantzig, %2Complementary Spanning Trees%1,
10 pages, March 1969.
STAN-CS-69-127 (AIM-85, AD687720), P. Vicens (Thesis), %2Aspects of
Speech Recognition by Computer%1, 210 pages, April 1969.
STAN-CS-69-128 (AD687717), G. H. Golub, B. L. Buzbee and C. W. Nielson,
%2The Method of Odd/Even Reduction and Factorization with Application to
Poisson's Equation%1, 39 pages, April 1969.
STAN-CS-69-129 (not at NTIS), W. F. Miller, %2Research in the Computer
Science Department%1, 82 pages, April 1969.
STAN-CS-69-130 (AIM-83, PB183907), R. C. Schank (Thesis), %2A Conceptual
Dependency Representation for a Computer-Oriented Semantics%1, 201 pages,
March 1969.
STAN-CS-69-131 (SLAC-96), L. B. Smith (Thesis), %2The Use of Man- Machine
Interaction in Data-Fitting Problems%1, 287 pages, March 1969.
STAN-CS-69-132, Never Printed.
STAN-CS-69-133 (AD687718), G. H. Golub and C. Reinsch, %2Handbook
Series Linear Algebra: Singular Value Decompositions and Least Sequares
Solutions%1, 38 pages, May 1969.
STAN-CS-69-134 (AD700923), G. H. Golub and M. A. Saunders, %2Linear Least
Squares and Quadratic Programming%1, 38 pages, May 1969.
STAN-CS-69-135 (SLACR-102, not at NTIS), D. Gries, %2Compiler
Implementation Language%1, 113 pages, May 1969.
STAN-CS-69-136 (SLACR-104, not at NTIS), I. Pohl (Thesis), %2Bi-
Directional and Heuristic Search in Path Problems%1, 157 pages, May 1969.
STAN-CS-69-137 (AD698801), P. Henrici, %2Fixed Points of Analytic
Functions%1, 7 pages, July 1969.
STAN-CS-69-138 (AIM-96, AD696394), C. C. Green (Thesis), %2The
Application of Theorem Proving to Question-Answering Systems%1, 162 pages,
June 1969.
STAN-CS-69-139 (AIM-98, AD695401), J. J. Horning (Thesis), %2A Study of
Grammatical Inference%1, 166 pages, August 1969.
STAN-CS-69-140 (AD698799), G. E. Forsythe, %2Design - Then and Now%1, 15
pages, September 1969.
STAN-CS-69-141 (PB188542), G. Dahlquist, S. C. Eisenstat and G. H.
Golub, %2Bounds for the Error of Linear Systems of Equations Using the
Theory of Moments%1, 26 pages, October 1969.
STAN-CS-69-142, G. H. Golub and R. Underwood, %2Stationary Values of the
Ratio of Quadratic Forms Subject to Linear Constraints%1, 22 pages,
November 1969.
STAN-CS-69-143 (AD694464), M. A. Jenkins (Thesis), %2Three-Stage
Variable-Shift for the Solution of Polynomial Equations with a Posteriori
Error Bounds for the Zeros%1 (has also been printed incorrectly as
STAN-CS-69-138), 199 pages, August 1969.
STAN-CS-69-144 (AD698800), G. E. Forsythe, %2The Maximum and Minimum of a
Positive Definite Quadratic Polynomial on a Sphere are Convex Functions of
the Radius%1, 9 pages, July 1969.
STAN-CS-69-145 (AD698798), P. Henrici, %2Methods of Search for Solving
Polynomial Equations%1, 25 pages, December 1969.
STAN-CS-70-146 (not at NTIS), G. O. Ramos (Thesis), %2Roundoff Error
Analysis of the Fast Fourier Transform%1, February 1970.
STAN-CS-70-147 (AD699897), G. E. Forsythe, %2Pitfalls in Computation, or
Why a Math Book Isn't Enough%1, 43 pages, January 1970.
STAN-CS-70-148 (PB188749), D. E. Knuth and R. W. Floyd, %2Notes on
Avoiding `GO TO' Statements%1, 15 pages, January 1970.
STAN-CS-70-149 (PB188748), D. E. Knuth, %2Optimum Binary Search Trees%1,
19 pages, January 1970.
STAN-CS-70-150 (AD699898), J. H. Wilkinson, %2Elementary Proof of the
Wielandt-Hoffman Theorem and of its Generalization%1, 8 pages, January
1970.
STAN-CS-70-151 (not at NTIS), E. A. Volkov (translated by G. E.
Forsythe), %2On 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)%1, 26 pages, January 1970.
STAN-CS-70-152 (not at NTIS), S. Gustafson, %2Rapid Computation of
Interpolation Formulae and Mechanical Quadrature Rules%1, 23 pages,
February 1970.
STAN-CS-70-153 (AD701358), S. Gustafson, %2Error Propagation by Use of
Interpolation Formulae and Quadrature Rules which are Computed
Numerically%1, 17 pages, February 1970.
STAN-CS-70-154, H. S. Stone, %2The Spectrum of Incorrectly Decoded Bursts
for Cyclic Error Codes%1, 24 pages, February 1970.
STAN-CS-70-155 (AD705508), B. L. Buzbee, G. H. Golub and C. W. Nielson,
%2The Method of Odd/Even Reduction and Factorization with Application to
Poisson's Equation, Part II%1, 36 pages, March 1970.
STAN-CS-70-156 (AD713972), G. B. Dantzig, %2On a Model for Computing
Roundoff Error of a Sum%1, October 1979.
STAN-CS-70-157 (AD705509), R. P. Brent, %2Algorithms for Matrix
Multiplication%1, 54 pages, March 1970.
STAN-CS-70-158, H. Stone, %2Parallel Processing with the Perfect
Shuffle%1, 36 pages, March 1970.
STAN-CS-70-159 (AD708690), J. A. George, %2The Use of Direct Methods for
the Solution of the Discrete Poisson Equation on Non-Rectangular
Regions%1, 2 pages, June 1970.
STAN-CS-70-160 (CSL-TR-5, AD707762), T. H. Bredt and E. McCluskey, %2A
Model for Parallel Computer Systems%1, 62 pages, April 1970.
STAN-CS-70-161 (SLACR-117, not at NTIS), L. J. Hoffman (Thesis), %2The
Formulary Model for Access Control and Privacy in Computer Systems%1, 81
pages, May 1970.
STAN-CS-70-162 (SLACP-760, AD709564), R. H. Bartels, G. H. Golub and M.
A. Saunders, %2Numerical Techniques in Mathematical Programming%1, 61
pages, May 1970.
STAN-CS-70-163 (AD708691), H. Malcolm, %2An Algorithm for Floating- Point
Accumulation of Sums with Small Realative Error%1, 22 pages, June 1970.
STAN-CS-70-164 (AD708692), V. I. Gordonova (translated by L. Kaufman),
%2Estimates of the Roundoff Error in the Solution of a System of
Conditional Equations, by V. I. Gordonova%1, 16 pages, June 1970.
STAN-CS-70-165, H. Bauer and H. Stone, %2The Scheduling of N Tasks with M
Operations on Two Processors%1, 34 pages, July 1970.
STAN-CS-70-166 (AIM-128, AD713841), E. J. Sandewall, %2Representing
Natural-Language Information in Predicate Calculus%1, 27 pages, July 1970.
STAN-CS-70-167 (AIM-129, AD712460), S. Igarashi, %2Semantics of ALGOL-
Like Statements%1, 95 pages, June 1970.
STAN-CS-70-168 (AIM-130, AD713252), M. Kelly (Thesis), %2Visual
Identification of People by Computer%1, 138 pages, July 1970.
STAN-CS-70-169 (AIM-126, AD711329), D. Knuth, %2Examples of Formal
Semantics%1, 35 pages, August 1970.
STAN-CS-70-170 (CSL-TR-6, AD711334), T. Bredt, %2Analysis and Synthesis
of Concurrent Sequential Programs%1, 50 pages, May 1970.
STAN-CS-70-171 (CSL-TR-8, AD714202), T. Bredt, %2A Survey of Models for
Parrallel Computing%1, 58 pages, August 1970.
STAN-CS-70-172 (CSL-TR-7, AD714180), T. Bredt, %2Analysis of Parallel
Systems%1, 59 pages, August 1970.
STAN-CS-70-173 (CSL-TR-9, AD714181), T. Bredt, %2The Mutual Exclusion
Problem%1, 68 pages, August 1970.
STAN-CS-70-174 (AIM-127, AD711395), Z. Manna and R. Waldinger, %2Towards
Automatic Program Synthesis%1, 55 pages, August 1970.
STAN-CS-70-175 (AD713842), M. Malcolm, %2A Description and Subroutines for
Computing Euclidean Inner Products on the IBM 360%1, 14 pages, October
1970.
STAN-CS-70-176 (AIM-131, AD715128), E. A. Feigenbaum, B. C. Buchanan and
J. Lederberg, %2On Generality and Problem Solving: A Case Study Using the
DENDRAL Program%1, 48 pages, September 1970.
STAN-CS-70-177 (AD715511), R. W. Floyd and D. E. Knuth, %2The Bose-
Nelson Sorting Problem%1, 16 pages, October 1970.
STAN-CS-70-178 (not at NTIS), G. Forsythe and W. F. Miller, %2Research
Review%1, 186 pages, October 1970.
STAN-CS-70-179 (AIM-135, AD716566), D. C. Smith, %2MLISP%1, 99 pages,
October 1970.
STAN-CS-70-180 (AIM-132, AD715665), G. Falk (Thesis), %2Computer
Interpretation of Imperfect Line Data as a Three-Dimensional Scene%1, 187
pages, October 1970.
STAN-CS-70-181 (AIM-133), A. C. Hearn, %2Reduce 2 - User's Manual%1, 85
pages, October 1970.
STAN-CS-70-182 (AIM-134, AD748565), J. Tenenbaum (Thesis), %2Accomodation
in Computer Vision%1, 452 pages, Septmeber 1970.
STAN-CS-70-183 (AIM-136, AD717600), G. M. White, %2Machine Learning
Through Signature Trees...Application to Human Speech%1, 40 pages, October
1970.
STAN-CS-70-184 (AD715512), M. Malcolm, %2A Note on a Conjecture of J.
Mordell%1, 5 pages, October 1970.
STAN-CS-70-185 (TID22593), E. Nelson, %2Graph Program Simulation%1, 175
pages, October 1970.
STAN-CS-70-186 (AIM-137, AD715513), D. E. Knuth, %2An Empirical Study of
Fortran Programs%1, 50 pages, November 1970.
STAN-CS-70-187 (AD197154), G. Dantzig et al., %2Mathematical Programming
Language (MPL) Specification Manual for Committee Review%1, 82 pages,
December 1970.
STAN-CS-70-188 (AIM-138, PB197161), E. Ashcroft and Z. Manna, %2The
Translation of `Go To' Programs to `While' Programs%1, 28 pages, December
1970.
STAN-CS-70-189 (AIM-139, AD717601), Z. Manna, %2Mathematical Theory of
Partial Correctness%1, 24 pages, December 1970.
STAN-CS-70-190 (AD719398), J. Hopcroft, %2An N Log N Algorithm for
Minimizing States in a Finite Automaton%1, 12 pages, December 1970.
STAN-CS-70-191 (SLACP-904, PB198494), V. Lesser, %2An Introduction to the
Direct Emulation of Control Structures by a Parallel Micro- Computer%1, 26
pages, December 1970.
STAN-CS-70-192 (AD719399), J. Hopcroft, %2An N Log N Algorithm for
Isomorphism of Planar Triply Connected Graphs%1, 6 pages, December 1970.
STAN-CS-70-193 (AIM-140, not at NTIS), R. Schank, %2Intention, Memory and
Computer Understanding%1, 59 pages, December 1970.
STAN-CS-70-194 (PB198495), D. E. Knuth, %2The Art of Computer
Programming - Errata et Addenda%1, 28 pages, December 1970.
STAN-CS-70-195 (723871), B. L. Buzbee, F. W. Dorr, A. George and G. H.
Golub, %2The Direct Solution of the Discrete Poisson Equation on Irregular
Regions%1, 30 pages, December 1970.
STAN-CS-70-196 (AD725167), C. B. Moler, %2Matrix Computations with
Fortran and Paging%1, 13 pages, December 1970.
STAN-CS-71-197 (not at NTIS), D. E. Knuth and R. L. Sites, %2Mix/360
User's Guide%1, 11 pages, January 1971.
STAN-CS-71-198 (AD726170), R. Brent (Thesis), %2Algorithms for Finding
Zeros and Extrema of Functions without Calculating Derivatives%1, 250
pages, February 1971.
STAN-CS-71-199 (PB198415), Staff, %2Bibliography of Stanford Computer
Science Reports 1963-1971%1, 28 pages, February 1971.
.next page
.once center <<reports 200 thru 299>>
%3REPORTS 200 THRU 299%1
STAN-CS-71-200 (PB198416), J. G. Herriot and C. H. Peinsch, %2ALGOL 60
Procedures for the Calculation of Interpolating Natural Spline
Functions%1, 30 pages, February 1971.
STAN-CS-71-201 (AD722434), J. Hopcroft and R. Tarjan, %2Planarity Testing
in V Log V Steps: Extended Abstracts%1, 18 pages, February 1971.
STAN-CS-71-202 (SLAC-117, not at NTIS), H. J. Saal and W. Riddle,
%2Communicating Semaphores%1, 21 pages, February 1971.
STAN-CS-71-203 (AIM-141, AD730506), B. Buchanan, E. Feigenbaum and J.
Lederberg, %2The Heuristic DENDRAL Program for Explaining Empirical
Data%1, 20 pages, February 1971.
STAN-CS-71-204 (PB198510), D. Ingalls, %2FETE - a Fortran Execution Time
Estimator%1, 12 pages, February 1971.
STAN-CS-71-205 (AIM-142, AD731383), Robin Milner, %2An Algebraic
Definition of Simulation Between Programs%1, 20 pages, March 1971.
STAN-CS-71-206 (AD726158), D. E. Knuth, %2Mathematical Analysis of
Algorithms%1, 26 pages, March 1971.
STAN-CS-71-207 (AD726169), J. Hopcroft and R. Tarjan, %2Efficient
Algorithms for Graph Manipulation%1, 19 pages, March 1971.
STAN-CS-71-208 (AD726171), J. A. George (Thesis), %2Computer
Implementation of the Finite Element Method%1, 220 pages, March 1971.
STAN-CS-71-209 (AIM-143, AD724867), J. McCarthy and Staff, %2Project
Technical Report%1, 80 pages, March 1971.
STAN-CS-71-210 (PB201917), J. Gerry Purdy, %2Access - a Program for the
Catalog and Access of Information%1, 28 pages, March 1971.
STAN-CS-71-211 (AD727104), M. Malcolm, %2An Algorithm to Reveal
Properties of Floating-Point Arithmetic%1, 8 pages, March 1971.
STAN-CS-71-212 (AD727107), M. A. Morgana, %2Time and Memory Requirements
for Solving Linear Systems%1, 7 pages, March 1971.
STAN-CS-71-213 (PB201629), R. Tarjan, %2The Switchyard Problem: Sorting
Using Networks of Queues and Stacks%1, 13 pages, April 1971.
STAN-CS-71-214 (AD727108), R. L. Graham, D. E. Knuth and T. S. Motzkin,
%2Complements and Transitive Closures%1, 6 pages, April 1971.
STAN-CS-71-215 (AD727115), M. Malcolm, %2PL360 (Revised) - a Programming
Language for the IBM 360%1, 91 pages, May 1971.
STAN-CS-71-216 (AIM-147, AD732457), R. E. Kling, %2Reasoning by Analogy
with Applications to Heuristics Problem Solving: a Case Study%1, 180
pages, May 1971.
STAN-CS-71-217 (AIM-148, AD731730), E. A. Ashcroft, Z. Manna and A.
Pnueli, %2Decidable Properties of Monadic Functional Schemas%1, 9 pages,
May 1971.
STAN-CS-71-218 (AD731038), N. G. Debruijn, D. E. Knuth and S. O. Rice,
%2The Average Height of Plane Trees%1, 7 pages, May 1971.
STAN-CS-71-219 (AIM-144, not at NTIS), Lynn Quam (Thesis), %2Computer
Comparison of Pictures%1, 120 pages, May 1971.
STAN-CS-71-220 (CSL-4, AD727116), Harold Stone, %2Dynamic Memories with
Enhanced Data Access%1, 32 pages, February 1971.
STAN-CS-71-221 (AIM-145, AD731729), B. G. Buchanan, E. Feigenbaum and J.
Lederberg, %2A Heuristic Programming Study of Theory Formation in
Science%1, 41 pages, June 1971.
STAN-CS-71-222 (PB235417/AS), W. J. Meyers (Thesis), %2Linear
Representation of Tree Structure (a Mathematical Theory of
Parenthesis-Free Notations)%1, 245 pages, June 1971.
STAN-CS-71-223 (PB203429), Susan Graham (Thesis), %2Precedence Languages
and Bounded Right Context Languages%1, 192 pages, July 1971.
STAN-CS-71-224 (AIM-146, PB212183), A. Ershov, %2Parallel Programming%1,
15 pages, July 1971.
STAN-CS-71-225 (PB203344), Ake Bjorck and Gene Golub, %2Numerical Methods
for Computing Angles Between Linear Subspaces%1, 30 pages, July 1971.
STAN-CS-71-226 (SLAC-133), J. E. George, %2SIMPLE - A Simple Precedence
Translator Writing System%1, 92 pages, July 1971.
STAN-CS-71-227 (SLAC-134), J. E. George (Thesis), %2GEMS - A Graphical
Experimental Meta System%1, 184 pages, July 1971.
STAN-CS-71-228 (PB203343), Linda Kaufman, %2Function Minimization and
Automatic Therapeutic Control%1, 30 pages, July 1971.
STAN-CS-71-229 (AD732766), E. H. Lee and G. E. Forsythe, %2Variational
Study of Nonlinear Spline Curves%1, 22 pages, August 1971.
STAN-CS-71-230 (PB203601), R. L. Sites, %2ALGOL With Reference Manual%1,
141 pages, August 1971.
STAN-CS-71-231 (AIM-149, AD732644), Rod Schmidt (Thesis), %2A Study of the
Real-Time Control of a Computer Driven Vehicle%1, 180 pages, August 1971.
STAN-CS-71-232 (AD733073), C. B. Moler and G. W. Steward, %2An
Algorithm for the Generalized Matrix Eigenvalue Problem%1, 50 pages,
August 1971.
STAN-CS-71-233 (not at NTIS), Wayne Wilner, %2Declarative Semantic
Definition%1, 211 pages, August 1971.
STAN-CS-71-234 (not at NTIS), Gene H. Golub, %2Some Modified Eigenvalue
Problems%1, 38 pages, September 1971.
STAN-CS-71-235 (AIM-150, not at NTIS), R. W. Floyd, %2Toward Iterative
Design of Correct Programs%1, 12 pages, September 1971.
STAN-CS-71-236 (AD737648), G. H. Golub and George Styan, %2Numerical
Computation for Univeariate Linear Models%1, 35 pages, September 1971.
STAN-CS-71-237 (CSL-TR-16, AD737270), D. C. Van Voorhis, %2A
Generalization of the Divide-Sort-Merge Strategy for Sorting Networks%1,
67 pages, September 1971.
STAN-CS-71-238 (CSL-TR-17, AD735901), D. C. Van Voorhis, %2A Lower Bound
for Sorting Networks That Use the Divide-Sort-Merge Strategy%1, 13 pages,
September 1971.
STAN-CS-71-239 (CSL-TR-18, AD736610), D. C. Van Voorhis, %2Large [g.d.]
Sorting Networks%1, 84 pages, September 1971.
STAN-CS-71-240 (AIM-151, AD738568), Ralph London, %2Correctness of Two
Compilers for a LISP Subset%1, 42 pages, October 1971.
STAN-CS-71-241 (AIM-152, AD732642), Alan Bierman, %2On the Inference of
Turing Machines from Sample Computations%1, 31 pages, October 1971.
STAN-CS-71-242 (AIM-153, AD738569), Patrick Hayes, %2The Frame Problem and
Related Problems in AI%1, 24 pages, November 1971.
STAN-CS-71-243 (AIM-154, AD738570), Z. Manna, S. Ness and J. Vuillemin,
%2Inductive Methods for Proving Properties of Programs%1, 24 pages,
November 1971.
STAN-CS-71-244 (AD738027), R. Tarjan (Thesis), %2An Efficient Planarity
Algorithm%1, 154 pages, November 1971.
STAN-CS-71-245 (AIM-155, not at NTIS), John Ryder (Thesis), %2Heuristic
Analysis of Large Trees as Generated in the Game of Go%1, 350 pages,
November 1971.
STAN-CS-71-246 (AIM-156, AD740141), Ken Colby, S. Weber, Frank Hilf and H.
Kraemer, %2A Resemblance Test for the Validation of a Computer Simulation
of Paranoid Processing%1, 30 pages, November 1971.
STAN-CS-71-247 (AIM-157, not at NTIS), Yorick Wilks, %2On Small Head --
Some Remarks on the Use of 'Model' in Linguistics%1, 16 pages, December
1971.
STAN-CS-71-248 (AD739335), Michael Fredman and Donald Knuth, %2Recurrence
Relations Based on Minimization%1, 35 pages, December 1971.
STAN-CS-71-249 (not at NTIS), Bary Pollack, %2An Annotated Bibliography on
the Construction of Compilers%1, 140 pages, December 1971.
STAN-CS-71-250 (AIM-158, AD740127), Ashok Chandra and Zohar Manna,
%2Program Schemas with Equality%1, 13 pages, December 1971.
STAN-CS-72-251 (CSL-TR-19, AD736814), Harold Stone, %2An Efficient
Parallel Algorithm for the Solution of a Tridiagonal Linear System of
Equation%1, 24 pages, January 1972.
STAN-CS-72-252 (SU326 P30 14), M. A. Saunders, %2Large-Scale Linear
Programming Using the Cholesky Factorization%1, 40 pages, January 1972.
STAN-CS-72-253 (AIM-159, not at NTIS), J. A. Feldman and P. C. Shields,
%2Total Complexity and the Inference of Best Programs%1, January 1972.
STAN-CS-72-254 (AD740330), G. E. Forsythe, %2Von Neumann's Comparison
Method for Random Sampling from the Normal and Other Distributions%1, 19
pages, January 1972.
STAN-CS-72-255 (AIM-160, AD740140), J. A. Feldman, %2Automatic
Programming%1, 20 pages, January 1972.
STAN-CS-72-256 (AD740331), V. Chvatal, %2Edmonds Polyhedra and Weakly
Hamiltonian Graphs%1, 22 pages, January 1972.
STAN-CS-72-257 (PB208519), N. Wirth, %2On Pascal, Code Generation, and the
CDC 6000 Computer%1, 39 pages, February 1972.
STAN-CS-72-258 (AD740332), Harold Brown, %2Some Basic Machine Algorithms
for Integral Order Computations%1, 15 pages, February 1972.
STAN-CS-72-259 (PB208595), Clark A. Crane (Thesis), %2Linear Lists and
Priority Queues as Balanced Binary Trees%1, 131 pages, February 1972.
STAN-CS-72-260 (AD740110), Vaughan R. Pratt (Thesis), %2Shellsort and
Sorting Networks%1, 59 pages, February 1972.
STAN-CS-72-261 (SU326 P30 15), Gene H. Golub and Victor Pereyra, %2The
Diffenentiation of Pseudoinverses and Nonlinear Least Squares Whose
Variables Separate%1, 35 pages, February 1972.
STAN-CS-72-262 (PB209357), Staff, %2Bibliography%1, 36 pages, February
1972.
STAN-CS-72-263 (AD741189), David A. Klarner and Ronald Rivest, %2A
Procedure for Improving the Upper Bound for the Number of n-Ominoes%1, 31
pages, February 1972.
STAN-CS-72-264 (AIM-161, AD741189), Yorick Wilks, %2Artificial
Intelligence Approach to Machine Translation%1, 42 pages, February 1972.
STAN-CS-72-265 (AIM-162, AD744634), Neil Goldman, Roger Shank, Chuck
Rieger and Chris Riesbeck, %2Primitive Concepts Underlying Verbs of
Thought%1, 80 pages, February 1972.
STAN-CS-72-266 (AIM-163, not at NTIS), Jean Cadiou (Thesis), %2Recursive
Definitions of Partial and Functions and Their Computation%1, 160 pages,
March 1972.
STAN-CS-72-267 (PB209629), Pierre E. Bonzon, %2MPL (An Appraisal Based on
Practical Experiment)%1, 26 pages, March 1972.
STAN-CS-72-268 (AD742348), V. Chvatal, %2Degrees and Matchings%1, 16
pages, March 1972.
STAN-CS-72-269 (AD742747), David Klarner and R. Rado, %2Arithmetic
Properties of Certain Recursively Defined Sets%1, 30 pages, March 1972.
STAN-CS-72-270 (PB209616), G. Golub, J. H. Wilkinson and R. Underwood,
%2The Lanczos Algorithm for the Symmetric Ax = Ī» Bx Problem%1, 21 pages,
Marcy 1972.
STAN-CS-72-271 (not at NTIS), William E. Riddle (Thesis), %2The Modeling
and Analysis of Supervisory Systems%1, 174 pages, March 1972.
STAN-CS-72-272 (AIM-164, AD742748), Zohar Manna and J. Vuillemin,
%2Fixedpoint Approach to the Theory of Computation%1, 25 pages, March
1972.
STAN-CS-72-273 (PB209806), V. Chvatal and J. Sichler, %2Chromatic
Automorphisms of Graphs%1, 12 pages, March 1972.
STAN-CS-72-274 (AD742749), D. Klarner and Richard Rado, %2Linear
Combinations of Sets of Consecutive Integers%1, 12 pages, March 1972.
STAN-CS-72-275 (AD742750), David A. Klarner, %2Sets Generated by
Iteration of a Linear Operation%1, 16 pages, March 1972.
STAN-CS-72-276 (AD745022), Linda Kaufman (Thesis), %2A Generalized LR
Method to Solve Ax = Bx%1, 70 pages, April 1972.
STAN-CS-72-277 (SLAC-149, not at NTIS), C. T. Zahn, %2Region Boundaries
on a Triangular Grid%1, 40 pages, April 1972.
STAN-CS-72-278 (SU326 P30-17), Paul Concus and Gene H. Golub, %2Use of
Fast Direct Methods for the Efficient Numerical Solution of Nonseparable
Elliptic Equations%1, April 1972.
STAN-CS-72-279 (AD744313), Michael Osborne, %2Topics in Optimization%1,
143 pages, April 1972.
STAN-CS-72-280 (AIM-165, AD742751), D. A. Bochvar, %2Two Papers on
Partial Predicate Calculus%1, April 1972.
STAN-CS-72-281 (AIM-166, AD743598), Lynn Quam, Sydney Liebes, Robert
Tucker, Marsha Jo Hanna and Botond Eross, %2Computer Interactive Picture
Processing%1, 41 pages, April 1972.
STAN-CS-72-282 (AIM-167, AD747254), Ashok K. Chandra, %2Efficient
Compilation of Linear Recursive Programs%1, 40 pages, April 1972.
STAN-CS-72-283 (not at NTIS), David R. Stoutemyer (Thesis), %2Num*5 Qe .once center <<reports 300 thru 399>>
%3REPORTS 300 THRU 399%1
STAN-CS-72-300 (CSL-TN-17, AD749848), Marc T. Kaufman, %2Counterexample
of a Conjecture of Fujii, Kasami and Ninomiya%1, 5 pages, July 1972.
STAN-CS-72-301 (SU326 P30-21), Michael A. Saunders, %2Product Form of the
Cholesky Factorization for Large-Scale Linear Programming%1, 35 pages,
July 1972.
STAN-CS-72-302 (SU326 P30-19), G. H. Golub, %2Some Uses of the Lanczos
Algorithm in Numerical Linear Algebra%1, 23 pages, August 1972.
STAN-CS-72-303 (AIM-174, PB212827), F. Lockwood Morris (Thesis),
%2Correctness of Translations of Programming Languages - an Algebraic
Approach%1, 125 pages, August 1972.
STAN-CS-72-304 (SU326 P30-20), R. S. Anderssen and G. H. Golub,
%2Richardson's Non-Stationary Matrix Iterative Procedure%1, 76 pages,
August 1972.
STAN-CS-72-305 (AIM-173, AD755139), Gerald Agin (Thesis), %2Representation
and Description of Curved Objects%1, 125 pages, August 1972.
STAN-CS-72-306 (SU326 P23-X-2), Bary W. Pollack, %2A Bibliography on
Computer Graphics%1, 145 pages, August 1972.
STAN-CS-72-307 (AIM-175, not at NTIS), Hozumi Tanaka, %2Hadamard Transform
for Speech Wave Analysis%1, August 1972.
STAN-CS-72-308 (AIM-176, AD754109), J. A. Feldman, J. R. Low, R. H.
Taylor and D. C. Swinehart, %2Recent Development in SAIL - an ALGOL Based
Language for Artificial Intelligence%1, 22 pages, August 1972.
STAN-CS-72-309 (CSL-TR-157, not at NTIS), V. Lesser (Thesis), %2Dynamic
Control Structures and Their Use in Emulation%1, 251 pages, August 1972.
STAN-CS-72-310 (CSL-TR-34, AD750671), Marc T. Kaufman, %2Anomalies in
Scheduling Unit-Time Tasks%1, 22 pages, September 1972.
STAN-CS-72-311 (AIM-177, not at NTIS), Richard Paul (Thesis), %2Modelling,
Trajectory Calculation and Servoing of a Computer Controlled Arm%1,
September 1972.
STAN-CS-72-312 (AIM-178, AD754108), Ahron Gill, %2Visual Feedback and
Related Problems in Computer Controlled Hand-Eye Coordination%1, 134
pages, September 1972.
STAN-CS-72-313 (PB218353/1), Staff, %2Bibliography of Computer Science
Reports%1, 42 pages, September 1972.
STAN-CS-72-314 (CSL-TR-43, PB212893), Peter M. Kogge (Thesis, Part I),
%2Parallel Algorithms for the Efficient Solution of Recurrence Problems%1,
74 pages, September 1972.
STAN-CS-72-315 (CSL-TR-44, PB212894), Peter M. Kogge (Thesis, Part II),
%2The Numerical Stability of Parallel Algorithms for Solving Recurrence
Problems%1, 49 pages, September 1972.
STAN-CS-72-316 (CSL-TR-45, PB212828), Peter M. Kogge (Thesis, Part III),
%2Minimal Paralellism in the Solution of Recurrence Problems%1, 45 pages,
September 1972.
STAN-CS-72-317 (CSL-TR-26, AD750672), S. H. Fuller and F. Baskett, %2An
Analysis of Drum Storage Units%1, 69 pages, October 1972.
STAN-CS-72-318 (AD755140), H. Brown, L. Masinter and L. Hjelmeland,
%2Constructive Graph Labeling Using Double Cosets%1, 50 pages, October
1972.
STAN-CS-72-319 (SU326 P30-22), Gene H. Golub and James M. Varah, %2On a
Characterization of the Best 1ā2 Scaling of a Matrix%1, 14 pages, October
1972.
STAN-CS-72-320 (AIM-179), Bruce G. Baumgart, %2Winged Edge Polyhedra
Representation%1, 46 pages, October 1972.
STAN-CS-72-321 (AIM-180, AD759712), Ruzena Bajcsy (Thesis), %2Computer
Identification of Textured Visual Scenes%1, 156 pages, October 1972.
STAN-CS-72-322 (SU326 P30-23), P. E. Gill, G. H. Golub, W. Murray and M.
A. Saunders, %2Methods for Modifying Matrix Factorizations%1, 62 pages,
November 1972.
STAN-CS-72-323, Michael A. Malcolm and John Palmer, %2A Fast Method for
Solving a Class of Tri-Diagonal Linear Systems%1 (also listed on the
abstract as %2On the Lu Decomposition of Toeplitz Matrices%1), 11 pages,
November 1972.
STAN-CS-72-324 (CSL-TR-48, PB214612), Henry R. Bauer, III (Thesis),
%2Subproblems of the m %4x%2 n Sequencing Problem%1, 115 pages, November
1972.
STAN-CS-72-325 (AIM-181), Bruce G. Buchanan, %2Review of Hubert Dreyfus'
What Computers Can't Do: A Critique of Artificial Reason%1, 14 pages,
November 1972.
STAN-CS-72-326 (AIM-182, AD754107), Kenneth Mark Colby and Franklin Dennis
Hilf, %2Can Expert Judges, Using Transcripts of Teletyped Psychiatric
Interviews, Distinguish Human Paranoid Patients from a Computer Simulation
of Paranoid Processes?%1, 12 pages, December 1972.
STAN-CS-72-327 (AD755138), David A. Klarner and Ronald L. Rivest,
%2Asymptotic Bounds for the Number of Convex n-Ominoes%1, 15 pages,
December 1972.
STAN-CS-72-328 (CSL-TR-31, PB218929), Harold Gabow, %2An Efficient
Implementation of Edmonds' Maximum Matching Algorithm%1, 68 pages,
December 1972.
STAN-CS-72-329 (PB218875), Isu Fang (Thesis), %2Folds, A Declarative
Formal Language Definition System%1, 290 pages, December 1972.
STAN-CS-73-330 (AIM-184, AD758651), Malcolm Newey, %2Axioms and Theorems
for Integers, Lists and Finite Sets in LCF%1, 53 pages, January 1973.
STAN-CS-73-331 (AIM-187, AD757364), George Collins, %2The Computing Time
of the Eulidian Algorithm%1, 17 pages, January 1973.
STAN-CS-73-332 (AIM-186, AD758645), Robin Milner, %2Models of LCF%1, 17
pages, January 1973.
STAN-CS-73-333 (AIM-185, AD757367), Zohar Manna and Ashok Chandra, %2On
the Power of Programming Features%1, 29 pages, January 1973.
STAN-CS-73-334 (AD757366), Michael A. Malcolm and Cleve B. Moler, %2URAND,
A Universal Random Number Generator%1, 10 pages, January 1973.
STAN-CS-73-335 (SU326 P30-24), G. Golub and E. Seneta, %2Computation of
the Stationary Distribution of an Infinite Markov Matrix%1, 12 pages,
January 1973.
STAN-CS-73-336 (AIM-188, AD758646), Ashok K. Chandra (Thesis), %2On the
Properties and Applications of Program Schemas%1, 225 pages, January 1973.
STAN-CS-73-337 (AIM-189, PB218682), James Gips and George Stiny
%2Aestehetics Systems%1, 22 pages, January 1973.
STAN-CS-73-338 (AD759713), David A Klarner, %2A Finite Basis Theorem
Revisited%1, 10 pages, February 1973.
STAN-CS-73-339 (SU326 P30-25), Gene H. Golub and Warren Dent,
%2Computation of the Limited Information Maximum Likelihood Estimator%1,
27 pages, February 1973.
STAN-CS-73-340 (AIM-190, AD759714), Malcolm Newey, %2Notes on a Problem
Involving Permutations as Subsequences%1, 20 pages, March 1973.
STAN-CS-73-341 (AIM-191, AD764272), Shmuel Katz and Zohar Manna, %2A
Heuristic Approach to Program Verification%1, 40 pages, March 1973.
STAN-CS-73-342 (AD759715), Donald Knuth, %2Matroid Partitioning%1, 12
pages, March 1973.
STAN-CS-73-343 (not at NTIS), David R. Levine (Thesis), %2Computer- Based
Analytic Grading for German Grammar Instruction%1, 220 pages, March 1973.
STAN-CS-73-344 (AIM-183, AD759716), Roger C. Schank, %2The Fourteen
Primitive Actions and Their Inferences%1, 71 pages, March 1973.
STAN-CS-73-345 (AIM-192, not at NTIS), George Collins and Ellis Horowitz,
%2The Minimum Root Separation of a Polynomial%1, 25 pages, April 1973.
STAN-CS-73-346 (AIM-193, AD759717), Kenneth Mark Colby, %2The Rational for
Computer Based Treatment of Language Difficulties in Nonspeaking Autistic
Children%1, 8 pages, April 1973.
STAN-CS-73-347 (AIM-194, PB221170/4), Kenneth M. Colby and Franklin Dennis
Hilf, %2Multi Dimensional Analysis in Evaluating a Simulation of Paranoid
Thought Processes%1, 10 pages, April 1973.
STAN-CS-73-348 (SU326 P30-26, PB222513), V. Pereyra, %2High Order Finite
Difference Solution of Differential Equations%1, 86 pages, April 1973.
STAN-CS-73-349 (PB221115), Manuel Blum, Robert Floyd, Vaughn Pratt, Ronald
Rivest and Robert Tarjan, %2Time Bounds for Selection%1, and Robert Floyd
and Ronald Rivest, %2Expected Time Bounds for Selection%1, 51 pages, April
1973.
STAN-CS-73-350 (CSL-TR-53, AD761177), Marc T. Kaufman, %2An Almost-
Optimal Algorithm for the Assmbly Line Scheduling Problem%1, 21 pages,
April 1973.
STAN-CS-73-351 (CSL-TR-27, AD761175), Samuel H. Fuller, %2Performance of
an I/O Channel with Multiple Paging Drums%1, 8 pages, April 1973.
STAN-CS-73-352 (CSL-TR-28, AD761176), Samuel H. Fuller, %2The Expected
Difference Between the SLTF and MTPT Drum Scheduling Disciplines%1, 6
pages, April 1973.
STAN-CS-73-353 (CSL-TR-29, AD761185), Samuel H. Fuller, %2Random Arrivals
and MTPT Disc Scheduling Disciplines%1, 7 pages, April 1973.
STAN-CS-73-354 (PB221165/4), David A. Klarner, %2The Number of SDR's in
Certain Regular Systems%1, 7 pages, April 1973.
STAN-CS-73-355 (CSL-TR-57, AD764598), Thomas G. Price, %2An Analysis of
Central Processor Scheduling in Multiprogrammed Computer Systems%1, 8
pages, April 1973.
STAN-CS-73-356 (AIM-195, PB222164), David Canfield Smith and Horace J.
Enea, %2MLISP2%1, 92 pages, May 1973.
STAN-CS-73-357 (AIM-196, AD762471), Neil M. Goldman and Christopher K.
Riesbeck, %2A Conceptually Based Sentence Paraphraser%1, 88 pages, May
1973.
STAN-CS-73-358 (AIM-197, AD762470), Roger C. Schank and Charles J.
Rieger III, %2Inference and the Computer Understanding of Natural
Lanugage%1, 40 pages, May 1973.
STAN-CS-73-359 (CSL-TN-25, PB222064), Harold Stone, %2A Note on a
Combinatorial Problem of Burnett and Coffman%1, 8 pages, May 1973.
STAN-CS-73-360 (CSL-TR-33, AD764014), Richard R. Muntz and Forest
Baskett, %2Open, Closed and Mixed Networks of Queues with Different
Classes of Customers%1, 40 pages, May 1973.
STAN-CS-73-361 (Serra, AD764273), Harold Brown and Larry Masinter, %2An
Algorithm for the Construction of the Graphs of Organic Molecules%1, 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), %2The LZ
Algorithm to Solve the Generalized Eigenvalue Problem%1, 101 pages, May
1973.
STAN-CS-73-364 (AIM-198, AD763611), R. B. Thosar, %2Estimation of
Probability Density Using Signature Tables for Application to Pattern
Recognition%1, 36 pages, May 1973.
STAN-CS-73-365 (AIM-200, AD767331), Shigeru Igarashi, Ralph L. London and
David C. Luckham, %2Automatic Program Verification I: Logical Basis and
its Implementation%1, 50 pages, May 1973.
STAN-CS-73-366 (AIM-201, AD763673), Gunnar Rutger Grape (Thesis), %2Model
Bases (Intermediate-Level) Computer Vision%1, 256 pages, May 1973.
STAN-CS-73-367 (AD763601), Ole Amble and Donald E. Knuth, %2Ordered Hash
Tables%1, 34 pages, May 1973.
STAN-CS-73-368 (AIM-202, AD764396), Roger C. Schank and Yorick Wilks,
%2The Goals of Linguistic Theory Revisited%1, 44 pages, May 1973.
STAN-CS-73-369 (AIM-203, AD764274), Roger C. Schank, %2The Development of
Conceptual Structures in Children%1, 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, %2A Heuristic Program to Discover
Syntheses for Complex Organic Molecules%1, 30 pages, June 1973.
STAN-CS-73-371 (AD223572/AS), Donald E. Knuth, %2A review of `Structured
Programming' %1, 25 pages, June 1973.
STAN-CS-73-372 (AD767970), Michael A. Malcolm (Thesis, part II),
%2Nonlinear Spline Functions%1, 60 pages, June 1973.
STAN-CS-73-373 (AIM-204, AD765353/BWC), Kurt A. van Lehn (editor), %2SAIL
User Manual%1, 200 pages, June 1973.
STAN-CS-73-374 (AD764275), Michael A. Malcolm (Thesis excerpt), %2A
Machine-Independent ALGOL Procedure for Accurate Floating-Point
Summation%1, 5 pages, June 1973.
STAN-CS-73-375 (SU-326 P30-27), D. Fischer, G. Golub, O. Hald, C.
Levin and O. Widlund, %2On Fourier-Toeplitz Methods for Separable
Elliptic Problems%1, 30 pages, June 1973.
STAN-CS-73-376 (SU326 P30-28), Gunter Meinardus and G. D. Taylor, %2Lower
Estimates for the Error of Best Uniform Approximation%1, 20 pages, June
1973.
STAN-CS-73-377 (AIM-206, AD764652), Yorick Wilks, %2Preference
Semantics%1, 20 pages, June 1973.
STAN-CS-73-378 (AIM-207, AD767333), James Anderson Moorer, %2The
`Optimum-Comb' Method of Pitch Period Analysis in Speech%1, 25 pages, June
1973.
STAN-CS-73-379 (AIM-208, AD767334), James Anderson Moorer, %2The Hetrodyne
Filter as a Tool for Analysis of Transient Waveforms%1, 30 pages, June
1973.
STAN-CS-73-380 (AIM-209, AD767695/O WC), Yoram Yakimovsky (Thesis),
%2Scene Analysis Using a Semantic Base for Region Growing%1, 120 pages,
June 1973.
STAN-CS-73-381 (AD767694), N. S. Sridharan, %2Computer Generation of
Vertex-Graphs%1, 18 pages, July 1973.
STAN-CS-73-382 (AIM-210, AD767335), Zohar Manna and Amir Pnueli,
%2Axiomatic Approach to Total Correctness of Programs%1, 26 pages, July
1973.
STAN-CS-73-383 (AIM-211, AD769673), Yorick Wilks, %2Natural Language
Inference%1, 47 pages, July 1973.
STAN-CS-73-384 (AIM-212, AD769379), Annette Herskovits, %2The Generation
of French from a Semantic Representation%1, 50 pages, August 1973.
STAN-CS-73-385 (AIM-213, not at NTIS), R. B. Thosar, %2Recognition of
Continuous Speech: Segmentation and Classification Using Signature Table
Adaptation%1, 37 pages, August 1973.
STAN-CS-73-386 (AIM-214, AD767332), W. A. Perkins and T. O. Binford, %2A
Corner Finder for Visual Feed-Back%1, 59 pages, August 1973.
STAN-CS-73-387 (AIM-215, AD769380), Bruce G. Buchanan and N. S.
Sridharan, %2Analysis of Behavior of Chemical Molecules: Rule Formation
on Non-Homogeneous Classes of Objects%1, 15 pages, August 1973.
STAN-CS-73-388 (CSL-TR-74, PB226044/AS), R. C. Swanson,
%2Interconnections for Parallel Memories to Unscramble P-Ordered
Vectors%1, 52 pages, August 1973.
STAN-CS-73-389 (AIM-216, AD771299), L. Masinter, N. S. Sridharan, J.
Lederberg and D. H. Smith, %2Applications of Artificial Intelligence for
Chemical Inference XII: Exhaustive Generation of Cyclic and Acyclic
Isomers%1, 60 pages, September 1973.
STAN-CS-73-390 (not at NTIS), James Gips, %2A Construction for the Inverse
of a Turing Machine%1, 8 pages, Septermber 1973.
STAN-CS-73-391 (AIM-217, AD770610), N. S. Sridharan, %2Search Strategies
for the Task of Organic Chemical Synthesis%1, 32 pages, September 1973.
STAN-CS-73-392, Donald E. Knuth, %2Sorting and Searching - Errata and
Addenda%1, 31 pages, October 1973.
STAN-CS-73-393 (AIM-218, AD772063/4WC), Jean Etienne Vuillemin (Thesis),
%2Proof Techniques for Recursive Programs%1, 97 pages, October 1973.
STAN-CS-73-394 (AIM-219, AD769674), C. A. R. Hoare, %2Parallel
Programming: An Axiomatic Approach%1, 33 pages, October 1973.
STAN-CS-73-395, Staff, %2Bibliography of Computer Science Reports%1, 48
pages, October 1973.
STAN-CS-73-396 (AIM-220, AD772064), Robert Bolles and Richard Paul, %2The
Use of Sensory Feedback in a Programmable Assembly System%1, 24 pages,
October 1973.
STAN-CS-73-397 (SU326 P30-28A), Peter Henrici, %2Computational Complex
Analysis%1, 14 pages, October 1973.
STAN-CS-73-398 (AIM-199, AD771300), Bruce G. Baumgart, %2Image Contouring
and Comparing%1, 52 pages, October 1973.
STAN-CS-73-399 (SU326 P30-29), C. C. Paige and M. A. Saunders,
%2Solution of Spase Indefinite Systems of Equations and Least Squares
Problems%1, 47 pages, October 1973.
.next page
.once center <<reports 400 thru 499>>
%3REPORTS 400 THRU 499%1
STAN-CS-73-400 (AIM-223, AD772509), C. A. R. Hoare, %2Recursive Data
Structures%1, 32 pages, November 1973.
STAN-CS-73-401 (PB226691/AS), C. A. R. Hoare, %2Monitors: An Operating
System Structuring Concept%1, 25 pages, November 1973.
STAN-CS-73-402 (PB229616/AS), J. G. Herriot and C. H. Reinsch, %2ALGOL 60
Precedures for the Calculation of Interpolating Natural Quintic Spline
Functions%1, 40 pages, November 1973.
STAN-CS-73-403 (AIM-224, AD773391), C. A. R. Hoare, %2Hints on
Programming Language Design%1, 29 pages, December 1973.
STAN-CS-74-404 (AD775452), N. S. Sridharan, %2A Catalog of
Quadri/Trivalent Graphs%1, 48 pages, January 1974.
STAN-CS-74-405 (not at NTIS), R. Davis and M. Wright, %2Stanford
Computer Science Department: Research Report%1, 38 pages, January 1974.
STAN-CS-74-406 (AIM-225, AD775645), W. A. Perkins, %2Memory Model for a
Robot%1, January 1974.
STAN-CS-74-407 (AIM-226, AD778310), F. Wright, %2FAIL Manual%1, 50 pages,
February 1974.
STAN-CS-74-408 (AIM-227, AD-A003 483), Arthur Thomas and Thomas Binford,
%2Information Processing Analysis of Visual Perception: a review%1, 40
pages, February 1974.
STAN-CS-74-409 (AIM-228, AD776233), John McCarthy and Staff, %2Final
Report: Ten Years of Research in Artificial Intelligence. An Overview%1,
February 1974.
STAN-CS-74-410 (CSL-TR-46, PB231926/AS), James L. Peterson (Thesis),
%2Modelling of Parallel Systems%1, 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, %2After Leibniz...: Discussions on
Philosophy and Artificial Intelligence%1, 50 pages, March 1974.
STAN-CS-74-412 (AIM-230, AD786721), Daniel C. Swinehart (Thesis),
%2COPILOT: A Multiple Process Approach to Interactive Programming
Systems%1, March 1974.
STAN-CS-74-413 (AIM-231, AD-A001 814), James Gips (Thesis), %2Shape
Grammars and Their Uses%1, 243 pages, March 1974.
STAN-CS-74-414 (AIM-232, AD780452), Bruce G. Baumgart, %2GEOMED: A
Geometric Editor%1, April 1974.
STAN-CS-74-415 (PB233065/AS), Ronald L. Rivest (Thesis), %2Analysis of
Associative Retrieval Algorithms%1, 109 pages, April 1974.
STAN-CS-74-416 (PB233507/AS), Donald E. Knuth, %2Structured Programming
with %1Go To%1 Statements%1, 100 pages, April 1974.
STAN-CS-74-417 (PB234102/AS), Richard L. Sites, %2Some Thoughts on Proving
That Programs Terminate Cleanly%1, 68 pages, May 1974.
STAN-CS-74-418 (PB233045/AS), Richard L. Sites (Thesis), %2Proving That
Computer Programs Terminate Cleanly%1, 143 pages, May 1974.
STAN-CS-74-419 (AIM-233, AD-A000 086), Charles Rieger III (Thesis),
%2Conceptual Memory: A Theory and Computer Program for Processing the
Meaning Content of Natural Language Utterances%1, 393 pages, May 1974.
STAN-CS-74-420 (CSL-TR-50, PB232543/AS), John Wakerly, %2Partially
Self-Checking Circuits and Their Use in Performing Logical Operations%1,
46 pages, May 1974.
STAN-CS-74-421 (CSL-TR-51, PB232356/AS), John Wakerly (Thesis), %2Low-
Cost Error Detection Techniques for Small Computers%1, 232 pages, May
1974.
STAN-CS-74-422 (CSL-TR-79, NASA-TM-62,370), Harold Stone, %2Parallel
Tri-Diagonal Equation Solvers%1, 42 pages, May 1974.
STAN-CS-74-423 (CSL-TN-41, PB232860/AS), Gururaj S. Rao, %2Asymptotic
Representation of the Average Number of Active Modules in an N-Way
Interleaved Memory%1, 16 pages, May 1974.
STAN-CS-74-424 (CSL-TR-80, PB232602/AS), Maurice Schlumberger (Thesis,
chapter 1), %2Logorithmic Communications Networks%1, 38 pages, May 1974.
STAN-CS-74-425 (CSL-TR-81, PB232598/AS), Maurice Schlumberger (Thesis,
chapter 2), %2Vulnerability of deBruijn Communications Networks%1, 68
pages, May 1974.
STAN-CS-74-426 (CSL-TR-82, PB232597), Maurice Schlumberger, (Thesis,
chapter 3), %2Queueing Equal Length Messages in a Logorithmic Network%1,
75 pages, May 1974.
STAN-CS-74-427 (CSL-TN-36, PB232624/AS), Tomas Lang (Thesis excerpt),
%2Performing the Perfect Schuffle in an Array Computer%1, 18 pages, May
1974.
STAN-CS-74-428 (CSL-TR-76, PB232633/AS), Tomas Lang (Thesis excerpt),
%2Interconnections Between Precessors and Memory Modules Using the
Schuffle-Exchange Network%1, 32 pages, May 1974.
STAN-CS-74-429 (CSL-TR-70, PB232623/AS), Samuel E. Orcutt (Thesis
excerpt), %2Efficient Data Routing Schemes for ILLIAC IV-Type Computers%1,
31 pages, May 1974.
STAN-CS-74-430 (CSL-TR-71, PB234513/AS), Samuel E. Orcutt (Thesis
excerpt), %2A Novel Parallel Computer Architecture and Some
Applications%1, 44 pages, May 1974.
STAN-CS-74-431 (AIM-234, not at NTIS), Kenneth Mark Colby and Roger C.
Parkison, %2Pattern Matching Rules for the Recognition of Natural Language
Dialogue Expressions%1, 23 pages, May 1974.
STAN-CS-74-432 (AIM-235, AD-A006 898), Richard Weyhrauch and Arthur
Thomas, %2FOL: A Proof Checker for First-Order Logic%1, 60 pages, May
1974.
STAN-CS-74-433 (AIM-236, AD784513), Jack R. Buchanan and David C.
Luckham, %2On Automating the Construction of Programs%1, 65 pages, May
1974.
STAN-CS-74-434 (SU326 P30-31), Axel Ruhe and Per Ake Wedin, %2Algorithms
for Separable Nonlinear Least Squares Problems%1, 50 pages, June 1974.
STAN-CS-74-435 (CSL-TR-88, A001-071), Thomas G. Price, %2Balanced
Computer Systems%1, 56 pages, June 1974.
STAN-CS-74-436 (AIM-237, AD-A012 477), Yorick Wilks, %2Natural Language
Understanding Systems Within the A.I. Paradigm -- A Survey and Some
Comparisons%1, 25 pages, July 1974.
STAN-CS-74-437 (AIM-238, AD-A005 040), C. K. Riesbeck (Thesis),
%2Computational Understanding: Analysis of Sentences and Context%1, 245
pages, July 1974.
STAN-CS-74-438 (AIM-239, AD786720), Marsha Jo Hanna (Thesis), %2Computer
Matching of Areas in Stereo Images%1, 99 pages, July 1974.
STAN-CS-74-439 (OR-74-7, SU326 P30-32), Richard W. Cottle, Gene H. Golub
and R. S. Sacher, %2On the Solution of Large, Structured Linear
Complementarity Problems: III%1, 87 pages, July 1974.
STAN-CS-74-440 (PB237360/AS), James H. Morris, Jr., Vaughn R. Pratt and
Donald E. Knuth, %2Fast Pattern Matching in Strings%1, 32 pages, July
1974.
STAN-CS-74-441 (AD-A000 284), Donald E. Knuth and Ronald W. Moore, %2An
Analysis of Alpha-Beta Pruning%1, 64 pages, July 1974.
STAN-CS-74-442 (AD-A004 208), Donald E. Knuth, %2Estimating the
Efficiency of Backtrack Programs%1, 30 pages, July 1974.
STAN-CS-74-443 (PB-236 471/AS), Douglas K. Brotz (Thesis), %2Embedding
Heuristic Problem Solving Methods in a Mechanical Theorem Prover%1, 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, %2Progress Report on Program-Understanding Systems%1, 50 pages,
July 1974.
STAN-CS-74-445 (SLACP-1448), J. H. Friedman, F. Baskett and L. J.
Shustek, %2A Relatively Efficient Algorithm for Finding Nearest
Neighbors%1, 21 pages, September 1974.
STAN-CS-74-446 (AIM-241, AD786723), L. Aiello and R. W. Weyhrauch,
%2LCFsmall: An Implementation of LCF%1, 45 pages, September 1974.
STAN-CS-74-447 (AIM-221, AD787631), L. Aiello, M. Aiello and R. W.
Weyhrauch, %2Semantics of Pascal in LCF%1, 78 pages, September 1974.
STAN-CS-74-448 (SU326 P30-33), D. Goldfarb, %2Matrix Factorizations in
Optimization of Nonlinear Functions Subject to Linear Constraints%1, 45
pages, September 1974.
STAN-CS-74-449 (CSL-TR-89, AD785027), A. Smith (Thesis), %2Performance
Analysis of Computer Systems Components%1, 323 pages, September 1974.
STAN-CS-74-450 (CSL-TR-90, AD787008), F. Baskett and A. J. Smith
(Thesis, chapter 3), %2Interference in Multiprocessor Computer Systems
with Interleaved Memory%1, 45 pages, September 1974.
STAN-CS-74-451 (CSL-TR-91, AD786999), A. Smith (Thesis, chapter 5), %2A
Modified Working Set Paging Algorithm%1, 40 pages, October 1974.
STAN-CS-74-452 (AIM-242, AD-A000 500), J. R. Low (Thesis), %2Automatic
Coding: Choice of Data Structures%1, 110 pages, September 1974.
STAN-CS-74-453 (AD-A000 034), Donald E. Knuth, %2Random Matroids%1, 30
pages, September 1974.
STAN-CS-74-454 (SU326 P30-35), L. S. Jennings, %2A Computational
Approach to Simultaneous Estimation%1, 15 pages, September 1974.
STAN-CS-74-455 (AD-A000 083), Robert E. Tarjan, %2Edge-Disjoint Spanning
Trees, Dominators, and Depth-First Search%1, 40 pages, September 1974.
STAN-CS-74-456 (AIM-243, AD-A003 815), R. Finkel, R. Taylor, R. Bolles,
R. Paul and J. Feldman, %2AL, A Programming System for Automation:
Preliminary Report%1, 117 pages, October 1974.
STAN-CS-74-457 (AIM-244, not at NTIS), K. M. Colby, %2Ten Criticisms of
Parry%1, 7 pages, October 1974.
STAN-CS-74-458 (AIM-245, AD784816), J. Buchanan (Thesis), %2A Study in
Automatic Programming%1, 146 pages, October 1974.
STAN-CS-74-459 (AIM-246, AD-A000 085), Terry Winograd, %2Five Lectures on
Artificial Intelligence%1, 95 pages, October 1974.
STAN-CS-74-460 (PB238148/AS), T. Porter and I. Simon, %2Random Insertion
into a Priority Queue Structure%1, 25 pages, October 1974.
STAN-CS-74-461 (AIM-247, AD-A005 041), N. M. Goldman (Thesis),
%2Computer Generation of Natural Language from a Deep Conceptual Base%1,
316 pages, October 1974.
STAN-CS-74-462 (AIM-248), K. Pingle and A. J. Thomas, %2A Fast,
Feature-Driven Stereo Depth Program%1, 15 pages, October 1974.
STAN-CS-74-463 (AIM-249, AD-A002 261), Bruce Baumgart (Thesis),
%2Geometric Modeling for Computer Vision%1, 141 pages, November 1974.
STAN-CS-74-464 (AIM-250, AD-A003 488), Ramakant Nevatia (Thesis),
%2Structured Descriptions of Complex Curved Objects for Recognition and
Visual Memory%1, 125 pages, November 1974.
STAN-CS-74-465 (AIM-251, AD-A001 373), E. H. Shortliffe (Thesis),
%2MYCIN: A Rule-Based Computer Program for Advising Physicians Regarding
Antimicrobial Therapy Selection%1, 409 pages, November 1974.
STAN-CS-74-466 (AIM-252, AD-A002 246), Lester Earnest (editor), %2Recent
Research in Artificial Intelligence, Heuristic Programming, and Network
Protocols%1, 79 pages, November 1974.
STAN-CS-74-467 (AIM-222, AD-A007 562), M. Aiello and R. Weyhrauch,
%2Checking Proofs in the Meta-Mathematics of First Order Logic%1, 55
pages, November 1974.
STAN-CS-74-468 (AD-A003 832), S. Krogdahl, %2A Combinatorial Base for Some
Optimal Matroid Intersection Algorithms%1, 25 pages, November 1974.
STAN-CS-74-469, H. Brown, %2Molecular Structure Elucidation III%1, 38
pages, December 1974.
STAN-CS-74-470, L. Trabb Prado, %2Stable Sorting and Merging with Optimal
Time and Space Bounds%1, 75 pages, December 1974.
STAN-CS-74-471 (AIM-253, AD-A003 487), B. Faught, K. M. Colby and R. C.
Parkison, %2The Interaction of Inferences, Affects, and Intentions in a
Model of Paranoia%1, 38 pages, December 1974.
STAN-CS-74-472 (AIM-254, AD-A005 407), L. H. Quam and M. J. Hannah,
%2Stanford Automatic Photogrammetry Research%1, 15 pages, December 1974.
STAN-CS-74-473 (AIM-255, AD-A005 412), N. Suzuki, %2Automatic Program
Verification II: Verifying Programs by Algebraic and Logical Reduction%1,
28 pages, December 1974.
STAN-CS-74-474 (AIM-256, AD-A007 563), F. W. von Henke and D. C.
Luckham, %2A Methodology for Verifying Programs%1, 45 pages, December
1974.
STAN-CS-75-475 (AIM-257, AD-A005 413), M. C. Newey (Thesis), %2Formal
Semantics of LISP with Applications to Program Correctness%1, 184 pages,
January 1975.
STAN-CS-75-476 (AIM-258, AD-A006 294), Cordell Green and David Barstow,
%2A Hypothetical Dialogue Exhibiting a Knowledge Base for a
Program-Understanding System%1, 45 pages, January 1975.
STAN-CS-75-477 (not at NTIS), V. Chvatal and D. Sankoff, %2Longest Common
Subsequences of Two Random Sequences%1, 18 pages, January 1975.
STAN-CS-75-478 (SU326 P30-36), G. H. Golub and J. H. Wilkinson, %2Ill-
Conditioned Eigensystems and the Computation of the Jordan Canonical
Form%1, 66 pages, February 1975.
STAN-CS-75-479 (SU326 P30-38), F. Chatelin and J. Lemordant, %2Error
Bounds in the Approximation of Eigenvalues of Differential and Integral
Operators%1, 24 pages, February 1975.
STAN-CS-75-480 (A008804), Donald E. Knuth, %2Notes on Generalized
Dedekind Sums%1, 45 pages, February 1975.
STAN-CS-75-481 (SU326 P30-39), J. Oliger, %2Difference Methods for the
Initial-Boundary Value Problem for Hyperbolic Equations%1, 31 pages,
February 1975.
STAN-CS-75-482 (SLACP-1549, not at NTIS), J. A. Friedman, J. L. Bentley
and R. A. Finkel, %2An Algorithm for Finding Best Matches in Logarithmic
Time%1, 31 pages, March 1975.
STAN-CS-75-483 (AD-A011 835), P. Erdos and R. L. Graham, %2On Packing
Squares with Equal Squares%1, 8 pages, March 1975.
STAN-CS-75-484 (AD-A011 832), R. L. Graham and E. Szemeredi, %2On
Subgraph Number Independence in Trees%1, 18 pages, March 1975.
STAN-CS-75-485 (AD-A011 834), P. Erdos and E. Szemeredi, %2On
Multiplicative Representations of Integers%1, 18 pages, March 1975.
STAN-CS-75-486 (SU326 P30-37), A. Bjorck and G. H. Golub,
%2Eigenproblems for Matrices Associated with Periodic Boundary
Conditions%1, 19 pages, March 1975.
STAN-CS-75-487 (SLACP-1573), J. H. Friedman, %2A Variable Metric
Decision Rule for Non-Parametric Classification%1, 34 pages, April 1975.
STAN-CS-75-488 (AD-A011 445), B. Bollobas, P. Erdos and E. Szemeredi, %2On
Complete Subgraphs of r-Chromatic Graphs%1, 16 pages, April 1975.
STAN-CS-75-489 (AD-A011 833), E. Szemeredi, %2Regular Partitions of
Graphs%1, 8 pages, April 1975.
STAN-CS-75-490 (AD-A014 429), R. William Gosper, %2Numerical Experiments
with the Spectral Test%1, 31 pages, May 1975.
STAN-CS-75-491, G. D. Knott (Thesis), %2Deletion in Binary Storage
Trees%1, 93 pages, May 1975.
STAN-CS-75-492, R. Sedgewick (Thesis), %2Quicksort%1, 352 pages, May
1975.
STAN-CS-75-493 (PB244421/AS), R. Kurki-Suonio, %2Describing Automata in
Terms of Languages Associated with Their Peripheral Devices%1, 37 pages,
May 1975.
STAN-CS-75-494, E. H. Satterthwaite, Jr. (Thesis), %2Source Language
Debugging Tools%1, 345 pages, May 1975.
STAN-CS-75-495 (AD-A014 424), S. Krogdahl, %2The Dependence Graph for
Bases in Matroids%1, 29 pages, May 1975.
STAN-CS-75-496 (SU326 P30-41), R. Underwood (Thesis), %2An Iterative Block
Lanczos Method for the Solution of Large Sparse Symmetric Eigenproblems%1,
133 pages, May 1975.
STAN-CS-75-497 (AD-A016 825), R. L. Graham and L. Lovasz, %2Distance
Matrices of Trees%1, 48 pages, August 1975.
STAN-CS-75-498 (AIM-259, AD-A017 025), H. Samet (Thesis), %2Automatically
Proving the Correctness of Translations Involving Optimized Code%1, 214
pages, August 1975.
STAN-CS-75-499 (AIM-260), D. C. Smith (Thesis), %2PYGMALION: A Creative
Programming Environment%1, 193 pages, August 1975.
.next page
.once center <<reports 500 thru 599>>
%3REPORTS 500 THRU 599%1
STAN-CS-75-500 (PB246708/AS), R. Kurki-Suonio, %2Towards Better
Definitions of Programming Languages%1, 29 pages, August 1975.
STAN-CS-75-501 (AIM-261, AD-A016 810), O. Pettersen, %2Procedural Events
as Software Interrupts%1, 8 pages, August 1975.
STAN-CS-75-502 (AIM-262, AD-A016 808), O. Pettersen, %2Synchronization of
Concurrent Processes%1, 14 pages, August 1975.
STAN-CS-75-503 (AIM-263, AD-A016 807), O. Pettersen, %2The Macro-
Processing System STAGE2%1, 20 pages, August 1975.
STAN-CS-75-504 (AD-A017 370), P. Erdos, R. L. Graham and E. Szemeredi,
%2On Sparse Graphs with Dense Long Paths%1, 14 pages, August 1975.
STAN-CS-75-505 (AD-A017 053), V. Chvatal, %2Some Linear Programming
Aspects of Combinatorics%1, 30 pages, August 1975.
STAN-CS-75-506 (AIM-264, AD-A017 176), M. Gordon, %2Operational Reasoning
and Denotational Semantics%1, 30 pages, August 1975.
STAN-CS-75-507 (AIM-265), M. Gordon, %2Towards a Semantic Theory of
Dynamic Binding%1, 25 pages, August 1975.
STAN-CS-75-508, James Eve, %2On Computing the Transitive Closure of a
Relation%1, 14 pages, August 1975.
STAN-CS-75-509 (AD-A017 331), M. Overton and A. Proskurowski, %2Finding
the Maximal Incidence Matrix of a Large Graph%1, 72 pages, August 1975.
STAN-CS-75-510 (AD-A017 054), A. C. Yao and D. E. Knuth, %2Analysis of the
Subtractive Algorithm for Greatest Common Divisors%1, 10 pages, August
1975.
STAN-CS-75-511 (AD-A017 294), P. Dubost and J. M. Trousse, %2Software
Implementation of a New Method of Combinatorial Hashing%1, 35 pages,
August 1975.
STAN-CS-75-512 (PB247895/AS), Robert E. Tarjan, %2Applications of Path
Compression on Balanced Trees%1, 53 pages, October 1975.
STAN-CS-75-513 (SLACR-186), J. L Bentley, %2A Survey of Techniques for
Fixed Radius Near Neighbor Searching%1, 30 pages, October 1975.
STAN-CS-75-514 (PB247561/AS), N. Tokura, %2A Microprogram Control Unit
Based on a Tree Memory%1, 39 pages, October 1975.
STAN-CS-75-515, R. P. Brent, %2Fast Multiple-Precision Evaluation of
Elementary Functions%1, 22 pages, October 1975.
STAN-CS-75-516 (SU326 P30-42), J. Stoer, %2On the Relation Between
Quadratic Termination and Convergence Properties of Minimization
Algorithms%1, 103 pages, October 1975.
STAN-CS-75-517, V. Chvatal and C. Thomassen, %2Distances in Orientations
of Graphs%1, 24 pages, October 1975.
STAN-CS-75-518 (AD-A018 461), V. Chvatal and P. L. Hammer,
%2Aggregation of Inequalities in Integer Programming%1, 27 pages, October
1975.
STAN-CS-75-519 (AIM-266, AD-A019 641), R. Davis, B. Buchanan and E.
Shortliffe, %2Production Rules as a Representation for a Knowledge- Based
Consultation Program%1, 37 pages, November 1975.
STAN-CS-75-520 (AIM-267, AD-A019 664), F. W. von Henke, %2On the
Representation of Data Structures in LCF with Applications to Program
Generation%1, 41 pages, November 1975.
STAN-CS-75-521 (AIM-268), C. Thompson, %2Depth Perception in Stereo
Computer Vision%1, 16 pages, November.
STAN-CS-75-522 (AIM-269, AD-A019 569), D. C. Luckham and N. Suzuki,
%2Automatic Program Verification IV: Proof of Termination Within a Weak
Logic of Programs%1, 39 pages, November 1975.
STAN-CS-75-523 (AIM-270, AD-A019 467), J. F. Reiser, %2BAIL -- A Debugger
for SAIL%1, 26 pages, November 1975.
STAN-CS-75-524 (AIM-271, AD-A019 702), R. Davis and J. King, %2An
Overview of Production Systems%1, 40 pages, November 1975.
STAN-CS-75-525 (AIM-272), S. Ganapathy (Thesis), %2Reconstruction of
Secnes Containing Polyhedra from Stereo Pair of Views%1, 204 pages,
November 1975.
STAN-CS-75-526 (AD-A020 848), Robert E. Tarjan, %2Graph Theory and
Gaussian Elimination%1, 23 pages, November 1975.
STAN-CS-75-527 (CSL-TR-100, not at NTIS), E. McCluskey, J. Wakerley and R.
Ogus, %2Center for Reliable Computing%1, 100 pages, November 1975.
STAN-CS-75-528 (AD-A020 597), Robert E. Tarjan, %2Solving Path Problems
on Directed Graphs%1, 45 pages, November 1975.
STAN-CS-75-529 (SLACP-1665), J. L. Bentley and J. H. Friedman, %2Fast
Algorithms for Constructing Minimal Spanning Trees in Coordinate Spaces%1,
29 pages, November 1975.
STAN-CS-75-530 (SU326 P30-40), M. Lentini and V. Pereyra, %2An Adaptive
Finite Difference Solver for Nonlinear Two Point Boundary Problems with
Mild Boundary Layers%1, 42 pages, November 1975.
STAN-CS-75-531 (AD-A020 847), D. J. Rose and R. E. Tarjan,
%2Algorithmic Aspects of Vertex Elimination on Directed Graphs%1, 45
pages, November 1975.
STAN-CS-75-532, Pat E. Jacobs (staff), %2Bibliography of Computer Science
Reports%1, 77 pages, November 1975.
STAN-CS-76-533 (LBL-4604, SU326 P30-44), P. Concus, G. H. Golub and D.
P. O'Leary, %2A Generalized Conjugate Gradient Method for the Numerical
Solution of Elliptic Partial Differential Equations%1, 24 pages, January
1976.
STAN-CS-76-534 (AIM-273), Linda G. Hemphill (Thesis), %2A Conceptual
Approach to Automatic Language Understanding and Belief Structures: With
Disambiguation of the Word `For' %1, 254 pages, January 1976.
STAN-CS-76-535, P. Concus and G. H. Golub, %2A Generalized Conjugate
Gradient Method for Non-Selmmetric Systems of Linear Equations%1, 12
pages, January 1976.
STAN-CS-76-536 (AIM-274, AD-A020 942/9WC), David Grossman and Russell
Taylor, %2Interactive Generation of Object Models with a Manipulator%1, 32
pages, January 1976.
STAN-CS-76-537 (AIM-275, AD-A020 943/7WC), Robert C. Bolles,
%2Verification Vision Within a Programmable Assembly System: An
Introductory Discussion%1, 82 pages, January 1976.
STAN-CS-76-538 (AD-A024 416), Donald E. Knuth and L. Trabb Pardo,
%2Analysis of a Simple Factorization Algorithm%1, 43 pages, January 1976.
STAN-CS-76-539 (AIM-276, AD-A021 055/9WC), Zohar Manna and Adi Shamir, %2A
New Approach to Recursive Programs%1, 26 pages, January 1976.
STAN-CS-76-540 (AD-A021 587), R. L. Graham, A. C. Yao and F. F. Yao,
%2Addition Chains with Multiplicative Cost%1, 7 pages, January 1976.
STAN-CS-76-541, Donald E. Knuth, %2Mathematics and Computer Science:
Coping with Finiteness%1, 30 pages, March 1976.
STAN-CS-76-542 (AIM-277, AD-A027 454), Zohar Manna and Adi Shamir, %2The
Theoretical Aspects of the Optimal Fixedpoint%1, 24 pages, March 1976.
STAN-CS-76-543, D. A. Zave, %2Optimal Polyphase Sorting%1, 75 pages,
March 1976.
STAN-CS-76-544, B. Mont-Reynaud, %2Removing Trivial Assignments from
Programs%1, 28 pages, March 1976.
STAN-CS-76-545, W. J. Paul, R. E. Tarjan and J. R. Celoni, %2Space
Bounds for a Game on Graphs%1, 21 pages, March 1976.
STAN-CS-76-546 (SLACP-1715), F. Baskett and L. Sustek, %2The Design of a
Low Cost Video Graphics Terminal%1, 25 pages, March 1976.
STAN-CS-76-547, Robert E. Tarjan, %2Iterative Algorithms for Global Flow
Analysis%1, 31 pages, March 1976.
STAN-CS-76-548, D. Prost O'Leary (Thesis), %2Hybrid Conjugate Gradient
Algorithms%1, 120 pages, March 1976.
STAN-CS-76-549 (AIM-278, AD-A027 455), David Luckham and Norihisa Suzuki,
%2Automatic Program Verification V: Verification-Oriented Proof Rules or
Arrays, Records and Pointers%1, 48 pages, March 1976.
STAN-CS-76-550, R. E. Tarjan and A. E. Trojanowski, %2Finding a
Maximum Independent Set%1, 22 pages, June 1976.
STAN-CS-76-551 (AD-A032 347), Donald E. Knuth, %2The State of the Art of
Computer Programming%1, 57 pages, June 1976.
STAN-CS-76-552 (AIM-279), Norihsa Suzuki (Thesis), %2Automatic
Verification of Programs with Complex Data Structures%1, 194 pages,
February 1976.
STAN-CS-76-553 (AD-A032 772), R. E. Tarjan, %2Complexity of Monotone
Networks for Computing Conjunctions%1, 21 pages, June 1976.
STAN-CS-76-554, F. S. Yu (Thesis), %2Modeling the Write Behavior of
Computer Programs%1, 185 pages, June 1976.
STAN-CS-76-555 (AIM-280), David D. Grossman, %2Monte Carlo Simulation of
Tolerancing in Discrete Parts Manufacturing and Assembly%1, 25 pages, May
1976.
STAN-CS-76-556, L. J. Guibas (Thesis), %2The Analysis of Hashing
Algorithms%1, 136 pages, August 1976.
STAN-CS-76-557 (AD-A032 122), M. S. Paterson, %2An Introduction to
Boolean Function Complexity%1, 19 pages, August 1976.
STAN-CS-76-558 (AIM-281.1, AD-A042 507), Zohar Manna and Richard
Waldinger, %2Is `sometime' sometimes better than `always'? Intermittent
assertions in proving program correctness%1, 41 pages, June 1976, revised
March 1977.
STAN-CS-76-559 (AD-A032 348), Gene Golub, V. Klema and G. W. Stewart,
%2Rank Degeneracy and Least Squares Problems%1, 38 pages, August 1976.
STAN-CS-76-560 (AIM-282), Russell Taylor (Thesis), %2Synthesis of
Manipulator Control Programs from Task-level Specifications%1, 229 pages,
July 1976.
STAN-CS-76-561, D. R. Woods, %2Mathematical Programming Language:
User's Guide%1, 139 pages, August 1976.
STAN-CS-76-562 (AD-A032 123), Donald E. Knuth and L. Trabb Prado, %2The
Early Development of Programming Languages%1, 109 pages, August 1976.
STAN-CS-76-563, D. L. Russell (Thesis), %2State Restoration Among
Communicating Processes%1, 173 pages, August 1976.
STAN-CS-76-564 (AIM-283, HPP-76-7), Randall Davis (Thesis), %2Applications
of Meta Level Knowledge to the Construction, Maintenance and Use of Large
Knowledge Bases%1, 304 pages, July 1976.
STAN-CS-76-565 (AD-A032 802), J. C. Strikwerda (Thesis), %2Initial
Boundary Value Problems for Incompletely Parabolic Systems%1, 107 pages,
November 1976.
STAN-CS-76-566, Margaret Wright (Thesis), %2Numerical Methods for
Nonlinearly Constrained Optimization%1, 262 pages, November 1976.
STAN-CS-76-567 (AIM-284), Rafael Finkel (Thesis), %2Constructing and
Debugging Manipulator Programs%1, 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, %2Exploratory Study of Computer Integrated
Assembly Systems - Progress Report 3%1, 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, %2Exploratory Study of Computer Integrated
Assembly Systems - Progress Report 4%1, 255 pages, June 1977.
STAN-CS-76-569 (PB-261 814/AS), John G. Herriot, %2Calculation of
interpolating Natural Spline Functions Using De Boor's Package for
Calculating with B-Splines%1, 46 pages, November 1976.
STAN-CS-76-570 (AIM-286), Douglas Lenat (Thesis), %2AM: An Artificial
Intelligence Approach to Discovery in Mathematics as Heuristic Search%1,
350 pages, July 1976.
STAN-CS-76-571 (AIM-287), Michael Roderick (Thesis), %2Discrete Control of
a Robot Arm%1, 98 pages, August 1976.
STAN-CS-76-572 (AIM-288), Robert Filman and Richard Weyhrauch, %2An FOL
Primer%1, 36 pages, September 1976.
STAN-CS-76-573 (AD-A032 945), Arne Jonassen, %2The Stationary P-Tree
Forest%1, 90 pages, November 1976.
STAN-CS-76-574 (AIM-289), John Reiser (editor), %2SAIL Manual%1, 178
pages, August 1976.
STAN-CS-76-575 (AIM-290, AD-A042 494), Nancy W. Smith, %2SAIL Tutorial%1,
54 pages, November 1976.
STAN-CS-76-576 (AD-A035 350), Colin McDiarmid, %2Determining the Chromatic
Number of a Graph%1, 61 pages, December