| 2009 |
|---|
| 33 | EE | R. Baker Kearfott:
Interval Analysis: Intermediate Terms.
Encyclopedia of Optimization 2009: 1696-1699 |
| 32 | EE | R. Baker Kearfott:
Interval Analysis: Nondifferentiable Problems.
Encyclopedia of Optimization 2009: 1699-1702 |
| 31 | EE | R. Baker Kearfott:
Interval Analysis: Unconstrained and Constrained Optimization.
Encyclopedia of Optimization 2009: 1727-1730 |
| 30 | EE | R. Baker Kearfott:
Interval Analysis: Verifying Feasibility.
Encyclopedia of Optimization 2009: 1730-1733 |
| 29 | EE | R. Baker Kearfott:
Interval Fixed Point Theory.
Encyclopedia of Optimization 2009: 1736-1739 |
| 28 | EE | R. Baker Kearfott:
Interval Newton Methods.
Encyclopedia of Optimization 2009: 1763-1766 |
| 2008 |
|---|
| 27 | EE | 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 |
| 26 | EE | 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: 28-43 |
| 25 | EE | R. Baker Kearfott:
A comparison of some methods for bounding connected and disconnected solution sets of interval linear systems.
Computing 82(1): 77-102 (2008) |
| 2007 |
|---|
| 24 | EE | George F. Corliss,
Christopher Foley,
R. Baker Kearfott:
Formulation for Reliable Analysis of Structural Frames.
Reliable Computing 13(2): 125-147 (2007) |
| 2006 |
|---|
| 23 | EE | 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 |
| 2005 |
|---|
| 22 | EE | R. Baker Kearfott:
Errata and Opinion to: "An Interval Entropy Penalty Method for Nonlinear Global Optimization".
Reliable Computing 11(2): 163-164 (2005) |
| 21 | EE | R. Baker Kearfott:
Validated Constraint Solving-Practicalities, Pitfalls, and New Developments.
Reliable Computing 11(5): 383-391 (2005) |
| 2004 |
|---|
| 20 | | René Alt,
Andreas Frommer,
R. Baker Kearfott,
Wolfram Luther:
Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers
Springer 2004 |
| 19 | EE | Humberto Muñoz,
R. Baker Kearfott:
Slope Intervals, Generalized Gradients, Semigradients, Slant Derivatives, and Csets.
Reliable Computing 10(3): 163-193 (2004) |
| 2003 |
|---|
| 18 | EE | 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: 36-63 |
| 17 | | Jianwei Dian,
R. Baker Kearfott:
Existence verification for singular and nonsmooth zeros of real nonlinear systems.
Math. Comput. 72(242): 757-766 (2003) |
| 16 | EE | R. Baker Kearfott:
COCOS'02 - A Workshop on Global Constrained Optimization and Constraint Satisfaction October 2-4, 2002, Sophia-Antipolis, France.
Reliable Computing 9(1): 81-87 (2003) |
| 2002 |
|---|
| 15 | EE | R. Baker Kearfott:
GlobSol: History, Composition, and Advice on Use.
COCOS 2002: 17-31 |
| 14 | EE | R. Baker Kearfott,
Jianwei Dian:
Verifying Topological Indices for Higher-Order Rank Deficiencies.
J. Complexity 18(2): 589-611 (2002) |
| 13 | EE | R. Baker Kearfott:
On Existence and Uniqueness Verification for Non-Smooth Functions.
Reliable Computing 8(4): 267-282 (2002) |
| 12 | EE | R. Baker Kearfott,
G. William Walster:
SIAM Conference on Optimization, Validated Computing 2002, and the Fields Institute Informal Working Group on Validated Optimization.
Reliable Computing 8(5): 419-424 (2002) |
| 11 | EE | R. Baker Kearfott,
G. William Walster:
Symbolic Preconditioning with Taylor Models: Some Examples.
Reliable Computing 8(6): 453-468 (2002) |
| 2001 |
|---|
| 10 | EE | R. Baker Kearfott:
An Example of Singularity in Nonlinear Systems.
Reliable Computing 7(5): 425-429 (2001) |
| 2000 |
|---|
| 9 | EE | R. Baker Kearfott,
G. William Walster:
On stopping criteria in verified nonlinear systems or optimization algorithms.
ACM Trans. Math. Softw. 26(3): 373-389 (2000) |
| 1998 |
|---|
| 8 | | R. Baker Kearfott:
On proving existence of feasible points in equality constrained optimization problems.
Math. Program. 83: 89-100 (1998) |
| 7 | EE | R. Baker Kearfott:
Kreinovich, V., Lakeyev, A., Rohn, J., and Kahl, P.: Computational Complexity and Feasibility of Data Processing and Interval Computations.
Reliable Computing 4(4): 405-409 (1998) |
| 1996 |
|---|
| 6 | EE | R. Baker Kearfott:
Algorithm 763; INTERVAL_ARITHMETIC: A Fortran 90 Module for an Interval Data Type.
ACM Trans. Math. Softw. 22(4): 385-392 (1996) |
| 5 | EE | R. Baker Kearfott:
Interval Extensions of Non-Smooth Functions for Global Optimization and Nonlinear Systems Solvers.
Computing 57(2): 149-162 (1996) |
| 1995 |
|---|
| 4 | EE | 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): 63-78 (1995) |
| 1994 |
|---|
| 3 | EE | R. Baker Kearfott,
M. Dawande,
K. Du,
Chenyi Hu:
Algorithm 737; INTLIB: a portable Fortran 77 interval standard-function library.
ACM Trans. Math. Softw. 20(4): 447-459 (1994) |
| 1991 |
|---|
| 2 | | 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: 205-209 |
| 1990 |
|---|
| 1 | EE | R. Baker Kearfott,
Manuel Novoa:
Algorithm 681: INTBIS, a portable interval Newton/bisection package.
ACM Trans. Math. Softw. 16(2): 152-157 (1990) |
