External Links

    Journal: Reliable Computing

    Volume 8, Issue 6

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

    Volume 8, Issue 5

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

    Volume 8, Issue 4

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

    Volume 8, Issue 3

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

    Volume 8, Issue 2

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

    Volume 8, Issue 1

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