Journal: Reliable Computing

Volume 11, Issue 6

443 -- 478Alexandre Goldsztejn. A Right-Preconditioning Process for the Formal-Algebraic Approach to Inner and Outer Estimation of AE-Solution Sets
479 -- 489Vladik Kreinovich. Optimal Finite Characterization of Linear Problems with Inexact Data
491 -- 493Jiri Rohn. How Strong Is Strong Regularity?
495 -- 497Eldon R. Hansen. A Theorem on Regularity of Interval Matrices
499 -- 503Martine Ceberio, Vladik Kreinovich, Michel Rueher. Reliable Computations and Their Applications (RCA) Track

Volume 11, Issue 5

321 -- 322Sergey P. Shary. Preface
323 -- 341Ramil R. Akhmerov. Interval-Affine Gaussian Algorithm for Constrained Systems
343 -- 358Yuri G. Dolgov. Developing Interval Global Optimization Algorithms on the Basis of Branch-and-Bound and Constraint Propagation Methods
359 -- 367Alexei G. Ershov, Tamara P. Kashevarova. Interval Mathematical Library Based on Chebyshev and Taylor Series Expansion
369 -- 382Pau Herrero, Miguel Ángel Sainz, Josep Vehí, Luc Jaulin. Quantified Set Inversion Algorithm with Applications to Control
383 -- 391R. Baker Kearfott. Validated Constraint Solving-Practicalities, Pitfalls, and New Developments
393 -- 411Bartlomiej Jacek Kubica, Krzysztof Malinowski. An Interval Global Optimization Algorithm Combining Symbolic Rewriting and Componentwise Newton Method Applied to Control a Class of Queueing Systems
425 -- 432Irene A. Sharaya. On Unbounded Tolerable Solution Sets
433 -- 442Sergei I. Zhilin. On Fitting Empirical Data under Interval Error

Volume 11, Issue 4

253 -- 273Boglárka Tóth, Tibor Csendes. Empirical Investigation of the Convergence Speed of Inclusion Functions in a Global Optimization Context
275 -- 290Nathalie Revol, Fabrice Rouillier. Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library
291 -- 312Kavitha Tupelly, Vladik Kreinovich, Karen Villaverde. Checking If There Exists a Monotonic Function That Is Consistent with the Measurements: An Efficient Algorithm
313 -- 319Franky Backeljauw, Annie A. M. Cuyt. A Constructive Criticism of the C/C++ Proposal for Complex Arithmetic

Volume 11, Issue 3

165 -- 190Götz Alefeld, Günter Mayer. Enclosing Solutions of Singular Interval Systems Iteratively
191 -- 205Takeshi Ogita, Shin ichi Oishi. Fast Inclusion of Interval Matrix Multiplication
207 -- 233Scott Ferson, Lev Ginzburg, Vladik Kreinovich, Luc Longpré, Monica Aviles. Exact Bounds on Finite Populations of Interval Data
235 -- 251Johannes Wallner, Hans-Peter Schröcker, Shi-Min Hu. Tolerances in Geometric Constraint Problems

Volume 11, Issue 2

87 -- 103Hans-Robert Arndt, Günter Mayer. On the Solutions of the Interval System [::::x::::] = [::::A][x::::] + [::::b::::]
105 -- 127Marina Lyashko. The Optimal Solution of an Interval System of Linear Algebraic Equations
129 -- 135Jiri Rohn. Linear Interval Equations: Midpoint Preconditioning May Produce a 100 Overestimation for Arbitrarily Narrow Data Even in Case ::::n:::: = 4
137 -- 155Steffen Schön, Hansjörg Kutterer. Using Zonotopes for Overestimation-Free Interval Least-Squares-Some Geodetic Applications
157 -- 159Mitsuhiro T. Nakao, Kaori Nagatou. SCAN 2004 11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics::::Fukuoka, Japan, October 4-8, 2004::::
161 -- 162. Second R. E. Moore Prize Awarded at SCAN 2004
163 -- 164R. Baker Kearfott. Errata and Opinion to: An Interval Entropy Penalty Method for Nonlinear Global Optimization

Volume 11, Issue 1

1 -- 17Luc Jaulin, Didier Henrion. Contracting Optimally an Interval Matrix without Loosing Any Positive Semi-Definite Matrix Is a Tractable Problem
19 -- 34Lev V. Utkin, Igor Kozine. Computing System Reliability Given Interval-Valued Characteristics of the Components
35 -- 39Jiri Rohn. A Normal Form Supplement to the Oettli-Prager Theorem
41 -- 58Abdelhay A. Salama, Emad Hamdy. Interval Schemes for Singularly Perturbed Initial Value Problems
59 -- 76Vladik Kreinovich, Luc Longpré, Praveen Patangay, Scott Ferson, Lev Ginzburg. Outlier Detection under Interval Uncertainty: Algorithmic Solvability and Computational Complexity
77 -- 85Marco Schnurr. On the Proofs of Some Statements Concerning the Theorems of Kantorovich, Moore, and Miranda