%%% -*-BibTeX-*- %%% ==================================================================== %%% BibTeX-file{ %%% author = "R. Baker Kearfott", %%% version = "1.12", %%% date = "17 November 2007", %%% time = "11:04:29 MST", %%% filename = "kearfott-r-baker.bib", %%% address = "University of Southwestern Louisiana %%% Department of Mathematics %%% Lafayette, LA 70504-1010 %%% USA", %%% telephone = "+1 318 482 5270", %%% FAX = "+1 318 482 5346", %%% URL = "ftp://interval.usl.edu/pub/interval_math/www/kearfott.html", %%% checksum = "44971 1209 4665 47328", %%% email = "rbk5287 at interval.usl.edu (Internet)", %%% codetable = "ISO/ASCII", %%% keywords = "nonlinear equations, optimization, interval arithmetic", %%% license = "public domain", %%% supported = "yes", %%% docstring = "This is a bibliography of publications of %%% R. Baker Kearfott. The companion LaTeX file %%% kearfott-r-baker.ltx can be used to typeset %%% this bibliography. %%% %%% At version 1.12, the year coverage looked %%% like this: %%% %%% 1978 ( 1) 1985 ( 0) 1992 ( 8) %%% 1979 ( 0) 1986 ( 0) 1993 ( 7) %%% 1980 ( 1) 1987 ( 4) 1994 ( 13) %%% 1981 ( 0) 1988 ( 8) 1995 ( 4) %%% 1982 ( 4) 1989 ( 10) 1996 ( 2) %%% 1983 ( 2) 1990 ( 9) 1997 ( 2) %%% 1984 ( 2) 1991 ( 2) 1998 ( 1) %%% %%% Article: 30 %%% InProceedings: 15 %%% MastersThesis: 1 %%% Misc: 18 %%% PhdThesis: 4 %%% Proceedings: 12 %%% %%% Total entries: 80 %%% %%% This file is available as part of the BibNet %%% Project. The master copy is available for %%% public access on ftp.math.utah.edu in the %%% directory tree /pub/bibnet/authors. It is %%% mirrored to netlib.bell-labs.com in the directory %%% tree /netlib/bibnet/authors, from which it is %%% available via anonymous ftp and the Netlib %%% service. %%% %%% The checksum field above contains a CRC-16 %%% checksum as the first value, followed by the %%% equivalent of the standard UNIX wc (word %%% count) utility output of lines, words, and %%% characters. This is produced by Robert %%% Solovay's checksum utility.", %%% } %%% ==================================================================== %======================================================================= % Journal abbreviations: @String{j-ANN-OPER-RESEARCH = "Annals of Operations Research"} @String{j-COMPUTING = "Computing"} @String{j-IEEE-TRANS-BIOMED-ENG = "IEEE Trans. Biomedical Eng."} @String{j-INTERVAL-COMP = "Interval Computations"} @String{j-J-GLOBAL-OPT = "Journal of Global Optimization"} @String{j-MATH-COMPUT = "Math. Comp."} @String{j-MATH-PROG = "Math. Prog."} @String{j-SIAM-J-NUMER-ANAL = "SIAM Journal on Numerical Analysis"} @String{j-SIAM-J-SCI-COMP = "SIAM Journal on Scientific Computing"} @String{j-SIAM-J-SCI-STAT-COMP = "SIAM J. Scient. Stat. Comput."} @String{j-SIAM-REVIEW = "SIAM Review"} @String{j-TOMS = "ACM Trans. Math. Software"} %======================================================================= % Publisher abbreviations: @String{pub-AMS = "Amer. Math. Soc."} @String{pub-AMS:adr = "Providence, RI, USA"} @String{pub-BALTZER = "J. C. Baltzer AG, Scientific Publishing Company"} @String{pub-BALTZER:adr = "Basel, Switzerland"} @String{pub-BIRKHAUSER = "Birkh{\"{a}}user"} @String{pub-BIRKHAUSER:adr = "Cambridge, MA, USA; Berlin, Germany; Basel, Switzerland"} @String{pub-IEEE = "IEEE Computer Society Press"} @String{pub-IEEE:adr = "1109 Spring Street, Suite 300, Silver Spring, MD 20910, USA"} @String{pub-IMACS = "IMACS"} @String{pub-IMACS:adr = "Department of Computer Science, Rutgers University, New Brunswick, NJ"} @String{pub-NH = "North-Hol{\-}land"} @String{pub-NH:adr = "Amsterdam, The Netherlands"} @String{pub-SIAM = "SIAM"} @String{pub-SIAM:adr = "Philadelphia, PA, USA"} @String{pub-SV = "Spring{\-}er-Ver{\-}lag"} @String{pub-SV:adr = "Berlin, Germany~/ Heidelberg, Germany~/ London, UK~/ etc."} %======================================================================= % Bibliography entries: @Article{Kearfott:1978:PCE, author = "R. B. Kearfott", title = "A Proof of Convergence and an Error Bound for the Method of Bisection in ${\bf R}^n$", journal = j-MATH-COMPUT, volume = "32", number = "144", pages = "1147--1153", year = "1978", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Article{Kearfott:1980:MIN, author = "R. B. Kearfott and R. D. Sidman and D. Smith", booktitle = "IEEE 1980 Frontiers of Engineering in Health Care (137--140)", title = "A method for identifying noise-free evoked potentials application of {DLM} (Dipole Localization Method) to these components", journal = j-IEEE-TRANS-BIOMED-ENG, volume = "27", number = "9", pages = "534--534", year = "1980", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @InProceedings{Smith:1982:UES, author = "D. B. Smith and R. D. Sidman and J. S. Henke and R. B. Kearfott", title = "The Use of Equivalent Source Models in {EP} Research and Differential Diagnosis", crossref = "Cohen:1982:IFE", pages = "64--70", year = "1982", bibdate = "Wed May 24 14:34:58 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @InProceedings{Kearfott:1983:CMP, author = "R. B. Kearfott", title = "Continuation Methods and Parametrized Nonlinear Least Squares: Techniques and Experiments", crossref = "Pereyra:1982:NM", pages = "142--151", year = "1983", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Article{Kearfott:1983:SGB, author = "Ralph Baker Kearfott", title = "Some general bifurcation techniques", journal = j-SIAM-J-SCI-STAT-COMP, volume = "4", number = "1", pages = "52--68", month = mar, year = "1983", CODEN = "SIJCD4", ISSN = "0196-5204", MRclass = "65H10 (58C40 58E07)", MRnumber = "84f:65047", MRreviewer = "Eugene Allgower", bibdate = "Tue Apr 29 19:18:28 MDT 1997", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", classification = "C4150 (Nonlinear and functional equations)", corpsource = "Dept. of Math., Southwestern Louisiana Univ., Lafayette, LA, USA", keywords = "derivative-free arc-following method; determinant; finite differences; Jacobi matrix; multiple bifurcation points; nonlinear equations; primary bifurcation points; secondary bifurcation points", treatment = "T Theoretical or Mathematical", } @InProceedings{Kearfott:1984:GTF, author = "R. B. Kearfott", title = "On a General Technique for Finding Directions Proceeding from Bifurcat ion Points", crossref = "Kuepper:1984:NMB", pages = "210--218", year = "1984", bibdate = "Sat May 20 16:30:49 MDT 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Article{Kearfott:1987:AGB, author = "R. B. Kearfott", title = "Abstract Generalized Bisection and a Cost Bound", journal = j-MATH-COMPUT, volume = "49", number = "179", pages = "187--202", month = jul, year = "1987", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Misc{Kearfott:1987:INM, author = "R. B. Kearfott", title = "An Interval {Newton} Method for Nonlinear Least Squares", year = "1987", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Misc{Kearfott:1987:SFF, author = "R. B. Kearfott and K. Sikorski and F. Stenger", title = "A Sinc Function Fast {Poisson} Solver", year = "1987", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Article{Kearfott:1987:STG, author = "R. Baker Kearfott", title = "Some Tests of Generalized Bisection", journal = j-TOMS, volume = "13", number = "3", pages = "197--220", month = sep, year = "1987", CODEN = "ACMSCU", ISSN = "0098-3500", MRclass = "65H10", MRnumber = "88m:65081", bibdate = "Sat Nov 19 13:08:33 1994", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", note = "See also \cite{Kearfott:1988:CTG}.", URL = "http://www.acm.org/pubs/citations/journals/toms/1987-13-3/p197-kearfott/", acknowledgement = ack-nhfb, keywords = "algorithms; performance; theory", subject = "{\bf G.1.5}: Mathematics of Computing, NUMERICAL ANALYSIS, Roots of Nonlinear Equations, Systems of equations. {\bf G.1.5}: Mathematics of Computing, NUMERICAL ANALYSIS, Roots of Nonlinear Equations, Polynomials, methods for.", } @InProceedings{Ford:1988:RPA, author = "M. R. Ford and R. D. Sidman and R. B. Kearfott", title = "Resting and {P300} Auditory Responses in Normal Subjects and Psychiatric Patients: Analysis using {DLM} and Brain Imager", crossref = "Vichnevetsky:1988:PTI3", pages = "739--740", year = "1988", bibdate = "Sat May 20 16:30:49 MDT 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @InProceedings{Hill:1988:IPE, author = "C. D. Hill and R. B. Kearfott and R. D. Sidman", title = "The Inverse Problem of Electroencephalography Using an Imaging Technique for Simulating Cortical Surface Data", crossref = "Vichnevetsky:1988:PTI3", pages = "729--734", year = "1988", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Article{Kearfott:1988:CTG, author = "R. Baker Kearfott", title = "Corrigenda: ``{Some} Tests of Generalized Bisection''", journal = j-TOMS, volume = "14", number = "4", pages = "399--399", month = dec, year = "1988", CODEN = "ACMSCU", ISSN = "0098-3500", MRclass = "399 (1989). 65H10", MRnumber = "1 062 485, 88m:65081", bibdate = "Sat Nov 19 13:04:08 1994", note = "See \cite{Kearfott:1987:STG}.", acknowledgement = ack-nhfb, } @InProceedings{Kearfott:1988:HSS, author = "R. B. Kearfott", title = "On Handling Singular Systems with Interval {Newton} Methods", crossref = "Vichnevetsky:1988:PTI4", pages = "651--653", year = "1988", bibdate = "Sat May 20 16:30:49 MDT 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @InProceedings{Kearfott:1988:RHT, author = "R. B. Kearfott", title = "The Role of Homotopy Techniques in Biomedical Modelling: {A} Case Study", crossref = "Vichnevetsky:1988:PTI3", pages = "732--734", year = "1988", bibdate = "Sat May 20 16:30:49 MDT 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @InProceedings{Sidman:1988:IPE, author = "R. D. Sidman and R. B. Kearfott and C. Schlichting", title = "The Inverse Problem of Electroencephalography Assuming Double Layer Neural Generators", crossref = "Vichnevetsky:1988:PTI3", pages = "726--728", year = "1988", bibdate = "Tue May 23 16:48:34 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Misc{Hu:1989:WCR, author = "C.-Y. Hu and R. B. Kearfott", title = "A Width Characterization and Row Selection Strategy for the Interval {Gauss-Seidel} Method", year = "1989", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Article{Kearfott:1989:HSS, author = "R. B. Kearfott", title = "On Handling Singular Systems with Interval {Newton} Methods", journal = "IMACS Annals on Computing and Applied Mathematics: Numerical and Applied Mathematics", volume = "1.2", pages = "653--655", year = "1989", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @InProceedings{Kearfott:1989:IAM, author = "R. B. Kearfott", title = "Interval Arithmetic Methods for Nonlinear Systems and Nonlinear Optimization: Introduction and Status", crossref = "Sharda:1989:IRC", pages = "533--542", year = "1989", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @InProceedings{Kearfott:1989:IMT, author = "R. B. Kearfott", title = "Interval Mathematics Techniques for Control Theory Computations", crossref = "Bowers:1989:CC", pages = "169--178", year = "1989", bibdate = "Sat May 20 16:30:49 MDT 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Misc{Kearfott:1989:ISC, author = "R. B. Kearfott", title = "An Interval Step Control for Continuation Methods", year = "1989", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Article{Kearfott:1989:NTM, author = "R. B. Kearfott and R. D. Sidman and D. J. Major and C. D. Hill", title = "Numerical Tests of a Method for Simulating Electrical Potentials on the Cortical Surface", journal = j-IEEE-TRANS-BIOMED-ENG, volume = "38", number = "3", pages = "294--299", month = mar, year = "1989", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @InProceedings{Sidman:1989:DAM, author = "R. D. Sidman and R. B. Kearfott and D. J. Major and C. D. Hill and M. R. Ford and D. B. Smith and L. Lee and R. Kramer", title = "Development and Application of Mathematical Techniques for the Non-Invasive Localization of Sources of Scalp-Recorded Electic Potentials", crossref = "Potvin:1982:FEH", pages = "133--157", year = "1989", bibdate = "Tue May 23 16:49:36 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @PhdThesis{Hu:1990:PINa, author = "C.-Y. Hu", title = "Preconditioners for Interval {Newton} Methods", school = "University of Southwestern Louisiana", year = "1990", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Misc{Hu:1990:PINb, author = "C. Hu and R. B. Kearfott and Q. Yang", title = "The Preconditioned Interval {Newton} Method on an {MIMD} Computer", year = "1990", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @InProceedings{Hu:1990:PSI, author = "C.-Y. Hu and R. B. Kearfott", title = "A Pivoting Scheme for the Interval {Gauss-Seidel} Method: Numerical Experiments", crossref = "Law:1990:AOC", pages = "97--100", year = "1990", bibdate = "Sat May 20 16:30:49 MDT 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @InProceedings{Kearfott:1990:IAT, author = "R. B. Kearfott", title = "Interval Arithmetic Techniques in the Computational Solution of Nonlin ear Systems of Equations: Introduction, Examples, and Comparisons", crossref = "Allgower:1990:CSN", pages = "337--358", year = "1990", bibdate = "Sat May 20 16:30:49 MDT 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Article{Kearfott:1990:ING, author = "R. B. Kearfott", title = "Interval {Newton} / Generalized Bisection When There are Singularities near Roots", journal = j-ANN-OPER-RESEARCH, volume = "25", pages = "181--196", year = "1990", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Article{Kearfott:1990:AIP, author = "R. Baker Kearfott and Manuel {Novoa III}", title = "Algorithm 681: {INTBIS}, a Portable Interval {Newton}\slash Bisection Package", journal = j-TOMS, volume = "16", number = "2", pages = "152--157", month = jun, year = "1990", CODEN = "ACMSCU", ISSN = "0098-3500", bibdate = "Sun Sep 04 23:09:48 1994", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", URL = "http://www.acm.org/pubs/citations/journals/toms/1990-16-2/p152-kearfott/", acknowledgement = ack-nhfb, keywords = "algorithms; theory", subject = "{\bf G.1.5}: Mathematics of Computing, NUMERICAL ANALYSIS, Roots of Nonlinear Equations, Systems of equations. {\bf G.1.2}: Mathematics of Computing, NUMERICAL ANALYSIS, Approximation.", } @Article{Kearfott:1990:PIG, author = "R. Baker Kearfott", title = "Preconditioners for the Interval {Gauss-Seidel} Method", journal = j-SIAM-J-NUMER-ANAL, volume = "27", number = "3", pages = "804--822", month = jun, year = "1990", CODEN = "SJNAAM", ISSN = "0036-1429", MRclass = "65H10 (65G10)", MRnumber = "91d:65072", MRreviewer = "G. Alefeld", bibdate = "Mon Jan 20 15:27:00 MST 1997", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", acknowledgement = ack-nhfb, } @Article{Kearfott:1991:DAE, author = "R. Baker Kearfott", title = "Decomposition of Arithmetic Expressions to Improve the Behavior of Interval Iteration for Nonlinear Systems", journal = j-COMPUTING, volume = "47", number = "2", pages = "169--191", month = "????", year = "1991", CODEN = "CMPTA2", ISSN = "0010-485X (printed version), 1436-5057 (electronic version)", MRclass = "65H10 (65G10 65M15)", MRnumber = "92j:65079", mrreviewer = "E. Kaucher", bibdate = "Tue Oct 12 16:33:42 MDT 1999", bibsource = "Compendex database; ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib; MathSciNet database; OCLC Contents1st database", acknowledgement = ack-nhfb, affiliation = "Univ of Southwestern Louisiana", affiliationaddress = "Lafayette, USA", classification = "723; 921", journalabr = "Comput Vienna New York", keywords = "Computer Programming --- Algorithms; Interval Integration; Jacobi Matrices; Mathematical Techniques; Mathematical Techniques --- Iterative Methods", } @Article{Kearfott:1991:RPI, author = "R. B. Kearfott and C. Hu and M. III Novoa", title = "A Review of Preconditioners for the Interval Gauss--Seidel Method", journal = j-INTERVAL-COMP, volume = "1", number = "1", pages = "59--85", year = "1991", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Article{Du:1992:CPG, author = "Kaisheng Du and R. B. Kearfott", title = "The Cluster Problem in Global Optimization: The Univariate Case", journal = "Computing (Suppl.)", volume = "9", pages = "117--127", year = "1992", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Misc{Ganesan:1992:DMU, author = "K. Ganesan and T. Hanson and Y. Y. Yap and R. B. and Kearfott", title = "Demand Management for a Utility with only Fossil Fuel Fired Thermal Generation", year = "1992", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @InProceedings{Hu:1992:PAA, author = "C.-Y. Hu and M. Bayoumi and R. B. Kearfott and Q. Yang", title = "A Parallelized Algorithm for the All-Row Preconditioned Interval {Newton}\slash Generalized Bisection Method", crossref = "Dongarra:1992:PFS", pages = "205--209", year = "1992", bibdate = "Wed May 24 14:49:59 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @PhdThesis{Jan:1992:EPR, author = "C.-H. Jan", title = "Expression Parsing and Rigorous Computation of Bounds on All Solutions to Practical Nonlinear Systems", school = "University of Southwestern Louisiana", month = may, year = "1992", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Article{Kearfott:1992:IBB, author = "R. B. Kearfott", editor = "Panos Pardalos and others", title = "An Interval Branch and Bound Algorithm for Bound Constrained Optimization Problems", journal = j-J-GLOBAL-OPT, volume = "2", pages = "259--280", year = "1992", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Article{Kearfott:1992:IPF, author = "R. B. Kearfott and M. Dawande and Du K.-S. and C. Hu", title = "{INTLIB}: {A} Portable {FORTRAN} 77 Elementary Function Library", journal = j-INTERVAL-COMP, volume = "3", number = "5", pages = "96--105", year = "1992", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Misc{Xing:1992:EIS, author = "Z. Xing and R. B. Kearfott", title = "An Efficient Interval step Control for Two Dimensional Continuation Methods", year = "1992", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @MastersThesis{Dawande:1993:ASA, author = "M. W. Dawande", title = "Augmented System Approach for Solving the Least Squares Problem in an Interior Point Method for Linear Programming", school = "University of Southwestern Louisiana", year = "1993", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Article{Hu:1993:BRS, author = "C. Hu and R. B. Kearfott", title = "On Bounding the Range of Some Elementary Functions in {FORTRAN} 77", journal = j-INTERVAL-COMP, volume = "1993", number = "3", pages = "29--39", year = "1993", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Misc{Hu:1993:VOI, author = "C. Hu and R. B. Kearfott and J. Sheldon and Q. Yang", title = "On Vectorization and Optimization of {INTBIS} on the {Cray Y-MP}", year = "1993", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Article{Kearfott:1993:PSH, author = "R. B. Kearfott and X. Shi", title = "A Preconditioner Selection Heuristic for Efficient Iteration with Decomposition of Arithmetic Expressions for Nonlinear Systems", journal = j-INTERVAL-COMP, volume = "1993", number = "1", pages = "15--33", year = "1993", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Misc{Kearfott:1993:RCS, author = "R. B. Kearfott and Z. Xing", title = "Rigorous Computation of Surface Patch Intersection Curves", year = "1993", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Misc{Novoa:1993:AIS, author = "M. Novoa", title = "Advances in the Interval Solution of Algebraic Systems", publisher = "Univ. of Southwestern Louisiana", year = "1993", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @PhdThesis{Xing:1993:RSC, author = "Zh. Xing", title = "Rigorous Step Control for Continuation", school = "University of Southwestern Louisiana", year = "1993", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @PhdThesis{Du:1994:CPG, author = "K. Du", title = "Cluster Problem in Global Optimization using Interval Arithmetic", school = "University of Southwestern Louisiana", year = "1994", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Article{Hu:1994:GIS, author = "C. Hu and R. B. Kearfott and Q. Yang and A. Frolov", title = "A General Iterative Sparse Linear Solver and its Parallelization for Interval {Newton} Methods", journal = j-INTERVAL-COMP, volume = "1994", number = "4", year = "1994", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Misc{Hu:1994:ISS, author = "C. Hu and R. B. Kearfott and Q. Yang", title = "A Indexed Storage Scheme for General Sparse Matrices and its Applications", year = "1994", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Article{Hu:1994:OIC, author = "C. Hu and R. B. Kearfott and J. Sheldon and Q. Yang", title = "Optimizing {INTBIS} on the {Cray Y-MP}", journal = j-INTERVAL-COMP, volume = "1994", number = "4", year = "1994", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @InProceedings{Hu:1994:SNS, author = "C. Hu and J. Sheldon and R. B. Kearfott and Q. Yang", booktitle = "Proc. ISCA Seventh International Conference on Parallel and Distributed Computing Systems", title = "Solving Nonlinear Systems on a Vector Supercomputer", publisher = "ISCA", pages = "832--835", year = "1994", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Article{Kearfott:1994:AIP, author = "R. B. Kearfott and M. Dawande and K. Du and C. Hu", title = "Algorithm 737: {INTLIB}: {A} Portable {Fortran}-77 Elementary Function Library", journal = j-TOMS, volume = "20", number = "4", pages = "447--459", month = dec, year = "1994", CODEN = "ACMSCU", ISSN = "0098-3500", bibdate = "Sat May 20 15:54:18 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", URL = "http://www.acm.org/pubs/citations/journals/toms/1994-20-4/p447-kearfott/", acknowledgement = ack-rfb, keywords = "BLAS; Fortran 77; Fortran 90; interval arithmetic; operator overloading; standard functions", subject = "D.2.2 [Software Engineering]: Tools and Techniques -- software libraries; D.2.7 [Software Engineering]: Distribution and Maintenance -- documentation; portability; G.1.0 [Numerical Analysis]: General -- computer arithmetic; G.1.2 [Numerical Analysis]: Approximation -- elementary function approximation", } @Article{Kearfott:1994:CPM, author = "R. B. Kearfott and K. Du", title = "The Cluster Problem in Multivariate Global Optimization", journal = j-J-GLOBAL-OPT, volume = "5", pages = "253--265", year = "1994", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Misc{Kearfott:1994:EEI, author = "R. B. Kearfott", title = "Empirical Evaluation of Innovations in Interval Branch and Bound Algorithms for Nonlinear Algebraic Systems", year = "1994", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Misc{Kearfott:1994:FSS, author = "R. B. Kearfott and S. Ning", title = "{FORTDIFF}: {A} Set of Subroutines for {Fortran-to-Fortran} Differentiation of Programs", year = "1994", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Article{Kearfott:1994:ISC, author = "R. Baker Kearfott and Zhaoyun Xing", title = "An Interval Step Control for Continuation Methods", journal = j-SIAM-J-NUMER-ANAL, volume = "31", number = "3", pages = "892--914", month = jun, year = "1994", CODEN = "SJNAAM", ISSN = "0036-1429", MRclass = "65G10 (65H10)", MRnumber = "94m:65076", bibdate = "Mon Jan 20 15:27:00 MST 1997", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", acknowledgement = ack-nhfb, } @Misc{Kearfott:1994:RTV, author = "R. B. Kearfott", title = "A Review of Techniques in the Verified Solution of Constrained Global Optimization Problems", year = "1994", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Misc{Kearfott:1994:VFE, author = "R. B. Kearfott", title = "On Verifying Feasibility in Equality Constrained Optimization Problems", journal = j-MATH-PROG, year = "1994", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Misc{Shi:1994:SRR, author = "S. Shi and R. B. Kearfott", title = "Some Results on the Regularity of an Interval Matrix", journal = j-COMPUTING, year = "1994", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Article{Kearfott:1995:FER, author = "R. Baker Kearfott", title = "A {Fortran} 90 Environment for Research and Prototyping of Enclosure Algorithms for Nonlinear Equations and Global Optimization", journal = j-TOMS, volume = "21", number = "1", pages = "63--78", month = mar, year = "1995", CODEN = "ACMSCU", ISSN = "0098-3500", bibdate = "Sat May 20 15:54:41 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", URL = "http://www.acm.org/pubs/citations/journals/toms/1995-21-1/p63-kearfott/", acknowledgement = ack-rfb, keywords = "automatic differentiation; Fortran 90; global optimization; nonlinear algebraic systems; symbolic computation", subject = "D.3.3 [Programming Languages]: Language Constructs; G.1.5 [Numerical Analysis]: Roots of Nonlinear Equations; G.1.6 [Numerical Analysis]: Optimization; G.4 [Mathematics of Computing]: Mathematical Software", } @Article{Kearfott:1995:FERb, author = "R. B. Kearfott", title = "A {Fortran 90} Environment for Research and Prototyping of Enclosure Algorithms for Nonlinear Equations and Global Optimization", journal = j-TOMS, volume = "21", number = "1", pages = "63--78", month = mar, year = "1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Misc{Kearfott:1995:IFM, author = "R. B. Kearfott", title = "{INTLIB}\_{ARITHMETIC}: {A} Fortran~90 Module for an Interval Data Type", journal = j-TOMS, year = "1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Misc{Kearfott:1995:TRI, author = "R. B. Kearfott", title = "Test Results for an Interval Branch and Bound Algorithm for Equality-Constrained Optimization", year = "1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Article{Kearfott:1996:IEN, author = "R. Baker Kearfott", title = "Interval Extensions of Non-Smooth Functions for Global Optimization and Nonlinear Systems Solvers", journal = j-COMPUTING, volume = "57", number = "2", pages = "149--162", month = "????", year = "1996", CODEN = "CMPTA2", ISSN = "0010-485X (printed version), 1436-5057 (electronic version)", MRclass = "90C30 (65G10)", MRnumber = "97i:90080", bibdate = "Tue Oct 12 16:33:42 MDT 1999", bibsource = "Compendex database; MathSciNet database; OCLC Contents1st database; ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", acknowledgement = ack-nhfb, classification = "921; 921.1; 921.5; 921.6", journalabr = "Comput Vienna New York", keywords = "Approximation theory; Calculations; Global optimization; Interval extensions; Newton methods; Non smooth optimization; Nonlinear equations; Optimization", mrreviewer = "Xiaojun Chen", } @Article{Kearfott:1996:IFM, author = "R. Baker Kearfott", title = "Algorithm 763: {INTERVAL\_ARITHMETIC}: {A Fortran 90} Module for an Interval Data Type", journal = j-TOMS, volume = "22", number = "4", pages = "385--392", month = dec, year = "1996", CODEN = "ACMSCU", ISSN = "0098-3500", note = "See \cite{Kearfott:1994:AIP}.", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", URL = "http://www.acm.org/pubs/citations/journals/toms/1996-22-4/p385-kearfott/", abstract = "Interval arithmetic is useful in {\it automatically verified computation}, that is, in computations in which the algorithm itself rigorously proves that the answer must lie within certain bounds. In addition to rigor, interval arithmetic also provides a simple and somewhat sharp method of bounding ranges of functions for global optimization and other tasks. Convenient use of interval arithmetic requires an interval data type in the programming language. Although various packages supply such a data type, previous ones are machine specific, obsolete, and unsupported, for languages other than Fortran, or commercial. The Fortran 90 module {INTERVAL\_ARITHMETIC} provides a portable interval data type in Fortran 90. This data type is based on two double-precision real Fortran storage unit. Module {INTERVAL\_ARITHMETIC} uses the Fortran 77 library {INTLIB} (ACM TOMS Algorithm 737) as a supporting library. The module has been employed extensively in the author's own research.", acknowledgement = ack-rfb, keywords = "algorithms, languages", subject = "{\bf D.3.2}: Software, PROGRAMMING LANGUAGES, Language Classifications, FORTRAN 90. {\bf G.1.0}: Mathematics of Computation, NUMERICAL ANALYSIS, General, Computer arithmetic, Error analysis, Numerical algorithms.", } @Article{Kearfott:1997:EEI, author = "R. Baker Kearfott", title = "Empirical Evaluation of Innovations in Interval Branch and Bound Algorithms for Nonlinear Systems", journal = j-SIAM-J-SCI-COMP, volume = "18", number = "2", pages = "574--594", month = mar, year = "1997", CODEN = "SJOCE3", ISSN = "1064-8275", MRclass = "65G10 (65H20); 65G10 (65Hxx)", MRnumber = "97m:65094; 1 433 796", MRreviewer = "J. Michel Muller", bibdate = "Thu Apr 9 08:17:18 MDT 1998", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", acknowledgement = ack-nhfb, } @Article{Ning:1997:CSM, author = "S. Ning and R. B. Kearfott", title = "A Comparison of Some Methods for Solving Linear Interval Equations", journal = j-SIAM-J-NUMER-ANAL, volume = "34", number = "4", pages = "1289--1305", month = aug, year = "1997", CODEN = "SJNAAM", ISSN = "0036-1429", MRclass = "65Gxx (65Fxx)", MRnumber = "1 461 785", bibdate = "Thu Apr 9 09:51:58 MDT 1998", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", URL = "http://epubs.siam.org:80/sam-bin/dbq/toclist/SINUM", } @Article{Kearfott:1998:RGS, author = "R. Baker Kearfott and Eldon Hansen", title = "Rigorous Global Search: Continuous Problems", journal = j-SIAM-REVIEW, volume = "40", number = "1", pages = "153--??", month = "????", year = "1998", CODEN = "SIREAD", ISSN = "0036-1445", bibdate = "Thu Apr 9 08:47:36 MDT 1998", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", acknowledgement = ack-nhfb, } %======================================================================= % Cross-referenced entries: @Proceedings{Cohen:1982:IFE, editor = "B. A. Cohen", title = "{IEEE} 1981 Frontiers of Engineering in Health Care: {September 19--21, 1981, Shamrock Hilton Hotel, Houston, TX, USA}", publisher = pub-IEEE, address = pub-IEEE:adr, pages = "455", year = "1982", LCCN = "R856.A2 I344 1981a", bibdate = "Tue May 23 16:28:41 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Proceedings{Potvin:1982:FEH, editor = "Alfred R. Potvin and Janet H. Potvin", title = "Frontiers of engineering in health care, 1982: proceedings, Fourth Annual Conference, {IEEE} Engineering in Medicine and Biology Society, {Marriott Hotel, Philadelphia, PA, 20--21 September 1982}", publisher = pub-IEEE, address = pub-IEEE:adr, pages = "633", year = "1982", LCCN = "W3 IE34 1982", bibdate = "Wed May 24 15:12:40 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", acknowledgement = ack-nhfb, } @Proceedings{Pereyra:1982:NM, editor = "V. Pereyra and A. Reinoza", title = "Numerical Methods: Proceedings of the international workshop held at {Caracas, June 14--18, 1982}", volume = "1005", publisher = pub-SV, address = pub-SV:adr, pages = "296", year = "1982", ISBN = "0-387-12334-2 (New York), 3-540-12334-2 (Berlin)", LCCN = "QA3 .L35 v.1005, QA 297 N86 1982", bibdate = "Tue May 23 16:33:47 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", series = "Lecture Notes in Mathematics", } @Proceedings{Kuepper:1984:NMB, editor = "T. {K\"upper} and H. D. Mittelmann and H. Weber", title = "Numerical Methods for Bifurcation Problems: Proceedings of the Conference at the {University of Dortmund, August 22--26, 1983}", number = "70", publisher = pub-BIRKHAUSER, address = pub-BIRKHAUSER:adr, year = "1984", ISBN = "3-7643-1627-6", LCCN = "QA297 .N864 1984", bibdate = "Tue May 23 16:30:27 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", series = "International Series of Numerical Mathematics (ISNM)", } @Proceedings{Vichnevetsky:1988:PTI3, editor = "R. Vichnevetsky and P. Borne and J. Vignes", title = "Proceedings of the Twelfth {IMACS} World Congress on Scientific Computation 3 ({July 18--22 1988, Paris, France})", publisher = "IMACS", address = "Villeneuve d'Asq, France", pages = "various", year = "1988", ISBN = "2-9502908-0-9", LCCN = "QA 76.9 C65 I43 1988", bibdate = "Tue May 23 16:55:41 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", note = "Five volumes.", } @Proceedings{Vichnevetsky:1988:PTI4, editor = "R. Vichnevetsky and P. Borne and J. Vignes", title = "Proceedings of the Twelfth {IMACS} World Congress on Scientific Computation 4", publisher = "IMACS", address = "Villeneuve d'Asq, France", pages = "various", year = "1988", ISBN = "2-9502908-0-9", LCCN = "QA 76.9 C65 I43 1988", bibdate = "Tue May 23 16:55:44 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", note = "Five volumes.", } @Proceedings{Bowers:1989:CC, editor = "K. Bowers and J. Lund", title = "Computation and Control: Proceedings of the {Bozeman} conference, {Bozeman, Montana, August 1--11, 1988}", publisher = pub-BIRKHAUSER, address = pub-BIRKHAUSER:adr, pages = "410", year = "1989", ISBN = "0-8176-3438-X", LCCN = "TA329 .C6451 1989", bibdate = "Tue May 23 16:28:46 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", series = "Progress in Systems and Control Theory", } @Proceedings{Eisenfeld:1989:BSM, editor = "J. Eisenfeld and D. S. Levine", title = "Biomedical Systems Modelling and Simulation", number = "5", publisher = pub-BALTZER, address = pub-BALTZER:adr, pages = "207", year = "1989", LCCN = "QH323.5 .B56 1989", bibdate = "Wed May 24 14:36:12 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", series = "IMACS transactions on scientific computing", } @Proceedings{Sharda:1989:IRC, editor = "R. Sharda and B. L. Golden and E. Wasil and O. Balci and W. Stewart", title = "Impacts of Recent Computer Advances on Operations Research", publisher = pub-NH, address = pub-NH:adr, pages = "xii + 585", year = "1989", ISBN = "0-444-01492-6", LCCN = "T57.6 .I4831 1989", bibdate = "Tue May 23 16:35:32 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", series = "Publications in Operations Research", } @Proceedings{Allgower:1990:CSN, editor = "E. L. Allgower and K. Georg", title = "Computational Solution of Nonlinear Systems of Equations", volume = "26", publisher = pub-AMS, address = pub-AMS:adr, pages = "xix + 762", year = "1990", ISBN = "0-8218-1131-2", LCCN = "QA372 .C6374 1990", bibdate = "Tue May 23 16:22:53 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", series = "Lectures in Applied Mathematics", } @Proceedings{Law:1990:AOC, editor = "A. G. Law and C. L. Wang", title = "Approximation, Optimization, and Computing: Theory and Applications", publisher = pub-NH, address = pub-NH:adr, pages = "xv + 442", year = "1990", ISBN = "0-444-88693-1", LCCN = "QA221 .A64 1990", bibdate = "Tue May 23 16:55:48 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", } @Proceedings{Dongarra:1992:PFS, editor = "J. Dongarra and K. Kennedy and P. Messina and D. C. Sorensen and R. G. Voigt", title = "Proceedings of the Fifth {SIAM} Conference on Parallel Processing for Scientific Computing", publisher = pub-SIAM, address = pub-SIAM:adr, pages = "xvii + 648", year = "1992", ISBN = "0-89871-303-X", LCCN = "QA76.58 .P76 1992", bibdate = "Tue May 23 16:28:45 1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/k/kearfott-r-baker.bib", }