Search results for "R. Baker Kearfott"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	R. Baker Kearfott	Erratum: Validated Linear Relaxations and Preprocessing: Some Experiments.	SIAM Journal on Optimization	2011	DBLP DOI BibTeX RDF
1	R. Baker Kearfott	Interval Newton Methods.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Automatic result verification, Global optimization, Interval computations, Nonlinear system of equations
1	R. Baker Kearfott	Interval Analysis: Verifying Feasibility.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Automatic result verification, Global optimization, Constrained optimization, Interval computations
1	R. Baker Kearfott	Interval Fixed Point Theory.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Automatic result verification, Global optimization, Interval computations, Fixed point iteration
1	R. Baker Kearfott	Interval Analysis: Intermediate Terms.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Expression parsing, Constraint satisfaction techniques, Interval dependency, Verification, Global optimization, Interval computations
1	R. Baker Kearfott	Interval Analysis: Unconstrained and Constrained Optimization.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Automatic result verification, Global optimization, Constrained optimization, Interval computations
1	R. Baker Kearfott	Interval Analysis: Nondifferentiable Problems.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Nondifferentiability, Interval slopes, Verification, Global optimization, Interval computations
1	Ramon E. Moore, R. Baker Kearfott, Michael J. Cloud	Introduction to Interval Analysis.		2009	RDF
1	R. Baker Kearfott	A comparison of some methods for bounding connected and disconnected solution sets of interval linear systems.	Computing	2008	DBLP DOI BibTeX RDF	validated computing, global optimization, interval analysis, numerical linear algebra
1	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	DBLP DOI BibTeX RDF
1	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	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	George F. Corliss, Christopher Foley, R. Baker Kearfott	Formulation for Reliable Analysis of Structural Frames.	Reliable Computing	2007	DBLP DOI BibTeX RDF
1	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	DBLP BibTeX RDF
1	R. Baker Kearfott, Siriporn Hongthong	Validated Linear Relaxations and Preprocessing: Some Experiments.	SIAM Journal on Optimization	2005	DBLP DOI BibTeX RDF
1	R. Baker Kearfott	Errata and Opinion to: "An Interval Entropy Penalty Method for Nonlinear Global Optimization".	Reliable Computing	2005	DBLP DOI BibTeX RDF
1	R. Baker Kearfott	Validated Constraint Solving-Practicalities, Pitfalls, and New Developments.	Reliable Computing	2005	DBLP DOI BibTeX RDF
1	Humberto Muñoz, R. Baker Kearfott	Slope Intervals, Generalized Gradients, Semigradients, Slant Derivatives, and Csets.	Reliable Computing	2004	DBLP DOI BibTeX RDF
1	René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther (eds.)	Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers	Numerical Software with Result Verification	2004	DBLP BibTeX RDF
1	R. Baker Kearfott, Jianwei Dian	Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems.	SIAM J. Numerical Analysis	2003	DBLP DOI BibTeX RDF
1	R. Baker Kearfott	COCOS'02 - A Workshop on Global Constrained Optimization and Constraint Satisfaction October 2-4, 2002, Sophia-Antipolis, France.	Reliable Computing	2003	DBLP DOI BibTeX RDF
1	Jianwei Dian, R. Baker Kearfott	Existence verification for singular and nonsmooth zeros of real nonlinear systems.	Math. Comput.	2003	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	R. Baker Kearfott, Jianwei Dian	Verifying Topological Indices for Higher-Order Rank Deficiencies.	J. Complexity	2002	DBLP DOI BibTeX RDF
1	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	2002	DBLP DOI BibTeX RDF
1	R. Baker Kearfott	On Existence and Uniqueness Verification for Non-Smooth Functions.	Reliable Computing	2002	DBLP DOI BibTeX RDF
1	R. Baker Kearfott, G. William Walster	Symbolic Preconditioning with Taylor Models: Some Examples.	Reliable Computing	2002	DBLP DOI BibTeX RDF
1	R. Baker Kearfott	GlobSol: History, Composition, and Advice on Use.	COCOS	2002	DBLP DOI BibTeX RDF	Verified global optimization, GlobSol, constraint propagation, automatic differentiation, interval analysis
1	R. Baker Kearfott	An Example of Singularity in Nonlinear Systems.	Reliable Computing	2001	DBLP DOI BibTeX RDF
1	R. Baker Kearfott, G. William Walster	On stopping criteria in verified nonlinear systems or optimization algorithms.	ACM Trans. Math. Softw.	2000	DBLP DOI BibTeX RDF	GlobSol, verified computations, stopping criteria
1	R. Baker Kearfott	Kreinovich, V., Lakeyev, A., Rohn, J., and Kahl, P.: Computational Complexity and Feasibility of Data Processing and Interval Computations.	Reliable Computing	1998	DBLP DOI BibTeX RDF
1	R. Baker Kearfott	On proving existence of feasible points in equality constrained optimization problems.	Math. Program.	1998	DBLP DOI BibTeX RDF
1	R. Baker Kearfott	Interval Extensions of Non-Smooth Functions for Global Optimization and Nonlinear Systems Solvers.	Computing	1996	DBLP DOI BibTeX RDF	Interval extensions, minimax approximation, l 1 approximation, global optimization, nonsmooth optimization, nonlinear systems of equations
1	R. Baker Kearfott	Algorithm 763; INTERVAL_ARITHMETIC: A Fortran 90 Module for an Interval Data Type.	ACM Trans. Math. Softw.	1996	DBLP DOI BibTeX RDF	operator overloading, portability, interval arithmetic, Fortran 90
1	R. Baker Kearfott	A Fortran 90 Environment for Research and Prototyping of Enclosure Algorithms for Nonlinear Equations and Global Optimization.	ACM Trans. Math. Softw.	1995	DBLP DOI BibTeX RDF	nonlinear algebraic systems, global optimization, symbolic computation, automatic differentiation, Fortran 90, Fortran 90
1	R. Baker Kearfott, M. Dawande, K. Du, Chenyi Hu	Algorithm 737; INTLIB: a portable Fortran 77 interval standard-function library.	ACM Trans. Math. Softw.	1994	DBLP DOI BibTeX RDF	operator overloading, standard functions, interval arithmetic, Fortran 77, FORTRAN 77, Fortran 90, BLAS
1	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	DBLP BibTeX RDF
1	R. Baker Kearfott, Manuel Novoa	Algorithm 681: INTBIS, a portable interval Newton/bisection package.	ACM Trans. Math. Softw.	1990	DBLP DOI BibTeX RDF
1	R. Baker Kearfott	Corrigenda: "Some Tests of Generalized Bisection".	ACM Trans. Math. Softw.	1988	DBLP DOI BibTeX RDF
1	R. Baker Kearfott	Some tests of generalized bisection.	ACM Trans. Math. Softw.	1987	DBLP DOI BibTeX RDF

Publications of "R. Baker Kearfott" ( http://dblp.L3S.de/Authors/R._Baker_Kearfott )