R. Baker Kearfott

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