UW-Madison Computer Science Ph.D.s Awarded, May 1965 - August 1970
1964-65
Keller, Sister Mary Kenneth
"Inductive Inference on Computer Generated Patterns"
May 21, 1965, Preston C. Hammer
1966-67
Jamet, Pierre
"Numerical Methods and Existence Theorems for Singular Linear
Boundary-Value Problems"
March 14, 1967, S. V. Parter
Pereyra, Victor Luis
"Highly Accurate Discreet Methods for Nonlinear Problems"
February 23, 1967, S. V. Parter
1967-68
Cirina, Marco
"On the Boundary Controllability of Nonlinear Hyperbolic Systems"
May 31, 1968, J. B. Rosen
Linz, Peter
"Numerical Methods for Volterra Integral Equations with
Applications to Certain Boundary-Value Problems"
January 11, 1968, B. Noble
Loscalzo, Frank R.
"On the Use of Spline Functions for the Numerical Solution of
Ordinary Differential Equations"
May 20, 1968, I. J. Schoenberg
Meyer, Robert R.
"Solution of Some Nonconvex Problems by Iterative Convex Programming"
February 8, 1968, J. B. Rosen
Su, Yueh-Wei (Stanley)
"A Distributional Theory of Meaning"
August 12, 1968, R. L. Venezky
Talbot, Thomas D.
"Guaranteed Error Bounds for Computed Solutions of Nonlinear Two-Point
Boundary Value Problems"
June 11, 1968, R. E. Moore
Timmreck, Eric M.
"Advising by Computers: Course Advising, Medical Treatment, General
Advising"
July 3, 1968, L. Uhr
1968-69
Douglas, Alan J.
"Approximation of Functions in Relative Error"
October 11, 1968, J. H. Halton
Shirey, Robert W.
"Implementation and Analysis of Efficient Graph Planarity
Testing Algorithms"
March 27, 1969, E. F. Moore
Tavernini, Lucio
"Numerical Methods for Volterra Functional Differential Equations"
August 14, 1969, C. W. Cryer
Williams, John H.
"Bounded Context Parsable Grammars"
January 16, 1969, E. F. Moore
1969-70
Cheung, To-Yat
"Quasilinear Partial Differential Equations with Inverse Positive
Property. Numerical Solution and Error Bounds"
June 2, 1970, J. B. Rosen
Cho, Choong Yun
"Inversion of Hankel and Toeplitz Matrices"
November 6, 1969, Ben Noble
Fabens, William J. H.
"An Adaptive Interactive Teaching System for Programming
Languages"
August 13, 1970, L. Uhr
Garey, Michael R.
"Optimal Binary Decision Trees for Diagnostic Identification Problems"
May 21, 1970, E. F. Moore
Good, Donald I.
"Toward a Man-Machine System for Proving Programs Correct"
May 22, 1970, R. L. London
Grigoriadis, Michael D.
"A Projective Method for a Class of Structured Nonlinear Programming
Problems"
June 2, 1970, J. B. Rosen
Heindel, Lee E.
"Algorithms for Exact Polynomial Root Calculation"
July 15, 1970, G. E. Collins
Horowitz, Ellis
"Algorithms for Symbolic Integration of Rational Functions"
November 25, 1969, G. E. Collins
Hung, Hing-Sum
"The Numerical Solution of Differential and Integral Equations by
Spline Functions"
June 3, 1970, J. B. Rosen
Leinius, Ronald P.
"Error Detection and Recovery for Syntax-Directed Compiler Systems"
May 27, 1970, D. R. Fitzwater
Merten, Alan G.
"Some Quantitative Techniques for File Organization"
June 3, 1970, M. E. Muller
Petznick, George W.
"Combinatory Programming"
May 28, 1970, J. B. Rosser
Robertson, Edward L. III
"Properties of Complexity Classes and Sets in Abstract Computational
Complexity"
August 13, 1970, L. H. Landweber
Schultz, David H.
"Experimental Numerical Solution of the Navier Stokes Equations for
the Flow of a Fluid in a Heated Closed Cavity"
August 4, 1970, D. Greenspan
Towster, Edwin
"Several Methods of Concept-Formation by Computer"
December 12, 1969, L. Uhr
Wasserman, Anthony I.
"Achievement of Skill and Geneality in an Artificial Intelligence
Program"
June 3, 1970, R. L. London
Wexler, Jonathan D.
"A Generative, Remedial and Query System for Teaching by Computer"
March 2l, 1970, L. Uhr
Zeidman, Edward A.
"The Evaluation of Multidimensional Integrals by the Monte Carlo
Sequential Stratification Method"
June 29, 1970, J. H. Halton
Zobrist, Albert L.
"Extraction and Representation of Features for Pattern Recognition
and the Game of GO"
August 10, 1970, L. Uhr