perm filename SUPLMT[BIB,CSR]1 blob sn#470875 filedate 1979-09-04 generic text, type C, neo UTF8

COMMENT ⊗ VALID 00002 PAGES C REC PAGE DESCRIPTION C00001 00001 C00002 00002 S T A N F O R D U N I V E R S I T Y C00016 ENDMK C⊗; S T A N F O R D U N I V E R S I T Y Stanford, California 94305 Department of Computer Science Publications Office This is a supplemental listing to the Bibliography of Stanford Computer Science Reports. Reports Announced During 1979 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 Soft- ware 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 Program- ming", 58 pages, January 1979. STAN-CS-79-713, Gene Golub, Stephen Nash and Charles Van Loan, "A Hessenberg- Schur Method for the Problem AX + XB = C", 50 pages, January 1979. STAN-CS-79-714 (CSL-TN-160), Fernando Castaneda, Frederick Chow, Peter Nye, Dan Sleator and Gio Wiederhold, "PCFORT: A Fortran-to-Pcode Translator", January 1979. STAN-CS-79-715 (CSL-TN-161), Brent T. Hailpern and Bruce L. Hitson, "S-1 Architecture Manual", January 1979. STAN-CS-79-716 (AIM-322), Michael Georgeff, "A Framework for Control in Produc- tion 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, "Extrapo- lation of Asymptotic Expansions by a Modified Aitken %Ad"↑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, Gio Wiederhold and Ramez El-Masri, "A Structural Model for Data- base Systems", 57 pages, March 1979. STAN-CS-79-723, Edward H. Shortliffe, Bruce G. Buchanan and Edward A. Feigenbaum, "Knowledge Engineering for Medical Decision Making: a review of computer- based clinical decision aids", 52 pages, February 1979. STAN-CS-79-724 (AIM-325), John McCarthy, "First Order Theories of Individual Concepts and Propositions", 19 pages, March 1979. STAN-CS-79-725 (AIM-326), 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, August 1979. STAN-CS-79-731 (P.V. α#11), 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, 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), J. R. Quinlan, "Induction Over Large Data Bases", 19 pages, May 1979. STAN-CS-79-740, 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 Algor- ithms", 123 pages, June 1979. STAN-CS-79-742 (HPP-79-12), 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 Simula- tion 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 1979. STAN-CS-79-749 (HPP-79-17), William Clancey, James Bennett and Paul Cohen, "Applications-Oriented AI Research: Education", 60 pages, July 1979. STAN-CS-79-750, 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 Pro- grams", 36 pages, September 1979. STAN-CS-79-752, Michael Lockhart Overton (Thesis), "Projected Lagrangian Algor- ithms for Nonlinear Minimax and l↓1 Optimization", 164 pages, July 1979. STAN-CS-79-753, Andrew Chi-Chih Yao, "Should Tables Be Sorted?", 36 pages, July 1979. STAN-CS-79-754 (HPP-79-21), 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 Pro- gramming", 100 pages, July 1979. STAN-CS-79-759 (HPP-79-25), Alain Bonnet, "Schema-Shift Strategies for Understand- ing Structured Texts in Natural Language", 40 pages, July 1979.