perm filename BIB.PUB[BIB,CSR]5 blob sn#405751 filedate 1978-12-27 generic text, type C, neo UTF8

COMMENT ⊗ VALID 00021 PAGES C REC PAGE DESCRIPTION C00001 00001 C00003 00002 .<<abstract, introduction, etc.>> C00010 00003 .ONCE CENTER <<1963>> C00011 00004 .ONCE CENTER <<1964>> C00015 00005 .ONCE CENTER <<1965>> C00020 00006 .ONCE CENTER <<1966>> C00025 00007 .ONCE CENTER <<1967>> C00032 00008 .ONCE CENTER <<1968>> C00041 00009 .ONCE CENTER <<1969>> C00047 00010 .ONCE CENTER <<1970>> C00059 00011 .ONCE CENTER <<1971>> C00072 00012 .ONCE CENTER <<1972>> C00091 00013 .ONCE CENTER <<1973>> C00109 00014 .ONCE CENTER <<1974>> C00127 00015 .ONCE CENTER <<1975>> C00141 00016 .once center <<1976>> C00155 00017 .ONCE CENTER <<1977>> C00171 00018 .ONCE CENTER <<1978>> C00184 00019 .begin center<<theses>> C00206 00020 .begin center<<AI memos>> C00285 00021 .begin center<<HPP memos>> C00333 ENDMK C⊗; .<<abstract, introduction, etc.>> .require "setup.bib[bib,csr]" source file .EVERY HEADING (%3Computer Science,,) . .macro bf; ⊂ .nofill; .turn on "\" . ⊃ . .once center <<abstract>> %3Abstract%1 .skip 2 @This report lists, in chronological order, all reports printed by the Stanford Computer Science Department since 1963. Each report is identified by Computer Science number, authors's name, title, National Technical Information Service (NTIS) retrieval number↑* , date, and number of pages. Complete listings of Theses, Artificial Intelligence Memos, and Heuristic Programming Reports are given in the Appendix. @Also, for the first time, each report has been marked as to its availability for ordering and the cost if applicable. .skip 5 ↑*If this number is not given it means that the report is probably not available from NTIS. .next page .once center <<contents>> %3TABLE OF CONTENTS%1 .next page .ONCE CENTER <<introduction>> %3INTRODUCTION%1 @In the Bibliography which follows, there is a listing for each Computer Science Department Report printed as of the date of this writing. Each listing contains the following information: .SKIP .BEGIN NOFILL The report number(s)↑* The author(s) Whether or not the report is a thesis The "title" of the report The number of pages in the report, The month and year it was printed The cost of the report (if any) .END Special symbols preceding the report number indicate availability at this writing, as follows: .SKIP .BEGIN NOFILL + hard copy or microfiche, ⊗ microfiche only, * out-of-stock. .END If there is no special symbol, then it is available in hard copy only. @All Computer Science Reports that are in stock may be requested from: .SKIP .BEGIN NOFILL Stanford University Computer Science Department Polya Hall, Room 202 Stanford, California 94305 U.S.A. .END However, Artificial Intelligence Memos (AIM-xxx) should be obtained directly from the Artificial Intelligence Laboratory. Their address is: .SKIP .BEGIN NOFILL Artificial Intelligence Laboratory Attn: Documentation Services Stanford University Stanford, California 94305 U.S.A. .END @Rising costs and restrictions on the use of research funds for printing reports have made it necessary to charge for reports at their replacement cost. By doing so, we will be able to reprint popular reports rather than simply declaring them "out of print". Microfiche on the other hand is available free of charge. @Please note that when ordering, we would appreciate it greatly if you would NOT send any money with the order. Many of the older listings have only a few copies left, and we only want to charge you for what is actually sent. Please just send the request for the reports you want, and an invoice will be sent to you along with the reports. @Alternatively, reports that are out-of-stock at Stanford University may be ordered (for a nominal fee), in either hard copy or microfiche form, from: .SKIP .BEGIN NOFILL National Technical Information Service P. O. Box 1553 Springfield, Virginia 22161 .END If there is no NTIS number given, then they may or may not have the report. In requesting copies in this case, give them both the Stanford report number and the group number. @Reports that are also Ph.D. theses have been so marked and, if out-of-stock at Stanford University, may be ordered from: .SKIP .BEGIN NOFILL University Microfilm P. O. Box 1346 Ann Arbor, Michigan 48106 .END They are available from University Microfilm in both hardcopy and microfiche. ------------------------ ↑* There are up to three numbers given for each listing (i, ii, iii): .SKIP .BEGIN NOFILL (i) the "Computer Science" number is on the left, with the form being "STAN-CS-yy-nnn", where "yy" is the last two digits of the year of publication and "nnn" the report numbers; (ii) any group number (i.e. AIM, TR, DOE, SLAC, etc.) is in the middle; and (iii) a NTIS stock number (often beginning "AD...") on the right, with the code "NAN" in that slot meaning "not at NTIS". .END .NEXT PAGE .ONCE CENTER <<1963>> .every heading (%3Computer Science,,%3Reports%*) %3REPORTS PRINTED IN 1963%1 .skip *STAN-CS-63-1, ,AD462108, J. B. Rosen, .begin indent 0,10,0 %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. .NEXT PAGE .ONCE CENTER <<1964>> %3REPORTS PRINTED IN 1964%1 .skip *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 Pseudoinverse 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. .NEXT PAGE .ONCE CENTER <<1965>> %3REPORTS PRINTED IN 1965%1 .skip *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. .NEXT PAGE .ONCE CENTER <<1966>> %3REPORTS PRINTED IN 1966%1 .skip *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. .NEXT PAGE .ONCE CENTER <<1967>> %3REPORTS PRINTED IN 1967%1 .skip *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. Cost: $2.55 *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. .next page .ONCE CENTER <<1968>> %3REPORTS PRINTED IN 1968%1 .skip *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. Stterthwaite, 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. *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. .NEXT PAGE .ONCE CENTER <<1969>> %3REPORTS PRINTED IN 1969%1 .skip 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. Cost: $2.20 *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. Cost: $4.50 STAN-CS-69-126, ,AD702898, G. Dantzig, %2Complementary Spanning Trees%1, 10 pages, March 1969. Cost: $2.00 *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. Cost: $4.15 *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. Cost: $1.90 *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. Cost: $2.15 *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. Cost: $1.95 STAN-CS-69-145, ,AD698798, P. Henrici, %2Methods of Search for Solving Polynomial Equations%1, 25 pages, December 1969. Cost: $2.45 .next page .ONCE CENTER <<1970>> %3REPORTS PRINTED IN 1970%1 .skip STAN-CS-70-146, , not at NTIS, G. O. Ramos (Thesis), %2Roundoff Error Analysis of the Fast Fourier Transform%1, February 1970. Cost: $ 2.50 *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. Cost: $ 2.50 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. Cost: $ 2.50 STAN-CS-70-152, , not at NTIS, S. Gustafson, %2Rapid Computation of Interpolation Formulae and Mechanical Quadrature Rules%1, 23 pages, February 1970. Cost: $ 2.40 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. Cost: $ 2.20 STAN-CS-70-154, , , H. S. Stone, %2The Spectrum of Incorrectly Decoded Bursts for Cyclic Error Codes%1, 24 pages, February 1970. Cost: $ 2.40 *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. Cost: $ 1.85 *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, 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. Cost: $ 2.35 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. Cost: $ 2.20 *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, TR-6, AD711334, T. Bredt, %2Analysis and Synthesis of Concurrent Sequential Programs%1, 50 pages, May 1970. *STAN-CS-70-171, TR-8, AD714202, T. Bredt, %2A Survey of Models for Parrallel Computing%1, 58 pages, August 1970. *STAN-CS-70-172, TR-7, AD714180, T. Bredt, %2Analysis of Parallel Systems%1, 59 pages, August 1970. *STAN-CS-70-173, 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. Cost: $ 3.20 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. Cost: $ 1.85 *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. Cost: $ 2.15 *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. Cost: $ 4.50 *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. Cost: $ 1.85 *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. Cost: $ 2.40 *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. Cost: $ 1.90 *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. Cost: $ 2.60 STAN-CS-70-196, ,AD725167, C. B. Moler, %2Matrix Computations with Fortran and Paging%1, 13 pages, December 1970. Cost: $ 2.10 .next page .ONCE CENTER <<1971>> %3REPORTS PRINTED IN 1971%1 .skip STAN-CS-71-197, , not at NTIS, D. E. Knuth and R. L. Sites, %2Mix/360 User's Guide%1, 11 pages, January 1971. Cost: $2.05 *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. *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. Cost: $1.95 STAN-CS-71-212, ,AD727107, M. A. Morgana, %2Time and Memory Requirements for Solving Linear Systems%1, 7 pages, March 1971. Cost: $1.90 STAN-CS-71-213, ,PB201629, R. Tarjan, %2The Switchyard Problem: Sorting Using Networks of Queues and Stacks%1, 13 pages, April 1971. Cost: $2.10 STAN-CS-71-214, ,AD727108, R. L. Graham, D. E. Knuth and T. S. Motzkin, %2Complements and Transitive Closures%1, 6 pages, April 1971. Cost: $1.90 *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. Cost: $2.00 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. Cost: $1.90 STAN-CS-71-219, AIM-144, not at NTIS, Lynn Quam (Thesis), %2Computer Comparison of Pictures%1, 120 pages, May 1971. Cost: $5.05 STAN-CS-71-220, TR-14, AD727116, Harold Stone, %2Dynamic Memories with Enhanced Data Access%1, 32 pages, February 1971. Cost: $2.65 *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, 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, 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, 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. Cost: $2.50 *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. Cost: $2.05 .NEXT PAGE .ONCE CENTER <<1972>> %3REPORTS PRINTED IN 1972%1 .skip *STAN-CS-72-251, 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. Cost: $2.85 *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. Cost: $2.15 *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. Golum, 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. Cost: $2.50 STAN-CS-72-273, , PB209806, V. Chvatal and J. Sichler, %2Chromatic Automorphisms of Graphs%1, 12 pages, March 1972. Cost: $2.05 STAN-CS-72-274, , AD742749, D. Klarner and Richard Rado, %2Linear Combinations of Sets of Consecutive Integers%1, 12 pages, March 1972. Cost: $2.05 STAN-CS-72-275, , AD742750, David A. Klarner, %2Sets Generated by Iteration of a Linear Operation%1, 16 pages, March 1972. Cost: $2.20 *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. Cost: $3.20 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. Cost: $2.85 STAN-CS-72-282, AIM-167, AD747254, Ashok K. Chandra, %2Efficient Compilation of Linear Recursive Programs%1, 40 pages, April 1972. Cost: $2.90 *STAN-CS-72-283, , not at NTIS, David R. Stoutemyer, %2Numerical Implemtation of the Schwarz Alternating Procedure for Elliptic Partial Differential Equations%1, 131 pages, May 1972. STAN-CS-72-284, O.R. 72-6, AD745778, V Chvatal, %2Edmonds Polyhedra and a Hierarchy of Combinatorial Problems%1, 49 pages, May 1972. Cost: $3.20 STAN-CS-72-285, , PB210910, Robert Floyd and Alan J. Smith, %2A Linear Time Two Tape Merge%1, 16 pages, May 1972. Cost: $2.20 STAN-CS-72-286, , PB211036, Ashok K. Chandra, %2On the Solution of Moser's Problem in 4 Dimensions, and Related Issues%1, 32 pages, May 1972. Cost: $2.70 STAN-CS-72-287, AIM-168, AD746146, Shigaru Igarashi, %2Admissibility of Fixed-Point Induction in First-Order Logic of Typed Theories%1, 36 pages, May 1972. Cost: $2.85 *STAN-CS-72-288, AIM-169, not at NTIS, Robin Milner, %2Logic for Computable Functions* Description of a Machine Implementation%1, 36 pages, May 1972. *STAN-CS-72-289, AIM-170, AD748607, Yorick Wilks, %2Lakoff on Linquistics and Natural Logic%1, 20 pages, June 1972. *STAN-CS-72-290, AIM-171, AD746147, Roger Schank, %2Adverbs and Beliefs%1, 30 pages, June 1972. STAN-CS-72-291, , AD746189, Donald E. Knuth, %2Some Combinatorial Lemmas%1, 21 pages, June 1972. Cost: $2.35 *STAN-CS-72-292, , AD746150, V. Chvatal, D. A. Klarner and D. E. Knuth, %2Selected Combinatorial Research Problems%1, 31 pages, June 1972. *STAN-CS-72-293, TN-32, PB212234, J. A. Lukes (Thesis), %2Combinatorial Solutions to Partitioning Problems%1, 130 pages, June 1972. *STAN-CS-72-294, SLACP-1072, , Harry J. Saal and Leonard J. Shustek, %2Microprogrammed Implementation of Computer Measurement Techniques%1, 20 pages, June 1972. *STAN-CS-72-295, , PB212130, C. C. Paige, %2Bidiagonalization of Matrices and Solution of Linear Equations%1, 27 pages, June 1972. *STAN-CS-72-296, , AD748606, Michael L. Fredman (Thesis), %2Growth Properties of a Class of Recursively Defined Functions%1, 84 pages, June 1972. *STAN-CS-72-297, , PB212300, C. C. Paige, %2An Error Analysis of a Method for Solving Matrix Equations%1, 13 pages, June 1972. *STAN-CS-72-298, TR-25, , P. M. Kogge and H. S. Stone, %2A Parallel Algorithm for the Efficient Solution of a General Class of Recurrence Equations%1, 33 pages, July 1972. *STAN-CS-72-299, AIM-172, AD752801, Sylvia Weber Russell, %2Semantic Categories of Nominals for Conceptual Dependency Analysis of Natural Language%1, 67 pages, July 1972. STAN-CS-72-300, TN-17, Ad749848, Marc T. Kaufman, %2Counterexample of a Conjecture of Fujii, Kasami and Ninomiya%1, 5 pages, July 1972. Cost: $1.85 *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, TR-157, not at NTIS, V. Lesser (Thesis), %2Dynamic Control Structures and Their Use in Emulation%1, 251 pages, August 1972. Cost: $8.75 *STAN-CS-72-310, TR-34, AD750671, Marc T. Kaufman, %2Anomalies in Scheduling Unit-Time Tasks%1, 22 pages, September 1972. *STAN-CS-72-311, AIM-177, NAN, 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, 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, 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, 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, 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, TR-48, PB214612, Henry R. Bauer, III (Thesis), %2Subproblems of the m X 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, 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. .next page .ONCE CENTER <<1973>> %3REPORTS PRINTED IN 1973%1 .skip *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. Cost: $2.05 *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. Cost: $2.25 *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. Cost: $8.30 *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. Cost: $2.05 *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. Cost: $2.00 *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, Robert Floyd and Ronald Rivest, %2Expected Time Bounds for Selection%1, 51 pages, April 1973. *STAN-CS-73-350, 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, 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, TR-28, AD761176, Samuel H. Fuller, %2The Expected Difference Between the SLTF and MTPT Drum Scheduling Disciplines%1, 6 pages, April 1973. Cost: $1.90 STAN-CS-73-353, TR-29, AD761185, Samuel H. Fuller, %2Random Arrivals and MTPT Disc Scheduling Disciplines%1, 7 pages, April 1973. Cost: $1.90 STAN-CS-73-354, , PB221165/4, David A. Klarner, %2The Number of SDR's in Certain Regular Systems%1, 7 pages, April 1973. Cost: $1.90 *STAN-CS-73-355, 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, TN-25, PB222064, Harold Stone, %2A Note on a Combinatorial Problem of Burnett and Coffman%1, 8 pages, May 1973. *STAN-CS-73-360, 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. Cost: $2.75 ⊗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. Cost: $2.45 *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. Cost: $2.30 STAN-CS-73-377, AIM-206, AD764652, Yorick Wilks, %2Preference Semantics%1, 20 pages, June 1973. Cost: $2.25 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. Cost: $2.40 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. Cost: $2.40 *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 Zmir Pnueli, %2Axiomatic Approach to Total Correctness of Programs%1, 26 pages, July 1973. Cost: $2.40 *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. Cost: $2.75 *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, 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. Cost: $2.60 *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. Cost: $2.45 *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. Cost: $3.15 *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. *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. .next page .ONCE CENTER <<1974>> %3REPORTS PRINTED IN 1974%1 .skip .begin indent 0,10,0 *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, 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, To. 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 "Go To" 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, 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, TR-51, PB232356/AS, John Wakerly (Thesis), %2Low-Cost Error Detection Techniques for Small Computers%1, 232 pages, May 1974. *STAN-CS-74-422, TR-79, NASA-TM-62,370, Harold Stone, %2Parallel Tri-Diagonal Equation Solvers%1, 42 pages, May 1974. *STAN-CS-74-423, 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, TR-80, PB232602/AS, Maurice Schlumberger (Thesis, chapter 1), %2Logorithmic Communications Networks%1, 38 pages, May 1974. *STAN-CS-74-425, TR-81, PB232598/AS, Maurice Schlumberger (Thesis, chapter 2), %2Vulnerability of deBruijn Communications Networks%1, 68 pages, May 1974. *STAN-CS-74-426, 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, 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, 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, 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, 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. Cost: $3.30 *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. Cost: $3.10 *STAN-CS-74-435, 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. Cost: $2.95 ⊗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. Cost: $2.95 *STAN-CS-74-449, TR-89, AD785027, A. Smith (Thesis), %2Performance Analysis of Computer Systems Components%1, 323 pages, September 1974. *STAN-CS-74-450, 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, 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. Cost: $2.60 STAN-CS-74-454, , SU326 P30-35, L. S. Jennings, %2A Computational Approach to Simultaneous Estimation%1, 15 pages, September 1974. Cost: $2.15 *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. Cost: $2.45 ⊗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. Cost: $2.15 ⊗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. Cost: $3.25 STAN-CS-74-468, , AD-A003 832, S. Krogdahl, %2A Combinatorial Base for Some Optimal Matroid Intersection Algorithms%1, 25 pages, November 1974. Cost: $2.45 STAN-CS-74-469, , , H. Brown, %2Molecular Structure Elucidation III%1, 38 pages, December 1974. Cost: $2.80 *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. Cost: $2.75 +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. Cost: $2.15 ⊗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. .next page .ONCE CENTER <<1975>> %3REPORTS PRINTED IN 1975%1 .skip ⊗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 ATIS, V. Chvatal and D. Sankoff, %2Longest Common Subsequences of Two Random Sequences%1, 18 pages, January 1975. Cost: $2.20 *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. Cost: $2.60 *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. Cost: $1.90 STAN-CS-75-484, , AD-A011 832, R. L. Graham and E. Szemeredi, %2On Subgraph Number Independence in Trees%1, 18 pages, March 1975. Csot: $2.20 STAN-CS-75-485, , AD-A011 834, P. Erdos and E. Szemeredi, %2On Multiplicative Representations of Integers%1, 18 pages, March 1975. Cost: $2.20 *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. Cost: $2.70 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. Cost: $2.20 STAN-CS-75-489, , AD-A011 833, E. Szemeredi, %2Regular Partitions of Graphs%1, 8 pages, April 1975. Cost: $1.90 STAN-CS-75-490, , AD-A014 429, R. William Gosper, %2Numerical Experiments with the Spectral Test%1, 31 pages, May 1975. Cost: $2.60 *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. Cost: $2.80 *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. Cost: $2.60 *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. Cost: $3.10 ⊗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. *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. Cost: $1.95 *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. Cost: $2.25 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. Cost: $1.85 STAN-CS-75-505, , AD-A017 053, V. Chvatal, %2Some Linear Programming Aspects of Combinatorics%1, 30 pages, August 1975. Cost: $2.60 +STAN-CS-75-506, AIM-264, AD-A017 176, M. Gordon, %2Operational Reasoning and Denotational Semantics%1, 30 pages, August 1975. Cost: $2.65 +STAN-CS-75-507, AIM-265, , M. Gordon, %2Towards a Semantic Theory of Dynamic Binding%1, 25 pages, August 1975. Cost: $2.50 *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. Cost: $3.90 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. Cost: $2.00 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. Cost: $2.75 *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. Cost: $2.60 *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. Cost: $2.35 *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. Cost: $2.50 +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. Cost: $2.75 +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. Cost: $2.85 +STAN-CS-75-521, AIM-268, , C. Thompson, %2Depth Perception in Stereo Computer Vision%1, 16 pages, November. Cost: $2.15 +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. Cost: $2.50 ⊗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. Cost: $7.40 *STAN-CS-75-526, , AD-A020 848, Robert E. Tarjan, %2Graph Theory and Gaussian Elimination%1, 23 pages, November 1975. *STAN-CS-75-527, TR-100, not at NTIS, E. McCluskey, J. Wakerley and R. Ogus, %2Center for Reliable Computing%1, 100 pages, November 1978. *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. Cost: $2.60 *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. .next page .once center <<1976>> %3REPORTS PRINTED IN 1976%1 .skip 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. Cost: $2.40 ⊗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. Cost: $2.60 +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. Cost: $4.00 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. Cost: $3.00 +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. Cost: $2.40 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. Cost: $1.90 *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. Cost: $2.35 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. Cost: $2.45 STAN-CS-76-547, , , Robert E. Tarjan, %2Iterative Algorithms for Global Flow Analysis%1, 31 pages, March 1976. Cost: $2.60 *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. Cost: $3.05 STAN-CS-76-550, , , R. E. Tarjan and A. E. Trojanowski, %2Finding a Maximum Independent Set%1, 22 pages, June 1976. Cost: $2.35 *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. Cost: $2.35 STAN-CS-76-554, , , F. S. Yu (Thesis), %2Modeling the Write Behavior of Computer Programs%1, 185 pages, June 1976. Cost: $7.25 +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. Cost: $2.40 +STAN-CS-76-556, , , L. J. Guibas (Thesis), %2The Analysis of Hashing Algorithms%1, 136 pages, August 1976. Cost: $5.55 +STAN-CS-76-557, , AD-A032 122, M. S. Paterson, %2An Introduction to Boolean Function Complexity%1, 19 pages, August 1976. Cost: $2.25 +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. Cost: $2.85 ⊗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. Cost: $8.10 +STAN-CS-76-561, , , D. R. Woods, %2Mathematical Programming Language: User's Guide%1, 139 pages, August 1976. Cost: $5.60 +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. Cost: $3.50 *STAN-CS-76-563, , , D. L. Russell, %2State Restoration Among Communicating Processes%1, 173 pages, August 1976. ⊗STAN-CS-76-564, AIM-283, , 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. Cost: $4.70 ⊗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. Cost: $8.85 +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. Cost: $3.10 ⊗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. Cost: $4.45 +STAN-CS-76-572, AIM-288, , Robert Filman and Richard Weyhrauch, %2An FOL Primer%1, 36 pages, September 1976. Cost: $2.70 +STAN-CS-76-573, , AD-A032 945, Arne Jonassen, %2The Stationary P-Tree Forest%1, 90 pages, November 1976. Cost: $4.40 +STAN-CS-76-574, AIM-289, , John Reiser (editor), %2SAIL Manual%1, 178 pages, August 1976. Cost: $6.70 +STAN-CS-76-575, AIM-290, AD-A042 494, Nancy W. Smith, %2SAIL Tutorial%1, 54 pages, November 1976. Cost: $3.20 +STAN-CS-76-576, , AD-A035 350, Colin McDiarmid, %2Determining the Chromatic Number of a Graph%1, 61 pages, December 1976. Cost: $3.35 ⊗STAN-CS-76-577, AIM-291, AO44 713, Bruce Buchanan, Joshua Lederberg and John McCarthy, %2Three Reviews of J. Weizenbaum's Computer Power and Human Reason%1, 28 pages, November 1976. +STAN-CS-76-578, , AD-A035 219, Joseph Oliger and Arne Sundstrom, %2Theoretical and Practical Aspects of Some Initial-Boundary Value Problems in Fluid Dynamics%1, 62 pages, December 1976. Cost: $3.45 +STAN-CS-76-579, SLACP-1826, , Forest Basket and Abbas Rafii, %2The A0 Inversion Model of Program Paging Behavior%1, 30 pages, December 1976. Cost: $2.60 +STAN-CS-76-580, AIM-292, , Terry Winograd, %2Towards a Procedural Understanding of Semantics%1, 30 pages, October 1976. Cost: $2.55 ⊗STAN-CS-76-581, AIM-293, AD-A042 508, Daniel Bobrow and Terry Winograd, %2An Overview of KRL%1, 40 pages, November 1976. +STAN-CS-76-582, , AD-A038 863, V. Chvatal, M. R. Garey, and D. S. Johnson, %2Two Results Concerning Multicoloring%1, 9 pages, December 1976. Cost: $1.95 .NEXT PAGE .ONCE CENTER <<1977>> %3REPORTS PRINTED IN 1977%1 .skip +STAN-CS-77-583, ,AD-A038 864, V. Chvatal, %2Determining the Stability Number of a Graph%1, 39 pages, February 1977. Cost: $2.80 +STAN-CS-77-584, ,AD-A038 865, Donald E. Knuth, %2Deletions That Preserve Randomness%1, 32 pages, February 1977. Cost: $2.60 ⊗STAN-CS-77-585, , , P. Concus, G. H. Golub and D. O'Leary, %2Numerical Solution of Nonlinear Elliptic Partial Differential Equations by a Generalized Conjugate Gradient Method%1, 43 pages, February 1977. +STAN-CS-77-586, AIM-294, AD-A042 516, Nachum Dershowitz and Zohar Manna, %2The Evolution of Programs: A System for Automatic Program Modification%1, 45 pages, February 1977. Cost: $2.95 +STAN-CS-77-587, ,AD-A038 867, M. R. Garey, R. L. Graham, D. S. Johnson, and D. E. Knuth, %2Complexity Results for Bandwidth Minimization%1, 36 pages, February 1977. Cost: $2.70 ⊗STAN-CS-77-588, ,PB-266 381/AS, Tony Fan C. Chan, %2On Computing the Singular Value Decomposition%1, 57 pages, February 1977. +STAN-CS-77-589, HPP-77-2, AD-A038 866, Robert S. Engelmore and H. P. Nii, %2A Knowledge-Based System for the Interpretation of Protein X-Ray Crystallographic Data%1, 36 pages, February 1977. Cost: $2.70 ⊗STAN-CS-77-590, ,AD-A038 868, Donald E. Knuth and Michael S. Paterson, %2Identities from Partition Involutions%1, 22 pages, February 1977. +STAN-CS-77-591, AIM-295, , Robert C. Bolles (Thesis), %2Verification Vision Within a Programmable Assembly System%1, 245 pages, February 1977. Cost: $8.55 +STAN-CS-77-592, AIM-296, , Robert Cartwright, Jr. (Thesis), %2A Practical Formal Semantic Definition and Verification Systems for Typed LISP%1, 158 pages, Fegruary 1977. Cost: $6.15 ⊗STAN-CS-77-593, HPP-77-1, , A. C. Scott, W. J. Clancey, R. Davis, and E. H. Shortliffe, %2Explanation Capabilities of Production-Based Consultation Systems%1, 30 pages, April 1977. +STAN-CS-77-594, SLAC-200, , Edwin P. Stritter (Thesis), %2File Migration%1, 112 pages, April 1977. Cost: $4.85 +STAN-CS-77-595, , , John Gregg Lewis (Thesis), %2Algorithms for Sparse Matrix Eigenvalue Problems%1, 212 pages, April 1977. Cost: $4.85 +STAN-CS-77-596, HPP-77-5, , Mark J. Stefik and Nancy Martin, %2A Review of Knowledge Based Problem Solving as a Basis for a Genetics Experiment Designing System%1, 97 pages, April 1977. Cost: $4.40 +STAN-CS-77-597, HPP-77-6, , Bruce G. Buchanan and Tom M. Mitchell, %2Model-Directed Learning of Production Rules%1, 21 pages, April 1977. Cost: $2.30 *STAN-CS-77-598, ,AD-A040 486, Arne T. Jonassen and Donald E. Knuth, %2A Trivial Algorithm Whose Analysis Isn't%1, 32 pages, April 1977. +STAN-CS-77-599, ,AD-A040 441, Donald E. Knuth and Arnold Schonhage, %2The Expected Linearity of a Simple Equivalence Algorithm%1, 56 pages, April 1977. Cost: $3.30 ⊗STAN-CS-77-600, ,AD-A040 538, Mark R. Brown (Thesis), %2The Analysis of a Practical and Nearly Optimal Priority Queue%1, 102 pages, April 1977. ⊗STAN-CS-77-601, ,A045 652, John F. Reiser (Thesis), %2Analysis of Additive Random Number Generators%1, 34 pages, April 1977. ⊗STAN-CS-77-602, , , C. DeBoor and G. H. Golub, %2The Numerically Stable Reconstruction of a Jacobi Matrix from Spectral Data%1, 21 pages, April 1977. +STAN-CS-77-603, ,AD-A041 292, Robert E. Tarjan, %2Reference Machines Require Non-Linear Time to Maintain Disjoint Sets%1, 45 pages, April 1977. Cost: $2.95 ⊗STAN-CS-77-604, ,AD-A040 399, Tony F. C. Chan and Joseph Oliger, %2Control of the Dissipativity of Lax-Wendroff Type Methods for First Order Systems of Hyperbolic Equations%1, 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, %2A Model for Learning Systems%1, 22 pages, June 1977. ⊗STAN-CS-77-606, , , Michael J. Clancy and Donald E. Knuth, %2A Programming and Problem-Solving Seminar%1, 104 pages, June 1977. +STAN-CS-77-607, TR-133, , Susan Owicki, %2Specifications and Proofs for Abstract Data Types in Concurrent Programs%1, 26 pages, June 1977. Cost: $2.45 ⊗STAN-CS-77-608, , , Istvan Simon, %2On Some Subrecursive Reducibilities%1, 102 pages, June 1977. ⊗STAN-CS-77-609, ,AD-A043 362, Robert E. Tarjan, %2Complexity of Combinatorial Algorithms%1, 97 pages, June 1977. ⊗STAN-CS-77-610, AIM-297, , Terry Winograd, %2A Framework for Understanding Discourse%1, 24 pages, June 1977. ⊗STAN-CS-77-611, AIM-298, AD-A046 703, Zohar Manna, Richard Waldinger, %2The Logic of Computer Programming%1, 90 pages, June 1977. +STAN-CS-77-612, HPP-77-7, AD-A042 756, H. Penny Nii and Edward A. Feigenbaum, %2Rule-Based Understanding of Signals%1, 23 pages, June 1977. Cost: $2.5 +STAN-CS-77-613, , , E. Spedicato, %2On Some Classes of Quasi-Newton Methods for Systms of Nonlinear Algebraic Equations%1, 31 pages, June 1977. Cost: $2.60 +STAN-CS-77-614, AIM-299, , Zohar Manna, Adi Shamir, %2The Convergence of Functions to Fixedpoints of Recursive Definitions%1, 45 pages, June 1977. Cost: $2.95 ⊗STAN-CS-77-615, , , R. Glowinski and O. Pironneau, %2Numerical Methods for the First Biharmonic Equation and for the Two- Dimensional Stokes Problem%1, 86 pages, June 1977. ⊗STAN-CS-77-616, ,AD-A046 311, Heinz-Otto Kreiss and Joseph Oliger, %2Stability of the Fourier Method%1, 25 pages, September 1977. ⊗STAN-CS-77-617, AIM-300, , Terry Winograd, %2On some Contested Suppositions of Generative Linguistics about the Scientific Study of Language%1, 25 pages, September 1977. +STAN-CS-77-618, HPP-77-28, AD-A045 948, Nils J. Nilsson, %2A Production System for Automatic Deduction%1, 42 pages, September 1977. Cost: $2.90 +STAN-CS-77-619, ,AD-A046 481, W. J. Paul and R. E. Tarjan, %2Time-Space Trade-Offs in a Pebble Game%1, 8 pages, September 1977. Cost: $1.90 *STAN-CS-77-620, , , J. Bolstad and J. Oliger, %2Adaptation of the Fourier Method to the Nonperiodic Initial Boundary Value Problem%1, 80 pages, September 1977. +STAN-CS-77-621, HPP-77-25, AD-A046 289, E. A. Feigenbaum, %2The Art of Artificial Intelligence: I. Themes and Case Studies of Knowledge Engineering%1, 18 pages, September 1977. Cost: $2.20 ⊗STAN-CS-77-622, , , G. H. Golub, M. Heath and G. Wahba, %2Generalized Cross-Validation as a Method for Choosing a Good Ridge Parameter%1, 25 pages, September 1977. ⊗STAN-CS-77-623, , , D. Boley and G. H. Golub, %2Inverse Eigenvalue Problems for Band Matrices%1, 75 pages, September 1977. *STAN-CS-77-624, AIM-301, AD-A044 231, Lester Earnest, et. al., %2Recent Research in Computer Science%1, 118 pages, September 1977. +STAN-CS-77-625, ,AD-A046 090, Mark R. Brown and Robert E. Tarjan, %2A Fast Merging Algorithm%1, 42 pages, September 1977. Cost: $2.90 +STAN-CS-77-626, , , Andrew C. Yao, %2On the Loop Switching Addressing Problem%1, 21 pages, October 1977. Cost: $2.30 +STAN-CS-77-627, ,AD-A048 786, Richard J. Lipton and Robert E. Tarjan, %2A Separator Theorem for Planar Graphs%1, 31 pages, October 1977. Cost: $2.60 +STAN-CS-77-628, ,AD-A048 787, Richard J. Lipton and Robert E. Tarjan, %2Applications of a Planar Separator Theorem%1, 34 pages, October 1977. Cost: $2.65 +STAN-CS-77-629, , , Andrew C. Yao, %2The Complexity of Pattern Matching for a Random String%1, 43 pages, October 1977. Cost: $2.90 +STAN-CS-77-630, AIM-302, Zohar Manna and Richard Waldinger %2Synthesis: Dreams => Programs%1, 119 pages, October 1977. Cost: $5.05 ⊗STAN-CS-77-631, AIM-303, AD-A050 806, Nachum Dershowitz and Zohar Manna, %2Inference Rules for Program Annotation%1, 46 pages, October 1977. +STAN-CS-77-632, AIM-304, AD-A048 684, Todd Jeffery Wagner (Thesis), %2Hardware Verification%1, 102 pages, October 1977. Cost: $4.55 +STAN-CS-77-633, AIM-305, AD-A048 660, William Faught (Thesis), %2Motivation and Intensionality in a Computer Simulation Model%1, 104 pages, October 1977. Cost: $4.60 ⊗STAN-CS-77-634, , , W. Hoffmann and B. N. Parlett, %2A New Proof of Global Convergence for the Tridiagonal QL Algorithm%1, 18 pages, October 1977. ⊗STAN-CS-77-635, , , G. H. Golub, F. T. Luk and M. L. Overton, %2A Block Lanczos Method to Computer the Singular Value and Corresponding Singular Vectrs of a Matrix%1, 80 pages, October 1977. ⊗STAN-CS-77-636, ,AD-A048 788, Kenneth P. Bube, %2C↑m Convergence of Trigonometric Interpolants%1, 25 pages, October 1977. +STAN-CS-77-637, , , Lyle Ramshaw, %2On the Gap Structure of Sequences of Points on a Circle%1, 26 pages, September 1977. Cost: $2.45 +STAN-CS-77-638, SU326 P30-57, , Dianne Prost O'Leary, %2A Generalized Conjugate Gradient Algorithm for Solving a Class of Quadratic Programming Problems%1, 49 pages, October 1977. Cost: $3.10 +STAN-CS-77-639, AIM-306, AD-A053 175, Cordell Green and David Barstow, %2On Program Synthesis Knowledge%1, 63 pages, November 1977. Cost: $3.45 +STAN-CS-77-640, AIM-307, AD-A053 176, Zohar Manna and Richard Waldinger, %2Structured Programming Without Recursion%1, 10 pages, December 1977. Cost: $2.00 +STAN-CS-77-641, AIM-308, AD-A053 184, David Barstow (Thesis), %2Automatic Construction of Algorithms%1, 220 pages, December 1977. Cost: $7.85 +STAN-CS-77-642, , , Andrew C. Yao, %2On Constructing Minimum Spanning Trees in k-Dimensional Spaces and Related Problems%1, 37 pages, November 1977. Cost: $2.75 +STAN-CS-77-643, , , Kunio Tanabe, %2A Geometric Method in Nonlinear Programming %1, 53 pages, December 1977. Cost: $.20 +STAN-CS-77-644, , , Bernard Mont-Reynaud (Thesis), %2Hierarchical Properties of Flows and the Determination of Inner Loops%1, 164 pages, December 1977. Cost: $6.30 +STAN-CS-77-645, , , Richard J. Lipton, Donald J. Rose, and Robert Endre Tarjan, %2Generalized Nested Dissection%1, 32 pages, December 1977. Cost: $2.60 +STAN-CS-77-646, AIM-309, , C. G. Nelson and Derek C. Oppen, %2Efficient Decision Procedures Based on Congruence Closure%1, 15 pages, December 1977. Cost: $2.50 .NEXT PAGE .ONCE CENTER <<1978>> %3REPORTS PRINTED IN 1978%1 .skip .begin indent 0,10,0 +STAN-CS-78-647, , , Andrew C. Yao, %2A Lower Bound to Palindrome Recognition by Probabilistic Turing Machines%1, 20 pages, January 1978. Cost: $2.25 ⊗STAN-CS-78-648, ,AD-A054 143, Donald E. Knuth, %2Mathematical Typography%1, 68 pages, January 1978. +STAN-CS-78-649, HPP-78-1, , Bruce G. Buchanan and Edward A. Feigenbaum, %2DENDRAL and Meta-DENDRAL: Their Applications Dimension%1, 25 pages, January 1978. Cost: $2.40 ⊗STAN-CS-78-650, ,AD-A054 144, Thomas Lengaue and Robert E. Tarjan, %2A Fast Algorithm for Finding Dominators in a Flow Graph%1, 40 pages, February 1978. +STAN-CS-78-651, AIM-310, , Nachum Dershowitz and Zohar Manna, %2Proving Termination with Multiset Orderings%1, 30 pages, March 1978. Cost: $2.50 +STAN-CS-78-652, AIM-311, , Greg Nelson and Derek C. Oppen, %2A Simplifier Based on Efficient Decision Algorithms%1, 20 pages, March 1978. Cost: $2.26 +STAN-CS-78-653, , , Yossi Shiloach, %2Multi-Terminal 0-1 Flow%1, 18 pages, January 1978. Cost: $2.20 +STAN-CS-78-654, , , Yossi Shiloach, %2The Two Paths Problem is Polynomial%1, 23 pages, September 1977. Cost: $2.40 +STAN-CS-78-655, , , Germund Dahlquist, %2On Accuracy and Unconditional Stability of Linear Multistep Methods for Second Order Differential Equations%1, 8 pages, March 1978. Cost: $1.90 +STAN-CS-78-656, , , Michael T. Heath, %2Numerical Algorithms for Nonlinearly Constrained Optimization%1, 142 pages, March 1978. Cost $ 5.70 +STAN-CS-78-657, AIM-312, , John McCarthy, Masahiko Sato, Takeshi Hayashi, and Shigeru Igarashi, %2On the Model Theory of Knowledge%1, 12 pages, April 1978. Cost: $2.00 +STAN-CS-78-658, SLAC-205, , Leonard J. Shustek (Thesis), %2Analysis and Performance of Computer Instruction Sets%1, 177 pages, March 1978. Cost: $6.00 +STAN-CS-78-659, SLAC-206, , John E. Zolnowsky (Thesis), %2Topics in Computational Geometry%1, 63 pages, March 1978. Cost: $3.45 ⊗STAN-CS-78-660, AIM-313, , Bruce E. Shimano (Thesis), %2The Kinematic Design and Force Control of Computer Controlled Manipulators%1, 135 pages, March 1978. +STAN-CS-78-661, , AD-A060 794, John R. Gilbert and Robert E. Tarjan, %2Variations of a Pebble Game on Graphs%1, 23 pages, April 1978. Cost: $2.35 +STAN-CS-78-662, , , Andrew Chi-Chih Yao, %2New Algorithms in Bin Packing%1, 50 pages, May 1978. Cost: $3.10 +STAN-CS-78-663, , AD-A060 793, Eric Grosse, %2Software Restyling in Graphics and Programming Languages%1, 30 pages, May 1978. Cost: $2.55 +STAN-CS-78-664, , , Peter Bjorstad and Jorge Nocedal, %2Analysis of a New Algorithm for One-Dimensional Minimization%1, 18 pages, May 1978. Cost: $2.20 +STAN-CS-78-665, TR-152, , T. M. McWilliams and L. C. Widdoes, Jr., %2SCALD: Structured Computer-Aided Logic Design%1, 39 pages, March 1978. Cost: $2.80 +STAN-CS-78-666, TR-153, , T. M. McWilliams and L. C. Widdoes, Jr., %2The SCALD Physical Design Subsystem%1, 28 pages, March 1978. Cost: $2.50 +STAN-CS-78-667, HPP-78-7, AD-A060 795, Reid G. Smith and Randall Davis, %2Distributed Problem Solving: The Contract Net Approach%1, 27 pages, June 1978. Cost: $2.50 +STAN-CS-78-668, HPP-78-10, , Alain Bonnet, %2BAOBAB, A Parser for a Rule-Based System Using a Semantic Grammar%1, 41 pages, June 1978. Cost: $2.85 ⊗STAN-CS-78-669, , , Paul K. Stockmeyer and F. Frances Yao, %2On the Optimality of Linear Merge%1, 11 pages, June 1978. Cost: $2.05 ⊗STAN-CS-78-670, , , Ronald L. Graham, Andrew C. Yao, and F. Frances Yao, %2Information Bounds are Weak in the Shortest Distance Problem%1, 39 pages, June 1978. Cost: $2.80 ⊗STAN-CS-78-671, AIM-316, , Jerrold Ginsparg (Thesis), %2Natural Language Processing in an Automatic Programming Domain%1, 172 pages, June 1978. Cost: $6.55 ⊗STAN-CS-78-672, , , Tony F. C. Chan (Thesis), %2Comparison of Numerical Methods for Initial Value Problems%1, 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, %2A Numerical Library and its Support%1, 22 pages, July 1978. Cost: $2.35 +STAN-CS-78-674, SU326 P30-60, , Tony F. Chan and Roland Glowinski, %2Finite Element Appoximation and Iterative Solution of a Class of Mildly Non-Linear Elliptic Equations%1, 76 pages, November 1978. Cost: $3.85 +STAN-CS-78-675, AIM-317, , Donald E. Knuth, %2Tau Epsilon Chi, a system for technical text%1, 200 pages, November 1978. Cost: $7.30 ⊗STAN-CS-78-676, SLACR-213, , John Phineas Banning (Thesis), %2A Method for Determining the Side Effects of Procedure Calls%1, 283 pages, November 1978. +STAN-CS-78-677, , , Frank M. Liang (editor), %2Comprehensive Examinations in Computer Science, 1972-1978%1, 283 pages, November 1978. Cost: $8.40 +STAN-CS-78-678, AIM-314, , Derek C. Oppen, %2Reasoning About Recursively Defined Data Structures%1, 15 pages, November 1978. Cost: $2.15 +STAN-CS-78-679, , , Walter Murray and Michael L. Overton, %2Steplength Algorithms for Minimizing a Class of Nondifferentiable Functions%1, 57 pages, November 1978. Cost: $3.30 STAN-CS-78-680, , Connie J. Stanley (editor), %2Bibliography of Stanford Computer Science Reports, 1963-1978%1, 100 pages, November 1978. STAN-CS-78-681, , , Louis Trabb Pardo (Thesis), %2Set Representation and Set Intersection%1, 85 pages, December 1978. Cost: $4.10 ⊗STAN-CS-78-682, , , Jacobo Valdes (Thesis), %2Parsing Flowcharts and Series-Parallel Graphs%1, 233 pages, December 1978. STAN-CS-78-683, , , Robert Endre Tarjan, %2Storing a Sparse Table%1, 23 pages, December 1978. STAN-CS-78-684, SU326 P30-63, , D. L. Boley and G. H. Golub, %2The Matrix Inverse Eigenvalue Problem for Periodic Jacobi Matrices%1, 18 pages, December 1978. Cost: $2.20 STAN-CS-78-685, , , Franklin Tai-cheung Luk (Thesis), %2Sparse and Parallel Matrix Computations%1, 168 pages, December 1978. Cost: $6.40 STAN-CS-78-686, , , Richard J. Lipton, Arnold L. Rosenberg and Andrew C. Yao, %2External Hashing Schemes for Collections of Data Structures%1, 33 pages, December 1978. Cost: $2.65 STAN-CS-78-687, AIM-315, , Richard Weyhrauch, %2Prolegomena to a Theory of Formal Reasoning%1, 41 pages, December 1978. Cost: $2.85 STAN-CS-78-688, AIM-318, , Zohar Manna and Richard Waldinger, %2Six Lectures on the Logic of Computer Programming%1, 54 pages, December 1978. Cost: $3.25 STAN-CS-78-689, AIM-319, , Charles G. Nelson, %2An n∩[log n] Algorithm for the Two-Variable-Per-Constraint Linear Programming Satisfiability Problem%1, 20 pages, December 1978. Cost: $2.30 STAN-CS-78-690, AIM-320, , Zohar Manna, %2A Deductive Approach to Program Synthesis%1, 30 pages, December 1978. Cost: $2.55 STAN-CS-78-691, , , Kenneth P. Bube (Thesis), %2The Construction of Initial Data for Hyperbolic Systems from Nonstandard Data%1, 119 pages, November 1978. STAN-CS-78-692, HPP-77-39, , Bruce G. Buchanan, Tom M. Mitchell, Reid G. Smith and C. Richard Johnson Jr., %2Models of Learning Systems%1, 38 pages, November 1978. STAN-CS-78-693, , , Douglas B. West, %2A Class of Solutions to the Gossip Problem%1, 61 pages, November 1978. STAN-CS-78-694, , , Jonathan King (editor), %2Computer Science at Stanford 1977-1978%1, 27 pages, November 1978. STAN-CS-78-695, AIM-321, , Lester Earnest et al., %2Recent Research in Artificial Intelligence and Foundations of Programming%1, 94 pages, November 1978. Cost: $4.35 STAN-CS-78-696, HPP-78-22, , Reid G. Smith and Tom M. Mitchell, %2Considerations for Microprocessor-Based Terminal Design%1, 14 pages, November 1978. STAN-CS-78-697, , , Walter Gander, %2On the Linear Least Squares Problem with a Quadratic Constraint%1, 120 pages, November 1978. STAN-CS-78-698, , , Richard E. Sweet (Thesis), %2Imperical Estimates of Program Entropy%1, 167 pages, November 1978. STAN-CS-78-699, HPP-78-23, , James Bennett, Lewis Creary, Robert Englemore and Robert Melosh, %2SACON: A Knowledge-Based Consultant for Structural Analysis%1, 65 pages, September 1978. .NEXT PAGE .begin center<<theses>> .EVERY HEADING (%3Theses,,%3Appendix A) %3APPENDIX A %3COMPUTER SCIENCE DEPARTMENT THESES%1 .end .skip .begin indent 0,10,0 STAN-CS-64-11, R. L. Causey, %2On Closest Normal Matrices%1. STAN-CS-65-15, D. W. Grace, %2Computer Search for Non-Isomorphic Convex Polyhedra%1. STAN-CS-65-22, C. B. Moler, %2Finite Difference Methods for the Eigenbales of Laplace's Operator%1. STAN-CS-65-23, B. D. Rudin, %2Convex Polynomial Approximation%1. STAN-CS-66-48, W. M. McKeeman, %2An Approach to Computer Language Design%1. STAN-CS-66-49, D. R. Reddy, %2An Approach to Computer Speech Recognition by Direct Analysis of Speech Wave%1. STAN-CS-66-50, S. Persson, %2Some Sequence Extrapulating Programs: A Study of Representation and Modelling in Inquiring Systems%1. AIM-47, Bruce Buchanan, %2Logics of Scientific Discovery%1. STAN-CS-67-58, V. Tixier, %2Recursive Functions of Regular Expressions in Language Analysis%1. AIM-44, James Painter, %2Semantic Correctness of a Compiler for an Algol-like Language%1. STAN-CS-67-66, J. M. Varah, %2The Computation of Bounds for the Invariant Subspaces of a General Matrix Operator%1. AIM-56, William Wichman, %2Use of Optical Feedback in the Computer Control of an Arm%1. AIM-58, Monte D. Callero, %2An Adaptive Command and Control System Utilizing Heuristic Learning Processes%1. STAN-CS-68-94, A. C. Shaw, %2The Formal Description and Parsing of Pictures%1. STAN-CS-68-101, Donald M. Kaplan, %2The Formal Theoretic Analysis of Stront Equivalence for Elemental Programs%1. STAN-CS-68-105, P. Richman, %2Epsiolon-Calculus%1. STAN-CS-68-106, Barbara J. Huberman, %2A Program to Play Chess End Games%1. STAN-CS-68-116, Donald L. Pieper, %2The Kinematics of Manipulators Under Computer Control%1. STAN-CS-68-117, D. Adams, %2A Computational Model with Data Flow Sequencing%1. STAN-CS-68-118, Donald Waterman, %2Machine Learning of Heuristics%1. STAN-CS-69-127, Pierre Vicens, %2Aspects of Speech Recognition by Computer%1. STAN-CS-69-130, Roger C. Schank, %2A Conceptual Dependency Representation for a Computer-Oriented Semantics%1. STAN-CS-69-131, L. B. Smith, %2The Use of Man-Machine Interaction in Data-Fitting Problems%1. STAN-CS-69-136, I. Pohl, %2Bi-Directional and Heuristic Search in Path Problems%1. AIM-92, Victor D. Scheinman, %2Design of a Computer Controlled Manipulator%1. STAN-CS-69-138, Claude Cordell Green, %2The Application of Theorem Proving to Question-Answering Systems%1. STAN-CS-69-139, James Jay Horning, %2A Study of Grammatical Inference%1. STAN-CS-69-143, M. A. Jenkins, %2Three-Stage Variable-Shift for the Solution of Polynomial Equations with a Posteriori Error Bounds for the Zeros%1. AIM-106, Michael Edwin Kahn, %2The Near-minimum-time Control of Open-loop Articulated Kinematic Chains%1. STAN-CS-70-146, G. O. Ramos, %2Roundoff Error Analysis of the Fast Fourier Transform%1. STAN-CS-70-161, L. J. Hoffman, %2The Formulary Model for Access Control and Privacy in Computer Systems%1, AIM-119, Joseph Becker, %2An Information-processing Model of Intermediate-Level Cognition%1. AIM-121, Irwin Sobel, %2Camera Models and Machine Perception%1. STAN-CS-70-168, Michael D. Kelly, %2Visual Identification of People by Computer%1. STAN-CS-70-180, G. Falk, %2Computer Interpretation of Imperfect Line Data as a Three-Dimensional Scene%1. STAN-CS-70-182, Jay Martin Tenenbaum, %2Accomodation in Computer Vision%1. STAN-CS-71-198, R. Brent, %2Algorithms for Finding Zeros and Extrema of Functions without Calculating Derivatives%1. STAN-CS-71-208, J. A. George, %2Computer Implementation of the Finite Element Method%1. STAN-CS-71-219, Lynn H. Quam, %2Computer Comparison of Pictures%1. STAN-CS-71-222, W. J. Meyers, %2Linear Representation of Tree Structure (a Mathematical Theory of Parenthesis-Free Notations)%1. STAN-CS-71-223, Susan Graham, %2Precedence Languages and Bounded Right Context Languages%1. STAN-CS-71-227, J. E. George, %2GEMS - A Graphical Experimental Meta System%1. STAN-CS-71-231, Rod Schmidt, %2A Study of the Real-Time Control of a Computer Driven Vehicle%1. Robert E. Kling, %2Reasoning by Analogy with Applications to Heuristic Problem Solving: a Case Study%1, 191 pages, August 1971. STAN-CS-71-244, R. Tarjan, %2An Efficient Planarity Algorithm%1. STAN-CS-71-245, Jonathan Leonard Ryder, %2Heuristic Analysis of Large Trees as Generated in the Game of Go%1. STAN-CS-72-259, Clark A. Crane, %2Linear Lists and Priority Queues as Balanced Binary Trees%1. STAN-CS-72-260, Vaughan R. Pratt, %2Shellsort and Sorting Networks%1. STAN-CS-72-266, Jean M. Cadiou, %2Recursive Definitions of Partial and Functions and Their Computation%1. STAN-CS-72-271, William E. Riddle, %2The Modeling and Analysis of Supervisory Systems%1. STAN-CS-72-276, Linda Kaufman, %2A Generalized LR Method to Solve Ax = Bx%1. STAN-CS-72-293, J. A. Lukes, %2Combinatorial Solutions to Partitioning Problems%1. STAN-CS-72-296, Michael L. Fredman, %2Growth Properties of a Class of Recursively Defined Functions%1. STAN-CS-72-303, Francis Lockwood Morris, %2Correctness of Translations of Programming Languages - an Algebraic Approach%1. STAN-CS-72-305, Gerald Jacob Agin, %2Representation and Description of Curved Objects%1. STAN-CS-72-309, V. Lesser, %2Dynamic Control Structures and Their Use in Emulation%1. STAN-CS-72-311, Richard Paul, %2Modelling, Trajectory Calculation and Servoing of a Computer Controlled Arm%1. STAN-CS-72-314, Peter M. Kogge, Part I: %2Parallel Algorithms for the Efficient Solution of Recurrence Problems%1; STAN-CS-72-315, Part II: %2The Numerical Stability of Parallel Algorithms for Solving Recurrence Problems%1; STAN-CS-72-316, Part III: %2Minimal Paralellism in the Solution of Recurrence Problems. Aharon Gill, %2Visual Feedback and Related Problems in Computer Controlled Hand Eye Coordination%1, 130 pages, October 1972. STAN-CS-72-321, Ruzena Bajcsy, %2Computer Identification of Textured Visual Scenes%1. STAN-CS-72-324, Henry R. Bauer III, %2Subproblems of the m X n Sequencing Problem%1. STAN-CS-72-329, Isu Fang, %2Folds, A Declarative Formal Language Definition System%1. STAN-CS-72-336, Ashok K. Chandra, %2On the Properties and Applications of Program Schemas%1. STAN-CS-73-343, David R. Levine, %2Computer-Based Analytic Grading for German Grammar Instruction%1. STAN-CS-73-363, Linda C. Kaufman, %2The LZ Algorithm to Solve the Generalized Eigenvalue Problem%1. STAN-CS-73-366, Gunnar Rutger Grape, %2Model Bases (Intermediate-Level) Computer Vision%1. STAN-CS-73-372, Michael A. Malcolm, %2Nonlinear Spline Functions%1 (Part II). STAN-CS-73-380, Yoram Yakimovsky, %2Scene Analysis Using a Semantic Base for Region Growing%1. STAN-CS-73-393, Jean Etienne Vuillemin, %2Proof Techniques for Recursive Programs%1. STAN-CS-74-410, James L. Peterson, %2Modelling of Parallel Systems%1. STAN-CS-74-412, Daniel C. Swinehart, %2COPILOT: A Multiple Process Approach to Interactive Programming Systems%1. STAN-CS-74-413, James Gips, %2Shape Grammars and Their Uses%1. STAN-CS-74-415, Ronald L. Rivest, %2Analysis of Associative Retrieval Algorithms%1. STAN-CS-74-418, Richard L. Sites, %2Proving That Computer Programs Terminate Cleanly%1. STAN-CS-74-419, Charles J. Rieger III, %2Conceptual Memory: A Theory and Computer Program for Processing the Meaning Content of Natural Language Utterances%1. STAN-CS-74-421, John Wakerly, %2Low-Cost Error Detection Techniques for Small Computers%1. Maurice Schlumberger, Chapter 1: %2Logorithmic Communications Networks%1 (STAN-CS-74-424), Chapter 2: %2Vulnerability of deBruijn Communications Networks%1 (STAN-CS-74-425), Chapter 3: %2Queueing Equal Length Messages in a Logorithmic Network%1 (STAN-CS-74-426). STAN-CS-74-437, Christopher K. Riesbeck, %2Computational Understanding: Analysis of Sentences and Context%1. STAN-CS-74-438, Marsha Jo Hanna, %2Computer Matching of Areas in Stereo Images%1. STAN-CS-74- 443, Douglas K. Brotz, %2Embedding Heuristic Problem Solving Methods in a Mechanical Theorem Prover%1. STAN-CS-74-449, A. Smith, %2Performance Analysis of Computer Systems Components%1. STAN-CS-74-452, James R. Low, %2Automatic Coding: Choice of Data Structures%1. STAN-CS-74-458, Jack Buchanan, %2A Study in Automatic Programming%1. STAN-CS-74-461, Neil M. Goldman, %2Computer Generation of Natural Language from a Deep Conceptual Base%1. STAN-CS-74-463, Bruce Baumgart, %2Geometric Modeling for Computer Vision%1. STAN-CS-74-464, Ramakant Nevatia, %2Structured Descriptions of Complex Curved Objects for Recognition and Visual Memory%1. STAN-CS-74-465, Edward H. Shortliffe, %2MYCIN: A Rule-Based Computer Program for Advising Physicians Regarding Antimicrobial Therapy Selection%1. STAN-CS-75-475, Malcolm C. Newey, %2Formal Semantics of LISP with Applications to Program Correctness%1. STAN-CS-75-491, G. D. Knott, %2Deletion in Binary Storage Trees%1. STAN-CS-75-492, R. Sedgewick, %2Quicksort%1. STAN-CS-75-494, E. H. Satterthwaite Jr., %2Source Language Debugging Tools%1. STAN-CS-75-496, R. Underwood, %2An Iterative Block Lanczos Method for the Solution of Large Sparse Symmetric Eigenproblems%1. STAN-CS-75-498, Hanan Samet, %2Automatically Proving the Correctness of Translations Involving Optimized Code%1. STAN-CS-75-499, David Canfield Smith, %2PYGMALION: A Creative Programming Environment%1. STAN-CS-75-525, Sundaram Ganapathy, %2Reconstruction of Secnes Containing Polyhedra from Stereo Pair of Views%1. STAN-CS-75-534, Linda G. Hemphill, %2A Conceptual Approach to Automatic Language Understanding and Belief Structures: With Disambiguation of the Word 'For' %1. STAN-CS-76-548, D. Prst O'Leary, %2Hybrid Conjugate Gradient Algorithms%1. STAN-CS-76-552, Norihsa Suzuki, %2Automatic Verification of Programs with Complex Data Structures%1. STAN-CS-76-554, F. S. Yu, %2Modeling the Write Behavior of Computer Programs%1. STAN-CS-76-556, L. J. Guibas, %2The Analysis of Hashing Algorithms%1. STAN-CS-76-560, Russell Taylor, %2Synthesis of Manipulator Control Programs from Task-level Specifications%1. STAN-CS-76-564, Randall Davis, %2Applications of Meta Level Knowledge to the Construction, Maintenance and Use of Large Knowledge Bases%1. STAN-CS-76-565, J. C. Strikwerda, %2Initial Boundary Value Problems for Incompletely Parabolic Systems%1. STAN-CS-6-566, Margaret Wright, %2Numerical Methods for Nonlinearly Constrained Optimization%1. STAN-CS-76-567, Rafael Finkel, %2Constructing and Debugging Manipulator Programs%1. STAN-CS-76-570, Douglas Lenat, %2AM: An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search%1. STAN-CS-76-571, Michael Roderick, %2Discrete Control of a Robot Arm%1. STAN-CS-77-590, Robert C. Bolles, %2Verification Vision Within a Programmable Assembly System%1. STAN-CS-77-592, Robert Cartwright Jr., %2A Practical Formal Semantic Definition and Verification Systems for Typed LISP%1. STAN-CS-77-594, Edwin P. Stritter, %2File Migration%1. STAN-CS-77-595, John Gregg Lewis, %2Algorithms for Sparse Matrix Eigenvalue Problems%1. STAN-CS-77-600, Mark R. Brown, %2The Analysis of a Practical and Nearly Optimal Priority Queue%1. STAN-CS-77-601, John F. Reiser, %2Analysis of Additive Random Number Generators%1. STAN-CS-77-632, Todd Jeffery Wagner, %2Hardware Verification%1. STAN-CS-77-633, William Faught, %2Motivation and Intensionality in a Computer Simulation Model%1. STAN-CS-77-641, David Barstow, %2Automatic Construction of Algorithms%1. STAN-CS-77-644, Bernard Mont-Reynaud, %2Hierarchical Properties of Flows and the Determination of Inner Loops%1. STAN-CS-78-658, Leonard J. Shustek, %2Analysis and Performance of Computer Instruction Sets%1. STAN-CS-78-659, John E. Zolnowsky, %2Topics in Computational Geometry%1. STAN-CS-78-660, Bruce E. Shimano, %2The Kinematic Design and Force Control of Computer Controlled Manipulators%1. STAN-CS-78-671, Jerrold Ginsparg, %2Natural Language Processing in an Automatic Programming Domain%1. STAN-CS-78-672, Tony F. C. Chan, %2Comparison of Numerical Methods for Initial Value Problems%1. STAN-CS-78-676, John Phineas Banning, %2A Method for Determining the Side Effects of Procedure Calls%1. STAN-CS-78-681, Luis Trabb Pardo, %2Set Representation and Set Intersection%1. STAN-CS-78-682, Jacobo Valdes, %2Parsing Flowchats and Series-Parallel Graphs%1. STAN-CS-78-685, Franklin Tai-cheung Luk, %2Sparse and Parallel Matrix Computations%1. STAN-CS-78-691, Kenneth P. Bube, %2The Construction of Initial Data for Hyperbolic Systems from Nonstandard Data%1. STAN-CS-78-698, Richard E. Sweet, %2Imperical Estimates of Program Entropy%1. .next page .begin center<<AI memos>> .EVERY HEADING (%3Artificial Intelligence Memos,,%3Appendix B) %3APPENDIX B %3ARTIFICIAL INTELLIGENCE MEMOS%1 .end .skip .begin indent 0,10,0 *AIM-1, , ,John McCarthy, %2Predicate Calculus with `Undefined' as a Truth-value%1, 5 pages, March 1963. *AIM-2, ,AD785031, John McCarthy, %2Situations, Actions, and Causal Laws%1, 11 pages, July 1963. *AIM-3, , , Fred Safier, %2'The Mikado' an an Advice Taker Problem%1, 4 pages, July 1963. *AIM-4, , , Horace Enea, %2Clock Function for LISP 1.5%1, 2 pages, August 1963. *AIM-5, , AD785043, Horace Enea and Dean Wooldridge, %2Algebraic Simplication%1, 2 pages, August 1963. *AIM-6, , , Dean Wooldridge, %2Non-printing Compiler%1, 2 pages, August 1963. *AIM-7, , AD785044, John McCarthy, %2Programs With Common Sense%1, 7 pages, September 1963. *AIM-8, , , John McCarthy, %2Storage Conventions in LISP 2%1, 5 pages, September 1963. *AIM-9, , , C. M. Williams, %2Computing Estimates for the Number of Bisections of an NxN Checkerboard for N Even%1, 9 pages, December 1963. *AIM-10, , AD785045, Stephan R. Russell, %2Improvements in LISP Debugging%1, 3 pages, December 1963. *AIM-11, , AD785046, Dean Wooldridge, Jr., %2An Algebraic Simplify Program in LISP%1, 57 pages, December 1963. *AIM-12, , , Gary Feldman, %2Documentation of the MacMahon Squares Problem%1, 4 pages, January 1964. *AIM-13, , AD785047, Dean E. Wooldridge, %2The New LISP System (LISP 1.55)%1, 4 pages, February 1964. *AIM-14, , AD785035, John McCarthy, %2Computer Control of a Machine for Exploring Mars%1, 6 pages, January 1964. *AIM-15, , AD785036, Mark Finkelstein and Fred Safier, %2Axiomatization and Implementation%1, 6 pages, June 1964. *AIM-16, , AD785037, John McCarthy, %2A Tough nut for Proof Procedures%1, 3 pages, July 1964. *AIM-17, , AD785038, John McCarthy, %2Formal Description of the Game of Pang-Ke%1, 2 pages, July 1964. *AIM-18, , AD785048, Jan Hext, %2An Expression Input Routine for LISP%1, 5 pages, July 1964. *AIM-19, , , Jan Hext, %2Programming Languages and Translation%1, 14 pages, August 1964. *AIM-20, , AD785039, D. Raj. Reddy, %2Source Language Optimization of For-loops%1, 37 pages, August 1964. AIM-21, , AD785040, R. W. Mitchell, %2LISP 2 Specifications Proposal%1, 12 pages, August 1964. Cost: $2.05 AIM-22, , AD785041, Richard Russell, %2Kalah -- the Game and the Program%1, 13 pages, September 1964. Cost: $2.05 AIM-23, , AD785049, Richard Russell, %2Improvements to the Kalah Program%1, 12 pages, September 1964. Cost: $2.05 AIM-24, , AD785050, John McCarthy, %2A Formal Description of a Subset of ALGOL%1, 43 pages, September 1964. Cost: $2.90 AIM-25, , AD785051, Richard Mansfield, %2A Formal System of Computation%1, 7 pages, September 1964. Cost: $1.90 AIM-26, , AD785052, D. Raj. Reddy, %2Experiments on Automatic Speech Recognition by a Digital Computer%1, 19 pages, October 1964. Cost: $2.25 AIM-27, , AD785053, John McCarthy, %2A Proof-checker for Predicate Calculus%1, 7 pages, March 1965. Cost: $1.90 *AIM-28, , AD785054, John McCarthy, %2Problems in the Theory of Computation%1, 7 pages, March 1965. *AIM-29, , AD785055, Charles M. Williams, %2Isolation of Important Features of a Multitoned Picture%1, 9 pages, January 1965. *AIM-30, , AD785056, Edward A. Feigenbaum and Richard W. Watson, %2An Initial Problem Statement for a Machine Induction Research Project%1, 8 pages, April 1965. *AIM-31, , AD785057, John McCarthy, %2Plans for the Stanford Artificial Intelligence Project%1, 17 pages, April 1965. *AIM-32, , AD785068, Harry Ratchford, %2The 138 Analog Digital Converter%1, 9 pages, May 1965. AIM-33, , AD785032, Barbara Huberman, %2The Advice Taker and GPS%1, 8 pages, June 1965. Cost: $1.95 AIM-34, , AD785069, Peter Carah, %2A Television Camera Interface for the PDP-1%1, 8 pages, June 1965. Cost: $1.95 *AIM-35, , , Fred Safier, %2Simple Simon%1, 17 pages, June 1965. AIM-36, , AD785065, James Painter, %2Utilization of a TV Camera on the PDP-1%1, 6 pages, September 1965. Cost: $1.85 *AIM-37, , , Knut Korsvold, %2An on Line Algebraic Simplification Program%1, 36 pages, November 1965. AIM-38, , AD785066, Donald A. Waterman, %2A Filter for a Machine Induction System%1, 19 pages, January 1966. Cost: $2.25 AIM-39, , AD785067, Karl Pingle, %2A Program to Find Objects in a Picture%1, 22 pages, January 1966. Cost: $2.30 *AIM-40, STAN-CS-66-38, AD662880, John McCarthy and James Painter, %2Correctness of a Compiler for Arithmetic Expressions%1, 13 pages, April 1966. *AIM-41, , , Phil Abrams and Dianna Rode, %2A Proposal for a Proof-checker for Certain Axiomatic Systems%1, 10 pages, May 1966. AIM-42, , , Karl Pingle, %2A Proposal for a Visual Input Routine%1, 11 pages, June 1966. Cost: $2.00 *AIM-43, STAN-CS-66-49, SS640-836, D. Raj. Reddy, %2An Approach to Computer Speech Recognition by Direct Analysis of the Speech Wave%1, Thesis: Ph.D. in Computer Science, 144 pages, September 1966. *AIM-44, , , James Painter, %2Semantic Correctness of a Compiler for an Algol-like Language%1, Thesis: Ph.D. in Computer Science, 130 pages, revised March 1967. AIM-45, , , Donald Kaplan, %2Some Completeness Results in the Mathematical Theory of Computation%1, 22 pages, October 1966. Cost: $2.30 *AIM-46, STAN-CS-66-50, PB176761, Staffan Persson, %2Some Sequence Extrapolating Programs: a Study of Representation and Modeling in Inquiring Systems%1, Thesis: Ph.D. in Computer Science, 176 pages, September 1966. *AIM-47, , , Bruce Buchanan, %2Logics of Scientific Discovery%1, Thesis: Ph.D. in Philosophy U.C. Berkeley, 210 pages, December 1966. AIM-48, , , Donald M. Kaplan, %2Correctness of a Compiler for Algol-like Programs%1, 46 pages, July 1967. Cost: $3.00 AIM-49, , , Georgia Sutherland, %2DENDRAL -- a Computer Program for Generating and Filtering Chemical Structures%1, 34 pages, February 1967. Cost: $2.65 *AIM-50, , , Anthony C. Hearn, %2Reduce Users' Manual%1, 53 pages, February 1967. AIM-51, , , Lester D. Earnest, %2Choosing an eye for a Computer%1, 154 pages, April 1967. Cost: $6.00 AIM-52, , , Arthur L. Samuel, %2Some Studies in Machine Learning Using the Game of Checkers II - Recent Progress%1, 48 pages, June 1967. Cost: $3.05 AIM-53, , , William Weiher, %2The PDP-6 Proof Checker%1, 47 pages, June 1967. Cost: $3.00 *AIM-54, , , Joshua Lederberg and Edward A. Feigenbaum, %2Mechanization of Inductive Inference in Organic Chemistry%1, 29 pages, August 1967. *AIM-55, , , Jerome Feldman, %2First Thoughts of Grammatical Inference%1, 18 pages, August 1967. AIM-56, , , William Wichman, %2Use of Optical Feedback in the Computer Control of an Arm%1, Thesis: Eng. in Electrical Engineering, 69 pages, August 1967. Cost: $3.65 AIM-57, , , Anthony C. Hearn, %2REDUCE, a User-oriented Interactive System for Algebraic Simplification%1, 69 pages, October 1967. Cost: $3.65 *AIM-58, , , Monte D. Callero, %2An Adaptive Command and Control System Utilizing Heuristic Learning Processes%1, Thesis: Ph.D. in Operations Research, 161 pages, December 1967. *AIM-59, , , Donald M. Kaplan, %2A Formal Theory Concerning the Equivalence of Algorithms%1, 20 pages, May 1968. AIM-60, STAN-CS-68-101, AD672923, Donald M. Kaplan, %2The Formal Theoretic Analysis of Strong Equivalence for Elemental Programs%1, Thesis: Ph.D. in Computer Science, 263 pages, June 1968. Cost: $9.05 *AIM-61, , , Takayasu Ito, %2Notes on Theory of Computation and Pattern Recognition%1, 144 pages, May 1968. *AIM-62, , , Bruce Buchanan and Georgia Sutherland, %2Heuristic Dendral: a Program for Generating Explanatory Hypotheses in Organic Chemistry%1, 76 pages, July 1968. AIM-63, , , Donald M. Kaplan, %2Regular Expressions and the Equivalence of Programs%1, 42 pages, July 1968. Cost: $2.90 *AIM-64, , , Zohar Manna, %2Formalization of Properties of Programs%1, 18 pages, July 1968. *AIM-65, STAN-CS-68-106, AD673971, Barbara J. Huberman, %2A Program to Play Chess end Games%1, Thesis: Ph.D. in Computer Science, 168 pages, August 1968. *AIM-66, , , Jerome A. Feldman and Paul D. Rovner, %2An Algol-based Associative Language%1, 31 pages, August 1968. *AIM-67, , AD680487, Edward A. Feigenbaum, %2Artificial Intelligence: Themes in the Second Decade%1, 39 pages, August 1968. AIM-68, , , Zohar Manna and Amir Pnueli, %2The Validity Problem of the 91-function%1, 20 pages, August 1968. Cost: $2.25 *AIM-69, , AD677588, John McCarthy, Edward Feigenbaum and Arthur Samuel, %2Project Technical Report%1, 90 pages, September 1968. AIM-70, , AD680072, Anthony C. Hearn, %2The Problem of Substitution%1, 14 pages, December 1968. Cost: $2.10 *AIM-71, , AD677520, Pierre Vicens, %2Preprocessing for Speech Analysis%1, 33 pages, October 1968. *AIM-72, STAN-CS-68-116, AD680036, Donald L. Pieper, %2The Kinematics of Manipulators under Computer Control%1, Thesis: Ph.D. in Mechanical Engineering, 157 pages, October 1968. *AIM-73, , AD678878, John McCarthy and Patrick Hayes, %2Some Philosophical Problems From the Standpoint of Artificial Intelligence%1, 51 pages, November 1968. *AIM-74, STAN-CS-68-118, AD681027, Donald Waterman, %2Machine Learning of Heuristics%1, Thesis: Ph.D. in Computer Science, ? pages, December 1968. *AIM-75, , , Roger C. Schank, %2A Notion of Linguistic Concept: a Prelude to Mechanical Translation%1, 21 pages, December 1968. *AIM-76, , , Roger C. Schank, %2A Conceptual Parser for Natural Language%1, 22 pages, December 1968. *AIM-77, , , Joseph D. Becker, %2The Modeling of Simple Analogic and Inductive Processes in a Semantic Memory System%1, 21 pages, January 1969. AIM-78, , , D. Raj. Reddy, %2On the use of Environmental, Syntactic and Probalistic Constraints in Vision and Speech%1, 23 pages, January 1969. Cost: $2.35 AIM-79, , AD685611, D. Raj. Reddy and Richard B. Neely, %2Contextual Analysis of Phonemes of English%1, 71 pages, January 1969. Cost: $3.70 *AIM-80, , AD685612, Georgia Sutherland, %2Heuristic Dendral: a Family of LISP Programs%1, 46 pages, March 1969. *AIM-81, , AD685613, David Luckham, %2Refinement Theorems in Resolution Theory%1, 31 pages, March 1969. *AIM-82, , AD685614, Zohar Manna and Amir Pneuli, %2Formalization of Properties of Recursively Defined Functions%1, 26 pages, March 1969. *AIM-83, STAN-CS-69-130, , Roger C. Schank, %2A Conceptual Representation for Computer-oriented Semantics%1, Thesis: Ph.D. in Linguistics U. of Texas, 201 pages, March 1969. *AIM-84, , AD691791, David Canfield Smith, %2MLISP Users' Manual%1, 57 pages, January 1969. *AIM-85, STAN-CS-69-127, AD687720, Pierre Vicens, %2Aspects of Speech Recognition by Computer%1, Thesis: Ph.D. in Computer Science, 210 pages, April 1969. *AIM-86, , AD691788, Patrick J. Hayes, %2A Machine-oriented Formulation of the Extended Functional Calculus%1, 44 pages, June 1969. *AIM-87, , AD691789, John McCarthy and the A.I. Project Staff, %2Project Technical Report%1, 98 pages, June 1969. *AIM-88, , AD691790, Roger C. Schank, %2Linguistics from a Conceptual Viewpoint (Aspects of Aspects of a Theory of Syntax)%1, 22 pages, April 1969. AIM-89, STAN-CS-69-125, AD692390, Jerome A. Feldman, J. Gips, J. J. Horning, and S. Reder, %2Grammatical Complexity and Inference%1, 100 pages, June 1969. Cost: $4.50 *AIM-90, , AD691799, Anthony C. Hearn, %2Standard LISP%1, 33 pages, May 1969. *AIM-91, , , J. A. Campbell and Anthony C. Hearn, %2Symbolic Analysis of Feynman Diagrams by Computer%1, 73 pages, August 1969. *AIM-92, , , Victor D. Scheinman, %2Design of a Computer Controlled Manipulator%1, Thesis: Eng. in Mechanical Engineering, 53 pages, June 1969. AIM-93.1, , AD693106, Jerome Feldman, %2Some Decidability Results on Grammatical Inference and Complexity%1, 31 pages, August 1969, revised May 1970. Cost: $2.55 *AIM-94, , AD692391, Kenneth Mark Colby, Lawrence Tesler and Horace Enea, %2Experiments With a Search Algorithm on the Data Base of a Human Belief Structure%1, 28 pages, August 1969. *AIM-95, , AD694971, Zohar Manna, %2The Correctness of Non-deterministic Programs%1, 44 pages, August 1969. *AIM-96, STAN-CS-69-138, AD696394, Claude Cordell Green, %2The Application of Theorem Proving to Question-answering Systems%1, Thesis: Ph.D. in Electrical Engineering, 166 pages, August 1969. *AIM-97, , AD694972, Kenneth Mark Colby and David Canfield Smith, %2Dialogues Between Humans and an Artificial Belief System%1, 28 pages, August 1969. AIM-98, STAN-CS-69-139, AD695401, James Jay Horning, %2A Study of Grammatical Inference%1, Thesis: Ph.D. in Computer Science, 166 pages, August 1969. Cost: $6.35 *AIM-99, , , Bruce G. Buchanan, G. L. Sutherland and E. A. Feigenbaum, %2Toward an Understanding of Information Processes of Scientific Inference in the Context of Organic Chemistry%1, 66 pages, September 1969. *AIM-100, , , Zohar Manna and John McCarthy, %2Properties of Programs and Partial Function Logic%1, 21 pages, October 1969. *AIM-101, , , Richard Paul, G. Falk and J. A. Feldman, %2The Computer Representation of Simply Described Scenes%1, 16 pages, October 1969. *AIM-102, , , Donald A. Waterman, %2Generalization Learning for Automating the Learning of Heuristics%1, 74 pages, July 1969. AIM-103, , , John Allen and David Luckham, %2An Interactive Theorem-proving Program%1, 27 pages, October 1969. Cost: $2.45 AIM-104, , , Joshua Lederberg, Georgia Sutherland, B. G. Buchanan and E. A. Feigenbaum, %2A Heuristic Program for Solving a Scientific Inference Problem: Summary of Motivation and Implementation%1, 15 pages, November 1969. Cost: $2.15 *AIM-105, , , Manfred Heuckel, %2An Operator Which Locates Edges in Digitized Pictures%1, 37 pages, October 1969. *AIM-106, , , Michael Edwin Kahn, %2The Near-minimum-time Control of Open-loop Articulated Kinematic Chains%1, Thesis: Ph.D. in Mechanical Engineering, 171 pages, December 1969. *AIM-107, , , Gilbert Falk, %2Some Implications of Planarity for Machine Perception%1, 27 pages, December 1969. *AIM-108, , , Michael D. Kelly, %2Edge Detection in Pictures by Computer Using Planning%1, 28 pages, January 1970. *AIM-109, , , Roger C. Schank, Lawrence Tesler and Sylvia Weber, %2Spinoza II: Conceptual Case-based Natural Language Analysis%1, 107 pages, January 1970. *AIM-110, , , Edward Ashcroft and Zohar Manna, %2Formalization of Properties of Parallel Programs%1, 58 pages, February 1970. *AIM-111, , , Zohar Manna, %2Second-order Mathematical Theory of Computation%1, 25 pages, March 1970. *AIM-112, , , Franklin D. Hilf, Kenneth M. Colby, David C. Smith and William K. Wittner, %2Machine-mediated Interviewing%1, 27 pages, March 1970. *AIM-113, , , Kenneth Mark Colby, Franklin D. Hilf and William A. Hall, %2A Mute Patient's Experience With Machine-mediated Interviewing%1, 19 pages, March 1970. *AIM-114, , , Alan W. Biermann and Jerome A. Feldman, %2On the Synthesis of Finite-state Acceptors%1, 31 pages, April 1970. AIM-115, , , Ugo Montanari, %2On the Optimal Detection of Curves in Noisy Pictures%1, 35 pages, March 1970. Cost: $2.70 *AIM-116, , , Kenneth Mark Colby, %2Mind and Brain, Again%1, 10 pages, March 1970. *AIM-117, , , John McCarthy et al, %2Project Technical Report%1, 75 pages, April 1970. AIM-118, , , Ugo Montanari, %2Heuristically Guided Search and Chromosome Matching%1, 29 pages, April 1970. Cost: $2.50 *AIM-119, , , Joseph Becker, %2An Information-processing Model of Intermediate-Level Cognition%1, Thesis: Ph.D. in Computer Science (May 1972), 123 pages, May 1970. *AIM-120, , , Kenneth Mark Colby and David Canfield Smith, %2Computer as Catalyst in the Treatment of Nonspeaking Autistic Children%1, 32 pages, April 1970. *AIM-121, , , Irwin Sobel, %2Camera Models and Machine Perception%1, Thesis: Ph.D. in Electrical Engineering, 89 pages, May 1970. *AIM-122, , , Roger C. Schank, %2'Semantics' in Conceptual Analysis%1, 56 pages, May 1970. *AIM-123, , , Bruce G. Buchanan and Thomas E. Headrick, %2Some Speculation About Artificial Intelligence and Legal Reasoning%1, 54 pages, May 1970. AIM-124, , , M. M. Astrahan, %2Speech Analysis by Clustering, or the Hyperphoneme Method%1, 22 pages, June 1970. Cost: $2.30 *AIM-125, , , Kenneth Mark Colby, Sylvia Weber and Franklin Hilf, %2Artificial Paranoia%1, 35 pages, July 1970. *AIM-126, STAN-CS-70-169, AD711329, Donald E. Knuth, %2Examples of Formal Semantics%1, 34 pages, July 1970. AIM-127, STAN-CS-70-174, AD711395, Zohar Manna and Richard J. Waldinger, %2Towards Automatic Program Synthesis%1, 54 pages, July 1970. Cost: $3.20 *AIM-128, STAN-CS-70-166, AD713841, Erik J. Sandewall, %2Representing Natural-language Information in Predicate Calculus%1, 27 pages, July 1970. *AIM-129, STAN-CS-70-167, AD712460, Shigeru Igarashi, %2Semantics of ALGOL-like Statements%1, 95 pages, June 1970. *AIM-130, STAN-CS-70-168, AD713252, Michael D. Kelly, %2Visual Identification of People by Computer%1, Thesis: Ph.D. in Computer Science, 238 pages, July 1970. *AIM-131, STAN-CS-70-176, AD715128, Edward A. Feigenbaum, Bruce G. Buchanan and Joshua Lederberg, %2On Generality and Problem Solving: a Case Study Using the Dendral Program%1, 48 pages, August 1970. *AIM-132, STAN-CS-70-180, AD715665, Gilbert Falk, %2Computer Interpretation of Imperfect Line Data as a Three-dimensional Scene%1, Thesis: Ph.D. in Electrical Engineering, 187 pages, August 1970. *AIM-133, STAN-CS-70-181, , Anthony C. Hearn, %2Reduce 2%1, Diskfile: REDUCE.ACH[AIM,DOC], 85 pages, October 1970. *AIM-134, STAN-CS-70-182, AD748565, Jay Martin Tenenbaum, %2Accommodation in Computer Vision%1, Thesis: Ph.D. in Electrical Engineering, 452 pages, September 1970. AIM-135, STAN-CS-70-179, AD716566, David Canfield Smith, %2MLISP%1, Diskfile: MLISP.DAV[AIM,DOC] 99 pages, October 1970. Cost: $4.50 *AIM-136, STAN-CS-70-183, AD717600, George M. White, %2Machine Learning Through Signature Trees. Applications to Human Speech%1, 40 pages, October 1970. *AIM-137, , , Donald E. Knuth, %2An Empirical Study of Fortran in Use%1, 44 pages, November 1970. *AIM-138, STAN-CS-71-188, PB197161, Edward Ashcroft and Zohar Manna, %2The Translation of 'GO-TO' Programs to `WHILE' Programs%1, 28 pages, January 1971. AIM-139, STAN-CS-71-189, AD717601, Zohar Manna, %2Mathematical Theory of Partial Correctness%1, 24 pages, January 1971. Cost: $2.40 *AIM-140, STAN-CS-71-193, , Roger C. Schank, %2Intention, Memory, and Computer Understanding%1, 59 pages, January 1971. *AIM-141, STAN-CS-71-203, AD730506, Bruce G. Buchanan and Joshua Lederberg, %2The Heuristic DENDRAL Program for Explaining Empirical Data%1, 20 pages, February 1971. *AIM-142, STAN-CS-71-205, AD731383, Robin Milner, %2An Algebraic Definition of Simulation Between Programs%1, 21 pages, February 1971. *AIM-143, STAN-CS-71-209, AD724867, John McCarthy et al, %2Project Technical Report%1, 80 pages, March 1971. AIM-144, STAN-CS-71-219, , Lynn H. Quam, %2Computer Comparison of Pictures%1, Thesis: Ph.D. in Computer Science, 120 pages, May 1971. Cost: $5.05 *AIM-145, STAN-CS-71-221, AD731729, Bruce G. Buchanan, Edward A. Feigenbaum and Joshua Lederberg, %2A Heuristic Programming Study of Theory Formation in Science%1, 41 pages, June 1971. *AIM-146, STAN-CS-71-224, PB212183, Andrei P. Ershov, %2Parallel Programming%1, 14 pages, July 1971. *AIM-147, STAN-CS-71-216, AD732457, Robert E. Kling, %2Reasoning by Analogy with Applications to Heuristic Problem Solving: a Case Study%1, Thesis: Ph.D. in Computer Science, 191 pages, August 1971. AIM-148, STAN-CS-71-217, AD731730, Edward Ashcroft, Zohar Manna and Amir Pneuli, %2Decidable Properties of Monadic Functional Schemas%1, 10 pages, July 1971. Cost: $2.00 AIM-149, STAN-CS-71-231, AD732644, Rodney Albert Schmidt, Jr., %2A Study of the Real-time Control of a Computer-driven Vehicle%1, Thesis: Ph.D. in Electrical Engineering, 180 pages, August 1971. Cost: $6.75 *AIM-150, , , Robert W. Floyd, %2Toward Interactive Design of Correct Programs%1, 12 pages, September 1971. *AIM-151, STAN-CS-71-240, AD738568, Ralph L. London, %2Correctness of Two Compilers for a LISP Subset%1, 41 pages, October 1971. *AIM-152, STAN-CS-71-241, AD732642, Alan W. Biermann, %2On the Inference of Turing Machines from Sample Computations%1, 31 pages, October 1971. *AIM-153, STAN-CS-71-242, AD738569, Patrick J. Hayes, %2The Frame Problem and Related Problems in Artificial Intelligence%1, 18 pages, November 1971. *AIM-154, STAN-CS-71-243, AD738570, Zohar Manna, Stephen Ness and Jean Vuillemin, %2Inductive Methods for Proving Properties of Programs%1, 24 pages, November 1971. *AIM-155, STAN-CS-71-245, , Jonathan Leonard Ryder, %2Heuristic Analysis of Large Trees as Generated in the Game of Go%1, Thesis: Ph.D. in Computer Science, 300 pages, December 1971. AIM-156, STAN-CS-71-246, AD740141, Kenneth Mark Colby, Franklin D. Hilf, Sylvia Weber and Helena C. Kraemer, %2A Resemblance Test for the Validation of a Computer Simulation of Paranoid Processes%1, 29 pages, November 1971. Cost: $2.50 *AIM-157, STAN-CS-71-247, , Yorick Wilks, %2One Small Head -- Some Remarks on the use of `Model' in Linguistics%1, 17 pages, December 1971. AIM-158, STAN-CS-71-250, AD740127, Ashok Chandra and Zohar Manna, %2Program Schemas With Equality%1, 13 pages, December 1971. Cost: $2.05 AIM-159, STAN-CS-72-253, , Jerome A. Feldman and Paul C. Shields, %2Total Complexity and Inference of Best Programs%1, 40 pages, April 1972. Cost: $2.85 *AIM-160, STAN-CS-72-255, AD740140, Jerome A. Feldman, %2Automatic Programming%1, 20 pages, February 1972. *AIM-161, STAN-CS-72-264, AD741189, Yorick Wilks, %2Artificial Intelligence approach to Machine Translation%1, 44 pages, February 1972. *AIM-162, STAN-CS-72-265, AD744634, Roger C. Schank, N. Goldman, C. J. Rieger and C. K. Riesbeck, %2Primitive Concepts Underlying Verbs of Thought%1, 102 pages, April 1972. *AIM-163, STAN-CS-72-266, , Jean M. Cadiou, %2Recursive Definitions of Partial Functions and Their Computations%1, Thesis: Ph.D. in Computer Science, 160 pages, April 1972. AIM-164, STAN-CS-72-272, AD742748, Zohar Manna and Jean Vuillemin, %2Fixpoint Approach to the Theory of Computation%1, 29 pages, April 1972. Cost: $2.50 *AIM-165, STAN-CS-72-280, AD742751, D. A. Bochvar, %2Two Papers on Partial Predicate Calculus%1, 50 pages, April 1972. AIM-166, STAN-CS-72-281, AD-743598, Lynn H. Quam, S. Liebes, R. B. Tucker, M. J. Hannah and B. G. Eross, %2Computer Interactive Picture Processing%1, 40 pages, April 1972. Cost: $2.85 AIM-167, STAN-CS-72-282, AD747254, Ashok K. Chandra, %2Efficient Compilation of Linear Recursive Programs%1, 43 pages, June 1972. Cost: $2.90 AIM-168, STAN-CS-72-287, AD746146, Shigeru Igarashi, %2Admissibility of Fixed-point Induction in First-order Logic of Typed Theories%1, Diskfile: FIXPNT.IGR[AIM,DOC] 40 pages, May 1972. Cost: $2.85 *AIM-169, STAN-CS-72-288, AD785072 Robin Milner, %2Logic for Computable Functions: Description of a Machine Implementation%1, Diskfile: LCFMAN.RGM[AIM,DOC], 36 pages, May 1972. *AIM-170, STAN-CS-72-289, AD748607, Yorick Wilks, %2Lakoff on Linguistics and Natural Logic%1, Diskfile: LAKOFF.YAW[AIM,DOC] 19 pages, June 1972. *AIM-171, STAN-CS-72-290, AD746147, Roger Schank, %2Adverbs and Belief%1, 30 pages, June 1972. *AIM-172, STAN-CS-72-299, AD752801, Sylvia Weber Russell, %2Semantic Categories of Nominals for Conceptual Dependency Analysis of Natural Language%1, 64 pages, July 1972. *AIM-173, STAN-CS-72-305, AD755139, Gerald Jacob Agin, %2Representation and Description of Curved Objects%1, Thesis: Ph.D. in Computer Science, 134 pages, October 1972. *AIM-174, STAN-CS-72-303, PB212827, Francis Lockwood Morris, %2Correctness of Translations of Programming Languages -- an Algebraic Approach%1, Thesis: Ph.D. in Computer Science, 124 pages, August 1972. AIM-175, STAN-CS-72-307, AD785073 Hozumi Tanaka, %2Hadamard Transform for Speech Wave Analysis%1, Diskfile: HADAM.HT[AIM,DOC], 34 pages, August 1972. Cost: $2.65 *AIM-176, STAN-CS-72-308, AD754109, Jerome A. Feldman, J. R. Low, D. C. Swinehart and R. H. Taylor, %2Recent Developments in SAIL -- an ALGOL based Language for Artificial Intelligence%1, 22 pages, November 1972. *AIM-177, STAN-CS-72-311, AD785071, Richard Paul, %2Modelling, Trajectory Calculation and Servoing of a Computer Controlled Arm%1, Thesis: Ph.D. in Computer Science, 89 pages, November 1972. *AIM-178, STAN-CS-72-312, AD754108, Aharon Gill, %2Visual Feedback and Related Problems in Computer Controlled Hand eye Coordination%1, Thesis: Ph.D. in Electrical Engineering, 130 pages, October 1972. *AIM-179, STAN-CS-72-320, , Bruce G. Baumgart, %2Winged Edge Polyhedron Representation%1, 46 pages, October 1972. *AIM-180, STAN-CS-72-321, AD759712, Ruzena Bajcsy, %2Computer Identification of Textured Visual Scenes%1, Thesis: Ph.D. in Computer Science, 156 pages, October 1972. *AIM-181, STAN-CS-72-325, , Bruce G. Buchanan, %2Review of Hubert Dreyfus' `What Computers Can't Do': a Critique of Artificial Reason%1, 14 pages, November 1972. *AIM-182, STAN-CS-72-326, 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, 10 pages, December,1972. *AIM-183, STAN-CS-73-344, AD759716, Roger C. Schank, %2The Fourteen Primitive Actions and their Inferences%1, 70 pages, March 1973. *AIM-184, STAN-CS-73-330, AD758651, Malcolm Newey, %2Axioms and Theorems for Integers, Lists and Finite Sets in LCF%1, 53 pages, January 1973. *AIM-185, STAN-CS-73-333, AD757367, Ashok K. Chandra and Zohar Manna, %2On the Power of Programming Features%1, 29 pages, January 1973. *AIM-186, STAN-CS-73-332, AD758645, Robin Milner, %2Models of LCF%1, 17 pages, January 1973. *AIM-187, STAN-CS-73-331, AD757364, George E. Collins, %2The Computing Time of the Euclidean Algorithm%1, 17 pages, January 1973. *AIM-188, STAN-CS-73-336, AD758646, Ashok K. Chandra, %2On the Properties and Applications of Program Schemas%1, Thesis: Ph.D. in Computer Science, 231 pages, March 1973. *AIM-189, STAN-CS-73-337, PB218682, James Gips and George Stiny, %2Aesthetics Systems%1, 22 pages, January 1973. AIM-190, STAN-CS-73-340, AD759714, Malcolm Newey, %2Notes on a Problem Involving Permutations as Sequences%1, 20 pages, March 1973. Cost: $2.25 AIM-191, STAN-CS-73-341, AD764272, Shmuel M. Katz and Zohar Manna, %2A Heuristic Approach to Program Verification%1, 40 pages, March 1973. Cost: $2.85 AIM-192, STAN-CS-73-345, AD785074, George E. Collins and Ellis Horowitz, %2The Minimum Root Separation of a Polynomial%1, 13 pages, April 1973. Cost: $2.05 *AIM-193, STAN-CS-73-346, AD759717, Kenneth Mark Colby, %2The Rationale for Computer Based Treatment of Language Difficulties in Nonspeaking Autistic Children%1, Diskfile: AUTISM.KMC[AIM,DOC], 13 pages, March 1973. AIM-194, STAN-CS-73-347, PB221170/4, Kenneth Mark Colby and Franklin Dennis Hilf, %2Multidimensional Analysis in Evaluating a Simulation of Paranoid Thought%1, 10 pages, May 1973. Cost: $2.00 *AIM-195, STAN-CS-73-356, PB222164, David Canfield Smith and Horace J. Enea, %2MLISP2%1, Diskfile: MLISP2.DAV[AIM,DOC], 91 pages, May 1973. *AIM-196, STAN-CS-73-357, AD762471, Neil M. Goldman and Christopher K. Riesbeck, %2A Conceptually Based Sentence Paraphraser%1, Diskfile: MARGIE.NMG[AIM,DOC], 88 pages, May 1973. *AIM-197, STAN-CS-73-358, AD762470, Roger C. Schank and Charles J. Rieger III, %2Inference and the Computer Understanding of Natural Language%1, 63 pages, May 1973. AIM-198, STAN-CS-73-364, AD763611, Ravindra B. Thosar, %2Estimation of Probability Density using Signature Tables for Application to Pattern Recognition%1, 37 pages, May 1973. Cost: $2.75 AIM-199, STAN-CS-73-398, AD771300, Bruce G. Baumgart, %2Image Contouring and Comparing%1, 52 pages, October 1973. Cost: $3.15 ⊗AIM-200, STAN-CS-73-365, , Shigeru Igarashi, David C. Luckham and Ralph L. London, %2Automatic Program Verification I: Logical Basis and its Implementation%1, 50 pages, May 1973. *AIM-201, STAN-CS-73-366, AD763673, Gunnar Rutger Grape, %2Model Based (Intermediate Level) Computer Vision%1, Thesis: Ph.D. in Computer Science, 256 pages, May 1973. *AIM-202, STAN-CS-73-368, AD764396, Roger C. Schank and Yorick Wilks, %2The Goals of Linguistic Theory Revisited%1, 44 pages, May 1973. *AIM-203, STAN-CS-73-369, AD764274, Roger C. Schank, %2The Development of Conceptual Structures in Children%1, 31 pages, May 1973. *AIM-204, STAN-CS-73-373, AD765353, Kurt VanLehn, %2SAIL Users Manual%1, Diskfile: SAIL.KVL[AIM,DOC], 122 pages, July 1973. *AIM-205, STAN-CS-73-370, AD764288, N. S. Sridharan et al, %2A Heuristic Program to Discover Syntheses for Complex Organic Molecules%1, 30 pages, June 1973. AIM-206, STAN-CS-73-377, AD764652, Yorick Wilks, %2Preference Semantics%1, 20 pages, July 1973. Cost: $2.25 AIM-207, STAN-CS-73-378, AD767333, James Anderson Moorer, %2The 'Optimum-comb' Method of Pitch Period Analysis in Speech%1, 25 pages, June 1973. Cost: $2.40 AIM-208, STAN-CS-73-379, AD767334, James Anderson Moorer, %2The Heterodyne Method of Analysis of Transient Waveforms%1, 25 pages, June 1973. Cost: $2.40 *AIM-209, STAN-CS-73-380, AD767695, Yoram Yakimovsky, %2Scene Analysis using a Semantic Base for Region Growing%1, Thesis: Ph.D. in Computer Science, 120 pages, July 1973. AIM-210, STAN-CS-73-382, AD767335, Zohar Manna and Amir Pnueli, %2Axiomatic Approach to Total Correctness of Programs%1, 25 pages, July 1973. Cost: $2.40 *AIM-211, CS-383, AD769673, Yorick Wilks, %2Natural Language Inference%1, 24 pages, September 1973. *AIM-212, STAN-CS-73-384, AD769379, Annette Herskovits, %2The Generation of French from a Semantic Representation%1, 20 pages, September 1973. AIM-213, STAN-CS-73-385, , Ravindra B. Thosar, %2Recognition of Continuous Speech: Segmentation and Classification using Signature Table Adaptation%1, 37 pages, September 1973. Cost: $2.75 *AIM-214, STAN-CS-73-386, AD767332, Walter A. Perkins and Thomas O. Binford, %2A Corner Finder for Visual Feedback%1, 59 pages, September 1973. *AIM-215, STAN-CS-73-387, 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, September 1973. *AIM-216, STAN-CS-73-389, AD771299, Larry Masinter, N.S. Sridharan, J. Lederberg and S. H. Smith, %2Applications of Artificial Intelligence for Chemical Inference: XII. Exhaustive Generation of Cyclic and Acyclic Isomers%1, 60 pages, September 1973. *AIM-217, STAN-CS-73-391, AD770610, N. S. Sridharan, %2Search Strategies for the Task of Organic Chemical Synthesis%1, 32 pages, August 1973. *AIM-218, STAN-CS-73-393, AD772063/4WC, Jean Etienne Vuillemin, %2Proof Techniques for Recursive Programs%1, Thesis: Ph.D. in Computer Science, 97 pages, October 1973. *AIM-219, STAN-CS-73-394, AD769674, C. A. R. Hoare, %2Parallel Programming: an Axiomatic Approach%1, 33 pages, October 1973. AIM-220, STAN-CS-73-396, AD772064/2WC, Robert Bolles and Richard Paul, %2The use of Sensory Feedback in a Programmable Assembly Systems%1, 26 pages, October 1973. Cost: $2.45 ⊗AIM-221, STAN-CS-74-447, AD787631/1WC, Luigia Aiello, Mario Aiello and Richard Weyhrauch, %2The Semantics of PASCAL in LCF%1, 78 pages, October 1974. +AIM-222, STAN-CS-74-467, , Mario Aiello and Richard Weyhrauch, %2Checking Proofs in the Metamathematics of First Order Logic%1, 55 pages, August 1974. Cost: $3.25 *AIM-223, STAN-CS-73-400, AD772509, C. A. R. Hoare, %2Recursive Data Structures%1, 32 pages, December 1973. ⊗AIM-224, STAN-CS-73-403, AD773391, C. A. R. Hoare, %2Hints on Programming Language Design%1, 29 pages, December 1973. ⊗AIM-225, STAN-CS-74-406, AD775645/5WC, W. A. Perkins, %2Memory Model For a Robot%1, 118 pages, January 1974. ⊗AIM-226, STAN-CS-74-407, AD778310/3WC, F.H.G. Wright II and R. E. Gorin, %2FAIL%1, 61 pages, April 1974. ⊗AIM-227, STAN-CS-74-408, ADA003483, A. J. Thomas and T. O. Binford, %2Information Processing Analysis of Visual Perception: A Review%1, 50 pages, June 1974. ⊗AIM-228, STAN-CS-74-409, AD776233/9WC, Lester Earnest (editor), %2FINAL REPORT: The First Ten Years of Artificial Intelligence Research at Stanford%1, 118 pages, July 1974. ⊗AIM-229, STAN-CS-74-411, , 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, 43 pages, April 1974. ⊗AIM-230, STAN-CS-74-412, AD786721/1WC, Daniel C. Swinehart, %2COPILOT: A Multiple Process Approach to Interactive Programming Systems%1, Thesis: Ph.D. in Computer Science, 213 pages, August 1974. ⊗AIM-231, STAN-CS-74-413, ADA001814, James Gips, %2Shape Grammars and their Uses%1, Thesis: Ph.D. in Computer Science, 243 pages, August 1974. ⊗AIM-232, STAN-CS-74-414, AD780452/9WC, Bruce G. Baumgart, %2GEOMED - A Geometric Editor%1, 45 pages, May 1974. ⊗AIM-233, STAN-CS-74-419, ADA000086/9WC, Charles J. Rieger III, %2Conceptual Memory: A Theory and Computer Program for Processing the Meaning Content of Natural Language Utterances%1, Thesis: Ph.D. in Computer Science, 393 pages, June 1974. ⊗AIM-234, CS431, not at NTIS, Kenneth Mark Colby, Roger C. Parkison and Bill Faught, %2Pattern-Matching Rules for the Recognition of Natural Language Dialogue Expressions%1, 23 pages, June 1974. +AIM-235, STAN-CS-74-432, ADA006898/1WC, Richard W. Weyhrauch and Arthur J. Thomas, %2FOL: A Proof Checker for First-order Logic%1, 57 pages, September 1974. Cost: $3.30 ⊗AIM-236, STAN-CS-74-433, AD784513/4WC, Jack R. Buchanan and David C. Luckham, %2On Automating the Construction of Programs%1, 65 pages, May 1974. ⊗AIM-237, STAN-CS-74-436, , Yorick Wilks, %2Natural Language Understanding Systems Within the AI Paradigm -- A Survey and Some Comparisons%1, 40 pages, December 1974. ⊗AIM-238, STAN-CS-74-437, ADA005040, Christopher K. Riesbeck, %2Computational Understanding: Analysis of Sentences and Context%1, Thesis: Ph.D. in Computer Science, 245 pages, May 1974. ⊗AIM-239, STAN-CS-74-438, AD786720/3WC, Marsha Jo Hannah, %2Computer Matching of Areas in Stereo Images%1, Thesis: Ph.D. in Computer Science, 99 pages, July 1974. ⊗AIM-240, STAN-CS-74-444, AD787035, C. Cordell Green, Richard J. Waldinger, David R. Barstow, Robert Elschlager, Douglas B. Lenat, Brian P. McCune, David E. Shaw, and Louis I. Steinberg, %2Progress Report on Program-understanding Systems%1, 47 pages, August 1974. +AIM-241, STAN-CS-74-446, AD786723/7WC, Luigia Aiello and Richard W. Weyhrauch, %2LCFsmall: an Implementation of LCF%1, 45 pages, August 1974. Cost: $2.95 ⊗AIM-242, STAN-CS-74-452, ADA000500/9WC, James R. Low, %2Automatic Coding: Choice of Data Structures%1, Thesis: Ph.D. in Computer Science, 110 pages, August 1974. ⊗AIM-243, STAN-CS-74-456, ADA003815, Raphael Finkel, Russel Taylor, Robert Bolles, Richard Paul and Jerome Feldman, %2AL, A Programming System for Automation%1, 130 pages, November 1974. ⊗AIM-244, STAN-CS-74-457, not at NTIS, Kenneth Mark Colby, %2Ten Criticisms of PARRY%1, 7 pages, September 1974. ⊗AIM-245, STAN-CS-74-458, AD784816/1WC, Jack Buchanan, %2A Study in Automatic Programming%1, Thesis: Ph.D. in Computer Science, 148 pages, May 1974. ⊗AIM-246, STAN-CS-74-459, ADA000085/1WC, Terry Winograd, %2Five Lectures on Artificial Intelligence%1, 93 pages, September 1974. ⊗AIM-247, STAN-CS-74-461, ADA005041/9WC, Neil Goldman, %2Computer Generation of Natural Language From a Deep Conceptual Base%1, Thesis: Ph.D. in Computer Science, 318 pages, January 1974. +AIM-248, STAN-CS-74-462, , Karl Pingle and Arthur Thomas, %2A Fast, Feature-Driven Stereo Depth Program%1, 15 pages, May 1975. Cost: $2.15 ⊗AIM-249, STAN-CS-74-463, ADA002261, Bruce Baumgart, %2Geometric Modeling for Computer Vision%1, Thesis: Ph.D. in Computer Science, 141 pages, October 1974. ⊗AIM-250, STAN-CS-74-464, ADA003486, Ramakant Nevatia, %2Structured Descriptions of Complex Curved Objects for Recognition and Visual Memory%1, Thesis: Ph.D. in Electrical Engineering, 126 pages, October 1974. ⊗AIM-251, STAN-CS-74-465, ADA001373, Edward H. Shortliffe, %2MYCIN: A Rule-Based Computer Program for Advising Physicians Regarding Antimicrobial Therapy Selection%1, Thesis: Ph.D. in Medical Information Sciences, 409 pages, October 1974. ⊗AIM-252, STAN-CS-74-466, ADA002246, Lester Earnest (editor), %2Recent Research in Artificial Intelligence, Heuristic Programming, and Network Protocols%1, 74 pages, July 1974. +AIM-253, STAN-CS-74-471, ADA003487, Bill Faught, Kenneth Colby and Roger Parkison, %2The Interaction of Inferences, Affects, and Intentions in a Model of Paranoia%1, 38 pages, December 1974. Cost: $2.75 +AIM-254, STAN-CS-74-472, ADA005407/2WC, Lynn Quam and Marsha Jo Hannah, %2Stanford Automatic Photogrammetry Research%1, 15 pages, November 1974. Cost: $2.15 ⊗AIM-255, STAN-CS-74-473, ADA005412/2WC, Norihisa Suzuki, %2Automatic Program Verification II: Verifying Programs by Algebraic 256 Logical Reduction%1, 29 pages, December 1974. ⊗AIM-256, STAN-CS-74-474, ADA007563/0WC, Friedrich W. von Henke and David C. Luckham, %2Automatic Program Verification III: A Methodology for Verifying Programs%1, 45 pages, December 1974. ⊗AIM-257, STAN-CS-75-475, ADA005407/2WC, Malcolm C. Newey, %2Formal Semantics of LISP With Applications to Program Correctness%1, Thesis: Ph.D. in Computer Science, 184 pages, January 1975. ⊗AIM-258, STAN-CS-75-476, ADA006294/3WC, Cordell Green and David Barstow, %2A Hypothetical Dialogue Exhibiting a Knowledge Base for a Program-Understanding System%1, 38 pages, January 1975. ⊗AIM-259, STAN-CS-75-498, , Hanan Samet, %2Automatically Proving the Correctness of Translations Involving Optimized Code%1, Thesis: PhD in Computer Science, 214 pages, May 1975. ⊗AIM-260, STAN-CS-75-499, ADA016811/2WC, David Canfield Smith, %2PYGMALION: A Creative Programming Environment%1, Thesis: PhD in Computer Science, 193 pages, June 1975. +AIM-261, STAN-CS-75-501, ADA016808/8WC, Odd Pettersen, %2Procedural Events as Software Interrupts%1, 8 pages, June 1975. Cost: $1.95 +AIM-262, STAN-CS-75-502, ADA016810/4WC, Odd Pettersen, %2Synchronization of Concurrent Processes%1, 14 pages, July 1975. Cost: $2.10 +AIM-263, STAN-CS-75-503, , Odd Pettersen, %2The Macro Processing System STAGE2: Transfer of Comments to the Generated Text%1, 20 pages, July 1975. Cost: $2.25 +AIM-264, STAN-CS-75-506, , Michael Gordon, %2Operational Reasoning and Denotational Semantics%1, 33 pages, August 1975. Cost: $2.65 +AIM-265, STAN-CS-75-507, , Michael Gordon, %2Towards a Semantic Theory of Dynamic Binding%1, 28 pages, August 1975. Cost: $2.50 +AIM-266, STAN-CS-75-517, ADA019641, Randall Davis, Bruce Buchanan and Edward Shortliffe, %2Production Rules as a Representation for a Knowledge-Based Consultation Program%1, 37 pages, October l975. Cost: $2.75 +AIM-267, STAN-CS-75-520, ADA019664/2WC, Friedrich W. von Henke, %2On the Representation of Data Structures in LCF with Applications to Program Generation%1, 41 pages, September l975. Cost: $2.85 +AIM-268, STAN-CS-75-521, ADA019663/4WC, Clark Thompson, %2Depth Perception in Stereo Computer Vision%1, 16 pages, October 1975. Cost: $2.15 +AIM-269, STAN-CS-75-522, ADA019569/3WC, David C. Luckham and Norhisa Susuzki, %2Automatic Program Verification IV: Proof of Termination Within a Weak Logic of Programs%1, 29 pages, October 1975. Cost: $2.50 ⊗AIM-270, STAN-CS-75-523, ADA019467, John F. Reiser, %2BAIL -- A debugger for SAIL%1, 26 pages, October 1975. +AIM-271, STAN-CS-75-524, ADA019702/0WC, Randall Davis and Jonathan King, %2An Overview of Production Systems%1, 40 pages, October 1975. Cost: $2.85 +AIM-272, STAN-CS-75-525, , Sundaram Ganapathy, %2Reconstruction of Scenes Containing Polyhedra From Stereo Pair of Views%1, Thesis: Ph.D. in Computer Science, 204 pages, December 1975. Cost: $7.40 ⊗AIM-273, STAN-CS-75-534, , Linda Gail Hemphill, %2A Conceptual Approach to Automated Language Understanding and Belief Structures: with Disambiguation of the Word `For'%1, Thesis: Ph.D. in Linguistics, 254 pages, May 1975. +AIM-274, STAN-CS-75-536, ADA020942/9WC, David Grossman and Russell Taylor, %2Interactive Generation of Object Models with a Manipulator%1, 32 pages, December 1975. Cost: $2.60 +AIM-275, STAN-CS-75-537, ADA020943/7WC, Robert C. Bolles, %2Verification Vision Within a Programmable Assembly System: An Introductory Discussion%1, 82 pages, December 1975. Cost: $4.00 +AIM-276, STAN-CS-75-539, ADA021055/9WC, Zohar Manna and Adi Shamir, %2A New Approach to Recursive Programs%1, 25 pages, December 1975. Cost: $2.40 ⊗AIM-277, STAN-CS-76-542, ADA027454, Zohar Manna and Adi Shamir, %2The Theoretical Aspects of the Optimal Fixedpoint%1, 24 pages, March 1976. +AIM-278, STAN-CS-76-549, ADA027455, David Luckham and Norihisa Suzuki, %2Automatic Program Verification V: Verification-Oriented Proof Rules for Arrays, Records and Pointers%1, 48 pages, March 1976. Cost: $3.05 ⊗AIM-279, STAN-CS-76-552, , Norihsa Suzuki, %2Automatic Verification of Programs with Complex Data Structures%1, Thesis: Ph.D. in Computer Science, 194 pages, February 1976. +AIM-280, STAN-CS-76-555, , David D. Grossman, %2Monte Carlo Simulation of Tolerancing in Discrete Parts Manufacturing and Assembly%1, 25 pages, May 1976. Cost: $2.40 +AIM-281.1, STAN-CS-77-558, 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. Cost: $2.85 +AIM-282,STAN-CS-76-560, , Russell Taylor, %2Synthesis of Manipulator Control Programs from Task-level Specifications%1, Thesis: Ph.D. in Computer Science, 229 pages, July 1976. Cost: $8.10 ⊗AIM-283, STAN-CS-76-552, , Randall Davis, %2Applications of Meta Level Knowledge to the Construction, Maintenance and Use of Large Knowledge Bases%1, Thesis: Ph.D. in Computer Science, 304 pages, July 1976. ⊗AIM-284, STAN-CS-76-567, , Rafael Finkel, %2Constructing and Debugging Manipulator Programs%1, Thesis: Ph.D. in Computer Science, 171 pages pages, August 1976. ⊗AIM-285, STAN-CS-76-568, PB-259 130/3WC, 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 and T. A. Gafford, %2Exploratory Study of Computer Integrated Assembly Systems, Progress Report 3%1, 336 pages, August 1976. +AIM-285.4, STAN-CS-77-568.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 and T. A. Gafford, %2Exploratory Study of Computer Integrated Assembly Systems, Progress Report 4%1, 255 pages, June 1977. Cost: $8.85 ⊗AIM-286, STAN-CS-76-570, , Douglas Lenat, %2AM: An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search%1, Thesis: Ph.D. in Computer Science, 350 pages, July 1976. +AIM-287, STAN-CS-76-571, , Michael Roderick, %2Discrete Control of a Robot Arm%1, Thesis: Engineer in Electrical Engineering, 98 pages, August 1976. Cost: $4.45 +AIM-288, STAN-CS-76-572, , Robert Filman and Richard Weyhrauch, %2An FOL Primer%1, 36 pages, September 1976. Cost: $2.70 +AIM-289, STAN-CS-76-574, , John Reiser (editor), %2SAIL%1, 178 pages, August 1976. Cost: $6.70 +AIM-290, STAN-CS-76-575, AD-A042 494, Nancy W. Smith, %2SAIL Tutorial%1, 54 pages, November 1976. Cost: $3.20 ⊗AIM-291, STAN-CS-76-577, AO44713, Bruce Buchanan, Joshua Lederberg and John McCarthy, %2Three Reviews of J. Weizenbaum's Computer Power and Human Reason%1, 28 pages, November 1976. +AIM-292, STAN-CS-76-580, , Terry Winograd, %2Towards a Procedural Understanding of Semantics%1, 30 pages, October 1976. Cost: $2.55 ⊗AIM-293, STAN-CS-76-581, AD-A042 508, Daniel Bobrow and Terry Winograd, %2An Overview of KRL%1, 40 pages, November 1976. +AIM-294, STAN-CS-76-586, AD-A042 516, Nachum Dershowitz and Zohar Manna, %2The Evolution of Programs: A System for Automatic Program Modification%1, 45 pages, December 1976. Cost: $2.95 +AIM-295, STAN-CS-76-591, , Robert C. Bolles, %2Verification Vision Within a Programmable Assembly System%1, Thesis: Ph.D. in Computer Science, 245 pages, December 1976. Cost: $8.55 +AIM-296, STAN-CS-76-592, , Robert Cartwright, %2Practical Formal Semantic Definition and Verification Systems%1, Thesis: Ph.D. in Computer Science, 158 pages, December 1976. Cost: $6.15 ⊗AIM-297, STAN-CS-77-610, , Terry Winograd, %2A Framework for Understanding Discourse%1, 24 pages, April 1977. ⊗AIM-298, STAN-CS-77-611, ADA046703, Zohar Manna and Richard Waldinger, %2The Logic of Computer Programming%1, 90 pages, June 1977. +AIM-299, STAN-CS-77-614, ADA049760, Zohar Manna and Adi Shamir, %2The Convergence of Functions to Fixedpoints of Recursive Definitions%1, 45 pages, May 1977. Cost: $2.95 ⊗AIM-300, STAN-CS-77-617, , Terry Winograd, %2On some Contested Suppositions of Generative Linguistics about the Scientific Study of Language%1, 25 pages, May 1977. *AIM-301, STAN-CS-77-624, ADA044231, Lester Earnest et al., %2Recent Research in Computer Science%1, 118 pages, June 1977. Cost: $5.00 +AIM-302, STAN-CS-77-630, ADA049761, Zohar Manna and Richard Waldinger %2Synthesis: Dreams => Programs%1, 119 pages, October 1977. Cost: $5.05 ⊗AIM-303, STAN-CS-77-631, ADA050806, Nachum Dershowitz and Zohar Manna, %2Inference Rules for Program Annotation%1, 46 pages, October 1977. +AIM-304, STAN-CS-77-632, ADA048684, Todd Wagner, %2Hardware Verification%1, Thesis: PhD in Computer Science, 102 pages, September 1977. Cost: $4.55 +AIM-305, STAN-CS-77-633, ADA048660, William Faught, %2Motivation and Intensionality in a Computer Simulation Model%1, Thesis: Ph.D. in Computer Science, 104 pages, September 1977. Cost: $4.60 +AIM-306, STAN-CS-77-639, ADA053175, Cordell Green and David Barstow, %2On Program Synthesis Knowledge%1, 63 pages, November 1977. Cost: $3.45 +AIM-307, STAN-CS-77-640, ADA053176, Zohar Manna and Richard Waldinger, %2Structured Programming Without Recursion%1, 10 pages, December 1977. Cost: $2.00 +AIM-308, STAN-CS-77-641, ADA053184, David Barstow, %2Automatic Construction of Algorithms%1, Thesis: Ph.D. in Computer Science, 220 pages, December 1977. Cost: $7.85 +AIM-309, STAN-CS-78-646, , C. G. Nelson and Derek Oppen, %2Efficient Decision Procedures Based on Congruence Closure%1, 15 pages, January 1978. Cost: $2.15 +AIM-310, STAN-CS-78-651, Nachum Dershowitz and Zohar Manna, %2Proving Termination with Multiset Orderings%1, 33 pages, March 1978. Cost: $2.65 +AIM-311, STAN-CS-78-652, , Greg Nelson and Derek C. Oppen %2Simplification by Cooperating Decision Prodcedures%1, 20 pages, April 1978. Cost: $2.25 +AIM-312, STAN-CS-78-657, , John McCarthy, Masahiko Sato, Takeshi Hayashi and Shigeru Igarashi, %2On the Model Theory of Knowledge%1, 12 pages, April 1978. Cost: $2.00 ⊗AIM-313, STAN-CS-78-660, , Bruce E. Shimano (Thesis), %2The Kinematic Design and Force Control of Computer Controlled Manipulators%1, 135 pages, March 1978. +AIM-314, STAN-CS-78-678, , Derek C. Oppen, %2Reasoning About Recursively Defined Data Structures%1, 15 pages, November 1978. Cost: $2.15 AIM-315, STAN-CS-78-687, , Richard Weyhrauch, %2Prolegomena to a Theory of Formal Reasoning%1, 41 pages, December 1978. Cost: $2.85 +AIM-316, STAN-CS-78-671, , Jerrold Ginsparg (Thesis), %2Natural Language Processing in an Automatic Programming Domain%1, 172 pages, June 1978. Cost: $6.55 +AIM-317, STAN-CS-78-675, , Donald E. Knuth, %2Tau Epsilon Chi, a system for technical text%1, 200 pages, November 1978. Cost: $7.30 AIM-318, STAN-CS-78-688, , Zohar Manna, %2Six Lectures on the Logic of Computer Programming%1, 54 pages, December 1978. Cost: $3.25 AIM-319, STAN-CS-78-689, , Charles G. Nelson, %2An n∩[log n] Algorithm for the Two-Variable-Per-Constraint Linear Programming Satisfiability Problem%1, 20 pages, December 1978. Cost: $2.30 AIM-320, STAN-CS-78-690, , Zohar Manna and Richard Waldinger, %2A Deductive Approach to Program Synthesis%1, 30 pages, December 1978. Cost: $2.55 AIM-321, STAN-CS-78-695, , Lester Earnest et al., %2Recent Research in Artificial Intelligence and Foundations of Programming%1, 94 pages, December 1978. Cost: $4.35 .end .next page .begin center<<HPP memos>> .EVERY HEADING (%3Heuristic Programming Memos,,%3Appendix C) %3APPENDIX C %3HEURISTIC PROGRAMMING PROJECT MEMOS%1 .end @There are six informal groups within the Heuristic Programming Project. .begin nofill Knowledge-Based Consultation Systems (MYCIN) MOLGEN Protein-Crystallography Hydroid DENDRAL Meta-DENDRAL .end .skip .begin indent 0,10,0 HPP-64-1, J. Lederberg, %2DENDRAL-64-A System for Computer Construction, Enumeration and Notation of Organic Molecules as Three Structures and Cyclic Graphs%1 (technical reports to NASA, also available from the author and summarized in HPP-68-1). HPP-64-2, J. Ledergerg, %2Computation of Molecular Formulas for Mass Spectrometry%1, Holden-Day Incorporated, 1964. HPP-65-1, J. Lederberg, %2Topological Mapping of Organic Molecules%1, NASA CR-48899, 1965, Proceedings of the National Academy of Science, 53 1, 134, January. HPP-65-2, J. Lederberg, %2Systematics of Organic Molecules, Graph Topology and Hamilton Circuits. General outline of the DENDRAL system.%1 April 1965. HPP-65-3, Edward A. Feigenbaum and Richard W. Watson, AIM-30, AD785056, %2An Initial Problem Statement for a Machine Induction Research Project%1 (working paper), April 1965. HPP-66-1, Donald A. Waterman, AIM-38, AD785066, %2A Filter for a Machine Induction System%1 (working paper), January 1966. HPP-66-2, Staffan Persson, STAN-CS-66-50, AIM-46, PB176761, %2Some Sequence Extrapolating Programs: a study of representation and modeling in inquiring systems%1, Ph.D. Thesis in Computer Science, (U.C. Berkeley, September 1966). HPP-66-3, Bruce Buchanan, AIM-47, %2Logics of Scientific Discovery%1, Ph.D. Thesis in Philosophy (Michigan State University, December 1966). HPP-67-1, Georgia Sutherland, AIM-49, %2DENDRAL - a Computer Program for Generating and Filtering Chemical Structures%1 (working paper), February 1967. HPP-67-2, J. Lederberg, %2Hamilton Circuits of Convex Trivalent Polyhedra (up to 18 vertices)%1, American Mathematics Monthly, 74, 5, May 1967. HPP-67-3, Joshua Lederberg and Edward A. Feigenbaum, AIM-54, %2Mechanization of Inductive Inference in Organic Chemistry%1, in B. Kleinmuntz (ed.), Formal Representations for Human Judgment, New York:Wiley, 1968. HPP-68-1, Edward Feigenbaum, Georgia Sutherland and Bruce Buchanan, %2Heuristic DENDRAL: A Program for Generating Explantory Hypothesis in Organic Chemistry%1, in B.K. Kinariwala and F.F. Kuo (eds.), Proceedings of the Hawaii International Conference on System Sciences, January 1968, University of Hawaii Press, 1968. HPP-68-2, J. Lederberg, %2Online Computation of Molecular Formulas from Mass Number%1, NASA CR-94977, 1968. HPP-68-3, Bruce G. Buchanan, Georgia Sutherlnd and Edward A. Feigenbaum, AIM-62, %2Heuristic DENDRAL: A Program for Generating Explantory Hypotheses in Organic Chemistry%1, in B. Melzer and D. Michie (eds.), Machine Intelligence 4, Edinburgh:Edinburgh University Press, 1969. HPP-68-4, Edward A. Feigenbaum, AIM-67, AD680487, %2Artificial Intelligence: Themes in the Second Decade%1, in Final Supplement to Proceedings of IFIP-68 International Congress, Edinburgh, August 1968. HPP-68-5, Donald Waterman, AIM-74, STAN-CS-68-118, AD681027, %2Machine Learning of Heuristics%1, Ph.D. Thesis in Computer Science (Stanford University, December 1968). HPP-69-1, Georgia Sutherland, AIM-80, AD685612, %2Heuristic DENDRAL: a Family of LISP Programs%1 (working paper), March 1969. HPP-69-2, Bruce G. Buchanan, G.L. Sutherland and E.A. Feigenbaum, AIM-99, %2Toward an Understanding of Information Processes of Scientific Inference in the Context of Organic Chemistry%1, in B. Meltzer and D. Michie (eds.), Machine Intelligence 5, Edinburgh:Edinburgh University Press, 1970. HPP-69-3, Donald A. Waterman, AIM-102, %2Generalization Learning Techniques for Automating the Learning of Heuristics%1, in Artificial Intelligence, 1, 121, July 1969. HPP-69-4, Joshua Lederberg, Georgia Sutherland and Bruce G. Buchanan, AIM-104, %2A Heuristic Program for Solving a Scientific Inference Problem: Summary of Motivation and Implementation%1, in R. Banerji and Mesarovic (eds.), Theoretical Approaches to Non-Numerical Problem Solving, New York:Springer-Verlag, 1970. HPP-69-5, J. Lederberg, %2Topology of Molecules%1, in The Mathematical Sciences - A Collection of Essays, edited by the Nationl Research Council's Committee on Support of Research in the Mathematical Sciences (COSRIMS), Cambridge, Mass.:The M.I.T. Press, 1969, p.37. HPP-69-6, J. Lederberg, G.L. Sutherland, B.G. Buchanan, E.A. Feigenbaum, A.V. Robertson, A.M. Duffield and C. Djerassi, %2Applications of Artificial Intelligence for Chemical Inference I. The Number of Possible Organic Compounds: Acyclic Structures Containing C, H, O and N%1; Journal of the American Chemical Society, 91, 2973, 1969. HPP-69-7, A.M. Duffield, A.V. Robertson, C. Djerassi, B.G. Buchanan G.L. Sutherland, E.A. Feigenbaum and J. Lederberg, %2Application of Artificial Intelligence for Chemical Inference II. Interpretation of Low Resolution Mass Spectra of Ketones%1, Journal of the American Chemical Society, 91, 11 May 1969. HPP-69-8, C.W. Chruchman and B.G. Buchanan, %2On the Design of Inductive Systems: Some Philosophical Problems%1, British Journal for the Philosophy of Science, 20, 311, 1969. HPP-69-9, G. Schroll, A.M. Duffield, C. Djerassi, B.G. Buchanan, G.L. Sutherland, E.A. Feigenbaum and J. Lederberg, %2Application of Artificial Intelligence for Chemical Inference III. Aliphatic Ethers Diagnosed by Their Low Resolution Mass Spectra and NMR Data%1, Journal of the American Chemical Society, 91, 7440, 1969. HPP-70-1, A. Buchs, A.B. Delfino, C. Djerassi, A.M. Duffield, B.G. Buchanan, E.A. Feigenbaum, J. Lederberg and G. Schroll, %2Application of Artificial Intelligence for Chemical Inference IV. Saturated Amines Diagnosed by Their Low Resolution Mass Spectra and Nuclear Magnetic Resonance Spectra%1, Journal of the American Chemical Society, 92, 6831, 1970. HPP-70-2, Bruce G. Buchanan and Thomas E. Hedrick, AIM-123, %2Some Speculation About Artificial Intelligence and Legal Reasoning%1, Stanford Law Review, 23, 40, November 1970. HPP-70-3, Y.M. Sheikh, A. Buchs, A.B. Delfino, G. Schroll, A.M. Duffield, C. Djerassi, B.G. Buchanan, G.L. Sutherland, E.A. Feigenbaum and J. Lederberg, %2Applications of Artificial Intelligence for Chemical Inference V. An Approach to the Computer Generation of Cyclic Structures. Differentiation Between All The Possible Isomeric Ketones of Composition C↓6H∪[10]O%1, Organic Mass Spectrometry, 4, 493, 1970. HPP-70-4, A. Buchs, A.B. Delfino, A.M. Duffield, C. Djerassi, B.G. Buchanan, E.A. Feigenbaum and J. Lederberg, %2Applications of Artificial Intelligence for Chemical Inference VI. Approach to a General Method of Interpreting Low Resolution Mass Spectra with a Computer%1, Helvetica Chimica Acta, 53, 1394, 1970. HPP-70-5, Edward A. Feigenbaum, Bruce G. Buchanan and Joshua Lederberg, AIM-131, STAN-CS-70-176, AD715128, %2On Gererality and Problem Solving: a Case Study Using the DENDRAL Program%1, in B. Meltzer and D. Michie (eds.), Machine Intelligence 6, Edinburgh:Edinburgh University Press, 1971. HPP-70-6, B. G. Buchanan, G. L. Sutherland and E. A. Feigenbaum, %2Rediscovering some Problems of Artificial Intelligence in the Context of Organic Chemistry%1, Machine Intelligence 5, 253, Edinburgh:Edinburgh University Press, 1970. HPP-71-1, A. Buchs, A.B. Delfino, C. Djerassi, A.M. Duffield, B.G. Buchanan, E.A. Feigenbaum, J. Lederberg, G. Schroll and G.L. Sutherl, %2Applications of Artificial Intelligence for Chemical Inference VII. The Application of Artificial Intelligence in the Interpretation of Low-Resolution Mas Spectra%1, Advances in Mass Spectrometry, 5, 314, 1971. HPP-71-2, Bruce G. Buchanan and Joshua Lederberg, AIM-141, STAN-CS-71-216, AD732457, %2The Heuristic DENDRAL Program for Explaining Empirical Data%1, in Proceedings of the IFIP Congress 71, Ljubljan, Yugoslavia, February 1971. HPP-71-3, Robert E. Kling, AIM-147, STAN-CS-71-216, %2Reasoning by Analogy with Applications to Heuristic Problem Solving: a Case Study%1, Ph.D. Thesis in Computer Science, August 1971. HPP-71-4, B.G. Buchanan, E.A. Feigenbaum and J. Lederberg, AIM-145, %2A Heuristic Programming Study of Theory Formation in Science%1, in Proceedings of the Second International Joint Conference on Artificial Intelligence, Imperial College, London, 1971. HPP-71-5, B.G. Buchanan, A.M. Duffield and A.V. Robertson, %2An Application of Artificial Intelligence to the Interpretation of Mass Spectra%1, in G.W.A. Milide (ed.), Mass Spectrometry Techniques and Applications, New York:Wiley, 1971, p.121. HPP-72-1, D.H. Smith, B.G. Buchanan, R.S. Engelmore, A.M. Duffield, A. Yeo, E.A. Feigenbaum, J. Lederberg and C. Djerassi, %2Applications of Artificial Intelligence for Chemical Inference VIII. An Approach to the Computer Interpretation of the High Resolution Mass Spectra of Complex Molecules. Structure Elucidation of Estrogenic Steroids%1, Journal of the American Chemical Society, 94, 5962, 1972. HPP-72-2, B.G. Buchanan, E.Z. Feigenbaum and N.S. Sridharan, %2Heuristic Theory Formation: Data Interpretation and Rule Formation%1, In B. Meltzer and D. Michi (eds.), Machine Intelligence 7, Edinburgh:Edinburgh University Press, 1972. HPP-72-3, Bruce G. Buchanan, AIM-181, STAN-CS-72-325, %2Review of Hubert Dreyfus' "What Computers Can't Do": a Critique of Artificial Reason%1, Computing Reviews, January 1973. HPP-72-4, J. Lederberg, %2Rapid Calculation of Molecular Formulas from Mass Values%1, Journal of Chemical Education, 49, 613, 1972. HPP-72-5, Joshua Lederberg, %2Use of a Computer to Identify Unknown Compounds: The Automation of Scientific Inference%1, in George R. Waller (ed.), Biochemical Applications of Mass Spectrometry, New York:Interscience, 1972. HPP-72-6, H. Brown, L. Hjelmeland and L. Masinter, STAN-CS-72-318, %2Constructive Graph Labeling Using Double Cosets%1, Discrete Mathematics, 7, 1, 1974. HPP-73-1, D.H. Smith, B.G. Buchanan, R.S. Engelmore, H. Aldercreutz and C. Djerassi, %2Applications of Artificial Intelligence for Chemical Inference IX. Analysis of Mixtures without Prior Separation as Illustrated for Estrogens%1, Journal of the American Chemical Society, 95, 6078, 1973. HPP-73-2, D.H. Smith, B.G. Buchanan, W.C. White, E.A. Feigenbaum, C. Djerassi and J. Lederberg, %2Applications of Artificial Intelligence for Chemical Inference X. INTSUM. A Data Interpretation Program as Applied to the Collected Mass Spectra of Estrogenic Steroids%1, Tetrahedron, 29, 3117, 1973. HPP-73-3, Harold Brown and Larry Masinter, STAN-CS-73-361, %2An Algorithm for the Construction of the Graphs of Organic Molecules%1, Discrete Mathematics, 8, 227, 1974. HPP-73-4, N.S. Sridharan et al., AIM-205, STAN-CS-73-370, AD764288, %2A Heuristic Program to Discover Synthesis for Complex Organic Molecules%1, June 1973. HPP-73-5, N.S. Sridharan, STAN-CS-73-381, %2Computer Generation of Vertex Graphs%1 (working paper), July 1973. HPP-73-6, R. Carhart and C. Djerassi, %2Applications of Artificial Intelligence for Chemical Inference XI. The Analysis of C13 NMR Data for Structure Elucidation of Acyclic Amines%1, Journal of the American Chemical Society (Perkin II), 2, 1753, 1973. HPP-73-7, B.G. Buchanan and N.S. Sridharan, AIM-215, STAN-CS-73-387, AD769380, %2Analysis of Behavior of Chemical Molecules: Rule Formation on Non-Homogeneous Classes of Objects%1, in Proceedings of the Third International Joint Conference on Artificial Intelligence, Stanford, California, August 1973. HPP-73-8, D. Michie and B.G. Buchanan, %2Current Status of the Heuristic DENDRAL Program for Applying Artificial Intelligence to the Interpretation of Mass Spectra%1, in R.A.G. Carrington (ed.), Computers for Spectroscopy, London:Adam Hilger, 1974. Also University of Edinburgh School of Artificial Intelligence, Exp. Prog. Report No. 32, 1978. HPP-73-9, N.S. Sridaran, AIM-217, STAN-CS-73-391, AD770610, %2Search Strategies for the Task of Organic Chemical Synthesis%1, August 1973. HPP-73-10, E.H. Shortliffe, S.G. Axline, B.G. Buchanan, T.C. Merigan, and S.N. Cohen, %2An Artificial Intelligence Program to Advise Physicians Regarding Antimicrobial Therapy%1, Computers and Biomedical Research, 6, 544, 1973. HPP-73-11, Larry Masinter, N.S. Sridharan, J. Lederberg and D.H. Smith, AIM-216, STAN-CS-73-389, AD71299, %2Applications of Artificial Intelligence for Chemical Inference XII. Exhaustive Generation of Cyclic and Acyclic Isomers%1, in Journal of the American Chemical Society, 96, 7702, 1974. HPP-74-1, E.H. Shortliffe, S.G. Axline, B.G. Buchanan and S.N. Cohen, %2Design Considerations for a Program to Provide Consultations in Clinical Therapeutics%1, in Proceedings of San Diego Biomedical Symposium, February 1974. HPP-74-2, Edward H. Shortliffe, AIM-251, STAN-CS-74-465, AD-A001 373, %2MYCIN: A Rule-Based Computer Program for Advising Physicians Regarding Antimicrobial Therapy Selection%1, Ph.D. Thesis in Medical Information Sciences, October 1974. Also in Computer-Based Medical Consultations: MYCIN, New York:American Elsevier, 1976. HPP-74-3, B.G. Buchanan, %2Scientific Theory Formation by Computer%1, in T.C. Simon (ed.), Computer Aided Learning Processes, Nato Advanced Study Institutes Series, Series E: Applied Science, 14, 515, Leyden:Noordhoff, 1976. Also appeared in NATO Adv. Study Inst. on Computer Oriented Learning Proc., Bonas, France, 1974. HPP-74-4, E.A. Feigenbaum, %2Computer Applications: Introductory Remarks%1, in Proceedings of Federation of American Societis for Experimental Biology, 33, 2331, 1974. HPP-74-5, L.M. Masinter, N.S. Sridharan, R.E. Carhart and D.H. Smith, %2Applications of Artificial Intelligence for Chemical Inference XIII. Labeling of Objects Having Symmetry1,2%1, Journal of the American Chemical Society, 96, 7714, 1974. HPP-74-6, Dennis H. Smith, Larry M. Masinter and Natesa S. Sridharan, %2Heuristic DENDRAL: Analysis of Molecular Structure%1, in W.T. Wipke, S. Heler, R. Feldmann and E. Hyde (eds.), Computer Representation and Manipulation of Chemical Information, New York:Wiley, 1974. HPP-74-7, Harold Brown, STAN-CS-74-469, %2Molecular Structure Elucidation III%1, SIAM Journal of Applied Math, 32, 3, May 1977, p.534. HPP-75-1, E.H. Shortliffe and B.G. Buchanan, %2A Model of Inexact Reasoning in Medicine%1, Mathematical Biosciences, 23, 351, 1975. HPP-75-2, E.H. Shortliffe, R. Davis, S.G. Axline, B.G. Buchanan, C.C. Green and S.N. Cohen, %2Computer-Based Consultations in Clinial Therapeutics; Explanation and Rule Acquisition Capabilities of the MYCIN System%1, Computers and Biomedical Research, 8, 303, August 1975. HPP-75-3, E.H. Shortliffe, F.S. Rhame, S.G. Axline, S.N. Cohen, B.G. Buchanan, R. Davis, A.C. Scott, R. Chavez-Pardo and W.J. Van Melle, %2MYCIN: A Computer Program Providing Antimicrobial Therapy Recommendations%1, Clinical Medicine, August 1975. HPP-75-4, E.H. Shortliffe, %2Judgmental Knowledge as a Basis for Computer-Assisted Clinical Decision Making%1, in Proceedings of the 1975 International Conference on Cybernetics and Society, September 1975. HPP-75-5, E.H. Shortliffe, S. Axline, B.G. Buchanan, R. Davis and S. Cohen, %2A Computer-Based Approach to the Promotion of Rational Clinical Use of Antimicrobials%1, in William A. Gouveia, Gianni Tognoni, and Eppo van der Kleijn (eds.), Clinical Pharmacy and Clinical Pharmacology, New York:Elsevier/North-Holland Publishing Company, 1976. HPP-75-6, Randall Davis, Bruce Buchanan and Edward Shortliffe, AIM-266, STAN-CS-75-519, AD-A019 641, %2Production Rules as a Representation of a Knowledge-Based Consultation Program%1, in Artificial Intelligence, 8, 1, February 1977. HPP-75-7, Randall Davis and Jonathan King, AIM-271, STAN-CS-75-524, AD-A019 702/OWC, %2An Overview of Production Systems%1, in E.W. Elcock and Donald Michie (eds.), Machine Intelligence 8; Machine Representations of Knowledge, Chichester, England:Ellis Horwood Ltd., 1977. HPP-75-8, R.G. Dromey, B.G. Buchanan, J. Lederberg and C. Djerassi and D. H. Smith, %2Applications of Artificial Intelligence for Chemical Inference XIV. A General Method for Predicting Molecular Ions in Mass Spectra%1, Journal of Organic Chemistry, 40, 770, 1975. HPP-75-9, D.H. Smith, %2Applications of Artificial Intelligence for Chemical Inference XV. Constructive Graph Labelling Applied to Chemical Problems. Chlorinated Hydrocarbons%1, Analytical Chemistry, 47, 1176, 1975. HPP-75-10, R.E. Carhart, D.H. Smith, H. Brown and N.S. Sridharan, %2Applications of Artificial Intelligence for Chemical Inference XVI. Computer Generation of Vertex Graphs and Ring Systems%1, Journal of Chemical Information and Computer Science, 15, 124, 1975. HPP-75-11, R.E. Carhart, D.H. Smith, H. Brown and C. Djerassi, %2Applications of Artificial Intelligence for Chemical Inference XVII. An Approach to Computer-Assisted Elucidation of Molecular Structure%1, Journal of the American Chemical Society, 97, 5755, 1975. HPP-75-12, E.H. Shortliffe, S.G. Axline, B.G. Buchanan, R. Davis and S.N. Cohen, %2Computer-Assisted Consultations Regarding the Antimicrobial Treatment of Bacteremia%1, Journal @@ , May 1975. HPP-75-13, B.G. Buchanan, %2Applications of Artificial Intelligence to Scientific Reasoning%1, in Proceedings of Second USA-Japan Computer Conference, American Federation of Information Processing Societies Press, August 1975. HPP-75-14, R.E. Carhart, S.M. Johnson, D.H. Smith, B.G. Buchanan, R.G. Dromey, and J. Lederberg, %2Networking and a Collaborative Research Community: A Case Study Using the DENDRAL Programs%1, in P. Lykos (ed.), Computer Networking and Chemistry, Washington, D.C.:American Chemistry Society, 1975. HPP-75-15, D.H. Smith, %2Applications of Artificial Intelligence for Chemical Inference XVIII. The Scope of Structural Isomerism%1, Journal of Chemical Information and Computer Sciences, 15, 203, 1975. HPP-75-16, E.H. Shortliffe and R. Davis, %2Some Considerations for the Implementation of Knowledge-Based Expert Systems%1, SIGART Newsletter, 55, 9, December 1975. HPP-76-1, D.H. Smith, J.P. Konopelski and C. Djerassi, %2Applications of Artificial Intelligence for Chemical Inference XIX. Computer Generation of Ion Structures%1, Organic Mass Spectrometry, 11, 86, 1976. HPP-76-2, Raymond E. Carhart and Dennis H. Smith, %2Applications of Artificial Intelligence for Chemical Inference XX. Intelligent Use of Constraints in Computer-Assisted Structure Elucidation%1, Computers in Chemistry, 1,79, 1976. HPP-76-3, C.J. Cheer, D.H. Smith, C. Djerassi, B. Tursch, J.C. Braekman and D. Daloze, %2Applications of Artificial Intelligence for Chemical Inference XXI. Chemical Studies of Marine Interbrates - XVII. The Computer-Assisted Identification of [+]-Palostrol in the Marine Organism Cespitularia sp., aff. subviridis%1, Tetrahedron, 32, 1807, 1976. HPP-76-4, B.G. Buchanan, D.H. Smith, W.C. White, R.J. Gritter, E.A. Feigenbaum, J. Lederberg and Carl Djerassi, %2Applications of Artificial Intelligence for Chemical Inference XXII. Automatic Rule Formation in Mass Spectrometry by Means of the Meta-DENDRAL Program%1, Journal of the American Chemical Society, 98,6168, 1976. HPP-76-5, T.H. Varkony, R.E. Carhart and D.H. Smith, %2Applications of Artificial Intelligence for Chemical Inference XXIII. Computer-Assisted Structure Elucidation. Modelling Chemical Reaction Sequences Used in Molecular Structure Programs%1, in W.T. Wipke (ed.), Computer-Assisted Organic Synthesis, Washington, D.C.:American Chemical Society, 1977. HPP-76-6, D.H. Smith and R.E. Carhart, %2Applications of Artificial Intelligence for Chemical Inference XXIV. Structural Isomerism of Mono and Sesquiterpenoid Skeletons 1,2-,%1, Tetrahedron, 32, 2513, May 1976. HPP-76-7, Randall Davis, AIM-283, STAN-CS-76-552, %2Applications of Meta Level Knowledge to the Construction, Maintenance and Use of Large Knowledge Bases%1, Ph.D. Thesis in Computer Science, July 1976. HPP-76-8, Douglas Lenat, AIM-286, STAN-CS-76-570, %2AM: An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search%1, Ph.D. Thesis in Computer Science, July 1976. HPP-76-9, Bruce G. Buchanan, Joshua Lederberg and John McCarthy, AIM-291, STAN-CS-76-577, %2Three Reviews of J. Weizenbaum's Computer Power and Human Reason%1, November 1976. HPP-76-10, Bruce G. Buchanan and Dennis Smith, %2Computer Assisted Chemical Reasoning%1, in E.V. Ludena, N.H. Sabelli and A.C. Wahl (eds.), Computers in Chemical Education and Research, New York:Plenum Press, 1977, p.401. HPP-76-11, Raymond E. Carhart, %2A Model-Based Approach to the Teletype Printing of Chemical Structures%1, Journal of Chemical Information and Computer Sciences, 16, 82, 1976. HPP-77-1, A.C. Scott, W. Clancey, R. Davis and E.H. Shortliffe, STAN-CS-77-593, %2Explanation Capabilities of Knowledge-Based Production Systems%1, American Journal of Computational Linguistics, Microfiche 62, Knowledge-Based Consultation Systems, 1977. HPP-77-2, Robert S. Engelmore and H. Penny Nii, STAN-CS-77-589, %2A Knowledge-Based System for the Interpretation of Protein X-Ray Crystallographic Data%1 (working paper), January 1977. HPP-77-3, B.G. Buchanan, R. Davis, V. Yu and S. Cohen, %2Rule Based Medical Decision Making by Computer%1, Proceedings of MEDINFO.77, Tronto, 1977. HPP-77-4, T.M. Mitchell and G.M. Schwenzer, %2Applications of Artificial Intelligence for Chemical Inference XXV. A Computer Program for Automated Empirical 13C NMR Rule Formation%1, Organic Magnetic Resonance, forthcoming. HPP-77-5, Mark Stefik and Nancy Martin, STAN-CS-77-596, %2A Review of Knowledge-Based Systems as a Basis for a Genetics Experiment Designing System%1 (working paper), February 1977. HPP-77-6, Bruce G. Buchanan and Tom Mitchell, STAN-CS-77-597, %2Model-Directed Learning of Production Rules%1, in D.A. Waterman and F. Hayes-Roth (eds.), Pattern-Directed Inference Systems, New York:Academic Press. HPP-77-7, H. Penny Nii and Edward A. Feigenbaum, STAN-CS-77-612, %2Rule-Based Understanding of Signals%1, Proceedings of Pattern-Directed Inference Systems, May 1977. HPP-77-8, R. Davis, %2Knowledge Acquisition on Rule-Based Systems: Knowledge about Representations as a Basis for System Construction and Maintenance%1, Proceedings of Pattern-Directed Inference, May 1977. HPP-77-9, R. Davis, %2Interactive Transfer of Expertise I: Acquisition of New Inference Rules%1, Proceedings of Fifth IJCAI, 1, 321, August 1977. HPP-77-10, R. Davis, %2A Decision Support System for Medical Diagnosis and Therapy Selection in Data Base%1, SIGBDP Newsletter, 8, 58, Winter, 1977. HPP-77-11, Dennis H. Smith and Raymond E. Carhart, %2Structure Elucidation Based on Computer Analysis of High and Low Resolution Mass Spectral Data%1, in M.L. Gross (ed.), in Symposium on Chemical Applications of High Performance Spectrometry, Washington, D.C.:American Chemical Society, 1978. HPP-77-12, Reid G. Smith, %2The Contract Net: A Formalism for the Control of Distributed Problem Solving%1, Proceedings of the Fifth IJCAI, 1, 472, August 1977. HPP-77-13, Tom M. Mitchell, %2Version Spaces: A Candidate Elimination Approach to Rule Learning%1, Proceedings of the Fifth IJCAI, 1, 305, August 1977. HPP-77-14, Reid G. Smith, Tom M. Mitchell, Richard A. Chestek and Bruce G. Buchanan, %2A Model for Learning Systems%1, Proceedings of the Fifth IJCAI, 1, 338, August 1977. HPP-77-15, E.A. Feigenbaum, R.S. Engelmore and C.K. Johnson, %2A Correlation Between Crystallographic Computing and Artificial Intelligence%1, in Acta Crystallographica, A33, 13, 1977. HPP-77-16, Randall Davis and Bruce G. Buchanan, %2Meta-Level Knowledge: Overview and Applications%1, Proceedings of the Fifth IJCAI, 1, 920, August 1977. HPP-77-17, Bruce G. Buchanan, %2Heuristic DENDRAL: A Short Summary%1 (working paper), (class notes for CS 224, Spring 1977). HPP-77-18, Jerry Feitelson and Mark Stefik, %2A Case Study of the Reasoning in a Genetics Experiment%1 (working paper), April 1977. HPP-77-19, N. Martin, P. Friedland, J. King and M.J. Stefik, %2Knowledge Base Management for Experiment Planning in Molecular Genetics%1, Proceedings of the Fifth IJCAI, 1, 882, August 1977. HPP-77-20, Gretchen M. Schwenzer and Tom M. Mitchell, %2Computer Assisted Structure Elucidation Using Automatically Acquired 13C NMR Rules%1, in D. Smith (ed.), Computer Assisted Structure Elucidation, ACS Symposium Series, Vol. 54:58, 1977. HPP-77-21, Hector Garcia-Molina and Gio Wiederhold, %2Application of the Contract Net Protocol to Distributed Data Bases%1 (working paper), April 1977. HPP-77-22, Gretchen M. Schwenzer, %2Applications of Artificial Intelligence for Chemical Inference XXVI. Analysis of C-13 NMR for Mono-Hydroxy Steroids Incorporating Geometric Distortions%1, Journal of Organic Chemistry, Vol. 43, 1079, 1978. HPP-77-23, James G. Nourse, %2Gereralized Stereoisomerization Modes%1, Journal of the American Chemical Society, 99, 2063, 1977. HPP-77-24, Kent Morrill, Dennis H. Smith and Carl Djerassi, %2Computer-Assisted Analysis of the High Resolution Mass Spectra of Macrolide Antibiotics%1, submitted for publication. HPP-77-25, Edward A. Feigenbaum, %2The Art of Artificial Intelligence: 1. Themes and Case Studies of Knowledge Engineering%1, Proceedings of the Fifth IJCAI, 1, 1014, August 1977. HPP-77-26, Thomas H. Varkony, Raymond E. Carhart and Dennis H. Smith, %2Computer Assisted Structure Elucidation, Ranking the Candidate Structures, Based on Comparison Between Predicted and Observed Mass Spectra%1, in Proceedings of the 25th Annual Conference on Mass Spectrometry and Allied Topics, Washington, D.C., 1977. HPP-77-27, Hector Garcia-Molina, %2Overview and Bibliography of Distributed Data Bases%1, 1977. HPP-77-28, Nils J. Nilsson, STAN-CS-77-618, %2A Production System for Automatic Deduction%1, Machine Intelligence 9, 1977. HPP-77-29, Edward H. Shortliffe, %2A Rule-Based Approch to the Generation of Advice and Explanation in Clinical Medicine%1, August 1977. HPP-77-30, Edward H. Shortliffe, %2Clinical Decisions Based on Physician-Computer Interactions: A Symbolic Reasoning Approach%1, presented at the Symposium on Making and Using Medical Decisions, Annual Meeting Society for Computer Medicine, November, 1977. HPP-77-31, Kjell G. Knutsen, %2Some Issues in the Design of Large Multi-Microprocessor Networks%1 (working paper), 1977. HPP-77-32, Edward H. Shortliffe, %2MYCIN: A Knowledge-Based Computer Program Applied to Infectious Diseases%1, presented at the First Annual Symposium on Computer Application in Medical Care, Washington, D.C., October 1977. HPP-77-33, Randal Davis, %2Generalized Procedure Calling and Content-Directed Invocation%1, in the Proceedings of Artificial Intelligence and Programming Languages Conference, Published as SIGART/SIGPLAN Combined Issue, August 1977, pp. 45-54. HPP-77-34, Thomas Varkony, Dennis Smith and Carl Djerassi, %2Computer-Assisted Structure Manipulation: Studies in the Biosynthesis of Natural Products%1, Tetrahedron, forthcoming. HPP-77-35, R.G. Dromey, Mark J. Stefik, Thomas C. Rindfleisch and Alan M. Duffield, %2Extraction of Mass Spectra Free of Background and Neighboring Component Contributions from Gas Chromatography/Mass Spectrometry Data%1, Analytical Chemistry, 48, 1368, 1976. HPP-77-36, Bruce G. Buchanan, %2Issues of Representation in Conveying the Scope and Limitations of Intelligent Assistant Programs%1 (working paper), 1977. HPP-77-37, Avron Barr, %2Meta-Knowldge and Memory%1 (working paper), November 1977. HPP-77-38, Annemarie Wegmann, %2Variations in Mass Spectral Fragmentation Produced by Active Sites in a Mass Spectrometer Source%1, (submitted to Analytical Chemistry), 1977. HPP-77-39, Bruce G. Buchanan, Tom M. Mitchell, Reid G. Smith and C. Richard Johnson, Jr., %2Models of Learning Systems%1, STAN-CS-78-692, in Truelsen (ed.), Encyclopedia of Computer Science, New York, 1978. HPP-78-1, Bruce G. Buchanan and Edward A. Feigenbaum, %2DENDRAL and Meta-DENDRAL: Their Applications Dimension%1, STAN-CS-77-649, Stanford University, 1978. HPP-78-2, Reid G. Smith, %2Issues in Distributed Sensor Net Design%1 (working paper), January 1978. HPP-78-3, Mark Stefik, %2Inferring DNA Structures from Segmentation Data: A Case Study%1, (submitted to Artificial Intelligence). HPP-78-4, Hector Garcia-Molina, %2Distributed Database Coupling%1 (working paper), March 1978. HPP-78-5, never used. HPP-78-6, Hector Garcia-Molina, %2Performance Comparison of Update Algorithms for Distributed Data Bases%1 (working paper), 1978. HPP-78-7, Reid G. Smith and Randal Davis, STAN-CS-78-667, %2Distributed Problem Solving: The Contract Net Approach%1, June 1978. HPP-78-8, James G. Nourse, %2The Configuration Symmetry Group and its Application to Stereoisomer Generation, Specification and Enumeration%1, 1978. HPP-78-9, J. Nourse, R. Carhart, D. H. Smith and C. Djerassi, %2Exhaustive Generation of Stereoisomers for Structure Elucidation%1, 1978. HPP-78-10, Alain Bonnet, STAN-CS-78-668, %2BAOBAB, A Parser for a Rule-Based System Using a Semantic Grammar%1, June 1978. HPP-78-11, R. Carhart, %2Erroneous Claims Concerning Perception of Topological Symmetry%1, Journal of Chemical Infformation and Computer Science, 18, 1978. HPP-78-12, Allan Terry and R. Engelmore, %2Design and Evaluation of First Crysalis System%1 (working paper), July 1978. .end