perm filename THESES.PUB[BIB,CSR]3 blob sn#478261 filedate 1979-10-01 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00005 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00004 00003	.begin center
C00015 00004	STAN-CS-74-410 (TR-46), James L. Peterson,
C00026 00005	STAN-CS-79-701, Mitch L Model,
C00036 ENDMK
C⊗;
.DEVICE XGP;
.SINGLESCRIPT
.SPACING 10*5 MILLS;
.PAGE FRAME 45 HIGH 80 WIDE
.TITLE AREA HEADING LINES 1 TO 3
.AREA TEXT LINES 4 TO 45
.EVERY HEADING (COMPUTER SCIENCE REPORTS,,{PAGE})
.
.turn on "↔" for "→"
.turn on "%,π,α,#,&,∂,↑,↓,[,]"
.turn on "∩" for "↑"
.turn on "∪" for "↓"
.
.font 1 "sail25";
.font 2 "grkl30";
.
.SELECT 1
.
.AT 8 ⊂ONCE INDENT 5;⊃
.at "@" ⊂"####"⊃
.
.PLACE TEXT;
.
.next page
BLANK PAGE
.NEXT PAGE
.begin center
APPENDIX B
THESES
.end
.SKIP
.begin indent 0,10,0
STAN-CS-64-10, R. L. Causey,
"On Closest Normal Matrices"

STAN-CS-65-15, D. W. Grace,
"Computer Search for Non-Isomorphic Convex Polyhedra"

STAN-CS-65-22, C. B. Moler,
"Finite Difference Methods for the Eigenbales of Laplace's Operator"

STAN-CS-65-23, B. D. Rudin,
"Convex Polynomial Approximation"

STAN-CS-66-48, W. M. McKeeman,
"An Approach to Computer Language Design"

STAN-CS-66-49 (AIM-43), D. R. Reddy,
"An Approach to Computer Speech Recognition by Direct Analysis of Speech Wave"

STAN-CS-66-50 (AIM-46), S. Persson,
"Some Sequence Extrapulating Programs:  A Study of Representation and Modelling in Inquiring Systems"

STAN-CS-67-58, V. Tixier,
"Recursive Functions of Regular Expressions in Language Analysis"

STAN-CS-67-66, J. M. Varah,
"The Computation of Bounds for the Invariant Subspaces of a General Matrix Operator"

STAN-CS-68-94, A. C. Shaw,
"The Formal Description and Parsing of Pictures"

STAN-CS-68-101 (AIM-60), D. M. Kaplan,
"The Formal Theoretic Analysis of Stront Equivalence for Elemental Programs"

STAN-CS-68-105, P. Richman,
"Epsiolon-Calculus"

STAN-CS-68-106 (AIM-65), B. Huberman,
"A Program to Play Chess End Games"

STAN-CS-68-116 (AIM-72), D. Pieper,
"The Kinematics of Manipulators Under Computer Control"

STAN-CS-68-117, D. Adams,
"A Computational Model with Data Flow Sequencing"

STAN-CS-68-118 (AIM-74), D. Waterman,
"Machine Learning of Heuristics"

STAN-CS-69-127 (AIM-85), P. Vicens,
"Aspects of Speech Recognition by Computer"

STAN-CS-69-130 (AIM-83), R. C. Schank,
"A Conceptual Dependency Representation for a Computer-Oriented Semantics"

STAN-CS-69-131 (SLAC-96), L. B. Smith,
"The Use of Man-Machine Interaction in Data-Fitting Problems"

STAN-CS-69-136 (SLACR-104), I. Pohl,
"Bi-Directional and Heuristic Search in Path Problems"

STAN-CS-69-138 (AIM-96), C. C. Green,
"The Application of Theorem Proving to Question-Answering Systems"

STAN-CS-69-139 (AIM-98), J. J. Horning,
"A Study of Grammatical Inference"

STAN-CS-69-143, M. A. Jenkins,
"Three-Stage Variable-Shift for the Solution of Polynomial Equations with a Posteriori Error Bounds for the Zeros"

STAN-CS-70-146, G. O. Ramos,
"Roundoff Error Analysis of the Fast Fourier Transform"

STAN-CS-70-161 (SLACR-117), L. J. Hoffman,
"The Formulary Model for Access Control and Privacy in Computer Systems"

STAN-CS-70-168 (AIM-130), M. Kelly,
"Visual Identification of People by Computer"

STAN-CS-70-180 (AIM-132), G. Falk,
"Computer Interpretation of Imperfect Line Data as a Three-Dimensional Scene"

STAN-CS-70-182 (AIM-134), J. Tenenbaum,
"Accomodation in Computer Vision"

STAN-CS-71-198, R. Brent,
"Algorithms for Finding Zeros and Extrema of Functions without Calculating Derivatives"

STAN-CS-71-208, J. A. George,
"Computer Implementation of the Finite Element Method"

STAN-CS-71-219 (AIM-144), Lynn Quam,
"Computer Comparison of Pictures"

STAN-CS-71-222, W. J. Meyers,
"Linear Representation of Tree Structure (a Mathematical Theory of Parenthesis-Free Notations)"

STAN-CS-71-223, Susan Graham,
"Precedence Languages and Bounded Right Context Languages"

STAN-CS-71-227 (SLAC-134), J. E. George,
"GEMS - A Graphical Experimental Meta System"

STAN-CS-71-231 (AIM-149), Rod Schmidt,
"A Study of the Real-Time Control of a Computer Driven Vehicle"

STAN-CS-71-244, R. Tarjan,
"An Efficient Planarity Algorithm"

STAN-CS-71-245 (AIM-155), John Ryder,
"Heuristic Analysis of Large Trees as Generated in the Game of Go"

STAN-CS-72-259, Clark A. Crane,
"Linear Lists and Priority Queues as Balanced Binary Trees"

STAN-CS-72-260, Vaughan R. Pratt,
"Shellsort and Sorting Networks"

STAN-CS-72-266 (AIM-163), Jean Cadiou,
"Recursive Definitions of Partial and Functions and Their Computation"

STAN-CS-72-271, William E. Riddle,
"The Modeling and Analysis of Supervisory Systems"

STAN-CS-72-276, Linda Kaufman,
"A Generalized LR Method to Solve Ax = Bx"

STAN-CS-72-293 (TN-32), J. A. Lukes,
"Combinatorial Solutions to Partitioning Problems"

STAN-CS-72-296, Michael L. Fredman,
"Growth Properties of a Class of Recursively Defined Functions"

STAN-CS-72-303 (AIM-174), F. Lockwood Morris,
"Correctness of Translations of Programming Languages - an Algebraic Approach"

STAN-CS-72-305 (AIM-173), Gerald Agin,
"Representation and Description of Curved Objects"

STAN-CS-72-309 (TR-157), V. Lesser,
"Dynamic Control Structures and Their Use in Emulation"

STAN-CS-72-311 (AIM-177), Richard Paul,
"Modelling, Trajectory Calculation and Servoing of a Computer Controlled Arm"

STAN-CS-72-314 (TR-43), Peter M. Kogge,
"Parallel Algorithms for the Efficient Solution of Recurrence Problems (Part 1)"

STAN-CS-72-315 (TR-44), Peter M. Kogge,
"The Numerical Stability of Parallel Algorithms for Solving Recurrence Problems (Part 2)"

STAN-CS-72-316 (TR-45), Peter M. Kogge,
"Minimal Paralellism in the Solution of Recurrence Problems (Part 3)"

STAN-CS-72-321 (AIM-180), Ruzena Bajcsy,
"Computer Identification of Textured Visual Scenes"

STAN-CS-72-324 (TR-48), Henry R. Bauer, III,
"Subproblems of the m X n Sequencing Problem"

STAN-CS-72-329, Isu Fang,
"Folds, A Declarative Formal Language Definition System"

STAN-CS-73-336 (AIM-188), Ashok K. Chandra,
"On the Properties and Applications of Program Schemas"

STAN-CS-73-343, David R. Levine,
"Computer-Based Analytic Grading for German Grammar Instruction"

STAN-CS-73-363, Linda C. Kaufman,
"The LZ Algorithm to Solve the Generalized Eigenvalue Problem"

STAN-CS-73-366 (AIM-201), Gunnar Rutger Grape,
"Model Bases (Intermediate-Level) Computer Vision"

STAN-CS-73-372, Michael A. Malcolm,
"Nonlinear Spline Functions (Part 2)"

STAN-CS-73-380 (AIM-209), Yoram Yakimovsky,
"Scene Analysis Using a Semantic Base for Region Growing"

STAN-CS-73-393 (AIM-218), Jean Etienne Vuillemin,
"Proof Techniques for Recursive Programs"

STAN-CS-74-410 (TR-46), James L. Peterson,
"Modelling of Parallel Systems"

STAN-CS-74-412 (AIM-230), Daniel C. Swinehart,
"COPILOT:  A Multiple Process Approach to Interactive Programming Systems"

STAN-CS-74-413 (AIM-231), James Gips,
"Shape Grammars and Their Uses"

STAN-CS-74-415, Ronald L. Rivest,
"Analysis of Associative Retrieval Algorithms"

STAN-CS-74-418, Richard L. Sites,
"Proving That Computer Programs Terminate Cleanly"

STAN-CS-74-419 (AIM-233), Charles Rieger, III,
"Conceptual Memory:  A Theory and Computer Program for Processing the Meaning Content of Natural Language Utterances"

STAN-CS-74-421 (TR-51), John Wakerly,
"Low-Cost Error Detection Techniques for Small Computers"

STAN-CS-74-424 (TR-80), Maurice Schlumberger,
"Logorithmic Communications Networks (Chapter 1)"

STAN-CS-74-425 (TR-81), Maurice Schlumberger,
"Vulnerability of deBruijn Communications Networks (Chapter 2)"

STAN-CS-74-426 (TR-82), Maurice Schlumberger,
"Queueing Equal Length Messages in a Logorithmic Network (Chapter 3)"

STAN-CS-74-437 (AIM-238), C. K. Riesbeck,
"Computational Understanding:  Analysis of Sentences and Context"

STAN-CS-74-438 (AIM-239), Marsha Jo Hanna,
"Computer Matching of Areas in Stereo Images"

STAN-CS-74-443, Douglas K. Brotz,
"Embedding Heuristic Problem Solving Methods in a Mechanical Theorem Prover"

STAN-CS-74-449 (TR-89), A. Smith,
"Performance Analysis of Computer Systems Components"

STAN-CS-74-452 (AIM-242), J. R. Low,
"Automatic Coding:  Choice of Data Structures"

STAN-CS-74-458 (AIM-245), J. Buchanan,
"A Study in Automatic Programming"

STAN-CS-74-461 (AIM-247), N. M. Goldman,
"Computer Generation of Natural Language from a Deep Conceptual Base"

STAN-CS-74-463 (AIM-249), Bruce Baumgart,
"Geometric Modeling for Computer Vision"

STAN-CS-74-464 (AIM-250), Ramakant Nevatia,
"Structured Descriptions of Complex Curved Objects for Recognition and Visual Memory"

STAN-CS-74-465 (AIM-251), E. H. Shortliffe,
"MYCIN:  A Rule-Based Computer Program for Advising Physicians Regarding Antimicrobial Therapy Selection"

STAN-CS-75-475 (AIM-257), M. C. Newey,
"Formal Semantics of LISP with Applications to Program Correctness"

STAN-CS-75-491, G. D. Knott,
"Deletion in Binary Storage Trees"

STAN-CS-75-492, R. Sedgewick,
"Quicksort"

STAN-CS-75-494, E. H. Satterthwaite, Jr.,
"Source Language Debugging Tools"

STAN-CS-75-496, R. Underwood,
"An Iterative Block Lanczos Method for the Solution of Large Sparse Symmetric Eigenproblems"

STAN-CS-75-498 (AIM-259), H. Samet,
"Automatically Proving the Correctness of Translations Involving Optimized Code"

STAN-CS-75-499 (AIM-260), D. C. Smith,
"PYGMALION:  A Creative Programming Environment"

STAN-CS-75-525 (AIM-272), S. Ganapathy,
"Reconstruction of Secnes Containing Polyhedra from Stereo Pair of Views"

STAN-CS-76-534 (AIM-273), Linda G. Hemphill,
"A Conceptual Approach to Automatic Language Understanding and Belief Structures: With Disambiguation of the Word 'For' "

STAN-CS-76-548, D. Prost O'Leary,
"Hybrid Conjugate Gradient Algorithms"

STAN-CS-76-552 (AIM-279), Norihsa Suzuki,
"Automatic Verification of Programs with Complex Data Structures"

STAN-CS-76-554, F. S. Yu,
"Modeling the Write Behavior of Computer Programs"

STAN-CS-76-556, L. J. Guibas,
"The Analysis of Hashing Algorithms"

STAN-CS-76-560 (AIM-282), Russell Taylor,
"Synthesis of Manipulator Control Programs from Task-level Specifications"

STAN-CS-76-563, D. L. Russell,
"State Restoration Among Communicating Processes"

STAN-CS-76-564 (AIM-283), Randall Davis,
"Applications of Meta Level Knowledge to the Construction, Maintenance and Use of Large Knowledge Bases"

STAN-CS-76-565, J. C. Strikwerda,
"Initial Boundary Value Problems for Incompletely Parabolic Systems"

STAN-CS-76-566, Margaret Wright,
"Numerical Methods for Nonlinearly Constrained Optimization"

STAN-CS-76-567 (AIM-284), Rafael Finkel,
"Constructing and Debugging Manipulator Programs"

STAN-CS-76-570 (AIM-286), Douglas Lenat,
"AM: An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search"

STAN-CS-76-571 (AIM-287), Michael Roderick,
"Discrete Control of a Robot Arm"

STAN-CS-77-591 (AIM-295), Robert C. Bolles,
"Verification Vision Within a Programmable Assembly System"

STAN-CS-77-592 (AIM-296), Robert Cartwright, Jr.,
"A Practical Formal Semantic Definition and Verification Systems for Typed LISP"

STAN-CS-77-594 (SLAC-200), Edwin P. Stritter,
"File Migration"

STAN-CS-77-595, John Gregg Lewis,
"Algorithms for Sparse Matrix Eigenvalue Problems"

STAN-CS-77-600, Mark R. Brown,
"The Analysis of a Practical and Nearly Optimal Priority Queue"

STAN-CS-77-601, John F. Reiser,
"Analysis of Additive Random Number Generators"

STAN-CS-77-608, Istvan Simon,
"On Some Subrecursive Reducibilities"

STAN-CS-77-632 (AIM-304), Todd Jeffery Wagner,
"Hardware Verification"

STAN-CS-77-633 (AIM-305), William Faught,
"Motivation and Intensionality in a Computer Simulation Model"

STAN-CS-77-641 (AIM-308), David Barstow,
"Automatic Construction of Algorithms"

STAN-CS-77-644, Bernard Mont-Reynaud,
"Hierarchical Properties of Flows and the Determination of Inner Loops"

STAN-CS-78-658 (SLAC-205), Leonard J. Shustek,
"Analysis and Performance of Computer Instruction Sets"

STAN-CS-78-659 (SLAC-206), John E. Zolnowsky,
"Topics in Computational Geometry"

STAN-CS-78-660 (AIM-313), Bruce E. Shimano,
"The Kinematic Design and Force Control of Computer Controlled Manipulators"

STAN-CS-78-671 (AIM-316), Jerrold Ginsparg,
"Natural Language Processing in an Automatic Programming Domain"

STAN-CS-78-672, Tony F. C. Chan,
"Comparison of Numerical Methods for Initial Value Problems"

STAN-CS-78-676 (SLACR-213), John Phineas Banning,
"A Method for Determining the Side Effects of Procedure Calls"

STAN-CS-78-681, Louis Trabb Pardo,
"Set Representation and Set Intersection"

STAN-CS-78-682, Jacobo Valdes,
"Parsing Flowcharts and Series-Parallel Graphs"

STAN-CS-78-685, Franklin Tai-cheung Luk,
"Sparse and Parallel Matrix Computations"

STAN-CS-78-691, Kenneth P. Bube,
"The Construction of Initial Data for Hyperbolic Systems from Nonstandard Data"

STAN-CS-78-698, Richard E. Sweet,
"Empirical Estimates of Program Entropy"

STAN-CS-78-700 (HPP-78-28), Reid Garfield Smith,
"A Framework for Problem Solving in a Distributed Processing Environment"

STAN-CS-79-701, Mitch L Model,
"Monitoring System Behavior in a Complex Computational Environment"

STAN-CS-79-705, Robert Lewis (Scot) Drysdale, III,
"Generalized Voronoi Diagrams and Geometric Searching"

STAN-CS-78-711, Tom Michael Mitchell,
"Version Spaces:  An Approach to Concept Learning"

STAN-CS-79-727 (AIM-327), Robert Elliot Filman,
"The Interaction of Observation and Inference"

STAN-CS-79-741, Lyle Harold Ramshaw,
"Formalizing the Analysis of Algorithms"

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

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

STAN-CS-79-745, Thomas Lengauer,
"Upper and Lower Bounds on Time-Space Tradeoffs in a Pebble Game"

STAN-CS-79-746, Alan Borning,
"ThingLab -- A Constraint-Oriented Simulation Laboratory"

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

STAN-CS-79-753, Michael Lockhart Overton,
"Projected Lagrangian Algorithms for Nonlinear Minimax and l↓1 Optimization"

STAN-CS-79-755 (AIM-331), Elaine Kant,
"Efficiency Considerations in Program Synthesis: A Knowledge-Based Approach"