R. Baker Kearfott

Publication Activity (10 Years)

Years Active: 1987-2011
Publications (10 Years): 0

Publications

Julie Roy, R. Baker Kearfott
Global Optimization and Singular Nonlinear Programs: New Techniques. Reliab. Comput. 15 (3) (2011)
R. Baker Kearfott
Erratum: Validated Linear Relaxations and Preprocessing: Some Experiments. SIAM J. Optim. 21 (1) (2011)
Bernard Bialecki, R. Baker Kearfott, Krzysztof A. Sikorski, Masaki Sugihara
Guest editors' preface: Issue dedicated to Professor Frank Stenger. J. Complex. 25 (3) (2009)
R. Baker Kearfott
GlobSol user guide. Optim. Methods Softw. 24 (4-5) (2009)
R. Baker Kearfott
A comparison of some methods for bounding connected and disconnected solution sets of interval linear systems. Computing 82 (1) (2008)
R. Baker Kearfott, John D. Pryce, Nathalie Revol
Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021. Numerical Validation in Current Hardware Architectures (2008)
John D. Pryce, George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, Spencer Smith
Second Note on Basic Interval Arithmetic for IEEE754R. Numerical Validation in Current Hardware Architectures (2008)
George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, John D. Pryce, Spencer Smith
Interval Subroutine Library Mission. Reliable Implementation of Real Number Algorithms (2008)
George F. Corliss, Christopher Foley, R. Baker Kearfott
Formulation for Reliable Analysis of Structural Frames. Reliab. Comput. 13 (2) (2007)
George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, John D. Pryce, Spencer Smith
Interval Subroutine Library Mission. Reliable Implementation of Real Number Algorithms (2006)
R. Baker Kearfott
Discussion and empirical comparisons of linear relaxations and alternate techniques in validated deterministic global optimization. Optim. Methods Softw. 21 (5) (2006)
Vladik Kreinovich, R. Baker Kearfott
Beyond Convex? Global Optimization is Feasible Only for Convex Objective Functions: A Theorem. J. Glob. Optim. 33 (4) (2005)
R. Baker Kearfott
Errata and Opinion to: "An Interval Entropy Penalty Method for Nonlinear Global Optimization". Reliab. Comput. 11 (2) (2005)
R. Baker Kearfott, Siriporn Hongthong
Validated Linear Relaxations and Preprocessing: Some Experiments. SIAM J. Optim. 16 (2) (2005)
R. Baker Kearfott
Validated Constraint Solving-Practicalities, Pitfalls, and New Developments. Reliab. Comput. 11 (5) (2005)
Humberto Muñoz, R. Baker Kearfott
Slope Intervals, Generalized Gradients, Semigradients, Slant Derivatives, and Csets. Reliab. Comput. 10 (3) (2004)
Jianwei Dian, R. Baker Kearfott
Existence verification for singular and nonsmooth zeros of real nonlinear systems. Math. Comput. 72 (242) (2003)
R. Baker Kearfott
COCOS'02 - A Workshop on Global Constrained Optimization and Constraint Satisfaction October 2-4, 2002, Sophia-Antipolis, France. Reliab. Comput. 9 (1) (2003)
R. Baker Kearfott, Jianwei Dian
Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems. SIAM J. Numer. Anal. 41 (6) (2003)
R. Baker Kearfott, Markus Neher, Shin'ichi Oishi, Fabien Rico
Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies. Numerical Software with Result Verification (2003)
R. Baker Kearfott
On Existence and Uniqueness Verification for Non-Smooth Functions. Reliab. Comput. 8 (4) (2002)
R. Baker Kearfott, Jianwei Dian
Verifying Topological Indices for Higher-Order Rank Deficiencies. J. Complex. 18 (2) (2002)
R. Baker Kearfott, G. William Walster
SIAM Conference on Optimization, Validated Computing 2002, and the Fields Institute Informal Working Group on Validated Optimization. Reliab. Comput. 8 (5) (2002)
R. Baker Kearfott, G. William Walster
Symbolic Preconditioning with Taylor Models: Some Examples. Reliab. Comput. 8 (6) (2002)
R. Baker Kearfott
GlobSol: History, Composition, and Advice on Use. COCOS (2002)
R. Baker Kearfott
An Example of Singularity in Nonlinear Systems. Reliab. Comput. 7 (5) (2001)
R. Baker Kearfott, Jianwei Dian, Arnold Neumaier
Existence Verification for Singular Zeros of Complex Nonlinear Systems. SIAM J. Numer. Anal. 38 (2) (2000)
R. Baker Kearfott, G. William Walster
On stopping criteria in verified nonlinear systems or optimization algorithms. ACM Trans. Math. Softw. 26 (3) (2000)
R. Baker Kearfott
Kreinovich, V., Lakeyev, A., Rohn, J., and Kahl, P.: Computational Complexity and Feasibility of Data Processing and Interval Computations. Reliab. Comput. 4 (4) (1998)
George F. Corliss, R. Baker Kearfott
Rigorous Global Search: Industrial Applications. SCAN (1998)
R. Baker Kearfott
On proving existence of feasible points in equality constrained optimization problems. Math. Program. 83 (1998)
R. Baker Kearfott
Empirical Evaluation of Innovations in Interval Branch and Bound Algorithms for Nonlinear Systems. SIAM J. Sci. Comput. 18 (2) (1997)
R. Baker Kearfott
Interval Extensions of Non-Smooth Functions for Global Optimization and Nonlinear Systems Solvers. Computing 57 (2) (1996)
R. Baker Kearfott
Algorithm 763; INTERVAL_ARITHMETIC: A Fortran 90 Module for an Interval Data Type. ACM Trans. Math. Softw. 22 (4) (1996)
Chenyi Hu, Anna Frolov, R. Baker Kearfott, Qing Yang
A general iterative sparse linear solver and its parallelization for interval Newton methods. Reliab. Comput. 1 (3) (1995)
R. Baker Kearfott, Eldar A. Musaev, Vyacheslav M. Nesterov, Alexander G. Yakovlev
Preface. Reliab. Comput. 1 (1) (1995)
R. Baker Kearfott
A Fortran 90 Environment for Research and Prototyping of Enclosure Algorithms for Nonlinear Equations and Global Optimization. ACM Trans. Math. Softw. 21 (1) (1995)
Chenyi Hu, Joe Sheldon, R. Baker Kearfott, Qing Yang
Optimizing INTBIS on the CRAY Y-MP. Reliab. Comput. 1 (3) (1995)
R. Baker Kearfott, Eldar A. Musaev, Vyacheslav M. Nesterov, Alexander G. Yakovlev
Предисловне. Reliab. Comput. 1 (1) (1995)
Kaisheng Du, R. Baker Kearfott
The cluster problem in multivariate global optimization. J. Glob. Optim. 5 (3) (1994)
R. Baker Kearfott
An interval branch and bound algorithm for bound constrained optimization problems. J. Glob. Optim. 2 (3) (1992)
Chenyi Hu, Magdy A. Bayoumi, R. Baker Kearfott, Qing Yang
A Parallelized Algorithm for the All-Row Preconditioned Interval Newton/Generalized Bisection Method. PPSC (1991)
R. Baker Kearfott
Decomposition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems. Computing 47 (2) (1991)
R. Baker Kearfott, Manuel Novoa
Algorithm 681: INTBIS, a portable interval Newton/bisection package. ACM Trans. Math. Softw. 16 (2) (1990)
R. Baker Kearfott
Corrigenda: "Some Tests of Generalized Bisection". ACM Trans. Math. Softw. 14 (4) (1988)
R. Baker Kearfott
Some tests of generalized bisection. ACM Trans. Math. Softw. 13 (3) (1987)