Ramon E. Moore

rmoore17@columbus.rr.com
Born: 12/27/29, Sacramento, California

Education:

AB, Physics, University of California-Berkeley, 1950
PhD, Mathematics, Stanford University, 1963

Professional experience:

1986-2000 Professor, Computer and Information Science, Ohio State Univ.
1982-86 Professor, Mathematics, Univ.of Texas-Arlington
1968-81 Professor, Computer Sciences, Univ. of Wisconsin-Madison
1965-68 Associate Professor, Univ. of Wisconsin-Madison
1965 Mathematics Research Center, Univ. of Wisconsin-Madison
1956-64 Lockheed Palo Alto Research Laboratories
1953-56 Univ. of California Radiation Laboratory-Livermore
1950-53 Computing Center, Aberdeen Proving Ground, Maryland

Visiting Professorships:

1980 Freiburg, Germany
1975 Karlsruhe, Germany
1974 Oxford, England
1967 Stockholm, Sweden

Consulting:

2004 Michigan State University
2000-02 Sun Microsystems
1985-86 Lockheed MSC
1978-79 The World Bank

Membership:

Society for Industrial and Applied Mathematics

Awards:

Alexander von Humboldt Foundation, US Senior Scientist Award, 1975, 1980

Publications:

Books authored:

Introduction to Interval Analysis (with R. Baker Kearfott and Michael J. Cloud), SIAM Press, 2009, ISBN 978-0-898716-69-6
Computational Functional Analysis, second edition (with M. J. Cloud), Horwood Publishing, 2007
Computational Functional Analysis, Ellis Horwood and John Wiley, 1985
Methods and Applications of Interval Analysis, S.I.A.M., 1979
Mathematical Elements of Scientific Computing, Holt, Rinehart & Winston, 1975
Computation and Theory in Ordinary Differential Equations (with J. W. Daniel), W. Freeman & Co., 1970
Interval Analysis, Prentice-Hall, 1966

Books edited:

Reliability in Computing, Academic Press, 1988

Selected refereed papers:

Introductory remarks on reliable engineering computing, Reliable Computing, 12, 6 (2006), 405-408
Order relations and rigor in computing, Proceedings of the ACM Symposium on Applied Computing SAC'2005, Santa Fe, New Mexico, March 13-17 (2005), 1431-1433
Interval analysis and fuzzy set theory (with Weldon Lodwick), Fuzzy Sets and Systems, 135 (2003), 5-9
Sparse systems in fixed point form, Reliable Computing, Vol. 8, No. 4 (2002), 249-265
Interval analysis:systems of nonlinear equations; Interval analysis: differential equations, in Encyclopedia of Optimization (Eds: C.A. Floudas & P.M. Pardalos) Kluwer Academic (2001), 8-11, 34-40
Numerical solutions of differential equations to prescribed accuracy, Computers and Mathematics with Applications, 28, 10/12 (1994), 253-261
On the resolution of close minima, Computers and Mathematics with Applications, 25, 10/11 (1993), 57-58
Parameter sets for bounded-error data, Mathematics and Computers in Simulation, 34 (1992), 113-119
Rigorous methods for parallel global optimization (with E. Hansen and A. Leclerc), in Recent Advances in Global Optimization (Eds: C.A. Floudas & P.M. Pardalos), Princeton Univ. Press (1992), 321-342
Interval tools for computer-aided proofs in analysis, in Computer Aided Proofs in Analysis, (Eds: K. Meyer & D. Schmidt), Springer (1991), 211-216
Simple simultaneous super-and subfunctions, Journal of Integral Equations, 8, 1985, 165-174
Set-valued extensions of integral inequalities, J. Integral Equations, 5, 1983, 187-198
A generalization of the method of upper and lower solutions for integral equations, Nonlinear Analysis TMA, 6, 8, 1982, 829-831
On computing the range of values (with N.S.Asaithambi&Shen Zuhe), Computing 28, 1982, 225-237
New results on nonlinear systems, in Interval Mathematics 1980 (ed. K. Nickel), Academic Press (1980), 165-180
Interval methods for nonlinear systems, Computing, Suppl. 2, 1980, 113-120
A simple test for accuracy of approx. solutions to nonlinear systems (with J.B. Kioustelidis), SIAM J. Numer. Anal., 17, 4, 1980, 521-529
A computational test for convergence of iterative methods for nonlinear systems, SIAM J. Numer. Anal., 15, 1978, 1194-1196
Bounding sets in function spaces with application to nonlinear operator equations, SIAM Review, 20, 1978, 492-512
Safe starting regions for iterative methods (with S. T. Jones), SIAM J. Numer. Anal., 14, 6, 1977, 1051-1065
A test for existence, SIAM J. Numer. Anal., 14, 4, 1977, 611-615
Two-sided approximations to solutions of nonlinear operator equations--a comparison of methods from classical analysis, functional analysis and interval analysis, in Interval Mathematics (Ed. K. Nickel), Lecture Notes in Computer Science, 29, Springer (1975), 31-47
On the stability of linear recurrence relations with arbitrary time lags, J. Computer & System Sciences, 4, 4, 1970, 377-383
Functional analysis for computers, In Funktional-analytische Methoden der Numerische Mathematik, Birkhauser (1969), 113-126
Practical aspects of interval computation, Aplikace Mathematiky, Svacek 13, Prague, 1968, 52-92
Inviscid flow in an accelerating cylindrical container (with L.M. Perko), J. Fluid Mechanics, 22, part 2, 1965, 305-320
Automatic coordinate transformations ..., in Error in Digital Computation, Vol II, (Ed. L.B. Rall), Wiley (1965), 103-140
The automatic analysis and control of error in digital computation based on the use of interval numbers, in Error in Digital Computation, Vol I, (Ed. L.B. Rall), Wiley (1965)
Interval arithmetic and automatic error analysis in digital computing, PhD dissertation, Stanford University (1962), published as Applied Mathematics and Statistics Laboratories Technical Report No. 25.