/LMAR=0/XLINE=10/FONT#0=NGR25/FONT#1=BAXM30/FONT#2=NONLB/FONT#3=SAIL25/FONT#4=FIX25/FONT#5=MATH30/FONT#6=NGB40/FONT#9=GRKL30



␈↓"β␈↓ α∧␈↓␈↓ ¬'␈↓αREPORTS PRINTED IN 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␈↓#
2␈↓#I)␈α
Maximum␈↓∧-␈↓↓Flow␈α
Algorithm␈↓,␈α
33␈αpages,␈α
January
␈↓ α∧␈↓␈↓ β$1979.

␈↓"β␈↓ α∧␈↓STAN␈↓∧-␈↓CS␈↓∧-␈↓79␈↓∧-␈↓703,␈α∞,␈α∞,␈α∞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,␈α
,␈α
,␈α
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,␈α,␈α,␈α
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,␈α→,␈α→,␈α→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,␈α∞,␈α∞,␈α∞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 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␈α
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␈α∃Bj␈↓¬O␈↓rstad,␈α∃Germund␈α∃Dahlquist␈α∃and␈α∃Eric␈α∃Grosse,␈α∃␈↓↓Extrapolation␈α∃of
␈↓ α∧␈↓↓␈↓ β$Asymptotic Expansions by a Modified Aitken ␈↓	d␈↓↓␈↓#
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␈αDatabase␈α
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,␈α,␈α,␈α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,␈α
,␈α,␈α
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.