COMMENT ⊗   VALID 00012 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.device xgp
C00003 00003	.begin nofill
C00004 00004	↔*
C00005 00005	↔*
C00006 00006	↔*
C00007 00007	Stanford Verification Group↔October 1979
C00008 00008	Stanford Heuristic Programming Project↔August 1979
C00009 00009	Stanford Artificial Intelligence Project↔November 1979
C00010 00010	↔*
C00011 00011	↔*
C00012 00012	↔*
C00015 ENDMK
C⊗;
.device xgp;
.singlescript
.spacing 10*5 mills;
.page frame 48 high 80 wide
.area text lines 1 to 48
.
.turn on "↔" for "→"
.turn on "%,π,α,#,&,∂,↑,↓,[,]"
.turn on "∩" for "↑"
.turn on "∪" for "↓"
.font 1 "ngr40l";
.font 3 "math30";
.font 4 "grkl40";
.font 5 "ngr30"; <<for title pages>>
.at "|cd" ⊂"%3α*%*"⊃
.
.select 1
.
.place text;
.
.next page
.begin nofill
↔SU326 P30-69
.skip 5
.begin center
EQUIDISTRIBUTING MESHES WITH CONSTRAINTS
.skip
by
.skip
J. Kautsky
N. K. Nichols
.skip 5
STAN-CS-79-766
September 1979
.skip 4
D E P A R T M E N T   O F   C O M P U T E R   S C I E N C E
School of Humanities and Sciences
STANFORD UNIVERSITY
.end
.next page
↔*
.skip 5
.begin center
ON STEWART'S SINGULAR VALUE DECOMPOSITION
FOR PARTITIONED ORTHOGONAL MATRICES
.skip
by
.skip
Charles van Loan
.skip 5
STAN-CS-79-767
September 1979
.skip 4
D E P A R T M E N T   O F   C O M P U T E R   S C I E N C E
School of Humanities and Sciences
STANFORD UNIVERSITY
.end
.next page
↔*
.skip 5
.begin center
CAUSAL NETWORKS ON
WHAT IS A DETERMINISTIC COMPUTATION?
.skip
by
.skip
Peter Gacs
Leonid A. Levin
.skip 5
STAN-CS-79-768
September 1979
.skip 4
D E P A R T M E N T   O F   C O M P U T E R   S C I E N C E
School of Humanities and Sciences
STANFORD UNIVERSITY
.end
.next page
↔*
.skip 5
.begin center
TRANSFER OF RULE-BASED EXPERTISE THROUGH
A TUTORIAL DIALOGUE
.skip
by
.skip
William John Clancey
.skip 5
STAN-CS-79-769
September 1979
.skip 4
D E P A R T M E N T   O F   C O M P U T E R   S C I E N C E
School of Humanities and Sciences
STANFORD UNIVERSITY
.end
.next page
Stanford Verification Group↔October 1979
Report No. PVG-13
.skip
Department of Computer Science
Report No. STAN-CS-79-770
.skip 5
.begin center
PRETTY PRINTING
.skip
by
.skip
Derek C. Oppen
.skip 5
D E P A R T M E N T   O F   C O M P U T E R   S C I E N C E
School of Humanities and Sciences
STANFORD UNIVERSITY
.end
.next page
Stanford Heuristic Programming Project↔August 1979
Memo HPP-79-29
.skip
Department of Computer Science
Report No. STAN-CS-79-771
.skip 5
.begin center
KNOWLEDGE-BASED EXPERIMENT DESIGN
IN MOLECULAR GENETICS
.skip
by
.skip
Peter E. Friedland
.skip 5
D E P A R T M E N T   O F   C O M P U T E R   S C I E N C E
School of Humanities and Sciences
STANFORD UNIVERSITY
.end
.next page
Stanford Artificial Intelligence Project↔November 1979
Report No. AIM-333
.skip
Department of Computer Science
Report No. STAN-CS-79-772
.skip 5
.begin center
BUILDING PROGRAM MODELS INCREMENTALY
FROM INFORMAL DESCRIPTIONS
.skip
by
.skip
Brian P. McCune
.skip 5
D E P A R T M E N T   O F   C O M P U T E R   S C I E N C E
School of Humanities and Sciences
STANFORD UNIVERSITY
.end
.next page
↔*
.skip 5
.begin center
UPDATING FORMULAE AND A PAIRWISE ALGORITHM
FOR COMPUTING SAMPLE VARIANCES
.skip
by
.skip
Tony F. Chan
Gene H. Golub
Randall J. LeVeque
.skip 5
STAN-CS-79-773
November 1979
.skip 4
D E P A R T M E N T   O F   C O M P U T E R   S C I E N C E
School of Humanities and Sciences
STANFORD UNIVERSITY
.end
.next page
↔*
.skip 5
.begin center
LARGE SCALE GEODETIC LEAST SQUARES ADJUSTMENT
BY DISSECTION AND ORTHOGONAL DECOMPOSITION
.skip
by
.skip
Gene H. Golub
Robert J. Plemmons
.skip 5
STAN-CS-79-774
November 1979
.skip 4
D E P A R T M E N T   O F   C O M P U T E R   S C I E N C E
School of Humanities and Sciences
STANFORD UNIVERSITY
.end
.next page
↔*
.skip 5
.begin center
THE ANALYSIS OF SEQUENTIAL EXPERIMENTS
WITH FEEDBACK TO SUBJECTS
.skip
by
.skip
Peter Diaconis
Ronald Graham
.skip 5
STAN-CS-79-775
November 1979
.skip 4
D E P A R T M E N T   O F   C O M P U T E R   S C I E N C E
School of Humanities and Sciences
STANFORD UNIVERSITY
.end
.next page