https://www.reliable-computing.org/archive/reliable-computing-journal/legacy-tables-of-contents.html
Tables of Contents
The early issues (1991-1996)
From
1991 to 1994, the journal was
called Interval
Computations, and was called Reliable Computing for
the 1995 and 1996 issues. Volume numbers were not assigned, only
years, from 1991 to 1996. The Kluwer issues, beginning with 1997,
began with volume 3, to reflect two years with the name Reliable Computing.
Full text is available in PDF for each
listed paper by clicking on the link for that paper.
Users of this
site should properly credit and cite any material they use.Articles from 1991,
1992, 1993 no. 1, and 1994 no. 3 are scanned images of the
original printed copies, while articles from 1995 and
1996 are PDF copies identical to the printed
versions. The remaining PDF copies appearing here were reproduced
from the final LaTeX source prior to printing; although the content in
these should be identical to that in the original paper copies of the
journal, there are small differences in line breaks and
pagination. This is due to changes between LaTeX 2.09 and
LaTeX2e, such as a change in the hyphenation algorithm. Full-text
searchability (or accuracy thereof) varies according to whether an
article was scanned or otherwise reproduced.
- 1991
- 1992
- 1993
- 1994
- Supplementum
1
(Bibliography of works on interval computations published in Russian),
1994
- Supplementum
--- APIC'95 proceedings (International Workshop on Applications of
Interval Computations) (on the UTEP interval computations web site),
1995
- 1995
- 1996
1991 (Interval
Computations Volume 1)
Issue 1:
- Cover and editorial board members
- From the Editor (in Russian), pp. 2-5.
- From the Editor, pp. 6-9.
- A. G. Yakovlev, Interval computations - subject of research and useful tool (in Russian) , pp. 10-26, 1991(1).
- A. G. Yakovlev, Interval computations - subject of research and useful tool, pp. 27-43, 1991(1).
- J. Herzberger and D. Bethke, On two algorithms for bounding the inverses of an interval matrix, pp. 44-53, 1991(1).
- B. S. Dobronets, and V. I. Senashov, On interval extension of some classes of functions, pp. 54-58, 1991(1).
- R. B. Kearfott, Chenyi Hu, and Manuel Novoa III, A review of preconditioners for the interval Gauss-Seidel method, pp. 59-85, 1991(1).
- E. A. Musaev, Narrowing of intervals by partial derivatives, pp. 86-91, 1991(1).
- S. P. Shary, On compatibility of linear tolerance problem, pp. 92-98, 1991(1).
- B.
V. Paluh, B. V. Vasilyov, and V. L. Perov, Application of interval mathematics for
solving technical diagnostics tasks of non-stop manufacture in chemical
industry, pp. 99-104, 1991(1).
Short Communications:
- V. S. Zjuzin Review of the book: H. Bauch, K.-U. Jahn, D. Oelschlaegel, H. Suesse, and V. Wiebigke Interval Mathematics (Theory and Application) (H. Bauch, K.-U. Jahn, D. Oelschlaegel, H. Suesse, V. Wiebigke Intervallmathematik (Teorie und Anwendungen). - Leipzig, BSB B. G. Teubner Verlagsgesellschaft, 1987, 260 S. (Mathematisch-Naturwissenschaftliche Bibliothek, Band 72)) , pp. 105-107, 1991(1).
- E. A. Musaev, Interval Methods for Numerical Computation, West Germany, Oberwolfach, March 3 - 10, 1990 (Information on international meeting), pp. 108-110, 1991(1).
- S.
P. Shary, 7-th All-Union Workshop in Interval
Mathematics
(Information), pp. 111-112, 1991(1).
Requirements for manuscript preparation (in Russian): p. 113.
Requirements for manuscript preparation: p. 114.
Issue 2:
- Cover and editorial board members.
- From the Editor, pp. 2-3.
- From
the Editor (in Russian) , pp. 4-6.
Mathematical Research:
- S. Shary, Optimal solution of interval linear algebraic systems. I, pp.7-30, 1991(2).
- V. Kreinovich, A. Bernat, E. Villa, and Y. Mariscal, Parallel Computers. Estimate errors caused by imprecise data, pp. 31-46, 1991(2)
Computer Means:
Advertisements:
- The full translation into Russian of ANSI/IEEE standards on computer arithmetic, p. 82.
- Program package ASIAS, p. 83.
- Program
package ASIAS (in Russian) , p. 84.
Reviews and Abstracts:
Meetings:
- Actual problems of applied mathematics. All-Union conference. Saratov, May 20-22, 1991. A brief report (A. V. Zakharov), pp. 87-90.
- Actual problems of applied mathematics. All-Union conference. Saratov, May 20-22, 1991. A brief report (A. V. Zakharov, in Russian), pp. 91-95.
- Advanced seminar on programming languages for scientific/engineering computation, Leningrad, June 3-6, 1991. A summarizing report (A. Davidenkoff ), pp.96-106.
- Interval subjects at the SCAN-1991 symposium. Information (J. Herzberger), p. 107.
- Resolution of 8th All-Union Workshop on interval mathematics. Bishkek, October 1-3, 1991, p. 108.
- Resolution of 8th All-Union Workshop on interval mathematics. Bishkek (in Russian), October 1-3, 1991, p. 109.
- Preliminary
announcement, call for papers and further information for a
conference on numerical analysis with automatic result
verification.
Lafayette, Louisiana, February 25 - March 1, 1993, pp. 110-114.
Bibliography:
Requirements for Manuscript Preparation: pp. 123-124.
Requirements for Manuscript Preparation (in Russian): pp. 125-126.
Addresses of Editorial Board Members: pp. 127-131.
Contents : pp. 132-134.
1992 (Interval
Computations Volume 2)
Issue 1:
Mathematical Research:
- B. S. Dobronets, On some two-sided methods for solving systems of ordinary differential equations, pp. 6-21, 1992(1).
- S. M. Rump, Inclusion of the solution for large linear systems with M-matrix, pp. 22-43, 1992(1).
Applications and Studies of Related Disciplines:
Computer Means:
- E. A. Musaev, Wave computations. A technique for optimal quasi-concurrent self-validation, pp. 53-60, 1992(1).
- A.
G. Yakovlev, Classification
approach to programming of localizational (interval) computations,
pp. 61-84, 1992(1).
Computer Implementation:
Reviews and Abstracts:
- A review of the book: A. Neumaier, Interval Methods for Systems of Equations (G. Alefeld), pp. 96-97, 1992(1).
- List
of abstracts from Referativnyi Zhurnal "Matematika" for 1991, pp.
98-99.
Meetings:
Bibliography:
Requirements for Manuscript Preparation: pp. 112-113.
Requirements for ManuscriptPreparation (in Russian): pp. 114-115.
Addresses of Editorial Board Members: pp. 116-118.
Contents: pp. 119-121.
Issue2:
- Cover and Editorial Board Members.
- From the Editor , pp. 2-3.
- From
the Editor (in Russian), pp. 4-5.
Mathematical Research:
- A. F. Filippov, Ellipsoidal estimates for a solution of a system of differential equations, pp. 6-17, 1992(2).
- S. P. Shary, A new class of algorithms for optimal solution of interval linear systems, pp. 18-29, 1992(2).
- P. S. Pankov, Proof of finite-dimensional inequalities by means of interval analysis, pp. 30-38, 1992(2).
- V.
S. Zyuzin, On metrization of
interval sets I(R), I(Rn), pp. 39-50, 1992(2).
Applications and Studies of Related Disciplines:
Computer Means:
Learning:
Meetings:
- International conference "INTERVAL-92" (summarized by Prof. A. P. Voshchinin), pp. 86-91.
- International conference "INTERVAL-92" (in Russian, summarized by Prof. A. P. Voshchinin), pp. 92-98.
- Mathematical
modelling and scientific computation. International conference.
Sozopol, Bulgaria, September 14-17, 1993 , pp. 99-104.
Reviews and Abstracts:
Bibliography:
Requirements for Manuscript Preparation: pp. 116-117.
Requirements for ManuscriptPreparation (in Russian): pp. 118-119.
Addresses of Editorial Board Members: pp. 120-122.
Contents: pp. 123-125.
Issue 3 (Special issue containing material presented at INTERVAL'92):
- Cover and Editorial Board Members.
- From the editor, pp. 2-3.
- From the editor (in Russian), pp. 4-5.
- From the invited editor, p. 6.
- From the invited editor (in Russian), p. 7.
- A. Akunova, T. A. Akunov and A. V. Ushakov, Construction of a comparison system for multivariate control processes with interval state matrix, pp. 8-12, 1992(3).
- A. B. Babichev, O. B. Kadyrova, T. P. Kashevarova, and A. L. Semenov, UniCalc as a tool for solving problems with inaccurate and sub-definite data, pp. 13-16, 1992(3).
- F. Blomquist, Interval inclusions for Dawson's integral, pp. 17-26, 1992(3).
- A. F. Bochkov and L. A. Yakovleva, Algorithm for experimental zero-order optimization for plant with bounded amplitude errors, pp. 27-30, 1992(3).
- A. F. Bochkov and N. V. Zung, Identification of nonlinear dynamic objects using interval experimental data, pp. 31-37, 1992(3).
- D. M. Claudio, M. H. Escardó, and B. R. T. Franciosi, An order-theoretical approach to interval analysis, pp. 38-45, 1992(3).
- A. I. Demchenko, B. V. Peltsverger, and O. V. Khavronin, Synthesis of transport networks structures under conditions of uncertain initial information, pp. 46-49, 1992(3).
- B. S. Dobronets, Interval methods based on a posteriori estimates, pp. 50-55, 1992(3).
- I. V. Dugarova, An algorithm of interval matrix asymptotic stability testing, pp. 56-62, 1992(3).
- O. B. Ermakov, Two-sided method for solving system of ordinary differential equations with automatic determination of guaranteed estimates, pp. 63-69, 1992(3).
- T. V. Evtushenko, Optimization problems for static plants under uncertainty conditions, pp. 70-74, 1992(3).
- A. F. Filippov, Ellipsoidal error estimates for Adams method, pp. 75-79, 1992(3).
- N. M. Glazunov, On interval extensions of computer algebra systems, pp. 80-87, 1992(3).
- T. Henriksen and K. Madsen, Parallel algorithms for global optimization, pp. 88-95, 1992(3).
- R. B. Kearfott, M. Dawande, K. Du and C. Hu, INTLIB: A portable Fortran-77 elementary function library, pp. 96-105, 1992(3).
- N. A. Khlebalin, Interval automatic systems - theory, computer-aided design and applications, pp. 106-115, 1992(3).
- A.
V. Korlyukov, A new application of
interval mathematics, pp. 116-121, 1992(3).
Meetings:
- International conference on interval and computer-algebraic methods in science and engineering (INTERVAL'94) , pp. 122-123.
- International conference on interval and computer-algebraic methods in science and engineering (INTERVAL'94, in Russian) , pp. 124-125.
Issue 4 (Second special issue containing material presented at INTERVAL'92):
- V. N. Krishchuk, N. M. Vasilega and G. L. Kozina, Interval operations and functions library for FORTRAN 77 programming system and its practice using, pp. 2-8, 1992(4).
- V. G. Krymsky, Algorithmic aims of reliability provision for large-scale dynamic systems with interval parameters, pp. 9-13, 1992(4).
- G. L. Litvinov, Error auto-correction in rational approximation, pp.14-18, 1992(4).
- S. M. Markov, On the presentation of ranges of monotone functions using interval arithmetic, pp. 19-31, 1992(4).
- G. G. Menshikov, Interval co-integration of differential equations connected by a substitution of the variable, pp. 32-36, 1992(4).
- E. A. Musaev, An approach to reliable computations with the minimal representation, pp. 37-41, 1992(4).
- A. S. Narin'yani, Ne-factors and natural pragmatics: what do the intervals represent, pp. 42-46, 1992(4).
- V. M. Nesterov, Estimating a range of values of functions using extended interval arithmetics, pp. 47-53, 1992(4).
- P. S. Pankov and B. D. Bayachorova, Using interval methods in cluster analysis and verified representation of connected sets, pp. 54-58, 1992(4).
- P. S. Senio and P. S. Vengersky, Solving systems of special form nonlinear equations by means of some modifications of Runge type interval iterative method, pp. 59-65, 1992(4).
- S. P. Shary, On controlled solution set of interval algebraic systems, pp. 66-75, 1992(4).
- D. Shiriaev, PASCAL-XSC. A portable programming system for scientific computations, pp. 76-82, 1992(4).
- S. J. Simoff, Interval approximate reasoning for expert systems, pp. 83-87, 1992(4).
- N. V. Skybytsky and T. Yuping, Control of the linear dynamic plant with intervally given parameters from the guarantee condition of the required accuracy of the solution, pp. 88-93, 1992(4).
- E. M. Smagina, General problem of the asymptotic steady-output tracking for plant with interval parameters, pp. 94-99, 1992(4).
- I. G. Ten, Synthesis of optimal control under interval uncertainty in models, pp. 100-106, 1992(4).
- A. P. Voshchinin, Some questions of application of interval mathematics in parameter estimation and decision making, pp. 107-115, 1992(4).
- J. Wolff von Gudenberg, Programming language support for scientific computation, pp. 116-126, 1992(4).
- V.
S. Zyuzin, The extension of
the Frechet derivative concept in the interval-segment analysis,
pp. 127-132, 1992(4).
1993 (Interval
Computations volume 3)
Issue 1:
Mathematical Research:
- Vladik Kreinovich, Anatoly V. Lakeyev and Sergey I. Noskov, Optimal solution of interval linear systems is intractable (NP-hard), pp. 6-14, 1993(1).
- R. Baker Kearfott and Xiaofa Shi, A preconditioner selection heuristic for efficient iteration with decomposition of arithmetic expressions for nonlinear algebraic aystems, 15-33, 1993(1).
- Ljiljana D. Petkovic and Miroslav Trajkovic, On some optimal inclusion approximations by discs, pp.34-50, 1993(1).
- V. A. Perepelitsa and G. L. Kozina, Interval discrete models and multiobjectivity complexity estimates, pp. 51-59, 1993(1).
- Yilmaz
Akyildiz and Mohammad I. Al-Suwaiyel, No pathologies for interval Newton's method,
pp. 60-72, 1993(1).
Advertisement:
Reviews and Abstracts:
- N. A. Khlebalin, Review of the Book, CAE fon Dynamischen Systemen. Analyse, Simulation, Entwurf von Regelungssystem, by G. Ludyk, 78-82, 1993(1).
- N. A. Khlebalin, Review of the Book (in Russian), CAE fon Dynamischen Systemen. Analyse, Simulation, Entwurf von Regelungssystem, by G. Ludyk, 83-87, 1993(1).
Meetings:
- International Congress on Computer Systems and Applied Mathematics (CSAM-93), St. Petersburg, July 19-23, 1993 (summarized by Sergey Shary), pp. 88-90, 1993(1).
- International Congress on Computer Systems and Applied Mathematics (CSAM-93), St. Petersburg, July 19-23, 1993 (summarized by Sergey Shary, in Russian), pp.91-93, 1993(1).
- IMACS-GAMM
International Workshop on Validated Computation, August 30 - September
3, 1993, Universität Oldenburg, Germany (summarized by J. Herzberger),
p. 94, 1993(1).
- Mathematical modelling and scientific computation. International conference. Sozopol, Bulgaria, September 14-17, 1993 (summarized by Sergey Shary), pp. 95-96, 1993(1).
- Mathematical modelling and scientific computation. International conference. Sozopol, Bulgaria, September 14-17, 1993 (summarized by Sergey Shary, in Russian), pp. 97-98, 1993(1).
- International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics "SCAN-93" (summarized by Mitsuhiro T. Nakao), pp. 99-101, 1993(1).
- Call
for Papers: Student issue of Interval Computations, guest editors:
Gũnther Mayer and Vladik Kreinovich, p. 102.
Bibliography:
- Requirements for manuscript preparation, p. 116.
- Requirements for manuscript preparation (in Russian), p.117.
- Addresses of editorial board members, pp. 118-119.
- Contents, pp. 120-122.
Issue 2 (First special issue containing material presented at the International Conference on Numerical Analysis with Automatic Result Verification, Lafayette, Louisiana, February 25 - March 1, 1993) :
- Cover.
- Editorial Board Members.
- From the Guest Editor, p. 2.
- From the Editor (in English and in Russian), pp. 3-4.
- Fernando L. Alvarado and Zian Wang, Direct Sparse Interval Hull Computations for Thin Non-M-Matrices, pp. 5-28, 1993(2).
- A. B. Babichev, O. B. Kadyrova, T. P. Kashevarova, A. S. Leshchenko, and A. L. Semenov, UniCalc, a Novel Approach to Solving Systems of Algebraic Equations, pp. 29-47, 1993(2).
- Daniel Berleant, Automatically Verified Reasoning with Both Intervals and Probability Density Functions, pp.48-70, 1993(2).
- Ole Caprani, Brian Godthaab, and Kaj Madsen, Use of a Real-Valued Local Minimum in Parallel Interval Global Optimization, pp.71-82, 1993(2).
- Iliano Cervesato, Angelo Montanari, and Alessandro Provetti, On the Non-m,onotonic Behaviour of Event Calculus for Deriving Maximal Time Intervals, pp.83-119, 1993(2).
- Amanda E. Connell and Robert M. Corless, An Experimental Interval Arithmetic Package in Maple, pp.120-134, 1993(2).
- Jeffrey S. Ely, The VPI Software Package for Variable Precision Interval Arithmetic, pp.135-153, 1993(2).
- Jürgen Garloff, The Bernstein Algorithm, pp.154-168, 1993(2).
- Gregory D. Hager, Solving Large Systems of Nonlinear Constraints with Application to Data Modeling, pp.169-200, 1993(2).
Advertisement:
- Requirements for manuscript preparation (in English and Russian), pp. 205-206.
- Addresses of the editorial board members, pp. 207-208.
- Contents, pp. 209-211.
Issue 3: (Second special issue containing material presented at the International Conference on Numerical Analysis with Automatic Result Verification, Lafayette, Louisiana, February 25 - March 1, 1993) :
- Eldon R. Hansen, Computing Aeros of Functions Using Generalized Interval Arithmetic , pp. 3-28, 1993(3).
- Chenyi Hu, R. Baker Kearfott, and Abdulhamid Awad, On Bounding the Range of Some Elementary Functions in FORTRAN-77, pp. 29-40, 1993(3).
- Ronald Van Iwaarden, Automatic Differentiation Applied to Unconstrained Nonlinear Optimization with Result Verification, pp. 41-60, 1993(3).
- Luc Jaulin and Eric Walter, Guaranteed Nonlinear Parameter Estimation via Interval Computations, pp. 61-75, 1993(3).
- Jerry B. Keiper, Interval Arithmetic in Mathematics, pp.76-87, 1993(3).
- Ladislav J. Kohout and Isabel Stabile , Interval-Valued Inference in Medical Knowledge-Based System CLINAID, pp.88-115, 1993(3).
- Carlos Falcó Korn and Christian Ullrich , Verified Solution of Linear Systems Based on Common Software Libraries, pp.116-132, 1993(3).
- Birna P. Kristinsdottir, Zelda B. Zabinsky, Tibor Csendes, and Mark E. Tuttle , Methodologies for Tolerance Intervals, pp.133-147, 1993(3).
- Anthony Leclerc , Parallel Interval Global Optimization and its Implementation in C++, pp.148-163, 1993(3).
- Svetoslav M. Markov , Some Interpolation Problems Involving Interval Data, pp.164-182, 1993(3).
- Mitsumi Nakamura, Ray Mines, and Vladik Kreinovich , Guaranteed Intervals for Kolmogorov's Theorem (and their Possible Relation to Neural Networks), pp.183-199, 1993(3).
Advertisement:
- Requirements for manuscript preparation (in English and Russian) pp. 202-203, 1993(3).
- Addresses of the editorial board members, pp. 204-205.
- Contents, pp. 206-208.
Issue 4 (Third special issue containing material presented at the International Conference on Numerical Analysis with Automatic Result Verification, Lafayette, Louisiana, February 25 - March 1, 1993):
- Vyacheslav M. Nesterov, How to Use Monotonicity-Type Information To Get Better Estimates of the Range of Real-Valued Functions, pp. 3-12, 1993(4).
- Jiří Rohn, Cheap and Tight Bounds: The Recent Result by E. Hansen Can Be Made More Efficient, pp. 13-21, 1993(4).
- Mark J. Schaefer, Precise Zeros of Analytic Functions Using Interval Arithmetic, pp. 22-39, 1993(4).
- Carol A. Schnepper and Mark A. Stadtherr, Application of a Parallel Interval Newton / Generalized Bisection Algorithm to Equation-Based Chemical Process Flowsheeting, pp. 40-64, 1993(4).
- Michael J. Schulte and Earl E. Swartzlander, Jr., Parallel Hardware Designs for Correctly Rounded Elementary Functions, pp. 65-88, 1993(4).
- L. Simcik and P. Linz, Boundary-Based Interval Newton's Method, pp. 89-99, 1993(4).
- Ongard Sirisaengtaksin and Vladik Kreinovich, Neural Networks That Are Not Sensitive to the Imprecision of Hardware Neurons, pp. 100-113, 1993(4).
- Ulrike Storck, Verified Calculation of the Nodes and Weights for Gaussian Quadrature Formulas, pp. 114-124, 1993(4).
- I. Burhan Turksen, Interval Valued Fuzzy Sets and Fuzzy Connectives, pp. 125-142, 1993(4).
- V. M. Veliov, Computation of Integrals of Uncertain Vector Functions, pp. 143-153, 1993(4).
- Elsa Villa, Andrew Bernat, and Vladik Kreinovich, Estimating Errors of Indirect Measurement on Realistic Parallel Machines: Routings on 2-D and 3-D Meshes that are Nearly Optimal, pp. 154-175, 1993(4).
- Karen Villaverde and Vladik Kreinovich, A Linear-Time Algorithm That Locates Local Extrema of a FUnction of One Variable from Interval Measurement Results, pp. 176-194, 1993(4).
- Alexander G. Yakovlev, Multiaspectness and Localization, pp. 195-209, 1993(4).
Meetings:
- International Conference INTERVAL'94 (summarized by Jürgen Wolff von Gudenberg, pp. 210-211, 1993(4).
Advertisement:
- Books and software for wavelets (pp. 212-213).
- Collections of abstracts and bibliography of works on interval computations published in Russia available from the editorial board (p. 213).
- Requirements for manuscript preparation (in English and Russian) pp. 214-215, 1993(4).
- Addresses of the editorial board members, pp. 216-217.
- Contentss, pp. 218-220.
1994
Issue 1:
Mathematical Research:
- Götz Alefeld and Günter Mayer, A Computer Aided Existence and Uniqueness Proof for an Interse Matrix Eigenvalue Problem, pp. 4-27, 1994(1).
- Wolfram J. Luther and Werner Otten, Verified Inclusion for Eigenvalues of Hill's Equation, pp. 28-41, 1994(1).
- Galina L. Kozina and Vitaly A. Perepelitsa, Interval Spanning Trees Problem: Solvability and Computational Complexity, pp. 42-50, 1994(1).
- Hartmut Schwandt, Suboptimal Enclosures for the Interval Buneman Algorithm for Arbitrary Block Dimension, pp. 51-89, 1994(1).
- Oleg B. Ermakov, Solving Systems of Ordinary Differential Equations Using Adams' Interpolation Method with Guaranteed Accuracy, pp. 90-95, 1994(1).
Teaching:
Erratum:
Bibliography:
- Requirements for manuscript preparation (in English and Russian) pp. 110-111, 1994(1).
- Addresses of the editorial board members, pp. 112-113.
- Contents, pp. 114-115.
Issue 2:
Mathematical Research:
- Sergey P. Shary, Solving the Tolerance Problem for Interval Linear Systems, pp. 6-26, 1994(2).
- Neli S. Dimitrova and Svetoslav M. Markov, On Validated Newton Type Method for Nonlinear Equations, pp. 27-51, 1994(2).
- Vladimir A. Podchukayev and Igor M. Svetlov, An Analytical Method of Constructing Hurwitz Interval Polynomials, pp. 52-67, 1994(2).
Applications and Studies of Related
Disciplines:
- Martin Berz and Georg Hoffstätter, Exact Bounds on the Long Term Stability of Weakly Nonlinear Systems Applied to the Design of Large Storage Rings, pp. 68-89, 1994(2).
- Vladik Kreinovich, Thomas Swenson, and Alex Elentukh, Interval Approach to Testing Software, pp. 90-109, 1994(2).
Meetings:
Bibliography:
- Requirements for manuscript preparation (in English and Russian) pp. 127-128, 1994(2).
- Addresses of the editorial board members, pp. 129-130.
- Contents, pp. 131-133.
Issue 3 (First special issue on parallel algorithms for interval computations):
- Cover and Editorial Board Members.
- From the guest editor (in English), pp. 2-3.
- From the guest editor (in Russian), pp. 4-5.
- Vladik Kreinovich and Andrew Bernat, Parallel Algorithms for Interval Computations: An Introduction, pp. 6-62, 1994(3).
- Erlang Lyager, Finding Local Extremal Points by Using Parallel Interval Methods, pp.63-80, 1994(3).
- Kaj Madsen and Ole Toft, A Parallel Method for Linear Interval Equations, pp.81-105, 1994(3).
- Michael Plum, Enclosures for Solutions of Parameter-Dependent Nonlinear Elliptic Boundary Value Problems: Theory and Implementation on a Parallel Computer, pp.106-121, 1994(3).
- Requirements for manuscript preparation (in English), p. 122, 1994(3).
- Requirements for manuscript preparation (in Russian), p. 123, 1994(3).
- Addresses of the editorial board members, pp. 124-125.
- Contents, pp. 126-128.
Issue 4 (Special issue: Proceedings of the IMACS / GAMM International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics -- SCAN-93):
- Søren Christiansen, Interval Methods and Condition Numbers of Linear Algebraic Systems, pp. 5-27, 1994(4)
- Marc Daumas and David W. Matula, Rounding of Floating Point Intervals, pp. 28-45, 1994(4).
- Marc Daumas, Christophe Mazenc, and Jean-Michel Muller, Towards a User Transparent Interval Arithmetic, pp. 46-63, 1994(4).
- Mitsuhiro T. Nakao, Numerical Verifications of Solutions for Nonlinear Hyperbolic Equations, pp. 64-77, 1994(4).
- Wolfram Luther and Werner Otten, Computation of Standard Interval Functions in Multiple-Precision Interval Arithmetic, pp. 78-99, 1994(4).
- Evgenija D. Popova, Extended Interval Arithmetic in the IEEE Floating-Point Environment, pp. 100-129, 1994(4).
Supplementum
1 -- Bibliography of Works on Interval Computations Published in
Russian, 1994
1995 (Reliable Computing Volume 1)
Issue 1:
Mathematical research:
- Helmut Ratschek and Jon G. Rokne, Formulas for the width of interval products, pp. 9-14, 1995(1).
- Ludmila Kupriyanova, Inner estimation of the united solution set of interval linear algebraic system, pp. 15-31, 1995(1).
- Vladik Kreinovich, Why intervals? A simple limit theorem that is similar to limit theorems from statistics, pp. 33-40, 1995(1).
- Christine
Jäger and Dietmar Ratz, A combined
method for enclosing all solutions of nonlinear systems of polynomial
equations, pp. 41-64, 1995(1).
Parallel Algorithms for Interval Computations:
- Daniel E. Cooke, An informal introduction to a high level language with applications to interval mathematics, pp. 65-75, 1995(1).
- Jerry
Eriksson and Per Lindström, A
parallel interval method implementation for global optimization using
dynamic load balancing, pp. 77-91, 1995(1).
Meetings:
Issue 2 (Second special issue on parallel algorithms in interval computations):
- From the editor, p. 107, 1995(2).
- From the editor (in Russian) , p. 108, 1995(2).
- Ladislav J. Kohout, Isabel Stabile, Hasan Kalantar, Maria F. San-Andres, and John Anderson, Parallel interval-based reasoning in medical knowledge-based system CLINAID, pp. 109-140, 1995(2).
- Vladik
Kreinovich, David Nemir, and Efren Gutierrez, Applications of interval computations to
earthquake-resistant engineering: How to compute derivatives of
interval functions fast, pp. 141-172, 1995(2).
- Christian
P. Ullrich and Roman Reith, A
reliable linear algebra library for transputer networks, pp. 173-187, 1995(2).
- Jũrgen
Wolff von Gudenberg, Parallel
accurate linear algebra subroutines, pp. 189-199, 1995(2).
Issue 3 (Student issue):
Mathematical research:
- Gopalan V. Balaji and J. D. Seader, Application of interval Newton's method to chemical engineering problems, pp. 215-223, 1995(3).
- Bo H. Friesen and Vladik Kreinovich, Ockham's razor in interval identification, pp. 225-237, 1995(3).
- Jonathan Herlocker and Jeffrey Ely , An automatic and guaranteed determination of the number of roots of an analytic function interior to a simple closed curve in the complex plane, pp. 239-249, 1995(3).
- Chenyi Hu, Anna Frolov, R. Baker Kearfott, and Qing Yang, A general iterative sparse linear solver and its parallelization for interval Newton methods, pp. 251-263, 1995(3).
- Chenyi Hu, Joe Sheldon, R. Baker Kearfott, and Qing Yang, Optimizing INTBIS on the CRAY Y-MP, pp. 265-274, 1995(3).
- Thomas J. McLean and David H. Xu, Study on sampling techniques with CMMs, pp. 275-284, 1995(3).
- Driss Misane and Vladik Kreinovich, A new characterization of the set of all intervals, based on the necessity to check consistency easily, pp. 285-297, 1995(3).
- Hung T. Nguyen, Vladik Kreinovich, Bob Lea, and Dana Tolbert, Interpolation that leads to the narrowest intervals and its application to expert systems and intelligent control , pp. 299-315, 1995(3).
- Mark J. Schaefer and Tilmann Bubeck, A parallel complex zero finder, pp. 317-323, 1995(3).
- Michael J. Schulte and Earl E. Swartzlander, Jr., A software interface and hardware design for variable-precision interval arithmetic, pp. 325-342, 1995(3).
- Bonnie
Traylor and Vladik Kreinovich, A
bright side of NP-hardness of interval computations: interval
heuristics applied to NP-problems, pp. 343-359, 1995(3).
Information:
- Special Issue on Reliable Computing Methods in Economics, p. 361, 1995(3).
- 1994
Lotfi A. Zadeh Best Paper Award in the field of fuzzy logic, p. 362,
1995(3).
Issue 4 (Special issue containing material presented at Interval'94)
Mathematical research:
- Alkiviadis G. Akritas, Evgenia K. Akritas, and Genadii I. Malaschonok , Matrix computation of subresultant polynomial remainder sequences in integral domains, pp. 375-381, 1995(4).
- Boris
S. Dobronets, Numerical
methods using defects, pp. 383-391, 1995(4).
- A. N. Ostylovsky, An estimate of the absolute value and width of the solution of a linear system of equations with tridiagonal interval matrix by the interval sweep method, pp. 393-401, 1995(4).
- Ljiljana D. Petkovic and Miroslav Trajkovic, Verification methods for inclusion disks, pp. 403-410, 1995(4).
- J. Wolff von Gudenberg , Design of a parallel linear algebra library for verified computation, pp. 411-419, 1995(4).
- Q.-H.
Wu and M. Mansour, Computation of
the stability radius of a Schur polynomial: an orthogonal projection
approach, pp. 421-430, 1995(4).
Meetings:
- International conference on interval methods and computer aided proofs in science and engineering INTERVAL'96, pp. 431-432, 1995(4).
- Second Workshop on Interval Arithmetic, p. 433, 1995(4).
- IMACS-GAMM
International Symposium on Numerical Methods and Error Bounds
(described by S. Shary), pp. 434-435, 1995(4).
Addresses
of the Editorial Board Members
1996 (Reliable
Computing Volume 2)
Issue 1:
Mathematical Research:
- Сергей Петрович Шарый (Sergey P. Shary), Algebraic Approach to the Interval Linear Static Identification, Tolerance, and Control Problems, or One More Application of Kaucher Arithmetic,, pp. 3-33, 1996(1).
- Hans-Jürgen Dobner, Bounds of High Quality for First Kind Volterra Integral Equations, pp. 35-45, 1996(1).
- Michael J. Schulte and Earl E. Swartzlander, Jr., Variable-Precision, Interval Arithmetic Coprocessors,,pp. 47-62, 1996(1).
Letters to the Editor:
Information:
- Best student paper award and call for papers for student issues (Vladik Kreinovich and Günter Meyer, editors of student issues of Reliable Computing) , p. 81, 1996(1).
- Call for papers, Special Issue of Reliable Computing on Applications to Geosciences, pp. 82-83, 1996(1).
Meetings:
- SCAN'95: International Symposium of Scientific Computing, Computer Arithmetic and Validated Numerics (summarized by Andreas Frommer), pp. 84-85, 1996(1).
- SONIC'95: Student Mini-Symposium on Interval Computations (organized by Chenyi Hu (summarized by Vladik Kreinovich) , pp. 86-87, 1996(1).
- Interval Talks at the First El Paso Shell Oil Symposium (summarized by Vladik Kreinovich) , p. 88, 1996(1).
Addresses of the Editorial Board Members:
Issue 2 (Special issue containing material presented at SCAN-95):
- Introduction from the guest editors (Gõtz E. Alefeld, Andreas Frommer, and Bruno Lang), p. iv, 1996(2).
- Marcilia A. Campos, Augusto C. A. Sampaio, and Alexandre H. F. Brainer, Mechanising the theory of intervals using OBJ3 , pp. 97-102, 1996(2).
- Tiaraju A. Diverio, Ursula A. Fernandes, and Dalcidio M. Claudio, Errors in vector processing and the library libavi.a, pp. 103-109, 1996(2).
- Vincent Heuveline and Miloud Sadkane, Chebyshev acceleration techniques for large complex non Hermitian eigenvalue problems, pp. 111-117, 1996(2).
- Vladik Kreinovich, Vyacheslav M. Nesterov, and Nina A. Zheludeva, Interval methods that are guaranteed to underestimate (and the resulting new justification of Kaucher arithmetic) , pp. 119-124, 1996(2).
- Anatoly
V. Lakeyev , On the computational
complexity of the solution of linear systems with moduli,
pp. 125-131, 1996(2).
- Thomas Lynch and Michael J. Schulte, Software for high radix on-line arithmetic, pp. 133-138, 1996(2).
- Guevara
Noubir and Henri J. Nussbaumer, Self-correcting
polynomial programs, pp. 139-145, 1996(2).
- Stuart F. Oberman and Michael J. Flynn, Reducing division latency with reciprocal caches, pp. 147-153, 1996(2).
- Janne Pesonen and Eero Hyvonen, Interval approach challenges Monte Carlo simulation , pp. 155-160, 1996(2).
- Evgenija D. Popova, Interval operations involving NaNs, pp. 161-165, 1996(2).
- Jiri Rohn, Enclosing solutions of overdetermined systems of linear interval equations, pp. 167-171, 1996(2).
- Masaaki Sugihara and Seiji Fujino, Numerical solutions of Burgers' equation with a large Reynolds number , pp. 173-179, 1996(2).
- Tomasz Szulc, Rank of convex combinations of matrices , pp. 181-185, 1996(2).
- Michael
N. Vrahatis and Evangelia C.
Triantafyllou, Locating,
characterizing and computing the stationary points of a function,
pp. 187-193, 1996(2).
Reviews of works on Applications of Reliable Scientific Computing , pp. 195-203, 1996(2).
Issue 3 (Student issue):
- Introductory remarks (Günther Mayer and Vladik Kreinovich), p. i, 1996(3).
- Christoph Eick and Karen Villaverde, Robust algorithms that locate local extrema of a function of one variable from interval measurement results: A remark, pp. 213-218, 1996(3).
- Carlos Ferregut, Soheil Nazarian, Krishnamohan Vennalaganti, Ching-Chuan Chang, and Vladik Kreinovich, Fast error estimates for indirect measurements: applications to pavement engineering , pp. 219-228, 1996(3).
- Oliver Holzmann, Bruno Lang, and Holger Schütt, Newton's constant of gravitation and verified numerical quadrature, pp. 229-239, 1996(3).
- Walter
Krãmer and Stefan Wedner , Two
adaptive Gauss-Legendre type algorithms for the verified computation of
definite integrals , pp. 241-253, 1996(3).
- Vladik Kreinovich and Karen Villaverde, A quadratic-time algorithm for smoothing interval functions, pp. 255-264, 1996(3).
- Robert N. Lea, Vladik Kreinovich, and Raul Trejo, Optimal interval enclosures for fractionally-linear functions, and their application to intelligent control, pp. 265-285, 1996(3).
- Joe Lorkowski and Vladik Kreinovich, If we measure a number, we get an interval. What if we measure a function or an operator? pp. 287-297, 1996(3).
- João B. Oliveira, New slope methods for sharper interval functions and a note on Fischer's acceleration method, pp. 299-320, 1996(3).
- Alessandro
Provetti, Ordering events: Intervals
are sufficient, more general sets are usually not necessary, pp.
321-327, 1996(3).
Reviews of works on Applications of Reliable Scientific Computing pp. 329-331, 1996(3).
Issue 4:
Mathematical research:
- Vladik Kreinovich and Anatoly V. Lakeyev, Linear interval equations: Computing enclosures with bounded relative or absolute overestimation is NP-hard , pp. 341-350, 1996(4).
- Marina A. Lyashko, On the speed of convergence of the total step iterative method for a class of interval linear algebraic systems, pp. 351-356, 1996(4).
- Yixun
Shi, Improving the efficiency index
in enclosing a root of an equation, pp. 357-372, 1996(4).
Reviews on Applications of Reliable Scientific Computing:
Obituary:
Letter to the Editor:
Information (pp. 389-390):
Meetings (pp. 391-401):
- WAI'96: II Workshop on Computer Arithmetic, Interval and Symbolic Computations (Marcilia A. Campos)
- Interval'96: International Conference on Interval Methods and Computer Aided Proofs in Science and Engineering (J. Wolff von Gudenberg)
- Interval
Talks at FUZZ-IEEE'96 (Erich Peter Klement and Vladik Kreinovich)
Go to the Reliable Computing home page