perm filename THESIS.PUB[BIB,CSR]2 blob sn#520587 filedate 1980-06-23 generic text, type C, neo UTF8
C00001 00001
C00002 00002	.require "setup.csr[bib,csr]" source file
C00003 00003	.once center
C00052 ENDMK
.require "setup.csr[bib,csr]" source file;
.font A "coron";
96∞~iYa5	]↓"∧⊃EaI)E%1α)J¬↓∧≠?7C/#πS'}sπ1αn{∪↔0hS←'SBα∪πS
α≠3?:αO↔G.+;∂'v9∃E1β	MAβε∨↔Mbα∪↔∂.k↔Iβ	eYaph(4*∞;'91∧;↔Kπf!04*≥"ε96≥→5]Ik→AU↓α↓"ε&jiE]Mb↓↓↓α!]UU→e%0hQ∃JK/βK↔O.sSπSN{9βπv!α∪↔≡≠K'C&K?9β}1α∂W↔3↔⊃α}∪+↔∂'→∃E1β	IUβε∨↔MbαπW∨/≠P4)I]I8hP4*∞S∂OebαKWk.s¬04U~Rε9l~M5]∩iMIEαBε&5k	aA1∧
α7↔SF{⊃β≠␈⊂4*∪/#↔K7Ns';≥π##∃α≡K∪∃α.3≠↔∂'→β?→¬βK?∂.#WK∃∧≠π33~)E1↓∪AMβC∞;↔M1∧s?[↔n∪↔H4S	e]aph(4*⊗KOS␈91α∪∂3'⊃0hRNRεrj∞M5;95YQ
↓"ε&jiMAabαε⊃6↓UM↓AQ%1α)JπW&{7πSN_4*∂}sOSK.≠S'?rβ?→α∞c∨?KO##7M+	1↓I∪↓βCπ>+M1α&+∂↔7⊗+I↓EK9]84Ph*π.+I1αF+;Ke¬⊃91αLJ%04U~Rε9l~M5]∩iMIQαB∞N1m"I5QBaαB	∪	QYE∩I04)+∩OWπ∪?3.kMβ?2βS#∃εi↓∃SB)Iβ9¬≠↔GW.s∂';:αCK?⊗c↔5∃
I04)+∩∨↔?n+SK'~α7?∪.c';≥ε3?Iα≡{7CW&+Iα[O≠'?9+	1↓E#	βCπ>+M1αv{[↔7⊗+I↓EK9Q84Ph*?fc↔M1¬∪?↔↔!α
9`h*NRq6∞Mk9]5UK	↓↓"J55IK)%1↓+∩[↔KN3'∂π&K?84U3'O'}qα←'&C'9↓ε	αCK};Kπ7n3∃∧OO↔n∪3e↓¬≠gOS.i∃E1β⊃QU↓πβπ∨↔~aα≠↔↔∪WπKHh)Ee;984(hR?KvK;≥1∧3π9`h*NRq6∞Mk9e5]#11↓∃∃##';<cπ	↓jiα¬α≡{;OS⊗';Qjα?K'.sS↔⊂hRO'7.cπS'}qα3π⊗{KπS␈∪e∃Eb↓EAeπβπ∨↔~aα+WgI↓Ee;I84(hRK↔w!1αIr`4*N$
96∞~i]E5Ia↓"!]IY9A%1α)Jπ3>{K'SFkMβ≠␈⊃α≠'v#';≤hRk↔K␈→βπ;"α↔cS⊗+7¬β}1α≠Wv≠S'?w→β←'&C?WQ∧≠π3∂.cπS'v9↓α∪/∪'[π&K[↔M+	1↓I+4+C∞;↔M1∧3↔K.Ke↓I]E8hP4*⊗{?/Mbα7πK&K904U~Rε9l~M5aαiaAQb)J∪↔&+K7'vK;≥α≡{KK↔∨#;↔O~βeα&+OS'v9∃E0hQEMUπβπ∨↔~aα7πJ↓Eeaαp4(4T∪K?SRaα∪?.;3πM∧Y904U~Rε9l~M5]"iQQMαBB	5∪→Y↓Q;	>εMJa↓∃J.k↔∪&K;≤4TC↔WKO≠S'
a↓EA∩βCπ∨/→1αππ∪'1↓I]]8hP4*.∪∃1α↑+;;↔&AαA9`h*NRq6∞Mk9a5YK	↓"ε"j¬AY2↓AUaJa↓∃J&C∃α∂}sOSK.≠S'?ph+?→∧K;'SN1α∪∂#¬β≠␈⊃α#gε+K?fK
¬βK?∨⊗77'v9∃E1β	QYβε∨↔Mbα?∂S}∪↔I↓I]Q8hP4*.c;↔Mm∪?kπ~aα+W∞q04*≥"ε96≥→5]ek9QM↓D
&55≠⊃a%1α)J≡>ai↓α
α∨?π`h*?KN+;S↔"α∂?7n;⊃αf;∨W∞;∃β≠␈⊃α';&+Kπ∂&K[∃απ∪??→∧≠?;O'∪W∂SN{9∃Eb↓E]Uπβπ∨↔~`4*+.s∃↓EK9e84Ph*∂π&K?U1∧S↔π9`h*NRq6∞Mk9I5I31↓↓"J55E3→1↓βv{Q↓↓εQ↓αu"&M%`h)∃J⊗+∂WK≡K[∃↓αα∪↔≠Ns'S'}sM↓↓ε{→↓αεKS'∞a↓↓β∞s⊃↓↓∧3W;∂&K?;Mα↓βπ;"↓αS#.KH4*≡{7CW&S'?r)E1↓1AβC∞;↔M1∧kπK∂B↓Ee]∩p4(4T≠πKS?∪'∨#"aαK?⊗+KQ1∧SI90hRNRεrj∞M5;95Ue∩↓↓"εLi5Ie2I1↓∃∀λ4*C⊗∂S'≡1↓α6{K7πbαO↔7∞sS'
αα∪↔≠Ns'S'}qβπ;"↓α[↔⊗K≠'∂∂#'?9ααOgO&+7Mβ6{H4*'KC↔⊃∧b&NA+	1↓E+AβCπ>+M1α6+∨KW∂∪e↓EK9]84Ph*∂π/≠↔e1¬⊃:19`h*NRq6∞Mk1Q5Eα↓"ε⊃3↓MEY~I1↓∃∀{9↓α≡c?O↔∨!α;?⊗kπ04TkπSKN≠↔M∃
βCπ∨/→1α+.s∃↓EK1Q84Ph*∂#∞q1αS}seα→t→904U~Rε9l~M5]BiY]Ib↓∃J∂}kCπKO≠?9β}1α;Wn+K'∂∞aα7↔&C?∪LhS≠?I∧K;'SN1α[∞cW∃απ∪?3.kM∃Eb↓EeUπβπ∨↔~aα+Wv)↓Ee;A84(hR∂#πv#K¬1∧O#?Zα-90hRNRεrj∞M5;→5MM2↓"ε&jiEaab↓αε⊃;)aYQ2I1↓∃∀{84+&C∃↓απ∪?C↔↔#'↔Mαβπ;⊃ααπCCfK∂πSN{;Mβ}1↓αC⊗{∨Kπj↓αO∂F+7πM+	1↓↓∪⊃UβC∞;↔M0hR+π;.Ke↓I]M8hP4*∂f;∂↔Jaα←'fc'π5∧S?#9`h*NRq6∞Mk9e5]3I↓"ε"j¬Aa~↓QMIJa↓∃J'∪π;O6+Iβ?2αKW3*iαπ≡+⊂4*/CC↔K&KO∃α&CK?W>Aβ¬α'+S?KN1α∪N3?∨.)∃E1β!YIβε∨↔MbαO↔C&+7↔∩↓Ee]Jp4(4T≠Kπ;*aα∂3∂∪-α¬r`4*N$
96∞~i]I5∪)e↓"∧⊃IAa+IU%1α)J3'v+πIαfKOSMε;⊂4UβK'?⊗KSeα∂+↔W↔~βπMα⊗3π;≡+⊃αNsπKe¬#K↔↔~)E1↓→EβC∞;↔M1∧3↔K.Ke↓I]I8hP4*∪∂3'M1¬∪π;∪∞c104U~Rε9l~M5]2iUYQα↓"ε&jiIaMbα"BAk9Y5]Ja↓↓∃∀CC3N≠πS'}sMβ?0h*7↔&	↓α3/3↔1α↑s?←3.#∨∃↓π#=βSF)↓α∂}sOSK.≠S'?raα7πNsS↔;∞s∂∃↓ε;⊃↓¬+O∃β}04*3∂∪∨∃α↑s?←3.#∨∃α⊗O↔M+	1↓Mβ!βCπ>+M1αW+3e↓I]Y8hP4*∪↔KO∪πf)1αK}∪↔KQ∧c↔←'~↓"O∂␈!%1αLJ%04U~Rε9l~M5]Ji]AUb↓∃J∨.s↔KπfKk↔⊂hR[?K}s?%α&Kπ∨K∞kMβπv!α∨↔}k↔SKN→αO↔∂∪∂#'v9∃E1β	eYβε∨↔Mbα+π;.Ke↓I]e8hP4*↔bj7πO⊗I1αK∞k↔iα∂S'i0hRNRεrj∞M5C↓5aA
a↓∃J}qβS#*α∪↔ON;91α/≠∃1β∞s⊂4*NsS↔∨⊗S'?rβ?→α&S¬αn{∪↔3~)E1↓∪⊃aβC∞;↔M1∧kπe↓IaA8hP4*≠∞c-1α:q04*≥"ε96≥→5]Ak	aA↓αBε&5k	MI1ααε⊃])YYUJa↓↓∃∀≠?7C/#↔H4TK;S↔↔βK↔S∂#'?9ε{→α'oβ↔K≠.≠Qα3Ns∃α∪∂#¬βπ~β¬↓α&CK↔∃l#'7↔w≠'?;∞aαO∂.s∃∃E`h)Ea:βCπ∨/→1α?∨#?↔∩↓Ee]αp4(4T3π;≥bα'OU`h*NRq6∞Mk9I5M∪I↓"B∪⊃Eaa;)%1↓+∩≠?3'→1↓α
96∞~i]]53→M↓"J55Mβ)1αε"j¬AQB↓YYAJ`4)∃∀k?S'6S'?rβπ;⊃∧K;S↔w≠'?;∞c'SeεK9β¬∧≠?7C/#↔Iα≡K7W3∂#'?9∧k?∪↔b)E1↓↓QβC∞;↔M0hR?∂S}∪↔I↓I]]8hP4*≠Nc7π9bαK?/∪Qα↔fc'?Q`h*NRq6∞Mk9e5]∪9↓"εLi5MI:I1↓∃∃##∃αNsS↔K∞≠S'?ph+?→∧{O↔↔3πS'}qβπ;"α';≠/∪↔;∂*)E1↓∪→UβC∞;↔M1∧kπK∂B↓Ee]Jp4(4T3';/.a1αK∞3π↔1`h*NRq6∞Mk9Y5U39↓"εLi5Ia"I1↓↓+∩∂?;∨#KW∂&K;≥β∞s⊂4*&+W∨>K;≥αn;'C.cπS?∩αCK??∪π7M+	1↓E;	βCπ>+MβC∞;↔M1∧W∨W∨!↓Ee;184(hR≠K↔&kπ91∧k'∂#∞+1α1r`4*N$
⊃]QC1AY%b↓∃J∨⊗{←S hRCK?ε+KS'/→β?→αβ¬α∂fOMβ}1↓αK.≠WKOO3↔3e∧#↔≠'v+⊃α≠.s∂S'}sM∃Eb↓↓aQπβπ∨↔~`4*+.s∃↓EK9I84Ph*≠KN+∪3πv!1αC/#↔Iα*q04*≥"ε96≥→5]ek9]E↓DBBA5;I5IeJa↓∃J↑s?←3&;∃6∂≠↔⊂4T+cC↔⊗K7↔;"α∪↔ON;9β'rα7?3.≠W3π∩α∨↔;/#'∂M+	1↓E≠9βCπ>+M1α∂+∨WO"↓Ee]Jp4(4T;π;πεS#ebαM90hRNRεrj∞M5;)5UI*↓"ε&jiI]IJa↓↓∃∃∪↔∂?w≠SKW∨#'?9ε{_4*≡+∂;↔~α∂?;&';'v9↓αC}cg#↔'∪¬β≠⊗{5αO&+K↔=ααCπ'∩β?→α6K↔←M+	1↓↓∪↓QβC∞;↔M0hR;?[.k↔Iβ	e]Uph(4*>K∂'
α∪'O'∪'W&+⊂4*&Sπ∂~Q/εe%1, 320 pages, June 1979.

Gennery, Donald B.
%2Modelling the Environment of an Exploring Vehicle by Means of Stereo Vision%1,
151 pages, June 1980.

George, J.A.,
STAN-CS-71-208   (AD726171),  %2Computer
Implementation of the Finite Element Method%1, 220 pages, March 1971.

George, J.E.,
STAN-CS-71-227 (SLAC-134), %2GEMS - A Graphical
Experimental Meta System%1, 184 pages, July 1971.

Gieger, Charles, III,
STAN-CS-74-419 (AIM-233, AD-A000  086),
%2Conceptual Memory:  A Theory and Computer Program for Processing the
Meaning Content of Natural Language Utterances%1, 393 pages, May 1974.

Ginsparg, Jerrold,
STAN-CS-78-671 (AIM-316), %2Natural Language
Processing in an Automatic Programming Domain%1, 172 pages, June 1978.

Gips, James,
STAN-CS-74-413 (AIM-231,  AD-A001 814), %2 Shape
Grammars and Their Uses%1, 243 pages, March 1974.

Goldman, N.M.,
STAN-CS-74-461  (AIM-247,  AD-A005  041),
%2Computer  Generation  of  Natural Language  from  a  Deep Conceptual
Base%1, 316 pages, October 1974.

Grace, D.W.,
STAN-CS-65-15 (AD611366), %2Computer  Search for
Non-Isomorphic Convex Polyhedra%1, 137 pages, January 1965.

Graham, Susan,
STAN-CS-71-223   (PB203429),  %2Precedence
Languages and Bounded Right Context Languages%1, 192 pages, July 1971.

Grape, Gunnar Rutger,
STAN-CS-73-366  (AIM-201,  AD763673),
%2Model Bases  (Intermediate-Level) Computer  Vision%1, 256  pages, May

Green, C.C.,
STAN-CS-69-138  (AIM-96,  AD696394),  %2The
Application of  Theorem Proving  to Question-Answering  Systems%1, 162
pages, June 1969.

Guibas, L.J.,
STAN-CS-76-556,  %2The  Analysis  of Hashing
Algorithms%1, 136 pages, August 1976.

Hanna, Marsha Jo,
STAN-CS-74-438  (AIM-239,   AD786720),
%2Computer Matching of Areas in Stereo Images%1, 99 pages, July 1974.

Hemphill, Linda G.,
STAN-CS-76-534 (AIM-273),  %2A Conceptual
Approach to Automatic  Language Understanding and  Belief Structures:
With Disambiguation of the Word `For' %1, 254 pages, January 1976.

Hoffman, L.J.,
STAN-CS-70-161 (SLACR-117, not at NTIS), %2The
Formulary Model for Access Control and Privacy in  Computer Systems%1,
81 pages, May 1970.

Horning, J.J.,
STAN-CS-69-139 (AIM-98, AD695401),  %2A Study
of Grammatical Inference%1, 166 pages, August 1969.

Huberman, B.,
STAN-CS-68-106 (AIM-65, AD673971),  %2A Program
to Play Chess End Games%1, 168 pages, August 1968.

Jenkins, M.A.
STAN-CS-69-143  (AD694464),  %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.

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

Kaplan, D.M.,
STAN-CS-68-101 (AIM-60, AD672923), %2The Formal
Theoretic Analysis of Stront Equivalence for Elemental Programs%1, 263
pages, June 1968.

Karp, Richard Alan,
STAN-CS-79-783 (PVG-14), %2Proving Concurrent
Systems Correct%1, 151 pages, November 1979.

Kaufman, Linda,
STAN-CS-72-276 (AD745022), %2A  Generalized LR
Method to Solve Ax = Bx%1, 70 pages, April 1972.

Kaufman, Linda C.,
STAN-CS-73-363 (Serra, PB222099),  %2The LZ
Algorithm to  Solve the Generalized  Eigenvalue Problem%1,  101 pages,
May 1973.

Kelly, M.,
STAN-CS-70-168  (AIM-130,  AD713252),  %2Visual
Identification of People by Computer%1, 138 pages, July 1970.

Knott, G.D.,
STAN-CS-75-491,  %2Deletion in  Binary Storage
Trees%1, 93 pages, May 1975.

Kogge, Peter M.,
STAN-CS-72-314 (CSL-TR-43,  PB212893),
%2Parallel Algorithms  for the  Efficient Solution  of Recurrence
Problems%1 (Part I), 74 pages, September 1972.

Kogge, Peter M.,
STAN-CS-72-315 (CSL-TR-44,  PB212894),
%2The Numerical  Stability  of Parallel  Algorithms  for Solving
Recurrence Problems%1 (Part II), 49 pages, September 1972.

Kogge, Peter M.,
STAN-CS-72-316 (CSL-TR-45,  PB212828),
%2Minimal Paralellism  in the Solution of  Recurrence Problems%1 (Part III),
45 pages, September 1972.

Lang, Tomas,
STAN-CS-74-427 (CSL-TN-36, PB232624/AS),
%2Performing the Perfect Schuffle in an Array Computer%1 (excerpt), 18 pages, May

Lang, Tomas,
STAN-CS-74-428 (CSL-TR-76, PB232633/AS),
%2Interconnections  Between Precessors  and Memory  Modules  Using the
Schuffle-Exchange Network%1 (excerpt), 32 pages, May 1974.

Lenat, Douglas,
STAN-CS-76-570 (AIM-286), %2AM:  An Artificial
Intelligence  Approach  to  Discovery  in  Mathematics  as  Heuristic
Search%1, 350 pages, July 1976.

Lengauer, Thomas,
STAN-CS-79-745 (AD-A076 264), %2Upper and Lower
Bounds on Time-Space Tradeoffs in a Pebble Game%1, 82 pages, July 1979.

Lesser, V.,
STAN-CS-72-309  (CSL-TR-157,  not  at  NTIS),
%2Dynamic Control Structures and  Their Use in Emulation%1,  251 pages,
August 1972.

Levine, David R.,
STAN-CS-73-343 (not  at NTIS), %2Computer-Based
Analytic  Grading for German  Grammar Instruction%1,  220 pages,
March 1973.

Lewis, John Gregg,
STAN-CS-77-595,  %2Algorithms  for Sparse
Matrix Eigenvalue Problems%1, 212 pages, April 1977.

Low, J.R.,
STAN-CS-74-452 (AIM-242, AD-A000 500), %2Automatic
Coding:  Choice of Data Structures%1, 110 pages, September 1974.

Luk, Franklin Tai-cheung,
STAN-CS-78-685 (AD-A065 285), %2Sparse
and Parallel Matrix Computations%1, 168 pages, December 1978.

Lukes, J.A.,
STAN-CS-72-293   (CSL-TN-32,   PB212234),
%2Combinatorial Solutions to  Partitioning Problems%1, 130  pages, June

Malcolm, Michael A.,
STAN-CS-73-372  (AD767970),
%2Nonlinear Spline Functions%1 (Part II), 60 pages, June 1973.

Malcolm, Michael A.,
STAN-CS-73-374 (AD764275), %2A
Machine-Independent  ALGOL  Procedure  for   Accurate  Floating-Point
Summation%1 (excerpt), 5 pages, June 1973.

McCune, Brian P.,
STAN-CS-79-772 (AIM-333), %2Building Program
Models Incrementally from Informal Descriptions%1, 146 pages, October 1979.

McKeeman, W.M.,
STAN-CS-66-48 (SS639-166), %2An  Approach to
Computer Language Design%1, 124 pages, August 1966.

Meyers, W.J.,
STAN-CS-71-222   (PB235417/AS),  %2Linear
Representation   of  Tree   Structure  (a   Mathematical   Theory  of
Parenthesis-Free Notations)%1, 245 pages, June 1971.

Mitchell, Tom Michael,
STAN-CS-78-711, %2Version Spaces:  An
Approach to Concept Learning%1, 216 pages, December 1978.

Model, Mitch L,
STAN-CS-79-701, %2Monitoring System Behavior in a
Complex Computational Environment%1, 189 pages, January 1979.

Moler, C.B.,
STAN-CS-65-22 (AD616676),  %2Finite Difference
Methods for  the Eigenbales  of Laplace's  Operator%1, 142  pages, May

Mont-Reynaud, Bernard,
STAN-CS-77-644, %2Hierarchical Properties of
Flows and the Determination of Inner Loops%1, 164 pages, December 1977.

Morris, F. Lockwood,
STAN-CS-72-303  (AIM-174,  PB212827),
%2Correctness of Translations of Programming Languages -  an Algebraic
Approach%1, 125 pages, August 1972.

Nevatia, Ramkant,
STAN-CS-74-464  (AIM-250,  AD-A003 488),
%2Structured Descriptions  of Complex  Curved Objects  for Recognition
and Visual Memory%1, 125 pages, November 1974.

Newey, M.C.,
STAN-CS-75-475 (AIM-257, AD-A005 413), %2Formal
Semantics  of LISP  with  Applications to  Program  Correctness%1, 184
pages, January 1975.

O'Leary, D. Prost,
STAN-CS-76-548, %2Hybrid Conjugate Gradient
Algorithms%1, 120 pages, March 1976.

Orcutt, Samuel E.,
STAN-CS-74-429  (CSL-TR-70,  PB232623/AS),
%2Efficient  Data   Routing  Schemes  for   ILLIAC  IV-Type
Computers%1 (excerpt), 31 pages, May 1974.

Orcutt, Samuel E.,
STAN-CS-74-430  (CSL-TR-71,  PB234513/AS),
%2A  Novel   Parallel  Computer   Architecture   and  Some
Applications%1 (excerpt), 44 pages, May 1974.

Overton, Michael Lockhart,
STAN-CS-79-752, %2Projected Lagrangian
Algorithms for Nonlinear Minimax and %Al%2↓1 Optimization%1, 164 pages, July

Paul, Richard,
STAN-CS-72-311  (AIM-177,  not  at  NTIS),
%2Modelling,  Trajectory  Calculation  and  Servoing  of   a  Computer
Controlled Arm%1, September 1972.

Persson, S.,
STAN-CS-66-50 (AIM-46, PB176761), %2Some Sequence
Extrapulating Programs:  A  Study of Representation and  Modelling in
Inquiring Systems%1, 176 pages, September 1966.

Peterson, James L.,
STAN-CS-74-410 (CSL-TR-46, PB231926/AS),
%2Modelling of Parallel Systems%1, 241 pages, February 1974.

Pieper, D.,
STAN-CS-68-116   (AIM-72,   AD680036),  %2The
Kinematics  of  Manipulators  Under  Computer  Control%1,  157  pages,
October 1968.

Pohl, I.,
STAN-CS-69-136  (SLACR-104,  not  at NTIS),
%2Bi-Directional and  Heuristic Search in  Path Problems%1, 157  pages, May

Polak, Wolfgang Heinz,
STAN-CS-80-802 (PVG-17), %2Theory of Compiler
Specification and Verification%1, 288 pages, May 1980.

Pratt, Vaughan R.,
STAN-CS-72-260 (AD740110),  %2Shellsort and
Sorting Networks%1, 59 pages, February 1972.

Quam, Lynn,
STAN-CS-71-219 (AIM-144, not at NTIS), %2Computer
Comparison of Pictures%1, 120 pages, May 1971.

Ramos, G.O.,
STAN-CS-70-146 (not at NTIS),  %2Roundoff Error
Analysis of the Fast Fourier Transform%1, February 1970.

Ramshaw, Lyle Harold,
STAN-CS-79-741, %2Formalizing the Analysis of
Algorithms%1, 123 pages, June 1979.

Reddy, D.R.,
STAN-CS-66-49 (AIM-43, SS640-836), %2An Approach
to Computer  Speech Recognition by  Direct Analysis of  Speech Wave%1,
143 pages, September 1966.

Reiser, John F.,
STAN-CS-77-601 (AD-A045 652), %2Analysis of
Additive Random Number Generators%1, 34 pages, April 1977.

Richman, P.,
STAN-CS-68-105 (AD673674), %2Epsiolon-Calculus%1,
138 pages, August 1968.

Riddle, William E.,
STAN-CS-72-271  (not  at  NTIS), %2The
Modeling and Analysis of Supervisory Systems%1, 174 pages, March 1972.

Riesbeck, C.K.,
STAN-CS-74-437  (AIM-238,  AD-A005  040),
%2Computational  Understanding:  Analysis  of Sentences  and Context%1,
245 pages, July 1974.

Rivest, Ronald L.,
STAN-CS-74-415 (PB233065/AS), %2Analysis of
Associative Retrieval Algorithms%1, 109 pages, April 1974.

Roderick, Michael,
STAN-CS-76-571  (AIM-287),  %2Discrete
Control of a Robot Arm%1, 98 pages, August 1976.

Rudin, B.D.,
STAN-CS-65-23 (AD618214),  %2Convex Polynomial
Approximation%1, 44 pages, June 1965.

Russell, D.L.,
STAN-CS-76-563,  %2State  Restoration Among
Communicating Processes%1, 173 pages, August 1976.

Ryder, John,
STAN-CS-71-245  (AIM-155,   not  at   NTIS),
%2Heuristic Analysis of Large Trees  as Generated in the Game  of Go%1,
350 pages, November 1971.

Samet, H.,
STAN-CS-75-498   (AIM-259,   AD-A017   025),
%2Automatically  Proving  the  Correctness  of  Translations Involving
Optimized Code%1, 214 pages, August 1975.

Satterthwaite, E.H., Jr.,
STAN-CS-75-494,  %2Source Language
Debugging Tools%1, 345 pages, May 1975.

Schank, R.C.,
STAN-CS-69-130  (AIM-83,  PB183907),  %2A
Conceptual   Dependency   Representation   for   a  Computer-Oriented
Semantics%1, 201 pages, March 1969.

Schlumberger, Maurice,
STAN-CS-74-424   (CSL-TR-80,   PB232602/AS),
%2Logorithmic Communications Networks%1 (Chapter 1), 38 pages,
May 1974.

Schlumberger, Maurice,
STAN-CS-74-425   (CSL-TR-81,   PB232598/AS),
%2Vulnerability  of   deBruijn  Communications
Networks%1 (Chapter 2), 68 pages, May 1974.

Schlumberger, Maurice,
STAN-CS-74-426 (CSL-TR-82, PB232597),
%2Queueing  Equal  Length  Messages  in   a  Logorithmic
Network%1 (Chapter 3), 75 pages, May 1974.

Schmidt, Rod,
STAN-CS-71-231 (AIM-149, AD732644), %2A Study of
the  Real-Time  Control of  a  Computer Driven  Vehicle%1,  180 pages,
August 1971.

Sedgewick, R.,
STAN-CS-75-492,  %2Quicksort%1, 352  pages, May

Shaw, A.C.,
STAN-CS-68-94   (SLACR-84),   %2The  Formal
Description and Parsing of Pictures%1, 205 pages, April 1968.

Shimano, Burce E.,
STAN-CS-78-660 (AIM-313), %2The Kinematic Design
and Force Control of Computer Controlled Manipulators%1, 135 pages, March

Shortliffe, E.H.,
STAN-CS-74-465  (AIM-251, AD-A001  373),
%2MYCIN:  A  Rule-Based  Computer  Program  for   Advising  Physicians
Regarding Antimicrobial Therapy Selection%1, 409 pages, November 1974.

Shustek, Leonard J.,
STAN-CS-78-658 (SLAC-205), %2Analysis and
Performance of Computer Instruction Sets%1, 177 pages, March 1978.

Simon, Istvan,
STAN-CS-77-608, %2On Some Subrecursive
Reducibilities%1, 102 pages, June 1977.

Sites, Richard L.,
STAN-CS-74-418  (PB233045/AS), %2Proving
That Computer Programs Terminate Cleanly%1, 143 pages, May 1974.

Smith, A.,
STAN-CS-74-449 (CSL-TR-89, AD785027), %2Performance
Analysis of Computer Systems Components%1, 323 pages, September 1974.

Smith, A.,
STAN-CS-74-451 (CSL-TR-91, AD786999),
%2A Modified Working Set Paging Algorithm%1 (Chapter 5), 40 pages, October 1974.

Smith, D.C.,
STAN-CS-75-499  (AIM-260),  %2PYGMALION:   A
Creative Programming Environment%1, 193 pages, August 1975.

Smith, L.B.,
STAN-CS-69-131  (SLAC-96), %2The  Use  of Man-
Machine Interaction in Data-Fitting Problems%1, 287 pages, March 1969.

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

Stefik, Mark Jeffrey,
STAN-CS-80-784 (HPP-80-2), %2Planning with
Constraints%1, 230 pages, January 1980.

Stoutemyer, David R.,
STAN-CS-72-283  (not  at  NTIS),  %2Numerical
Implemtation  of  the  Schwarz  Alternating  Procedure  for  Elliptic
Partial Differential Equations%1, 131 pages, May 1972.

Strikwerd, J.C.,
STAN-CS-76-565  (AD-A032 802), %2Initial
Boundary  Value  Problems for  Incompletely  Parabolic  Systems%1, 107
pages, November 1976.

Stritter, Edwin P.,
STAN-CS-77-594   (SLAC-200), %2File
Migration%1, 112 pages, April 1977.

Suzuki, Norihsa,
STAN-CS-76-552   (AIM-279),  %2Automatic
Verification of  Programs with Complex  Data Structures%1,  194 pages,
February 1976.

Sweet, Richard E.,
STAN-CS-78-698, %2Empirical Estimates of Program
Entropy%1, 167 pages, November 1978.

Swinehart, Daniel C.,
STAN-CS-74-412  (AIM-230,  AD786721),
%2COPILOT:   A Multiple  Process Approach  to  Interactive Programming
Systems%1, March 1974.

Tarjan, R.,
STAN-CS-71-244   (AD738027),   %2An  Efficient
Planarity Algorithm%1, 154 pages, November 1971.

Taylor, Russell,
STAN-CS-76-560  (AIM-282),  %2Synthesis of
Manipulator  Control  Programs from  Task-level  Specifications%1, 229
pages, July 1976.

Tenenbaum, J.,
STAN-CS-70-182   (AIM-134,   AD748565),
%2Accomodation in Computer Vision%1, 452 pages, Septmeber 1970.

Tixier, V.,
STAN-CS-67-58 (PB176766), %2Recursive Functions of
Regular Expressions in Language Analysis%1, 146 pages, March 1967.

Trabb Pardo, Louis,
STAN-CS-78-681 (AD-A065 283), %2Set
Representation and Set Intersection%1, 85 pages, December 1978.

Underwood, R.,
STAN-CS-75-496 (SU326 P30-41), %2An Iterative
Block  Lanczos  Method for  the  Solution of  Large  Sparse Symmetric
Eigenproblems%1, 133 pages, May 1975.

Valdes, Jacobo,
STAN-CS-78-682 (AD-A065 265), %2Parsing Flowcharts
and Series-Parallel Graphs%1, 233 pages, December 1978.

Van Wyk, Christopher John,
STAN-CS-80-803, %2A Language for
Typesetting Graphics%1, 59 pages, May 1980.

Varah, J.M,
STAN-CS-67-66 (AD652921), %2The  Computation of
Bounds for the Invariant Subspaces of a General Matrix Operator%1, 240
pages, May 1967.

Vicens, P.,
STAN-CS-69-127 (AIM-85,  AD687720),  %2Aspects of
Speech Recognition by Computer%1, 210 pages, April 1969.

Vuillemin, Jean Etienne,
STAN-CS-73-393  (AIM-218,   AD772063/4WC),
%2Proof  Techniques  for  Recursive  Programs%1,  97  pages,
October 1973.

Wagner, Todd Jeffery,
STAN-CS-77-632 (AIM-304, AD-A048 684),
%2Hardware Verification%1, 102 pages, October 1977.

Wakerly, John,
STAN-CS-74-421 (CSL-TR-51, PB232356/AS), %2Low-Cost
Error Detection Techniques for Small Computers%1, 232  pages, May

Waterman, D.,
STAN-CS-68-118  (AIM-74,  AD681027), %2Machine
Learning of Heuristics%1, 235 pages, December 1968.

Wilkins, David E.,
STAN-CS-79-747 (AIM-329, AD-A076 872), %2Using
Patterns and Plans to Solve Problems and Control Search%1, 264 pages, June

Wright, Margaret,
STAN-CS-76-566,  %2Numerical  Methods for
Nonlinearly Constrained Optimization%1, 262 pages, November 1976.

Yakimovsky, Yoram,
STAN-CS-73-380 (AIM-209,  AD767695/O WC),
%2Scene Analysis Using a Semantic Base for Region Growing%1, 120 pages,
June 1973.

Yu, F.S.,
STAN-CS-76-554,  %2Modeling the Write  Behavior of
Computer Programs%1, 185 pages, June 1976.

Zolnowsky, John E.,
STAN-CS-78-659 (SLAC-206), %2Topics in
Computational Geometry%1, 63 pages, March 1978.