R. Baker Kearfott

According to our database, R. Baker Kearfott authored at least 64 papers between 1987 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

A Brief Review of a Method for Bounds on Polynomial Ranges over Simplexes.

Ralph Baker Kearfott, Dun Liu

Proceedings of the Fuzzy Information Processing, 2018

2017

A review of computation of mathematically rigorous bounds on optima of linear programs.

Jared T. Guilbeau, Md. Istiaq Hossain, Sam D. Karhbet, Ralph Baker Kearfott, Temitope S. Sanusi, Lihong Zhao

J. Glob. Optim., 2017

2015

Some observations on exclusion regions in branch and bound algorithms.

Ralph Baker Kearfott

J. Glob. Optim., 2015

2014

Assessment of a non-adaptive deterministic global optimization algorithm for problems with low-dimensional non-convex subspaces.

Ralph Baker Kearfott, Jessie Castille, Gaurav Tyagi

Optim. Methods Softw., 2014

On rigorous upper bounds to a global optimum.

Ralph Baker Kearfott

J. Glob. Optim., 2014

2013

On smooth reformulations and direct non-smooth computations for minimax problems.

Ralph Baker Kearfott, Sowmya Muniswamy, Yi Wang, Xinyu Li, Qian Wang

J. Glob. Optim., 2013

A general framework for convexity analysis in deterministic global optimization.

Ralph Baker Kearfott, Jessie Castille, Gaurav Tyagi

J. Glob. Optim., 2013

An overview of the upcoming IEEE P-1788 working group document: Standard for interval arithmetic.

Ralph Baker Kearfott

Proceedings of the Joint IFSA World Congress and NAFIPS Annual Meeting, 2013

2011

Erratum: Validated Linear Relaxations and Preprocessing: Some Experiments.

R. Baker Kearfott

SIAM J. Optim., 2011

Global Optimization and Singular Nonlinear Programs: New Techniques.

Julie Roy, R. Baker Kearfott

Reliab. Comput., 2011

Interval computations, rigour and non-rigour in deterministic continuous global optimization.

Ralph Baker Kearfott

Optim. Methods Softw., 2011

2009

Interval Newton Methods.

R. Baker Kearfott

Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

Interval Fixed Point Theory.

R. Baker Kearfott

Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

Interval Analysis: Verifying Feasibility.

R. Baker Kearfott

Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

Interval Analysis: Unconstrained and Constrained Optimization.

R. Baker Kearfott

Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

Interval Analysis: Nondifferentiable Problems.

R. Baker Kearfott

Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

Interval Analysis: Intermediate Terms.

R. Baker Kearfott

Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

GlobSol user guide.

R. Baker Kearfott

Optim. Methods Softw., 2009

Guest editors' preface: Issue dedicated to Professor Frank Stenger.

Bernard Bialecki, R. Baker Kearfott, Krzysztof A. Sikorski, Masaki Sugihara

J. Complex., 2009

Introduction to Interval Analysis.

Ramon E. Moore, R. Baker Kearfott, Michael J. Cloud

SIAM, ISBN: 978-0-89871-669-6, 2009

2008

A comparison of some methods for bounding connected and disconnected solution sets of interval linear systems.

R. Baker Kearfott

Computing, 2008

Second Note on Basic Interval Arithmetic for IEEE754R.

John D. Pryce, George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, Spencer Smith

Proceedings of the Numerical Validation in Current Hardware Architectures, 6.1., 2008

Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021.

R. Baker Kearfott, John D. Pryce, Nathalie Revol

Proceedings of the Numerical Validation in Current Hardware Architectures, 2008

2007

Formulation for Reliable Analysis of Structural Frames.

George F. Corliss, Christopher Foley, R. Baker Kearfott

Reliab. Comput., 2007

János D. Pintér, ed. (2006), Global Optimization: Scientific and Engineering Case Studies, Springer Verlag Nonconvex Optimization and its Applications series, 546 pp., ISBN 0-387-30408-8.

Ralph Baker Kearfott

J. Glob. Optim., 2007

2006

Discussion and empirical comparisons of linear relaxations and alternate techniques in validated deterministic global optimization.

R. Baker Kearfott

Optim. Methods Softw., 2006

Interval Subroutine Library Mission.

George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, John D. Pryce, Spencer Smith

Proceedings of the Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01., 2006

2005

Validated Linear Relaxations and Preprocessing: Some Experiments.

R. Baker Kearfott, Siriporn Hongthong

SIAM J. Optim., 2005

Validated Constraint Solving-Practicalities, Pitfalls, and New Developments.

R. Baker Kearfott

Reliab. Comput., 2005

Errata and Opinion to: "An Interval Entropy Penalty Method for Nonlinear Global Optimization".

R. Baker Kearfott

Reliab. Comput., 2005

Beyond Convex? Global Optimization is Feasible Only for Convex Objective Functions: A Theorem.

Vladik Kreinovich, R. Baker Kearfott

J. Glob. Optim., 2005

2004

Slope Intervals, Generalized Gradients, Semigradients, Slant Derivatives, and Csets.

Humberto Muñoz, R. Baker Kearfott

Reliab. Comput., 2004

2003

Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems.

R. Baker Kearfott, Jianwei Dian

SIAM J. Numer. Anal., 2003

COCOS'02 - A Workshop on Global Constrained Optimization and Constraint Satisfaction October 2-4, 2002, Sophia-Antipolis, France.

R. Baker Kearfott

Reliab. Comput., 2003

Existence verification for singular and nonsmooth zeros of real nonlinear systems.

Jianwei Dian, R. Baker Kearfott

Math. Comput., 2003

Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies.

R. Baker Kearfott, Markus Neher, Shin'ichi Oishi, Fabien Rico

Proceedings of the Numerical Software with Result Verification, 2003

2002

Symbolic Preconditioning with Taylor Models: Some Examples.

R. Baker Kearfott, G. William Walster

Reliab. Comput., 2002

SIAM Conference on Optimization, Validated Computing 2002, and the Fields Institute Informal Working Group on Validated Optimization.

R. Baker Kearfott, G. William Walster

Reliab. Comput., 2002

On Existence and Uniqueness Verification for Non-Smooth Functions.

R. Baker Kearfott

Reliab. Comput., 2002

Verifying Topological Indices for Higher-Order Rank Deficiencies.

R. Baker Kearfott, Jianwei Dian

J. Complex., 2002

GlobSol: History, Composition, and Advice on Use.

R. Baker Kearfott

Proceedings of the Global Optimization and Constraint Satisfaction, 2002

2001

An Example of Singularity in Nonlinear Systems.

R. Baker Kearfott

Reliab. Comput., 2001

2000

On stopping criteria in verified nonlinear systems or optimization algorithms.

R. Baker Kearfott, G. William Walster

ACM Trans. Math. Softw., 2000

Existence Verification for Singular Zeros of Complex Nonlinear Systems.

R. Baker Kearfott, Jianwei Dian, Arnold Neumaier

SIAM J. Numer. Anal., 2000

1998

Kreinovich, V., Lakeyev, A., Rohn, J., and Kahl, P.: Computational Complexity and Feasibility of Data Processing and Interval Computations.

R. Baker Kearfott

Reliab. Comput., 1998

On proving existence of feasible points in equality constrained optimization problems.

R. Baker Kearfott

Math. Program., 1998

Rigorous Global Search: Industrial Applications.

George F. Corliss, R. Baker Kearfott

Proceedings of the Developments in Reliable Computing, 1998

1997

Empirical Evaluation of Innovations in Interval Branch and Bound Algorithms for Nonlinear Systems.

R. Baker Kearfott

SIAM J. Sci. Comput., 1997

1996

Algorithm 763; INTERVAL_ARITHMETIC: A Fortran 90 Module for an Interval Data Type.

R. Baker Kearfott

ACM Trans. Math. Softw., 1996

Interval Extensions of Non-Smooth Functions for Global Optimization and Nonlinear Systems Solvers.

R. Baker Kearfott

Computing, 1996

1995

A Fortran 90 Environment for Research and Prototyping of Enclosure Algorithms for Nonlinear Equations and Global Optimization.

R. Baker Kearfott

ACM Trans. Math. Softw., 1995

Предисловне.

R. Baker Kearfott, Eldar A. Musaev, Vyacheslav M. Nesterov, Alexander G. Yakovlev

Reliab. Comput., 1995

Preface.

R. Baker Kearfott, Eldar A. Musaev, Vyacheslav M. Nesterov, Alexander G. Yakovlev

Reliab. Comput., 1995

Optimizing INTBIS on the CRAY Y-MP.

Chenyi Hu, Joe Sheldon, R. Baker Kearfott, Qing Yang

Reliab. Comput., 1995

A general iterative sparse linear solver and its parallelization for interval Newton methods.

Chenyi Hu, Anna Frolov, R. Baker Kearfott, Qing Yang

Reliab. Comput., 1995

1994

Algorithm 737; INTLIB: a portable Fortran 77 interval standard-function library.

Ralph Baker Kearfott, Milind Dawande, Kaisheng Du, Chenyi Hu

ACM Trans. Math. Softw., 1994

The cluster problem in multivariate global optimization.

Kaisheng Du, R. Baker Kearfott

J. Glob. Optim., 1994

1992

An interval branch and bound algorithm for bound constrained optimization problems.

R. Baker Kearfott

J. Glob. Optim., 1992

1991

Numerical tests of a method for simulating electrical potentials on the cortical surface.

R. Baker Kearfott, Robert D. Sidman, Diana Joan Major, C. Denson Hill

IEEE Trans. Biomed. Eng., 1991

Decomposition of arithmetic expressions to improve the behavior of interval iteration for nonlinear systems.

R. Baker Kearfott

Computing, 1991

A Parallelized Algorithm for the All-Row Preconditioned Interval Newton/Generalized Bisection Method.

Chenyi Hu, Magdy A. Bayoumi, R. Baker Kearfott, Qing Yang

Proceedings of the Fifth SIAM Conference on Parallel Processing for Scientific Computing, 1991

1990

Algorithm 681: INTBIS, a portable interval Newton/bisection package.

R. Baker Kearfott, Manuel Novoa

ACM Trans. Math. Softw., 1990

1988

Corrigenda: "Some Tests of Generalized Bisection".

R. Baker Kearfott

ACM Trans. Math. Softw., 1988

1987

Some tests of generalized bisection.

R. Baker Kearfott

ACM Trans. Math. Softw., 1987