perm filename SPOOL[BIB,CSR] blob sn#481005 filedate 1979-10-15 generic text, type C, neo UTF8
C00001 00001
C00002 00002	Reports 700 thru 799
C00017 ENDMK
Reports 700 thru 799

STAN-CS-78-700 (HPP-78-28, AD-A068 230), Reid Garfield Smith (Thesis), "A
Framework for Problem Solving in a Distributed Processing Environment",
150 pages, December 1978.

STAN-CS-79-701, Mitch L Model (Thesis), "Monitoring System Behavior in a
Complex Computational Environment", 189 pages, January 1979.

STAN-CS-79-702, Yossi Shiloach, "An O(n|cdIlog↑2I) Maximum-Flow
Algorithm", 33 pages, January 1979.

STAN-CS-79-703 (AD-A068 228), Bengt Aspval and Yossi Shiloach, "A
Polynomial Time Algorithm for Solving Systems of Linear Inequalities With
Two Variables Per Inequality", 25 pages, January 1979.

STAN-CS-79-704 (AD-A068 232), Roland A. Sweet, "A Survey of the State of
Software for Partial Differential Equations", 31 pages, January 1979.

STAN-CS-79-705, Robert Lewis (Scot) Drysdale, III (Thesis), "Generalized
Voronoi Diagrams and Geometric Searching", 196 pages, January 1979.

STAN-CS-79-706, F. Francis Yao, "Graph 2-Isomorphism is NP-Complete", 12
pages, January 1979.

STAN-CS-79-707, Chris Van Wyk and Donald E. Knuth, "A Programming and
Problem-Solving Seminar", 83 pages, January 1979.

STAN-CS-79-708, Andrew C. Yao, "An Analysis of a Memory Allocation Scheme
for Implementing Stacks", 18 pages, January 1979.

STAN-CS-78-709 (AD-A068 231), Mark R. Brown and Robert E. Tarjan, "Design
and Analysis of a Data Structure for Representing Sorted Lines", 50 pages,
December 1978.

STAN-CS-79-710 (AD-A068 210), Lloyd Trefethen, "Numerical Computation of
the Schwarz-Christoffel Transformation", 42 pages, 1979.

STAN-CS-78-711, Tom Michael Mitchell (Thesis), "Version Spaces:  An
Approach to Concept Learning", 216 pages, December 1978.

STAN-CS-79-712 (AD-A068 393), Donald E. Knuth, "The Errata of Computer
Programming", 58 pages, January 1979.

STAN-CS-79-713, Gene Golub, Stephen Nash and Charles Van Loan, "A
Hessenberg-Schur Method for the Problem AX + XB = C", 50 pages, January

STAN-CS-79-714 (CSL-TN-160), Fernando Castaneda, Frederick Chow, Peter
Nye, Dan Sleator and Gio Wiederhold, "PCFORT:  A Fortran-to-Pcode
Translator", January 1979.

STAN-CS-79-715 (CSL-TN-161), Brent T. Hailpern and Bruce L. Hitson, "S-1
Architecture Manual", January 1979.

STAN-CS-79-716 (AIM-322), Michael Georgeff, "A Framework for Control in
Production Systems", 35 pages, January 1979.

STAN-CS-79-717 (AIM-324), Robert Cartwright and John McCarthy, "Recursive
Programs as Functions in a First Order Theory", 32 pages, March 1979.

STAN-CS-79-718 (AIM-323), Shahid Mujtaba and Ron Goldman, "AL Users'
Manual", 136 pages, January 1979.

STAN-CS-79-719, Petter Bjorstad, Germund Dahlquist and Eric Grosse,
"Extrapolation of Asymptotic Expansions by a Modified Aitken
%2d%1↑2-Formula", 54 pages, February 1979.

STAN-CS-79-720, R. Glowinski, "On Grid Optimization for Boundary Value
Problems", 22 pages, February 1979.

STAN-CS-79-721, Andrew C. Yao and F. Frances Yao, "On Fault-Tolerant
Networks for Sorting", 20 pages, February 1979.

STAN-CS-79-722 (AD-A074 077), Gio Wiederhold and Ramez El-Masri, "A
Structural Model for Database Systems" 57 pages, March 1979.

STAN-CS-79-723 (AD-A074 076), Edward H. Shortliffe, Bruce G. Buchanan and
Edward A. Feigenbaum, "Knowledge Engineering for Medical Decision Making:
a review of computer-based clinical decision aids", 52 pages, February

STAN-CS-79-724 (AIM-325), John McCarthy, "First Order Theories of
Individual Concepts and Propositions", 19 pages, March 1979.

STAN-CS-79-725 (AIM-326), John McCarthy, "Ascribing Mental Qualities to
Machines", 25 pages, March 1979.

STAN-CS-79-726, Andrew Chi-Chih Yao, "An Analysis of (h,k,l)-Shellsort",
55 pages, March 1979.

STAN-CS-79-727 (AIM-327), Robert Elliot Filman (Thesis), "The Interaction
of Observation and Inference", 235 pages, March 1979.

STAN-CS-79-728, Yossi Shiloach, "Union-Member Algorithms for Non-Disjoint
Sets", 12 pages, January 1979.

STAN-CS-79-729 (AD-A068 229), Robert Endre Tarjan, "A Unified Approach to
Path Problems", 43 pages, April 1979.

STAN-CS-79-730, Frank M. Liang, "Qualifying Examinations in Computer
Science, 1965-1978", 238 pages.

STAN-CS-79-731 (PVG-11, AD-A071 900), D.C. Luckham, S.M. German F.W. von
Henke, R.A. Karp, P.W. Milne, D.C. Oppen, W. Polak, and W.L. Scherlis,
"Stanford PASCAL Verifier User Manual", April 1979.

STAN-CS-79-732, Donald R. Woods, "Notes on Introductory Combinatorics",
120 pages, April 1979.

STAN-CS-79-733, Andrew Chi-Chih Yao, "A Lower Bound to Finding Convex
Hulls", 22 pages, April 1979.

STAN-CS-79-734 (AD-A074 079), Robert Endre Tarjan, "Fast Algorithms for
Solving Path Problems", 49 pages, April 1979.

STAN-CS-79-735, J. H. Wilkinson, "Kronecker's Canonical Form and the QZ
Algorithm", 23 pages, April 1979.

STAN-CS-79-736, J. H. Wilkinson, "Note on the Practical Significance of
the Drazin Inverse", 20 pages, April 1979.

STAN-CS-79-737, Andrew C. Yao and F. Frances Yao, "On the Average-case
Complexity of Selecting the k-th Best", 45 pages, April 1979.

STAN-CS-79-738 (SU326 P30-65), Randall LeVeque, Germund Dahlquist and Dan
Andree, "Computations Related to G-Stability of Linear Multistep Methods",
27 pages, May 1979.

STAN-CS-79-739 (HPP-79-14, AD-A074 075), J. R. Quinlan, "Induction Over
Large Data Bases", 19 pages, May 1979.

STAN-CS-79-740 (PVG-12), R. S. Cartwright and D. C. Oppen, "The Logic of
Aliasing", 24 pages, May 1979.

STAN-CS-79-741, Lyle Harold Ramshaw (Thesis), "Formalizing the Analysis of
Algorithms", 123 pages, June 1979.

STAN-CS-79-742 (HPP-79-12, AD-A074 078), Anne Gardner, "Handbook of
Artificial Intelligence:  Search", 100 pages, June l979.

STAN-CS-79-743 (AIM-328), Juan Bulnes-Rozas (Thesis), "GOAL: A Goal
Oriented Command Language for Interactive Proof Construction", 175 pages,
June 1979.

STAN-CS-79-744 (CSL-TR-172), Hector Garcia-Molina (Thesis), "Performance
of Update Algorithms for Replicated Data in a Distributed Database", 320
pages, June 1979.

STAN-CS-79-745, Thomas Lengauer (Thesis), "Upper and Lower Bounds on
Time-Space Tradeoffs in a Pebble Game", 82 pages, July 1979.

STAN-CS-79-746, Alan Borning (Thesis), "ThingLab -- A Constraint-Oriented
Simulation Laboratory", 109 pages, July 1979.

STAN-CS-79-747 (AIM-329), David E. Wilkins (Thesis), "Using Patterns and
Plans to Solve Problems and Control Search", 264 pages, June 1979.

STAN-CS-79-748, David Y. Y. Yun, "Fast Algorithms for Solving Toeplitz
System of Equations and Finding Rational Interpolants", 9 pages, July

STAN-CS-79-749 (HPP-79-17), William Clancey, James Bennett and Paul Cohen,
"Applications-Oriented AI Research:  Education", 60 pages, July 1979.

STAN-CS-79-750, Peter Gacs and Laszlo Lovasz, "Khachian's Algorithm for
Linear Programming", 12 pages, July 1979.

STAN-CS-79-751 (AIM-330), Zohar Manna and Amir Pnueli, "The Model Logic of
Programs", 36 pages, September 1979.

STAN-CS-79-752, Michael Lockhart Overton (Thesis), "Projected Lagrangian
Algorithms for Nonlinear Minimax and l↓1 Optimization", 164 pages, July

STAN-CS-79-753, Andrew Chi-Chih Yao, "Should Tables Be Sorted?", 36 pages,
July 1979.

STAN-CS-79-754 (HPP-79-21), Anne Gardner, James Davidson and Terry
Winograd, "Natural Language Understanding", 100 pages, July 1979.

STAN-CS-79-755 (AIM-331), Elaine Kant (Thesis), "Efficiency Considerations
in Program Synthesis: A Knowledge-Based Approach", 160 pages, July 1979.

STAN-CS-79-756 (HPP-79-22), James S. Bennett, Bruce G. Buchanan, Paul R.
Cohen and Fritz Fisher, "Applications-Oriented AI Research: Science and
Mathematics", 110 pages, July 1979.

STAN-CS-79-757 (HPP-79-23), Victor B. Clesielski, James S. Bennett and
Paul R. Cohen, "Applications-Oriented AI Research: Medicine", 40 pages,
July 1979.

STAN-CS-79-578 (HPP-79-24), Robert Elschlager and Jorge Phillips,
"Automatic Programming", 100 pages, July 1979.

STAN-CS-79-759 (HPP-79-25), Alain Bonnet, "Schema-Shift Strategies for
Understanding Structured Texts in Natural Language", 40 pages, July 1979.

STAN-CS-79-760, R. L. Graham, A. C. Yao and F. F. Yao, "Some Monotonicity
Properties of Partial Orders", 21 pages, September 1979.

STAN-CS-79-761, Douglas B. West, "Gossiping Without Duplicate
Transmissions", 7 pages, September 1979.

STAN-CS-79-762 (AIM-332), Donald E. Knuth, "METAFONT, a system for
alphabet design", 110 pages, September 1979.

STAN-CS-79-763, Douglas B. West, "A Symmetric Chain Decomposition of
L(4,n)", 15 pages, September 1979.

STAN-CS-79-764, Andrew Chi-Chih Yao, "On the Time-Space Tradeoff for
Sorting with Linear Queries", 33 pages, September 1979.

STAN-CS-79-765, Peter Gacs, "Relation Between the Complexity and the
Probability of Large Numbers", 8 pages, September 1979.

STAN-CS-79-766 (SU326 P3069), J. Kautsky and N. K. Nichols,
"Equidistributing Meshes with Constraints", 27 pages, September 1979.

STAN-CS-79-767, Charles Van Loan, "On Stewart's Singular Value
Decomposition for Partitioned Orthogonal Matrices", 17 pages, September

STAN-CS-79-768, Peter Gacs and Leonid A. Levin, "Causal Networks on What
Is a Deterministic Computation?", 24 pages, September 1979.

STAN-CS-79-769, William John Clancey (Thesis), "Transfer of Rule-Based
Expertise Through a Tutorial Dialogue", 462 pages, September 1979.

STAN-CS-79-770, Derek C. Oppen, "Pretty Printing", 20 pages, October 1979.