perm filename BIBUPD.MSS[BIB,CSR] blob sn#614592 filedate 1981-09-30 generic text, type C, neo UTF8

COMMENT ā VALID 00002 PAGES C REC PAGE DESCRIPTION C00001 00001 C00002 00002 .require "setup.csr[bib,csr]" source file C00021 ENDMK Cā; .require "setup.csr[bib,csr]" source file; .once center F pointer operationsf Update to Computer Science Bibliography of Reports STAN-CS-80-789 (PVG-16, AD-A086 577), D. C. Luckham and W. Polak, %2Ada Exceptions: Specification and Proof Techniques%1, 19 pages, February 1980. STAN-CS-80-790 (AD-A086 838), Gio Wiederhold, %2Databases in Healthcare%1, 76 pages, March 1980. STAN-CS-80-791 (CSL TR-166), Clark R. Wilcox, Mary L. Dageforde, and Gregory A. Jirak, %2MAINSAIL Language Manual%1, 247 pages, March 1980. STAN-CS-80-792 (CSL TR-167), Clark R. Wilcox, Mary L. Dageforde, and Gregory A. Jirak, %2MAINSAIL Implementation Overview%1, 70 pages, March 1980. STAN-CS-80-793 (HPP-80-3, AD-A089 073), Avron Barr and James Davidson, %2Representation of Knowledge%1, 90 pages, March 1980. STAN-CS-80-794 (AD-A091 122), Robert Endre Tarjan, %2Recent Developments in the Complexity of Combinatorial Algorithms%1, 28 pages, June 1980. STAN-CS-80-795, Donald E. Knuth, %2The Letter S%1, 33 pages, April 1980. STAN-CS-80-796 (AIM-335), Arthur Samuel, %2Essential E%1, 33 pages, March 1980. STAN-CS-80-797 (Princeton TR-267, AD-A089 913), Hector Garcia-Molina and Gio Wiederhold, %2Read-Only Transactions in a Distributed Database%1, 25 pages, April 1980. STAN-CS-80-798, Robert W. Floyd and Jeffrey D. Ullman, %2The Compilation of Regular Expressions into Integrated Circuits%1, 28 pages, April 1980. STAN-CS-80-799 (SLAC-PUB-2504), Jerome H. Friedman, Eric Grosse, and Werner Stuetzle, %2Multidimensional Additive Spline Approximation%1, 22 pages, May 1980. STAN-CS-80-800, Donald E. Knuth, %2Deciphering a Linear Congruential Encryption%1, 10 pages, April 1980. STAN-CS-80-801 (AD-A091 384), Ramez Aziz El-Masri (Thesis), %2On the Design, Use, and Integration of Data Models%1, 228 pages, May 1980. STAN-CS-80-802 (PVG-17), Wolfgang Heinz Polak (Thesis), %2Theory of Compiler Specification and Verification%1, 288 pages, May 1980. STAN-CS-80-803, Christopher John Van Wyk (Thesis), %2A Language for Typesetting Graphics%1, 59 pages, May 1980. STAN-CS-80-804 (AIM-336), Martin Brooks (Thesis), %2Determining Correctness by Testing%1, 135 pages, May 1980. STAN-CS-80-805 (AIM-339, AD-A091 081), Donald B. Gennery (Thesis), %2Modelling the Environment of an Exploring Vehicle by Means of Stereo Vision%1, 151 pages, June 1980. STAN-CS-80-806, by William M. Coughran, Jr. (Thesis), %2On the Approximate Solution of Hyperbolic Initial-Boundary Value Problems%1, 177 pages, June 1980. STAN-CS-80-807 (AD-A091 123), David W. Matula and Danny Dolev, %2Path-Regular Graphs%1, 39 pages, June 1980. STAN-CS-80-808 (AIM-337, AD-A091 183), John McCarthy (Principal Investigator), Thomas Binford, David Luckham, Zohar Manna, Richard Weyhrauch (Associate Investigators), %2Basic Research in Artificial Intelligence and Foundations of Programming%1, (75 pages, May 1980). STAN-CS-80-809 (AIM-338), Morgan S. Ohwovoriole (Thesis), %2An Extention of Screw Theory and its Application to the Automation of Industrial Assemblies%1, 186 pages, April 1980. STAN-CS-80-810 (AD-A091 124), J. Michael Steele and Andrew C. Yao, %2Lower Bounds for algebraic Decision Trees%1, 12 pages, July 1980. STAN-CS-80-811 (PVG-18, AD-A091 313), Steven M. German, %2An Extended Semantic Definition of Pascal for Proving the Absence of Common Runtime Errors%1, 57 pages, June 1980. STAN-CS-80-812 (HPP-80-14), Edward A. Feigenbaum, %2Knowledge Engineering: The Applied Side of Artificial Intelligence%1, 14 pages, September 1980. STAN-CS-80-813 (AIM-340), Hans Peter Moravec (Thesis), %2Obstacle Avoidance and Navigation in the Real World by a Seeing Robot Rover%1, 174 pages, September 1980. STAN-CS-80-814 (HPP-80-17, AD-A091 177), Janice S. Aikins (Thesis), %2Prototypes and Production Rules: A Knowledge Representation for Computer Consultations%1, 204 pages, August 1980. STAN-CS-80-815 (HPP-80-16), Edward H. Shortliffe, M.D., Ph.D., %2Two Papers on Medical Computing -- (1) Medical Cybernetics: The Chalenges of Clinical Computing, (2) Consultation Systems for Physicians: The Role of Artificial Intelligence Techniques%1, 56 pages, July 1980. STAN-CS-79-816, Robert L. Blum, M.D., %2Automating the Study of Clinical Hypotheses on a Time-Oriented Data Base: The RX Project%1, 12 pages, November 1979. STAN-CS-79-817, Jeffrey Scott Vitter (Thesis), %2Analysis of Coalesced Hashing%1, 111 pages, August 1980. STAN-CS-80-818 (AIM-341, AD-A091 187), William Louis Scherlis (Thesis), %2Expression Procedures and Program Derivation%1, 178 pages, August 1980. STAN-CS-80-819 (AD-A091 180), Christopher Alan Goad (Thesis), %2Computational Uses of the Manipulation of Formal Proofs%1,130 pages, August 1980. STAN-CS-80-820 (HPP-80-22), William van Melle (Thesis), %2A Domain-Independent System That Aids in Constructiong Knowledge-Based Consultation Programs%1, 192 pages, June 1980. STAN-CS-80-821, Doublas B. West and Craig A. Tovey, %2Semiantichains and Unichain Coverings in Direct Products of Partial Orders%1, 20 pages, September 1980. STAN-CS-80-822,Bengt Aspvall (Thesis),%2Efficient Algorithms for certain Satisfiability and Linear Programming Problems%1, 59 pages, September 1980. STAN-CS-80-823, David Elliot Shaw (Thesis), %2Knowledge-Based Retrieval on a Relational Database Machine%1, 280 pages, August 1980. STAN-CS-80-824,Tung Yun Mei, %2LCCD, A Language for Chinese Character Design%1, 63 pages, October 1980. STAN-CS-80-825, C. P. Schnorr, %2Refined Analysis and Improvements on Some Factoring Algorithms%1, 30 pages, November 1980. STAN-CS-80-826,Gio Wiederhold, Anne Beetem, and Garrett Short, %2Database Approach to Communication in VLSI Design%1, 11 pages, October 1980. STAN-CS-80-827, Andrew Chi-Chih Yao, %2On the Parallel Computation for the Knapsack Problem%1, 11 pages, November 1980. STAN-CS-80-828, Donald E. Knuth and Michael F. Plass, %2Breaking Paragraphs Into Lines%1, 66 pages, November 1980. STAN-CS-80-829, Bengt Aspvall and Frank Liang, %2The Dinner Table Problem%1, 13 pages, December 1980. STAN-CS-80-830, David Matula, Yossi Shiloach and Robert Tarjan, %2Two Linear- Time Algorithms for Five-Coloring a Planar Graph%1, 23 pages, December 1980. STAN-CS-80-831, Daniel D. K. Sleator (Thesis), %2An O(nmlogn) Algorithm for Maximum Network Flow%1, 81 pages, December l980. STAN-CS-80-832, Danny Dolev, %2Scheduling Wide Graphs%1, 43 pages, December 1980. STAN-CS-80-833, John Russell Gilbert (Thesis), %2Graph Separator Theorems and Sparse Gaussian Elimination%1, 104 pages, December 1980. STAN-CS-80-834, Petter E. Bjorstad (Thesis), %2Numerical Solution of the Biharmonic Equation%1, 139 pages, December 1980. STAN-CS-80-835, Eric H. Grosse (Thesis), %2Approximation and Optimization of Electron Density Maps%1, 118 pages, December 1980. STAN-CS-81-836, Zohar Manna and Amir Pnueli, %2Verification of Concurrent Programs, Part I: The Temporal Framework%1, 62 pages, June 1981. STAN-CS-81-837, Bruce G. Buchanan, %2Research on Expert Systems%1, 37 pages, March 1981. STAN-CS-81-838, Peter Brown, %2Dynamic Program Building%1, 13 pages, February 1981. STAN-CS-81-839, Arthur L. Samuel, %2Short Waits%1, 37 pages, February 1981. STAN-CS-81-840, Donald E. Knuth, %2Verification of Link-Level Protocols%1, 6 pages, January 1981. STAN-CS-81-841, Donald E. Knuth, %2Huffman's Algorithm via Algebra%1, 6 pages, March 1981. STAN-CS-81-842, Michael R. Genesereth, %2The Role of Plans In Intelligent Teaching Systems%1, 19 pages, November 1980. STAN-CS-81-843, Zohar Manna and Amir Pnueli, %2Verification of Concurrent Programs, Part II: Temporal Proof Principles%1, 51 pages, September 1981. STAN-CS-81-844, Zohar Manna and Amir Pnueli, %2Verification of Concurrent Programs, Part III: Proving Eventualities%1, 35 pages, March 1981. STAN-CS-81-845, Zohar Manna and Amir Pnueli, %2Verification of Concurrent Programs, Part IV: The Non-temporal Alternative%1, 45 pages, March 1981. STAN-CS-81-846, Danny Dolev, %2The Byzantine Generals Strike Again%1, 26 pages, March 1981. STAN-CS-81-847, Henry F. Korth, %2The Optimal Locking Problem in a Directed Acyclic Graph%1, 6 pages, March 1981. STAN-CS-81-848, Chih-sung Tang, %2On the Problem of Inputting Chinese Characters%1, 9 pages, April 1981. STAN-CS-81-849, Tohru Nishigaki, %2Experiments on the Knee Criterion in a Multiprogrammed Computer System%1, 28 pages, March 1981. STAN-CS-81-850, Alfred Z. Spector, %2Performing Remote Operations Efficiently on a Local Computer Network%1, 23 pages, December 1980. STAN-CS-81-851, Gio Wiederhold, %2Binding in Information Processing%1, 41 pages, May 1981. STAN-CS-81-852, Jeffrey D. Ullman, %2A View of Directions in Relational Database Theory%1, 9 pages, May 1981. STAN-CS-81-853, David Maier & Jeffrey D. Ullman, %2Connections in Acyclic Hypergraphs%1, 10 pages, May 1981. STAN-CS-81-854, D. Dolev & A.C. Yao, %2On the Security of Public Key Protocols%1, 22 pages, May 1981. STAN-CS-81-855, Z. Manna & R. Waldinger, %2Deductive Synthesis of the Unification Algorithm%1, 51 pages, June 1981. STAN-CS-81-856, Richard P. Gabriel (Thesis), %2An Organization for Programs in Fluid Domains%1, 190 pages, May 1981. STAN-CS-81-857, Jonathan Jay King(Thesis), %2Query Optimization by Semantic Reasoning%1, 128 pages, May 1981. STAN-CS-81-858, V. Pan, %2The Bit-Operation Complexity of Approximate Evaulation of Matrix & Polynomial Products Using Modular Arithmetic%1, 6 pages, June 1981. STAN-CS-81-859, V. Pan, %2The Additive and Logical Complexities of Linear and Bilinear Arithmetic Algorithms%1, 21 pages, June 1981. STAN-CS-81-860, Daniel Boley (Thesis), %2Computing the Controllability/Observability Decomposition of a Linear Time Invariant Dynamic System, A Numerical Approach%1, 81 pages, June 1981. STAN-CS-81-861, Rodney A. Brooks(Thesis), %2Symbolic Reasoning Among 3-D Models and 2-D Images%1, 181 pages, June 1981. STAN-CS-81-862, V. Pan, %2The Lower Bounds on the Additive Complexity of Bilinear Problems in Terms of Some Algebraic Quantities%1, 4 pages, June 1981. STAN-CS-81-863, Donald E. Knuth & Allan A. Miller, %2A Programming and Problem- Solving Seminar%1, 84 pages, June 1981. STAN-CS-81-864, Jon Doyle, %2Three Short Essays on Decisions, Reasons, and Logics%1, 19 pages, May 1981. STAN-CS-81-865, Chih-sung Tang, %2Toward A Unified Logical Basis for Programming Languages%1, 21 pages, June 1981. STAN-CS-81-867, D.C. Luckham, H.J. Larsen, D.R. Stevenson, F.W. von Henke, %2ADAM - An Ada Based Language for Multi-processing%1, 71 pages, July 1981. STAN-CS-81-868, Donald E. Knuth, %2The Last Whole Errata Catalog%1, 42 pages, July 1981. STAN-CS-81-869,Carolyn E. Tajnai, %2Comprehensive Examinations in Computer Science - 1978/79 to 1980/81%1, 225 pages, July 1981. STAN-CS-81-870, Michael F. Plass(Thesis), %2Optimal Pagination Techniques for Automatic Typesetting Systems%1, 77 pages, June 1981. STAN-CS-81-871, Howard W. Trickey, %2Good Layouts for Pattern Recognizers%1, 15 pages, August 1981. STAN-CS-81-872, Z. Manna & Pierre Wolper, %2Synthesis of Communicating Processes from Temporal Logic Specifications%1, 28 pages, September 1981. STAN-CS-81-873, Richard William Carr(Thesis), %2Virtual Memory Management%1, 230 pages, August 1981. STAN-CS-81-874, Alfred Z. Spector(Thesis), %2Multiprocessing Architectures for Local Computer Networks%1, 125 pages, August 1981. STAN-CS-81-875, T. C. Hu & M. T. Shing, %2Computation of Matrix Chain Products, Part I, Part II%1, 124 pages, September 1981.