R. Baker Kearfott

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
A Brief Review of a Method for Bounds on Polynomial Ranges over Simplexes.
Proceedings of the Fuzzy Information Processing, 2018

2017
A review of computation of mathematically rigorous bounds on optima of linear programs.
J. Global Optimization, 2017

2015
Some observations on exclusion regions in branch and bound algorithms.
J. Global Optimization, 2015

2014
Assessment of a non-adaptive deterministic global optimization algorithm for problems with low-dimensional non-convex subspaces.
Optimization Methods and Software, 2014

On rigorous upper bounds to a global optimum.
J. Global Optimization, 2014

2013
On smooth reformulations and direct non-smooth computations for minimax problems.
J. Global Optimization, 2013

A general framework for convexity analysis in deterministic global optimization.
J. Global Optimization, 2013

An overview of the upcoming IEEE P-1788 working group document: Standard for interval arithmetic.
Proceedings of the Joint IFSA World Congress and NAFIPS Annual Meeting, 2013

2011
Erratum: Validated Linear Relaxations and Preprocessing: Some Experiments.
SIAM Journal on Optimization, 2011

Global Optimization and Singular Nonlinear Programs: New Techniques.
Reliable Computing, 2011

Interval computations, rigour and non-rigour in deterministic continuous global optimization.
Optimization Methods and Software, 2011

2009
Interval Newton Methods.
Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

Interval Fixed Point Theory.
Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

Interval Analysis: Verifying Feasibility.
Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

Interval Analysis: Unconstrained and Constrained Optimization.
Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

Interval Analysis: Nondifferentiable Problems.
Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

Interval Analysis: Intermediate Terms.
Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

GlobSol user guide.
Optimization Methods and Software, 2009

Guest editors' preface: Issue dedicated to Professor Frank Stenger.
J. Complexity, 2009

Introduction to Interval Analysis.
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.
Computing, 2008

Second Note on Basic Interval Arithmetic for IEEE754R.
Proceedings of the Numerical Validation in Current Hardware Architectures, 6.1., 2008

Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021.
Proceedings of the Numerical Validation in Current Hardware Architectures, 2008

Interval Subroutine Library Mission.
Proceedings of the Reliable Implementation of Real Number Algorithms: Theory and Practice, 2008

2007
Formulation for Reliable Analysis of Structural Frames.
Reliable Computing, 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.
J. Global Optimization, 2007

2006
Discussion and empirical comparisons of linear relaxations and alternate techniques in validated deterministic global optimization.
Optimization Methods and Software, 2006

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

2005
Validated Linear Relaxations and Preprocessing: Some Experiments.
SIAM Journal on Optimization, 2005

Validated Constraint Solving-Practicalities, Pitfalls, and New Developments.
Reliable Computing, 2005

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

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

2004
Slope Intervals, Generalized Gradients, Semigradients, Slant Derivatives, and Csets.
Reliable Computing, 2004

2003
Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems.
SIAM J. Numerical Analysis, 2003

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

Existence verification for singular and nonsmooth zeros of real nonlinear systems.
Math. Comput., 2003

Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies.
Proceedings of the Numerical Software with Result Verification, 2003

2002
Symbolic Preconditioning with Taylor Models: Some Examples.
Reliable Computing, 2002

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

On Existence and Uniqueness Verification for Non-Smooth Functions.
Reliable Computing, 2002

Verifying Topological Indices for Higher-Order Rank Deficiencies.
J. Complexity, 2002

GlobSol: History, Composition, and Advice on Use.
Proceedings of the Global Optimization and Constraint Satisfaction, 2002

2001
An Example of Singularity in Nonlinear Systems.
Reliable Computing, 2001

2000
On stopping criteria in verified nonlinear systems or optimization algorithms.
ACM Trans. Math. Softw., 2000

Existence Verification for Singular Zeros of Complex Nonlinear Systems.
SIAM J. Numerical Analysis, 2000

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

On proving existence of feasible points in equality constrained optimization problems.
Math. Program., 1998

1997
Empirical Evaluation of Innovations in Interval Branch and Bound Algorithms for Nonlinear Systems.
SIAM J. Scientific Computing, 1997

1996
Algorithm 763; INTERVAL_ARITHMETIC: A Fortran 90 Module for an Interval Data Type.
ACM Trans. Math. Softw., 1996

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

1995
A Fortran 90 Environment for Research and Prototyping of Enclosure Algorithms for Nonlinear Equations and Global Optimization.
ACM Trans. Math. Softw., 1995

Предисловне.
Reliable Computing, 1995

Preface.
Reliable Computing, 1995

Optimizing INTBIS on the CRAY Y-MP.
Reliable Computing, 1995

A general iterative sparse linear solver and its parallelization for interval Newton methods.
Reliable Computing, 1995

1994
Algorithm 737; INTLIB: a portable Fortran 77 interval standard-function library.
ACM Trans. Math. Softw., 1994

The cluster problem in multivariate global optimization.
J. Global Optimization, 1994

1992
An interval branch and bound algorithm for bound constrained optimization problems.
J. Global Optimization, 1992

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

A Parallelized Algorithm for the All-Row Preconditioned Interval Newton/Generalized Bisection Method.
Proceedings of the Fifth SIAM Conference on Parallel Processing for Scientific Computing, 1991

1990
Algorithm 681: INTBIS, a portable interval Newton/bisection package.
ACM Trans. Math. Softw., 1990

1988
Corrigenda: "Some Tests of Generalized Bisection".
ACM Trans. Math. Softw., 1988

1987
Some tests of generalized bisection.
ACM Trans. Math. Softw., 1987


  Loading...