Home Advanced Search

Advanced Search - Page 1

Developments in Reliable Computing
  • PDF
  • English
  • Year: 1999
  • Author: George F. Corliss, R. Baker Kearfott (auth.), Tibor Csendes (eds.)
Applications of Interval Computations
  • PDF
  • English
  • Year: 1996
  • Author: R. Baker Kearfott, Vladik Kreinovich (auth.), R. Baker Kearfott, Vladik Kreinovich (eds.)
Knowledge Processing with Interval and Soft Computing
  • PDF
  • English
  • Year: 2008
  • Author: Ralph Baker Kearfott, Chenyi Hu (auth.), Vladik Kreinovich, Andre Korvin, R. Baker Kearfott, Chenyi Hu (eds.)
Knowledge processing with interval and soft computing
  • PDF
  • English
  • Year: 2008
  • Author: Ralph Baker Kearfott, Chenyi Hu (auth.), Vladik Kreinovich, Andre Korvin, R. Baker Kearfott, Chenyi Hu (eds.)
Rigorous global search: continuous problems
  • DJVU
  • English
  • Year: 1996
  • Author: R. Baker Kearfott
Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003. Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Jürgen Wolff von Gudenberg (auth.), René Alt, Andreas Frommer, R. Baker Kearfott, Wolfram Luther (eds.)
Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers
  • PDF
  • English
  • Year: 2009
  • Author: R. Baker Kearfott, John Pryce, Nathalie Revol (auth.), Annie Cuyt, Walter Krämer, Wolfram Luther, Peter Markstein (eds.)
Numerical Validation in Current Hardware Architectures: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008. Revised Papers
  • PDF
  • English
  • Year: 2009
  • Author: R. Baker Kearfott, John Pryce, Nathalie Revol (auth.), Annie Cuyt, Walter Krämer, Wolfram Luther, Peter Markstein (eds.)
Developments in Global Optimization
  • PDF
  • English
  • Year: 1997
  • Author: A. Neumaier (auth.), Immanuel M. Bomze, Tibor Csendes, Reiner Horst, Panos M. Pardalos (eds.)