Reliable Computing, Volume 8

Volume 8, Number 1, February 2002

• Uwe Schäfer:
  Two Ways to Extend the Cholesky Decomposition to Block Matrices with Interval Entries. 1-20
  Electronic Edition (link) BibTeX
• Stefan Ratschan:
  Approximate Quantified Constraint Solving by Cylindrical Box Decomposition. 21-42
  Electronic Edition (link) BibTeX
• Rida T. Farouki, Helmut Pottmann:
  Exact Minkowski Products of N Complex Disks. 43-66
  Electronic Edition (link) BibTeX
• Jens Hoefkens, Martin Berz:
  Verification of Invertibility of Complicated Functions over Large Domains. 67-82
  Electronic Edition (link) BibTeX
• Paluri S. V. Nataraj, Suresh Mandir Sheela:
  A New Subdivision Strategy for Range Computations. 83-92
  Electronic Edition (link) BibTeX
• Weldon A. Lodwick:
  Reliable Computing: Special Issue on the Linkages between Interval Mathematics and Fuzzy Set Theory. 93-95
  Electronic Edition (link) BibTeX

Volume 8, Number 2, April 2002

• Igor Kozine, Lev V. Utkin:
  Interval-Valued Finite Markov Chains. 97-113
  Electronic Edition (link) BibTeX
• Eldon R. Hansen, G. William Walster:
  Sharp Bounds on Interval Polynomial Roots. 115-122
  Electronic Edition (link) BibTeX
• Paluri S. V. Nataraj, Airani Kalathil Prakash:
  A Parallelized Version of the Covering Algorithm for Solving Parameter-Dependent Systems of Nonlinear Equations. 123-130
  Electronic Edition (link) BibTeX
• João Batista S. de Oliveira, Luiz Henrique de Figueiredo:
  Interval Computation of Viswanath's Constant. 131-138
  Electronic Edition (link) BibTeX
• Chong-Kan Chiu, Jimmy Ho-Man Lee:
  Efficient Interval Linear Equality Solving in Constraint Logic Programming. 139-174
  Electronic Edition (link) BibTeX
• Daniel Berleant:
  Reliable Computing: Special Issue on Dependable Reasoning about Uncertainty. 175-176
  Electronic Edition (link) BibTeX

Volume 8, Number 3, June 2002

• Michael A. Wolfe:
  Bounding Perturbations in Zeros of Nonlinear Systems. 177-188
  Electronic Edition (link) BibTeX
• Miguel Ángel Sainz, Ernest Gardeñes, Lambert Jorba:
  Formal Solution to Systems of Interval Linear or Non-Linear Equations. 189-211
  Electronic Edition (link) BibTeX
• Gerhard Heindl, Vladik Kreinovich, Maria Rifqi:
  In Case of Interval (or More General) Uncertainty, No Algorithm Can Choose the Simplest Representative. 213-227
  Electronic Edition (link) BibTeX
• Jan Mayer:
  An Approach to Overcome Division by Zero in the Interval Gauss Algorithm. 229-237
  Electronic Edition (link) BibTeX
• Charles R. Johnson, Ronald L. Smith:
  Intervals of Inverse M-Matrices. 239-243
  Electronic Edition (link) BibTeX
• Eugene Loh, G. William Walster:
  Rump's Example Revisited. 245-248
  Electronic Edition (link) BibTeX

Volume 8, Number 4, August 2002

• Ramon E. Moore:
  Sparse Systems in Fixed Point Form. 249-265
  Electronic Edition (link) BibTeX
• R. Baker Kearfott:
  On Existence and Uniqueness Verification for Non-Smooth Functions. 267-282
  Electronic Edition (link) BibTeX
• Miguel Ángel Sainz, Ernest Gardeñes, Lambert Jorba:
  Interval Estimations of Solution Sets to Real-Valued Systems of Linear or Non-Linear Equations. 283-305
  Electronic Edition (link) BibTeX
• Jürgen Wolff von Gudenberg:
  Interval Arithmetic on Multimedia Architectures. 307-312
  Electronic Edition (link) BibTeX
• Arnold Neumaier:
  Grand Challenges and Scientific Standards in Interval Analysis. 313-320
  Electronic Edition (link) BibTeX

Volume 8, Number 5, October 2002

• Sergey P. Shary:
  A New Technique in Systems Analysis Under Interval Uncertainty and Ambiguity. 321-418
  Electronic Edition (link) BibTeX
• R. Baker Kearfott, G. William Walster:
  SIAM Conference on Optimization, Validated Computing 2002, and the Fields Institute Informal Working Group on Validated Optimization. 419-424
  Electronic Edition (link) BibTeX
• Weldon A. Lodwick, Vladik Kreinovich:
  Interval-Related Talks at the Annual Conference of the North American Fuzzy Information Processing Society NAFIPS'02. 425-426
  Electronic Edition (link) BibTeX

Volume 8, Number 6, December 2002

• Paluri S. V. Nataraj, Suresh Mandir Sheela:
  A QFT Procedure for Generating Design Frequencies and Bounds of Guaranteed Accuracy. 427-451
  Electronic Edition (link) BibTeX
• R. Baker Kearfott, G. William Walster:
  Symbolic Preconditioning with Taylor Models: Some Examples. 453-468
  Electronic Edition (link) BibTeX
• Hans-Jürgen Dobner:
  Kernel-Splitting Technique for Enclosing the Solution of Fredholm Equations of the First Kind. 469-479
  Electronic Edition (link) BibTeX
• Vladik Kreinovich:
  Range Estimation Is NP-Hard for ?2 Accuracy and Feasible for _epsilon2-[delta]. 481-491
  Electronic Edition (link) BibTeX
• Lubomir V. Kolev:
  Outer Solution of Linear Systems Whose Elements Are Affine Functions of Interval Parameters. 493-501
  Electronic Edition (link) BibTeX
• William Oberkampf, Jon Helton, Steve Wojtkiewicz, Cliff Joslyn, Scott Ferson:
  Epistemic Uncertainty Workshop. 503-505
  Electronic Edition (link) BibTeX