Last update:
Fri Jan 21 09:36:10 MST 2022
V. M. Nesterov Uvaszaemije kollegi! (Russian) [Dear
colleagues] . . . . . . . . . . . . . . 2--5
V. M. Nesterov Dear colleagues . . . . . . . . . . . . 6--9
A. G. Yakovlev Interval'nye vychisleniia -- predmet
isledovani\u\i i polesnij\u\i
instrument. (Russian) [Interval
Computations --- Subject of research and
useful tool] . . . . . . . . . . . . . . 10--26
A. G. Yakovlev Interval Computations --- Subject of
research and useful tool . . . . . . . . 27--43
J. Herzberger and
D. Bethke On two algorithms for bounding the
inverses of an interval matrix . . . . . 44--53
B. S. Dobronets and
V. I. Senashov Ov intervalnix rasshireniyax nekotorix
klassov fynktsi\uì. (Russian) [On
interval extensions of some classes of
functions] . . . . . . . . . . . . . . . 54--58
R. Baker Kearfott and
Chen-Yi Hu and
Manuel Novoa III A review of preconditioners for the
interval Gauss--Seidel method . . . . . 59--85
E. A. Musaev Narrowing of intervals by partial
derivatives . . . . . . . . . . . . . . 86--91
S. P. Shary\u\i O rasreshimosti lineinoi zadachi o
dopykskax. (Russian) [On compatibility
of linear tolerance problem] . . . . . . 92--98
B. V. Paluh and
B. V. Vasilyov and
V. L. Perov Primenenie apparata intervalno\uì
matematiki dlya resheniya zadach
texnichesko\uì diagnostiki nepreryvnovo
proisvodstva v ximichesko\uì
promyshlennosti. (Russian) [Application
of interval mathematics for solving
technical diagnostics tasks of non-stop
manufacture in chemical industry] . . . 99--104
Eldar A. Musaev Intervalnije metodi dlya chislennix
vychisleni\uì. (Russian) [Interval
methods for numerical computation] . . . 108--110
S. P. Shary\u\i VII Bsesoyuznoe Sobeshchanie po
Intervalnoi Matematike. (Russian) [VII
All-Union Conference on Interval
Mathematics] . . . . . . . . . . . . . . 111--112
Anonymous Trebovaniya k oformleniyu rykopici.
(Russian) [Requirements for manuscript
preparation] . . . . . . . . . . . . . . 113--113
Anonymous Requirements for manuscript preparation 114--114
Anonymous Interval Computations --- Interval'nye
vychisleniia . . . . . . . . . . . . . . cover
V. M. Nesterov Dear Colleagues! . . . . . . . . . . . . 2--3
V. M. Nesterov Uvaszaemije kollegi! (Russian) [Dear
colleagues] . . . . . . . . . . . . . . 4--6
Sergey P. Shary Optimal Solution of Interval Linear
Algebraic Systems. I . . . . . . . . . . 7--30
Vladik Kreinovich and
Andrew Bernat and
Elsa Villa and
Yvonne Mariscal Parallel computers. Estimate errors
caused by imprecise data . . . . . . . . 31--46
R. Hammer and
M. Neaga and
D. Ratz and
D. Shiryaev PASCAL--XSC: novy\uì yazik dlya nauchnix
vychisleni\uì. (Russian) [PASCAL--XSC: a
new language for scientific computing] 47--81
Anonymous Vpernye na ryskom razike: polny\uì
perovod standartov ANSI/IEEE na
mashiniyu arifmetiky. (Russian) [] . . . 82--82
N. A. Khlebalin Program Package ASIAS: Analysis and
Synthesis of Interval Automatic Systems 83--83
N. A. Khlebalin Komplex program ASIAS: Analiz i sintez
integralnix avtomaticheskix Sistem.
(Russian) [Program Package ASIAS:
Analysis and Synthesis of Interval
Automatic Systems] . . . . . . . . . . . 84--84
P. S. Pankov A Review of the Book: Dobronets B. S.,
Shaydurov V. V., \booktitleTwo-sided
Numerical Methods, Nauka (Siberian
Department), Novosibirsk, 1990, 208 pp. 85--86
A. V. Zakharov Actual problems of applied mathematics.
All-Union conference. Saratov, May
20--22, 1991. A brief report . . . . . . 87--90
A. V. Zakharov Aktyalnije problemij prikladno\uì
matematiki. Bsesoyuznaya konferentsiya.
(Russian) [Actual problems of applied
mathematics. All-Union conference.
Saratov, May 20--22, 1991. A brief
report] . . . . . . . . . . . . . . . . 91--95
Alexander Davidenkoff Advanced seminar on programming
languages for scientific/engineering
computation, Leningrad, June 3--6, 1991.
A summarizing report . . . . . . . . . . 96--106
J. Herzberger Interval subject on the SCAN-1991
symposium. Information . . . . . . . . . 107--107
Anonymous Resolution of 8th All-Union Workshop on
interval mathematics. Bishkek, October
1--3, 1991 . . . . . . . . . . . . . . . 108--108
Anonymous Reshenie 8-vo Bsesoyuznovo soveshchania
po intervalno\uì matematike. (Russian)
[Resolution of 8th All-Union Workshop on
interval mathematics. Bishkek, October
1--3, 1991] . . . . . . . . . . . . . . 109--109
Anonymous 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 . . . . . . . . . . . . . . . . 110--114
Alexander G. Yakovlev and
R. Baker Kearfott Bibliography of Soviet Works on Interval
Computations, Part I . . . . . . . . . . 115--122
Anonymous Requirements for manuscript preparation 123--124
Anonymous Trebovaniya k oformleniyu rykopici.
(Russian) [Requirements for manuscript
preparation] . . . . . . . . . . . . . . 125--126
Anonymous Addresses of the Editorial Board Members 127--131
Anonymous Contents . . . . . . . . . . . . . . . . 132--134
Anonymous Interval Computations --- Interval'nye
vychisleniia . . . . . . . . . . . . . . cover
V. M. Nesterov Dear colleagues! . . . . . . . . . . . . 2--3
V. S. Zjuzin Retsinsija. (Russian) [Review of H.
Bauch, K. U. Jahn, D. Oelschägel, H.
Süsse, V. Wiebigke,
\booktitleIntervalmathematik (Teorie und
Anwendungen), Leipzig, BSB B. G. Teubner
Verlagsgesellschaft, 1987, 260 s.
(Mathematisch-Naturwissenschaftliche
Bibliothek, Band 72)] . . . . . . . . . 105--107
Anonymous Requirements for manuscript preparation 112--113
Anonymous Trebovaniya k oformleniyu rykopici.
(Russian) [Requirements for manuscript
preparation] . . . . . . . . . . . . . . 114--115
Anonymous Addresses of the Editorial Board Members 116--118
Anonymous Interval Computations --- Interval'nye
vychisleniia . . . . . . . . . . . . . . cover
V. M. Nesterov Uvaszaemije kollegi! (Russian) [Dear
colleagues] . . . . . . . . . . . . . . 4--5
Boris S. Dobronets On some two-sided methods for solving
systems of ordinary differential
equations . . . . . . . . . . . . . . . 6--21
Siegfried M. Rump Inclusion of the solution for large
linear systems with $M$-matrix . . . . . 22--43
Alexander I. Orlov Interval statistics . . . . . . . . . . 44--52
Eldar A. Musaev Wave computations. A technique for
optimal quasi-concurrent self-validation 53--60
Alexander G. Yakovlev Classification approach to programming
of localizational (interval)
computations . . . . . . . . . . . . . . 61--84
Galina D. Pankova Programming support and algorithmic
language for validating computations on
ES (IBM 360/370) series computer . . . . 86--95
G. Alefeld A Review of the Book: A. Neumaier,
\booktitleInterval Methods for Systems
of Equations, Encyclopedia of
Mathematics and its Applications.
Cambridge University Press, Cambridge,
1990 . . . . . . . . . . . . . . . . . . 96--97
Anonymous List of Abstracts from ``Referativnyi
Zhurnal `Matematika' for 1991'' . . . . 98--99
Galina L. Kozina Interval Mathematics and its
Applications: Workshop . . . . . . . . . 100--101
Alexander G. Yakovlev and
R. Baker Kearfott Bibliography of Soviet works on interval
computations. II . . . . . . . . . . . . 104--111
Anonymous Contents . . . . . . . . . . . . . . . . 119--121
Sergey P. Shary\uì Optimal solution of interval linear
algebraic systems. I . . . . . . . . . . 7--30
Anonymous Interval Computations --- Interval'nye
vychisleniia . . . . . . . . . . . . . . cover
J. Wolff von Gudenberg Dear Colleagues! . . . . . . . . . . . . 6--6
J. Wolff von Gudenberg Uvaszaemije kollegi! (Russian) [Dear
colleagues] . . . . . . . . . . . . . . 7--7
Akylay Akunova and
Taalaybek A. Akunov and
Anatoly V. Ushakov Construction of a comparison system for
multi-dimensional control processes with
interval state matrix . . . . . . . . . 8--12
A. B. Babichev and
O. B. Kadyrova and
T. P. Kashevarova and
Alexander L. Semenov UniCalc as a tool for solving problems
with inaccurate and sub-definite data 13--16
Frithjof Blomquist Interval inclusions for Dawson's
integral . . . . . . . . . . . . . . . . 17--26
Alexander F. Bochkov and
Lubov A. Yakovleva Algorithm for experimental zero-order
optimization for plant with bounded
amplitude errors . . . . . . . . . . . . 27--30
Alexandr F. Bochkov and
Nguen Viet Zung Identification of nonlinear dynamic
objects using interval experimental data 31--37
Dalcidio M. Claudio and
Martín H. Escardó and
Beatriz R. T. Franciosi An order-theoretic approach to interval
analysis . . . . . . . . . . . . . . . . 38--45
A. I. Demchenko and
B. V. Pel\cprimetsverger and
O. V. Khavronin Synthesis of transport networks
structures under conditions of uncertain
initial information . . . . . . . . . . 46--49
Boris S. Dobronets Interval methods based on a posteriori
estimates . . . . . . . . . . . . . . . 50--55
Irina V. Dugarova An algorithm of interval matrix
asymptotic stability testing . . . . . . 56--62
Oleg B. Ermakov Two-sided method for solving system of
ordinary differential equations with
automatic determination of guaranteed
estimates . . . . . . . . . . . . . . . 63--69
Tatjana V. Evtushenko Optimization problems for static plants
under uncertainty conditions . . . . . . 70--74
Alexey F. Filippov Ellipsoidal error estimates for Adams
method . . . . . . . . . . . . . . . . . 75--79
Nikolay M. Glazunov On interval extensions of computer
algebra systems . . . . . . . . . . . . 80--87
Tom Henriksen and
Kaj Madsen Parallel algorithms for global
optimization . . . . . . . . . . . . . . 88--95
R. Baker Kearfott and
Milind Dawande and
Kaishen Du and
Chenyi Hu INTLIB: a portable Fortran-77 elementary
function library . . . . . . . . . . . . 96--105
Nikolay A. Khlebalin Interval automatic systems --- theory,
computer-aided design and applications 106--115
Alexander V. Korlyukov A new application of interval
mathematics . . . . . . . . . . . . . . 116--121
Anonymous International Conference on Interval and
Computer-Algebraic Methods in Science
and Engineering (INTERVAL'94): March
6--11, 1994, St. Petersburg, Russia . . 122--123
Anonymous Mezhdunarodnaya konferentsiya po
intervalnym i
kompyuterno-algebraicheskim metodam v
nayke i texnike. (Russian) [] . . . . . 124--125
Anonymous Contents . . . . . . . . . . . . . . . . 126--128
Anonymous Interval Computations --- Interval'nye
vychisleniia: Special issue: Proceedings
of the conference ``Interval '92'',
Moscow, September 22--25, 1992 . . . . . cover
Vyacheslav M. Nesterov Dear colleagues! . . . . . . . . . . . . 2--3
V. M. Nesterov Uvaszaemije kollegi! (Russian) [Dear
colleagues] . . . . . . . . . . . . . . 4--5
A. F. Filippov Ellipsoidal estimates for a solution of
a system of differential equations . . . 6--17
Sergey P. Shary\uì A new class of algorithms for optimal
solution of interval linear systems . . 18--29
P. S. Pankov Proof of finite-dimensional inequalities
by means of interval analysis . . . . . 30--38
Vladimir S. Zyuzin On metrization of interval sets $I({\bf
R}),I({\bf R}^n)$ . . . . . . . . . . . 39--50
Vladik Kreinovich and
Andrew Bernat and
Olga Kosheleva and
Andrei Finkelstein Interval estimates for closure-phase and
closure-amplitude imaging in radio
astronomy . . . . . . . . . . . . . . . 51--71
Alexander Davidenkoff ACRITH--XSC: Yazik programmirovaniya dla
nauchno-texnicheckix vychisleni\uì.
(Russian) [ACRITH--XSC: a programming
language for scientific/engineering
computation] . . . . . . . . . . . . . . 72--81
G. G. Menshikov The teaching experience of interval
computations at the Department of
Applied Mathematics and Control
Processes of St. Petersburg University 83--85
A. P. Voshchinin International Conference on Interval and
Stochastic Methods in Science and
Engineering ``INTERVAL-92'' . . . . . . 86--91
Anonymous List of Abstracts from ``Referativnyi
Zhurnal `Matematika' for 1991'' . . . . 105--106
Alexander G. Yakovlev and
R. Baker Kearfott Bibliography of Soviet works on interval
computations. III . . . . . . . . . . . 107--115
Anonymous Requirements for manuscript preparation 116--117
Anonymous Trebovaniya k oformleniyu rykopici.
(Russian) [Requirements for manuscript
preparation] . . . . . . . . . . . . . . 118--119
Anonymous Addresses of the Editorial Board Members 120--122
Anonymous Contents . . . . . . . . . . . . . . . . 123--125
Anonymous First Announcement and call for papers:
International Conference on Mathematical
Modelling and Scientific Computation
(MMSC-93), September 14--17, 1993,
Sozopol . . . . . . . . . . . . . . . .
Vladimir N. Krishchuk and
Nikolay M. Vasilega and
Galina L. Kozina Interval operations and functions
library for FORTRAN 77 programming
system and its practice using . . . . . 2--8
Victor G. Krymsky Algorithmic aims of reliability
provision for large-scale dynamic
systems with interval parameters . . . . 9--13
Grigory L. Litvinov Error auto-correction in rational
approximation . . . . . . . . . . . . . 14--18
Svetoslav M. Markov On the presentation of ranges of
monotone functions using interval
arithmetic . . . . . . . . . . . . . . . 19--31
Grigory G. Menshikov Interval co-integration of differential
equations connected by a substitution of
the variable . . . . . . . . . . . . . . 32--36
Eldar A. Musaev An approach to reliable computations
with the minimal representation . . . . 37--41
Alexander S. Narin\cprimeyani NE-factors and natural pragmatics: what
do the intervals represent? . . . . . . 42--46
Vyacheslav M. Nesterov Estimating a range of values of
functions using extended interval
arithmetics . . . . . . . . . . . . . . 47--53
Pavel S. Pankov and
Batyigul D. Bayachorova Using interval methods in cluster
analysis and verified representation of
connected sets . . . . . . . . . . . . . 54--58
Pyotr S. Senio and
Pyotr S. Vengersky Solving systems of special form
nonlinear equations by means of some
modifications of Runge type interval
iterative method . . . . . . . . . . . . 59--65
Sergey P. Shary\uì On controlled solution set of interval
algebraic systems . . . . . . . . . . . 66--75
Dmitri Shiriaev PASCAL--XSC. A portable programming
system for scientific computations . . . 76--82
Simeon J. Simoff Interval approximate reasoning for
expert systems . . . . . . . . . . . . . 83--87
Nikita V. Skybytsky and
Tian Yuping Control of the linear dynamic plant with
intervally given parameters from the
guarantee condition of the required
accuracy of the solution . . . . . . . . 88--93
Elena M. Smagina General problem of the asymptotic
steady-output tracking for plant with
interval parameters . . . . . . . . . . 94--99
Iosif G. Ten Synthesis of optimal control under
interval uncertainty in models . . . . . 100--106
A. P. Voshchinin Some questions of application of
interval mathematics in parameter
estimation and decision making . . . . . 107--115
Jürgen Wolff von Gudenberg Programming language support for
scientific computation . . . . . . . . . 116--126
Vladimir S. Zyuzin The extension of the Fréchet derivative
concept in the interval-segment analysis 127--132
Anonymous Contents . . . . . . . . . . . . . . . . 133--136
Anonymous Interval Computations --- Interval'nye
vychisleniia: Special issue: Proceedings
of the conference ``Interval '92'',
Moscow, September 22--25, 1992 . . . . . cover
Eldon R. Hansen Computing Zeros of Functions Using
Generalized Interval Arithmetic . . . . 3--28
Chen-Yi Hu and
R. Baker Kearfott and
Abdulhamid Awad On Bounding the Range of Some Elementary
Functions in FORTRAN-77 . . . . . . . . 29--39
Ronald Van Iwaarden Automatic Differentiation Applied to
Unconstrained Nonlinear Optimization
with Result Verification . . . . . . . . 41--60
Luc Jaulin and
Eric Walter Guaranteed Nonlinear Parameter
Estimation via Interval Computations . . 61--75
Jerry B. Keiper Interval Arithmetic in Mathematica . . . 76--87
Ladislav J. Kohout and
Isabel Stabile Interval-Valued Inference in Medical
Knowledge-Based System CLINAID . . . . . 88--115
Carlos Falcó Korn and
Christian P. Ullrich Verified Solution of Linear Systems
Based on Common Software Libraries . . . 116--132
Birna P. Kristinsdottir and
Zelda B. Zabinsky and
Tibor Csendes and
Mark E. Tuttle Methodologies for Tolerance Intervals 133--147
Anthony Leclerc Parallel Interval Global Optimization
and Its Implementation in C++ . . . . . 148--163
Svetoslav M. Markov Some Interpolation Problems Involving
Interval Data . . . . . . . . . . . . . 164--182
Mitsumi Nakamura and
Ray Mines and
Vladik Kreinovich Guaranteed Intervals for Kolmogorov's
Theorem (and Their Possible Relation to
Neural Networks) . . . . . . . . . . . . 183--199
Fernando L. Alvarado and
Zian Wang Direct Sparse Interval Hull Computations
for Thin Non-$M$-Matrices . . . . . . . 5--28
A. B. Babichev and
O. B. Kadyrova and
T. P. Kashevarova and
A. S. Leshchenko and
Alexander L. Semenov UniCalc, a Novel Approach to Solving
Systems of Algebraic Equations . . . . . 29--47
Daniel Berleant Automatically Verified Reasoning with
Both Intervals and Probability Density
Functions . . . . . . . . . . . . . . . 48--70
Ole Caprani and
Brian Godthaab and
Kaj Madsen Use of a Real-Valued Local Minimum in
Parallel Interval Global Optimization 71--82
Iliano Cervesato and
Angelo Montanari and
Alessandro Provetti On the Non-monotonic Behaviour of Event
Calculus for Deriving Maximal Time
Intervals . . . . . . . . . . . . . . . 83--119
Amanda E. Connell and
Robert. M. Corless An Experimental Interval Arithmetic
Package in Maple . . . . . . . . . . . . 120--134
J. S. Ely The VPI Software Package for Variable
Precision Interval Arithmetic . . . . . 135--154
Jürgen Garloff The Bernstein Algorithm . . . . . . . . 154--168
Gregory D. Hager Solving Large Systems of Nonlinear
Constraints with Application to Data
Modeling . . . . . . . . . . . . . . . . 169--200
Vyacheslav M. Nesterov How To Use Monotonicity-Type Information
To Get Better Estimates of the Range of
Real-Valued Functions . . . . . . . . . 3--12
Ji\vrí Rohn Cheap and Tight Bounds: The Recent
Result by E. Hansen Can Be Made More
Efficient . . . . . . . . . . . . . . . 13--21
Mark J. Schaefer Precise Zeros of Analytic Functions
Using Interval Arithmetic . . . . . . . 22--39
Carol A. Schnepper and
Mark A. Stadtherr Application of a Parallel Interval
Newton/Generalized Bisection Algorithm
to Equation-Based Chemical Process
Flowsheeting . . . . . . . . . . . . . . 40--64
Michael J. Schulte and
Earl E. Swartzlander, Jr. Parallel Hardware Designs for Correctly
Rounded Elementary Functions . . . . . . 65--88
L. Simcik and
P. Linz Boundary-Based Interval Newton's Method 89--99
Ongard Sirisaengtaksin and
Vladik Kreinovich Neural Networks That Are Not Sensitive
To The Imprecision of Hardware Neurons 100--113
Ulrike Storck Verified Calculation of the Nodes and
Weights for Gaussian Quadrature Formulas 114--124
I. Burhan Türksen Interval Valued Fuzzy Sets and Fuzzy
Connectives . . . . . . . . . . . . . . 125--142
V. M. Veliov Computation of Integrals of Uncertain
Vector Functions . . . . . . . . . . . . 143--153
Elsa Villa and
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 . . . . . 154--175
Karen Villaverde and
Vladik Kreinovich A Linear-Time Algorithm That Locates
Local Extrema of a Function of One
Variable From Interval Measurement
Results . . . . . . . . . . . . . . . . 176--194
Alexander G. Yakovlev Multiaspectness and Localization . . . . 195--209
V. M. Nesterov Dear colleagues! . . . . . . . . . . . . 2--3
V. M. Nesterov Uvaszaemije kollegi! (Russian) [Dear
colleagues] . . . . . . . . . . . . . . 4--5
Vladik Kreinovich and
Anatoly V. Lakeyev and
Sergey I. Noskov Optimal solution of interval linear
systems is intractable (NP-hard) . . . . 6--14
R. Baker Kearfott and
Xiaofa Shi A preconditioner selection heuristic for
efficient iteration with decomposition
of arithmetic expressions for nonlinear
algebraic systems . . . . . . . . . . . 15--33
Ljiljana D. Petkovi\'c and
Miroslav Trajkovi\'c On some optimal inclusion approximations
by disks . . . . . . . . . . . . . . . . 34--50
Vitaly A. Perepelitsa and
Galina L. Kozina Interval discrete models and
multiobjectivity. Complexity estimates 51--59
Yìlmaz Akyìldiz and
Mohammad I. Al-Suwaiyel No pathologies for interval Newton's
method . . . . . . . . . . . . . . . . . 60--72
Anonymous Second Announcement and Call for Papers:
International Conference on Interval and
Computer-Algebraic Methods in Science
and Engineering (INTERVAL'94), March
7-10, 1994, St. Petersburg, Russia . . . 73--77
N. A. Khlebalin Review of the book: Ludyk, G.,
\booktitleCAE von Dynamischen Systemen.
Analyse, Simulation, Entwurf von
Regelungssystemen, Springer-Verlag,
Berlin--Heidelberg, 1990, 335 p. . . . . 78--82
N. A. Khlebalin Retsinsija. (Russian) [Review of the
Book Ludyk, G., \booktitleCAE von
Dynamischen Systemen. Analyse,
Simulation, Entwurf von Regelungssystem,
Springer-Verlag, Berlin--Heidelberg,
1990, 335 p.] . . . . . . . . . . . . . 83--87
L. V. Kolev Use of Interval Slopes for the
Irrational Part of Factorable Functions 83--93
Anonymous International Congress on Computer
Systems and Applied Mathematics
(CSAM-93) . . . . . . . . . . . . . . . 88--90
Anonymous Mezhdunarodny\uì Kongress po kompyuternim
sistemam i prikladno\uì matematike
(CSAM-93). (Russian) [International
Congress on Computer Systems and Applied
Mathematics (CSAM-93)] . . . . . . . . . 91--93
J. Herzberger Report on the IMACS--GAMM International
Workshop on Validated Computation,
August 30--September 3, 1993, Universität
Oldenburg, Germany . . . . . . . . . . . 94--94
Sergey Shary International Conference on Mathematical
Modelling and Scientific Computations
(MMSC0-93), September 14--17, 1993,
Sozopol, Bulgaria . . . . . . . . . . . 95--96
Sergey Shary\uì Mezhdunarodnaya Konferentsiya po
Matematicheskomy Modelirovanioyu i
Naychnym Vychisleniiam (MMSC-93),
Sozopol, Bulgariya, 14--17 sentyabrya
1993 goda . . . . . . . . . . . . . . . 97--98
Anonymous International Symposium on Scientific
Computing, Computer Arithmetic and
Validated Numerics ``SCAN-93'',
September 26--29, 1993, Vienna, Austria 99--101
Vladik Kreinovich Call for Papers: Announcing special
student issue of the international
journal \em Interval Computations . . . 102--102
Alexander G. Yakovlev and
R. Baker Kearfott Bibliography of Soviet works on interval
computations. IV . . . . . . . . . . . . 103--115
Anonymous Requirements for manuscript preparation 116--116
Anonymous Trebovaniya k oformleniyu rykopici.
(Russian) [Requirements for manuscript
preparation] . . . . . . . . . . . . . . 117--117
Anonymous Addresses of the Editorial Board Members 118--119
Anonymous Contents . . . . . . . . . . . . . . . . 120--122
Svetoslav M. Markov Correction to: ``On the presentation of
ranges of monotone functions using
interval arithmetic'' [Interval
Comput./Interval. Vychisl. 1992, no. 4,
19--31; see MR1253135 (94g:65004)] . . . 122--123
Götz Alefeld and
Günter Mayer A Computer Aided Existence and
Uniqueness Proof for an Inverse Matrix
Eigenvalue Problem . . . . . . . . . . . 4--27
Wolfram J. Luther and
Werner Otten Verified Inclusion for Eigenvalues of
Hill's Equation . . . . . . . . . . . . 28--41
Galina L. Kozina and
Vitaly A. Perepelitsa Interval Spanning Trees Problem:
Solvability and Computational Complexity 42--50
Hartmut Schwandt Suboptimal Enclosures for the Interval
Buneman Algorithm for Arbitrary Block
Dimension . . . . . . . . . . . . . . . 51--89
Oleg B. Ermakov Solving Systems of Ordinary Differential
Equations Using Adams' Interpolation
Method with Guaranteed Accuracy . . . . 90--95
G. G. Menshikov On Different Definitions of Interval
Extension: Problems of Teaching . . . . 96--98
V. M. Nesterov Bibliography of Soviet works on interval
computations. V . . . . . . . . . . . . 100--109
V. M. Nesterov Bibliography of Soviet works on interval
computations. VI . . . . . . . . . . . . 116--126
Gregory D. Hager Solving Large Systems of Non-Linear
Constraints with Application to Data
Modeling . . . . . . . . . . . . . . . . 169--200
Vladik Kreinovich and
Andrew Bernat Parallel Algorithms for Interval
Computations: An Introduction . . . . . 6--62
Erlang Lyager Finding Local Extremal Points by Using
Parallel Interval Methods . . . . . . . 63--80
Kaj Madsen and
Ole Toft A Parallel Method for Linear Interval
Equations . . . . . . . . . . . . . . . 81--105
Michael Plum Enclosures for Solutions of
Parameter-Dependent Nonlinear Elliptic
Boundary Value Problems: Theory and
Implementation on a Parallel Computer 106--121
Sergey P. Shary\uì Solving the Tolerance Problem for
Interval Linear Systems . . . . . . . . 6--26
Neli S. Dimitrova and
Svetoslav M. Markov On Validated Newton Type Method for
Nonlinear Equations . . . . . . . . . . 27--51
Vladimir A. Podchukayev and
Igor M. Svetlov An Analytical Method of Constructing
Hurwitz Interval Polynomials . . . . . . 52--67
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 . . . 68--89
V. Kreinovich and
T. Swenson and
A. Elentukh Interval Approach to Testing Software 90--109
Sòren Christiansen Interval Methods and Condition Numbers
of Linear Algebraic Systems . . . . . . 5--27
Marc Daumas and
David W. Matula Rounding of Floating Point Intervals . . 28--45
Marc Daumas and
Christophe Mazenc and
Jean-Michel Muller Towards a User Transparent Interval
Arithmetic . . . . . . . . . . . . . . . 46--63
Mitsuhiro T. Nakao Numerical Verifications of Solutions for
Nonlinear Hyperbolic Equations . . . . . 64--77
Wolfram Luther and
Werner Otten Computation of Standard Interval
Functions in Multiple-Precision Interval
Arithmetic . . . . . . . . . . . . . . . 78--99
Evgenija D. Popova Extended Interval Arithmetic in IEEE
Floating-Point Environment . . . . . . . 100--129
R. B. Kearfott and
E. A. Musaev and
V. M. Nesterov and
A. G. Yakovlev Preface . . . . . . . . . . . . . . . . 3--4
R. B. Kirfott and
Je. A. Musaev and
V. M. Nesmerov and
A. G. Jakovlev Predislovie. (Russian) [Foreword] . . . 5--7
Helmut Ratschek and
Jon G. Rokne Formulas for the width of interval
products . . . . . . . . . . . . . . . . 9--14
Ludmila Kupriyanova Inner estimation of the united solution
set of interval linear algebraic system 15--31
Vladik Kreinovich Why intervals? A simple limit theorem
that is similar to limit theorems from
statistics . . . . . . . . . . . . . . . 33--40
Christine Jäger and
Dietmar Ratz A combined method for enclosing all
solutions of nonlinear systems of
polynomial equations . . . . . . . . . . 41--64
Daniel E. Cooke An informal introduction to a high level
language with applications to interval
mathematics . . . . . . . . . . . . . . 65--75
Jerry Eriksson and
Per Lindström A parallel interval method
implementation for global optimization
using dynamic load balancing . . . . . . 77--91
Vladik Kreinovich and
Hung T. Nguyen Interval sessions at NAFIPS/IFIS/NASA'94 93--98
V. M. Nesterov Dear colleagues . . . . . . . . . . . . 107--107
V. M. Nesterov Uvazhaemye kollegi. (Russian) [Dear
colleagues] . . . . . . . . . . . . . . 108--108
Ladislav J. Kohout and
Isabel Stabile and
Hasan Kalantar and
Maria F. San-Andres and
John Anderson Parallel interval-based reasoning in
medical knowledge-based system CLINAID 109--140
Vladik Kreinovich and
David Nemir and
Efren Gutierrez Applications of interval computations to
earthquake-resistant engineering: How to
compute derivatives of interval
functions fast . . . . . . . . . . . . . 141--172
Christian P. Ullrich and
Roman Reith A reliable linear algebra library for
transputer networks . . . . . . . . . . 173--187
Jürgen Wolff von Gudenberg Parallel accurate linear algebra
subroutines . . . . . . . . . . . . . . 189--199
Anonymous Addresses of the Editorial Board Members 201--202
V. Kreinovich and
G. Mayer Towards the future of interval
computations . . . . . . . . . . . . . . 209--214
Gopalan V. Balaji and
J. D. Seader Application of interval Newton's method
to chemical engineering problems . . . . 215--223
Bo. H. Friesen and
Vladik Kreinovich Ockham's Razor in interval
identification . . . . . . . . . . . . . 225--237
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 239--249
Chenyi Hu and
Anna Frolov and
R. Baker Kearfott and
Qing Yang A general iterative sparse linear solver
and its parallelization for interval
Newton methods . . . . . . . . . . . . . 251--263
Chenyi Hu and
Joe Sheldon and
R. Baker Kearfott and
Qing Yang Optimizing INTBIS on the CRAY Y-MP . . . 265--274
Thomas J. McLean and
David H. Xu Study on sampling techniques with CMMs 275--284
Driss Misane and
Vladik Kreinovich A new characterization of the set of all
intervals, based on the necessity to
check consistency easily . . . . . . . . 285--297
Hung T. Nguyen and
Vladik Kreinovich and
Bob Lea and
Dana Tolbert Interpolation that leads to the
narrowest intervals and its application
to expert systems and intelligent
control . . . . . . . . . . . . . . . . 299--315
Mark J. Schaefer and
Tilmann Bubeck A parallel complex zero finder . . . . . 317--323
Michael J. Schulte and
Earl E. Swartzlander, Jr. A software interface and hardware design
for variable-precision interval
arithmetic . . . . . . . . . . . . . . . 325--342
Bonnie Traylor and
Vladik Kreinovich A bright side of NP-hardness of interval
computations: interval heuristics
applied to NP-problems . . . . . . . . . 343--359
Anonymous Call for papers . . . . . . . . . . . . 361--361
Paul P. Wang Canadian professor's interval paper
chosen best in fuzzy theory and
technology . . . . . . . . . . . . . . . 362--362
Anonymous Addresses of the Editorial Board Members 363--364
V. Nesterov Dear colleagues . . . . . . . . . . . . 371--371
V. Nesterov Uvazhaemye kollegi. (Russian) [Dear
colleagues] . . . . . . . . . . . . . . 372--373
A. G. Akritas and
E. K. Akritas and
G. I. Malaschonok Matrix computation of subresultant
polynomial remainder sequences in
integral domains . . . . . . . . . . . . 375--381
Boris S. Dobronets Numerical methods using defects . . . . 383--391
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 . . 393--401
Ljiljana D. Petkovi\'c and
Miroslav Trajkovi\'c Verification methods for inclusion disks 403--410
Jürgen Wolff von Gudenberg Design of a parallel linear algebra
library for verified computation . . . . 411--419
Q.-H. Wu and
M. Mansour Computation of the stability radius of a
Schur polynomial: an orthogonal
projection approach . . . . . . . . . . 421--430
Anonymous First announcement and call for papers 431--432
Anonymous Call for contributions . . . . . . . . . 433--433
Sergey Shary IMACS--GAMM International Symposium on
Numerical Methods and Error Bounds . . . 434--435
Anonymous Addresses of the Editorial Board Members 436--437
Anonymous Amendments . . . . . . . . . . . . . . . 439--439
Anonymous Amendments . . . . . . . . . . . . . . . 439--439
Sergey P. Shary Algebraic approach to the interval
linear static identification, tolerance,
and control problems, or One more
application of Kaucher arithmetic . . . 3--33
Hans-Jürgen Dobner Bounds of high quality for first kind
Volterra integral equations . . . . . . 35--45
Michael J. Schulte and
Earl E. Swartzlander, Jr. Variable-precision, interval arithmetic
coprocessors . . . . . . . . . . . . . . 47--62
Vladik Kreinovich Maximum entropy and interval
computations (September notes on summer
impressions) . . . . . . . . . . . . . . 63--79
Anonymous Call for papers: Reliable Computing: An
International Journal . . . . . . . . . 81--81
Vladik Kreinovich and
Günter Mayer Best student paper award . . . . . . . . 81--81
Anonymous Call for papers: Reliable Computing: An
International Journal: Special Issue
Applications to Geosciences . . . . . . 82--83
Andreas Frommer SCAN'95: International Symposium on
Scientific Computing, Computer
Arithmetic and Validated Numerics,
September 26--29, 1995, Wuppertal,
Germany . . . . . . . . . . . . . . . . 84--85
Vladik Kreinovich SONIC'95: Student Mini-Symposium on
Interval Computations . . . . . . . . . 86--87
Vladik Kreinovich Interval talks at the First El Paso
Shell Oil Symposium . . . . . . . . . . 88--88
Anonymous Addresses of the Editorial Board Members 89--90
Marcilia A. Campos and
Augusto C. A. Sampaio and
Alexandre H. F. Brainer Mechanising the theory of intervals
using OBJ3 . . . . . . . . . . . . . . . 97--102
Tiarajú A. Diverio and
Ursula A. Fernandes and
Dalcidio M. Claudio Errors in vector processing and the
library \tt libavi.a . . . . . . . . . . 103--109
Vincent Heuveline and
Miloud Sadkane Chebyshev acceleration techniques for
large complex non Hermitian eigenvalue
problems . . . . . . . . . . . . . . . . 111--117
Vladik Kreinovich and
Vyacheslav M. Nesterov and
Nina A. Zheludeva Interval methods that are guaranteed to
underestimate (and the resulting new
justification of Kaucher arithmetic) . . 119--124
Anatoly V. Lakeyev On the computational complexity of the
solution of linear systems with moduli 125--131
Thomas Lynch and
Michael J. Schulte Software for high radix on-line
arithmetic . . . . . . . . . . . . . . . 133--138
Guevara Noubir and
Henri J. Nussbaumer Self-correcting polynomial programs . . 139--145
Stuart F. Oberman and
Michael J. Flynn Reducing division latency with
reciprocal caches . . . . . . . . . . . 147--153
Janne Pesonen and
Eero Hyvönen Interval approach challenges Monte Carlo
simulation . . . . . . . . . . . . . . . 155--160
Evgenija D. Popova Interval operations involving NaNs . . . 161--165
Ji\vrí Rohn Enclosing solutions of overdetermined
systems of linear interval equations . . 167--171
Masaaki Sugihara and
Seiji Fujino Numerical solutions of Burgers' equation
with a large Reynolds number . . . . . . 173--179
Tomasz Szulc Rank of convex combinations of matrices 181--185
Michael N. Vrahatis and
Evangelia C. Triantafyllou Locating, characterizing and computing
the stationary points of a function . . 187--193
Anonymous Reviews: Applications of reliable
scientific computing . . . . . . . . . . 195--203
Götz E. Alefeld and
Andreas Frommer and
Bruno Lang Preface . . . . . . . . . . . . . . . . i--i
Götz E. Alefeld and
Andreas Frommer and
Bruno Lang Preface . . . . . . . . . . . . . . . . iv--iv
Christoph Eick and
Karen Villaverde Robust algorithms that locate local
extrema of a function of one variable
from interval measurement results: a
remark . . . . . . . . . . . . . . . . . 213--218
Carlos Ferregut and
Soheil Nazarian and
Krishnamohan Vennalaganti and
Ching-Chuan Chang and
Vladik Kreinovich Fast error estimates for indirect
measurements: applications to pavement
engineering . . . . . . . . . . . . . . 219--228
Oliver Holzmann and
Bruno Lang and
Holger Schütt Newton's constant of gravitation and
verified numerical quadrature . . . . . 229--239
Walter Krämer and
Stefan Wedner Two adaptive Gauss--Legendre type
algorithms for the verified computation
of definite integrals . . . . . . . . . 241--253
Vladik Kreinovich and
Karen Villaverde A quadratic-time algorithm for smoothing
interval functions . . . . . . . . . . . 255--264
Robert N. Lea and
Vladik Kreinovich and
Raul Trejo Optimal interval enclosures for
fractionally-linear functions, and their
application to intelligent control . . . 265--285
Joe Lorkowski and
Vladik Kreinovich If we measure a number, we get an
interval. What if we measure a function
or an operator? . . . . . . . . . . . . 287--297
João B. Oliveira New slope methods for sharper interval
functions and a note on Fischer's
acceleration method . . . . . . . . . . 299--320
Alessandro Provetti Ordering events: Intervals are
sufficient, more general sets are
usually not necessary . . . . . . . . . 321--327
M. Beltran and
D. E. Cooke Reviews: Applications of Reliable
Scientific Computing . . . . . . . . . . 329--331
Günther Mayer and
Vladik Kreinovich Dear Colleagues! . . . . . . . . . . . . i--i
Günther Mayer and
Vladik Kreinovich Preface . . . . . . . . . . . . . . . . i--i
V. Kreinovich and
A. V. Lakeyev Linear interval equations: Computing
enclosures with bounded relative or
absolute overestimation is NP-hard . . . 341--350
Marina A. Lyashko On the speed of convergence of the total
step iterative method for a class of
interval linear algebraic systems . . . 351--356
Yixun Shi Improving the efficiency index in
enclosing a root of an equation . . . . 357--372
John W. Starner Some examples using the interval data
type in the relational database model 373--381
V. Kreinovich Paul Erd\Hos, 1913--1996 . . . . . . . . 383--386
Vladik Kreinovich Double bubble minimizes: Interval
computations help in solving a
long-standing geometric problems . . . . 387--388
Anonymous An International Journal Devoted to
Reliable Mathematical Computations Based
on Finite Representation and Guaranteed
Accuracy: \booktitleReliable Computing 389--390
Marcilia A. Campos and
Erich Peter Klement and
Vladik Kreinovich WAI'96: II Workshop on Computer
Arithmetic, Interval and Symbolic
Computation . . . . . . . . . . . . . . 391--401
V. Nesterov Dear Colleagues . . . . . . . . . . . . i--i
Siegfried M. Rump Inclusion of Zeros of Nowhere
Differentiable $n$-Dimensional Functions 5--16
Eldon R. Hansen Sharpness in Interval Computations . . . 17--29
Michael A. Wolfe An Interval Algorithm for Bounding the
Ranges of Real-Valued Functions of One
Real Variable . . . . . . . . . . . . . 31--50
A. V. Lakeyev and
V. Kreinovich NP-Hard Classes of Linear Algebraic
Systems with Uncertainties . . . . . . . 51--81
Lubomir V. Kolev Use of Interval Slopes for the
Irrational Part of Factorable Functions 83--93
Hung T. Nguyen and
Vladik Kreinovich From Numerical Intervals to Set
Intervals (Interval-Related Results
Presented at the First International
Workshop on Applications and Theory of
Random Sets) . . . . . . . . . . . . . . 95--102
Sergey P. Shary Algebraic Approach in the ``Outer
Problem'' for Interval Linear Equations 103--135
Teruya Minamoto and
Mitsuhiro T. Nakao Numerical Verifications of Solutions for
Nonlinear Parabolic Equations in
One-Space Dimensional Case . . . . . . . 137--147
Vladik Kreinovich and
Andrew Bernat Is Solar System Stable? A Remark . . . . 149--154
Leticia S. Chee Computing the Value of a Boolean
Expression with Interval Inputs is
NP-Hard . . . . . . . . . . . . . . . . 155--172
Josef Nedoma Sign-Stable Solutions of Column-Vague
Linear Equation Systems . . . . . . . . 173--180
Jürgen Wolff von Gudenberg Dear colleagues . . . . . . . . . . . . 195--198
Svetoslav M. Markov Isomorphic Embeddings of Abstract
Interval Systems . . . . . . . . . . . . 199--207
Zenon Kulpa Diagrammatic Representation of Interval
Space in Proving Theorems about Interval
Relations . . . . . . . . . . . . . . . 209--217
David Berthelot and
Marc Daumas Computing on Sequences of Embedded
Intervals . . . . . . . . . . . . . . . 219--227
Jürgen K. Weinhofer and
Werner C. Haas $H_\infty$-Control using Polynomial
Matrices and Interval Arithmetic . . . . 229--237
Werner Hofschuster and
Walter Krämer A Computer Oriented Approach to Get
Sharp Reliable Error Bounds . . . . . . 239--248
Wolfram Luther and
Werner Otten Approximation Error and Error
Accumulation for the Landen Transform 249--258
Christian Bliek Fast Evaluation of Partial Derivatives
and Interval Slopes . . . . . . . . . . 259--268
Ole Caprani and
Kaj Madsen and
Ole Stauning Existence Test for Asynchronous Interval
Iteration . . . . . . . . . . . . . . . 269--275
Marian Mrozek and
Marcin \.Zelawski Heteroclinic Connections in the
Kuramoto--Sivashinsky Equation: a
Computer Assisted Proof . . . . . . . . 277--285
Hans-Jürgen Dobner and
Stefan Ritter Attacking a Conjecture in Mathematical
Physics by Combining Methods of
Computational Analysis and Scientific
Computing . . . . . . . . . . . . . . . 287--295
Boris S. Dobronets Two-sided Multigrid Method for Elliptic
Boundary Value Problems . . . . . . . . 297--303
Benedito Melo Acióly and
Benjamín R. Callejas Bedregal A Quasi-Metric Topology Compatible with
Inclusion Monotonicity on Interval Space 305--313
Ji\vrí Rohn Complexity of Some Linear Problems with
Interval Data . . . . . . . . . . . . . 315--323
Michel Rueher and
Christine Solnon Concurrent Cooperating Solvers over
Reals . . . . . . . . . . . . . . . . . 325--333
Frédéric Benhamou and
Laurent Granvilliers Automatic Generation of Numerical
Redundancies for Non-Linear Constraint
Solving . . . . . . . . . . . . . . . . 335--344
Anonymous First Announcement and Call for Papers 345--347
Ljiljana D. Petkovi\'c and
Slobodan Trickovi\'c and
Miodrag S. Petkovi\'c Slope Methods of Higher Order for the
Inclusion of Complex Roots of
Polynomials . . . . . . . . . . . . . . 349--362
Ji\vrí Rohn On Overestimations Produced by the
Interval Gaussian Algorithm (Dedicated
to Prof. Dr. Gerhard Heindl on the
occasion of his 60th birthday) . . . . . 363--368
Vyacheslav M. Nesterov Interval and Twin Arithmetics . . . . . 369--380
Ferenc Kálovics and
Gabriella Mészáros Finding Global Minima of Maximum
Functions by Using Exclusion Functions
without Derivatives . . . . . . . . . . 381--399
Yelena M. Smagina A New Approach to the Modal Regulator
Synthesis for Interval Plant with Scalar
Input . . . . . . . . . . . . . . . . . 401--410
Volker Stahl Error Reduction of the Taylor Centered
Form by Half and an Inner Estimation of
the Range . . . . . . . . . . . . . . . 411--420
Gerhard Heindl How to Compute Interval Inclusions of
Geodetic Coordinates from Interval
Inclusions of Cartesian Coordinates . . 421--435
Vladik Kreinovich and
Scott Starks and
Günter Mayer On a Theoretical Justification of the
Choice of Epsilon-Inflation in
PASCAL--XSC . . . . . . . . . . . . . . 437--445
A. Gabaldon Applications of Reliable Scientific
Computing . . . . . . . . . . . . . . . 447--448
Anonymous Applications to Control . . . . . . . . 448--452
Luc Longpré and
Martin Berz Interval and Complexity Workshops
Back-to-Back with 1997 ACM Symposium on
Theory of Computing (STOC'97) . . . . . 453--457
Monica Nogueira Interval-Related Talks at NASA URC
Conference . . . . . . . . . . . . . . . 459--460
H. Ratschek and
J. Rokne Reliable Computing Special Issue on
Reliable Geometric Computations . . . . 461--462
Anonymous Best Paper Award to Zdzislaw Pawlak . . 463--463
Anonymous Patrick Suppes is 75 . . . . . . . . . . 465--465
Anonymous Author Index/Volume Contents . . . . . . 467--473
Günter Mayer and
Vladik Kreinovich Foreword . . . . . . . . . . . . . . . . 1--2
Ralf Hungerbühler and
Jürgen Garloff Bounds for the Range of a Bivariate
Polynomial over a Triangle . . . . . . . 3--13
Zhenyu Huang An Interval Entropy Penalty Method for
Nonlinear Global Optimization . . . . . 15--25
Chenyi Hu and
Angelina Cardenas and
Stephanie Hoogendoorn and
Pedro Sepulveda, Jr. An Interval Polynomial Interpolation
Problem and Its Lagrange Solution . . . 27--38
Maria Beltran and
Gilbert Castillo and
Vladik Kreinovich Algorithms That Still Produce a Solution
(Maybe Not Optimal) Even When
Interrupted: Shary's Idea Justified . . 39--53
David Morales and
Tran Cao Son Interval Methods in Robot Navigation . . 55--61
Zhihui Huey Hu Reliable Optimal Production Control with
Cobb--Douglas Model . . . . . . . . . . 63--69
Daniel Berleant and
Hang Cheng A Software Tool for Automatically
Verified Operations on Intervals and
Probability Distributions . . . . . . . 71--82
Martin Berz and
Georg Hoffstätter Computation and Application of Taylor
Polynomials with Interval Remainder
Bounds . . . . . . . . . . . . . . . . . 83--97
Clifton Davis A New Application of Local Minima of
Interval Functions: Interval-Valued
Fuzzy Control . . . . . . . . . . . . . 99--101
Graciela Gonzalez Intervals Help to Design an Imaging
System . . . . . . . . . . . . . . . . . 103--104
Misha Koshelev and
Luc Longpré A Brief Description of Gell-Mann's
Lecture and How Intervals May Help to
Describe Complexity in the Real World 105--107
Alexander Levichev and
Olga Kosheleva Intervals in Space--Time: A. D.
Alexandrov is 85 . . . . . . . . . . . . 109--112
J. Garloff and
É. Walter Call for Papers: Reliable Computing
Special Issue on Applications to
Control, Signals, and Systems . . . . . 113--114
Mitsuhiro T. Nakao and
Nobito Yamamoto and
Yoshitaka Watanabe Constructive $L^2$ Error Estimates for
Finite Element Solutions of the Stokes
Equations . . . . . . . . . . . . . . . 115--124
Lubomir V. Kolev A New Method for Global Solution of
Systems of Non-Linear Equations . . . . 125--146
Daniel Berleant and
Chaim Goodman-Strauss Bounding the Results of Arithmetic
Operations on Random Variables of
Unknown Dependency Using Intervals . . . 147--165
Antony T. Popov A Relation Between Morphological and
Interval Operations . . . . . . . . . . 167--178
Olga Kosheleva and
Piet G. Vroegindeweij When Is the Product of Intervals Also an
Interval? . . . . . . . . . . . . . . . 179--190
David Dennis and
Vladik Kreinovich and
Siegfried M. Rump Intervals and the Origins of Calculus 191--197
Anatoly D. Plotnikov One Criterion of Existence of a
Hamiltonian Cycle . . . . . . . . . . . 199--202
Anonymous First Announcement . . . . . . . . . . . 203--204
Günter Mayer and
Ji\vrí Rohn On the Applicability of the Interval
Gaussian Algorithm . . . . . . . . . . . 205--222
Michael A. Wolfe On a Second Derivative Test due to Qi 223--234
Mark R. Baker and
Rajendra B. Patil Universal Approximation Theorem for
Interval Neural Networks . . . . . . . . 235--239
Diane I. Doser and
Kevin D. Crain and
Mark R. Baker and
Vladik Kreinovich and
Matthew C. Gerstenberger Estimating Uncertainties for Geophysical
Tomography . . . . . . . . . . . . . . . 241--268
Tiraz R. Birdie and
Karan S. Surana The Use of Interval Analysis in
Hydrologic Systems . . . . . . . . . . . 269--281
Antony T. Popov and
Hung T. Nguyen and
Leonid K. Reznik An Application of Fuzzy Mathematical
Morphology to Interval-Valued Knowledge
Representation: a Remark . . . . . . . . 283--290
Alejandro E. Brito and
Olga Kosheleva Interval + Image = Wavelet: For Image
Processing under Interval Uncertainty,
Wavelets Are Optimal . . . . . . . . . . 291--301
Alfredo Gabaldon and
Hung T. Nguyen Exclusive OR Operation That Leads to the
Narrowest Intervals . . . . . . . . . . 303--306
Ramon Moore Book Review: Aberth, O.:
\booktitlePrecise Numerical Methods
Using C++ . . . . . . . . . . . . . . . 307--308
Jürgen Wolff von Gudenberg International Conference Interval'98 . . 309--309
Roumen Anguelov and
Svetoslav Markov Wrapping Effect and Wrapping Function 311--330
Anthony Leclerc and
Jeff Ely Reliable Collision Detection for
Time-Dependent Parametric Surfaces . . . 331--344
Christian Jansson An NP-Hardness Result for Nonlinear
Systems . . . . . . . . . . . . . . . . 345--350
Misha Koshelev and
Luc Longpré and
Patrick Taillibert Optimal Enclosure of Quadratic Interval
Functions . . . . . . . . . . . . . . . 351--360
Martin Berz and
Kyoko Makino Verified Integration of ODEs and Flows
Using Differential Algebraic Methods on
High-Order Taylor Models . . . . . . . . 361--369
Siegfried M. Rump A Note on Epsilon-Inflation . . . . . . 371--375
Gregory G. Menshikov Intersection Subdistributivity and
Interval Hull Superdistributivity with
Respect to the Interval Maps . . . . . . 377--381
Gerhard Heindl and
Vladik Kreinovich and
Anatoly V. Lakeyev Solving Linear Interval Systems Is
NP-Hard Even If We Exclude Overflow and
Underflow . . . . . . . . . . . . . . . 383--388
Monica Nogueira and
Amarendra Nandigam Why Intervals? Because If We Allow Other
Sets, Tractable Problems Become
Intractable . . . . . . . . . . . . . . 389--394
Erzsébet Merényi and
Scott Starks and
Karen Villaverde Hyper-Spectral Satellite Images:
Interval Methods May Be Helpful . . . . 395--397
Olga M. Kosheleva Hilbert Problems (Almost) 100 Years
Later (From the Viewpoint of Interval
Computations) . . . . . . . . . . . . . 399--403
R. Baker Kearfott Book Review: Kreinovich, V., Lakeyev,
A., Rohn, J., and Kahl, P.:
\booktitleComputational Complexity and
Feasibility of Data Processing and
Interval Computations . . . . . . . . . 405--409
George Corliss and
Ramon Moore 1998 SIAM Annual Meeting: Interval
Highlights --- Toronto, July 13--17,
1998 . . . . . . . . . . . . . . . . . . 411--412
Anonymous First Announcement and Call for Papers
ICRA99 --- International Conference on
Rational Approximation June 6--11, 1999
University of Antwerp (UIA) . . . . . . 413--414
Shen Zuhe and
Vladik Kreinovich Preface . . . . . . . . . . . . . . . . 1--1
Kyoko Makino and
Martin Berz Efficient Control of the Dependency
Problem Based on Taylor Model Methods 3--12
Martin Berz and
Kyoko Makino New Methods for High-Dimensional
Verified Quadrature . . . . . . . . . . 13--22
Danqing Zhang and
Weiguo Li and
Zuhe Shen Solving Underdetermined Systems with
Interval Methods . . . . . . . . . . . . 23--33
John Funge Representing Knowledge within the
Situation Calculus Using Interval-Valued
Epistemic Fluents . . . . . . . . . . . 35--61
Gerhard Heindl How to Guarantee Finite Termination of
Verifying Global Optimization Codes . . 63--68
Michael Lerch and
Jürgen Wolff von Gudenberg Expression Templates for Dot Product
Expressions . . . . . . . . . . . . . . 69--80
Olga Kosheleva and
Vladik Kreinovich Error Estimation for Indirect
Measurements: Interval Computation
Problem Is (Slightly) Harder Than a
Similar Probabilistic Computational
Problem . . . . . . . . . . . . . . . . 81--95
N. Dimitrova and
S. Markov and
Ch. Ullrich Solving Linear Systems with Error
Control: Minisymposium within the 4th
International Conference NMA'98 . . . . 97--100
Tibor Csendes SCAN-98: an IMACS/GAMM International
Symposium on Scientific Computing,
Computer Arithmetic and Validated
Numerics . . . . . . . . . . . . . . . . 101--102
Lubomir V. Kolev An Improved Method for Global Solution
of Non-Linear Systems . . . . . . . . . 103--111
Marcin Zelawski Rigorous Numerical Approach to Isolation
in Dynamical Systems on the Example of
the Kuramoto--Sivashinsky Equation . . . 113--129
Arnold Neumaier A Simple Derivation of the
Hansen--Bliek--Rohn--Ning--Kearfott
Enclosure for Linear Interval Equations 131--136
Gregory E. Coxson Computing Exact Bounds on Elements of an
Inverse Interval Matrix is NP-Hard . . . 137--142
Roumen Anguelov Wrapping Function of the Initial Value
Problem for ODE: Applications . . . . . 143--164
Luc Jaulin and
Jean-Louis Boimond and
Laurent Hardouin Estimation of Discrete-Event Systems
Using Interval Computation . . . . . . . 165--173
Olga Kosheleva and
Sergio D. Cabrera and
Glenn A. Gibson and
Sreedhar Cherukuri Interval Estimates for Signal
Processing: Special Purpose Hardware . . 175--196
Anonymous Interval Computations Help in Proving
the Kepler Conjecture . . . . . . . . . 197--199
Luc Longpré and
Vladik Kreinovich Book Review: Gasarch, W. I. and Martin,
G. A.: \booktitleBounded Queries in
Recursion Theory . . . . . . . . . . . . 201--203
Jürgen Garloff Karl Nickel is turned 75 . . . . . . . . 205--206
Josep Vehí Interval Workshop MISC'99 . . . . . . . 207--208
George F. Corliss Reminiscences ``Back in the Good Old
Days \ldots'' . . . . . . . . . . . . . 209--209
Anonymous Dear Colleagues . . . . . . . . . . . . 211--213
Hél\`ene Collavizza and
François Delobel and
Michel Rueher Comparing Partial Consistencies . . . . 213--228
Neli S. Dimitrova and
Svetoslav M. Markov Verified Computation of Fast Decreasing
Polynomials . . . . . . . . . . . . . . 229--240
Eva Dyllong and
Wolfram Luther and
Werner Otten An Accurate Distance-Calculation
Algorithm for Convex Polyhedra . . . . . 241--253
Andreas Frommer and
Andre Weinberg Verified Error Bounds for Linear Systems
Through the Lanczos Process . . . . . . 255--267
Gerhard Heindl A Representation of the Interval Hull of
a Tolerance Polyhedron Describing
Inclusions of Function Values and Slopes 269--278
Jean-Michel Muller A Few Results on Table-Based Methods . . 279--288
Nedialko S. Nedialkov and
Kenneth R. Jackson An Interval Hermite--Obreschkoff Method
for Computing Rigorous Bounds on the
Solution of an Initial Value Problem for
an Ordinary Differential Equation . . . 289--310
Michael J. Schulte and
Vitaly Zelov and
Ahmet Akkas and
James Craig C. Burley The Interval-Enhanced GNU Fortran
Compiler . . . . . . . . . . . . . . . . 311--322
Sergey P. Shary Outer Estimation of Generalized Solution
Sets to Interval Linear Systems . . . . 323--335
Adam Strzebonski A Real Polynomial Decision Algorithm
Using Arbitrary-Precision Floating Point
Arithmetic . . . . . . . . . . . . . . . 337--346
Yoshitaka Watanabe and
Nobito Yamamoto and
Mitsuhiro T. Nakao A Numerical Verification Method of
Solutions for the Navier--Stokes
Equations . . . . . . . . . . . . . . . 347--357
Kong Min and
Liu Qi and
Shen Zuhe On the Componentwise Krawczyk--Moore
Iteration . . . . . . . . . . . . . . . 359--370
Michael A. Wolfe On Discrete Minimax Problems in R Using
Interval Arithmetic . . . . . . . . . . 371--383
Olga Kosheleva and
Vladik Kreinovich Only Intervals Preserve the
Invertibility of Arithmetic Operations 385--394
Ferenc Kálovics Solving Nonlinear Constrained
Minimization Problems with a New
Interval Valued Function . . . . . . . . 395--406
Paluri S. V. Nataraj and
Suresh Srivastava Synthesis of Robustly Stabilizing
General Order Compensators for Interval
Plants Using Interval Analysis . . . . . 407--422
R. E. Moore The Dawning . . . . . . . . . . . . . . 423--424
Helmut Ratschek and
Jon G. Rokne Introduction to the Special Issue: What
Can One Learn from Box-Plane
Intersections? . . . . . . . . . . . . . 1--8
Ole Caprani and
Lars Hvidegaard and
Mikkel Mortensen and
Thomas Schneider Robust and Efficient Ray Intersection of
Implicit Surfaces . . . . . . . . . . . 9--21
Jeffrey S. Ely and
Anthony P. Leclerc Correct Delaunay Triangulation in the
Presence of Inexact Inputs and
Arithmetic . . . . . . . . . . . . . . . 23--38
Marina Gavrilova and
Helmut Ratschek and
Jon G. Rokne Exact Computation of Delaunay and Power
Triangulations . . . . . . . . . . . . . 39--60
Pierre Alliez and
Olivier Devillers and
Jack Snoeyink Removing Degeneracies by Perturbing the
Problem or Perturbing the World . . . . 61--79
Timothy J. Hickey and
Zhe Qju and
Maarten H. Van Emden Interval Constraint Plotting for
Interactive Visual Exploration of
Implicitly Defined Relations . . . . . . 81--92
L. B. Rall Interval Integration . . . . . . . . . . 93--94
Eldon R. Hansen The Hull of Preconditioned Interval
Linear Equations . . . . . . . . . . . . 95--103
Kiyotaka Yamamura Finding All Solutions of Nonlinear
Equations Using Linear Combinations of
Functions . . . . . . . . . . . . . . . 105--113
Ralf Hungerbühler and
Jürgen Garloff Computation of the Bernstein
Coefficients on Subdivided Triangles . . 115--121
Dusan M. Stipanovi\'c and
Dragoslav D. Siljak Jacobi and Gauss--Seidel Iterations for
Polytopic Systems: Convergence via
Convex $M$-Matrices . . . . . . . . . . 123--137
Graçaliz P. Dimuro and
Antônio Carlos Da R. Costa and
Dalcidio M. Claudio A Coherence Space of Rational Intervals
for a Construction of IR . . . . . . . . 139--178
Leocadio G. Casado and
Inmaculada F. García and
Yaroslav D. Sergeyev Interval Branch and Bound Algorithm for
Finding the First-Zero-Crossing-Point in
One-Dimensional Functions . . . . . . . 179--191
Nathalie Revol and
Jean-Claude Yakoubsohn Accelerated Shift-and-Add Algorithms . . 193--205
Werner Hofschuster and
Walter Krämer Mathematical Function Software on the
Web --- Are Such Codes Useful for
Verification Algorithms? . . . . . . . . 207--218
Misha Koshelev Every Superinterval of the Function
Range Can Be an Interval-Computations
Enclosure . . . . . . . . . . . . . . . 219--223
Eldon R. Hansen Reminiscences . . . . . . . . . . . . . 225--226
Arnold Neumaier Erratum to: ``A Simple Derivation of the
Hansen--Bliek--Rohn--Ning--Kearfott
Enclosure for Linear Interval
Equations'' (Reliable Computing Vol. \bf
5 (2) (1999)) . . . . . . . . . . . . . 227--227
Jürgen Garloff and
Éric Walter Foreword --- Dear Colleagues . . . . . . 229--230
Long Wang Composite Interval Control Systems: Some
Strong Kharitonov-Like Properties . . . 231--246
Yuzo Ohta Nonconvex Polygon Interval Arithmetic as
a Tool for the Analysis and Design of
Robust Control Systems . . . . . . . . . 247--279
Josep Vehí and
José Rodellar and
Miguel Sainz and
Joaquim Armengol Analysis of the Robustness of Predictive
Controllers via Modal Intervals . . . . 281--301
Jürgen Garloff Application of Bernstein Expansion to
the Solution of Control Problems . . . . 303--320
William W. Edmonson and
Wen H. Lee and
John M. M. Anderson Interval Methods for Sinusoidal
Parameter Estimation: a Comparative
Analysis . . . . . . . . . . . . . . . . 321--336
Michel Kieffer and
Luc Jaulin and
Éric Walter and
Dominique Meizel Robust Autonomous Robot Localization
Using Interval Analysis . . . . . . . . 337--362
Brigitte Verdonk Dear Colleagues . . . . . . . . . . . . 363--363
Bernhard Beckermann and
George Labahn Effective Computation of Rational
Approximants and Interpolants . . . . . 365--390
Jean-Daniel Fournier and
Maciej Pindor Rational Interpolation from Stochastic
Data: a New Froissart's Phenomenon . . . 391--409
Peter R. Graves-Morris Reliability of Lanczos-Type Product
Methods from Perturbation Theory . . . . 411--428
Hiroshi Kai and
Matu-Tarow Noda Hybrid Rational Function Approximation
and Its Accuracy Analysis . . . . . . . 429--438
Nicos Karcanias and
Marilena Mitrouli Numerical Computation of the Least
Common Multiple of a Set of Polynomials 439--457
Tetsuya Sakurai and
Hiroshi Sugiura On Factorization of Analytic Functions
and Its Verification . . . . . . . . . . 459--470
Luc Jaulin Path Planning Using Intervals and Graphs 1--15
Lubomir V. Kolev Automatic Computation of a Linear
Interval Enclosure . . . . . . . . . . . 17--28
Hans-Jürgen Dobner On Kernel Inclusions . . . . . . . . . . 29--39
Vladik Kreinovich Roundoff-Free Number Fields for Interval
Computations . . . . . . . . . . . . . . 41--47
Michael A. Wolfe A Note on a Uniqueness Theorem for the
Second-Derivative Test of Qi . . . . . . 49--52
Gregory G. Menshikov and
Alexey V. Tomashevsky On $\wedge$-Subdistributivity and
$\vee$-Superdistributivity with Respect
to Interval Map in Kaucher Arithmetic 53--57
Uwe Schäfer The Feasibility of the Interval Gaussian
Algorithm for Arrowhead Matrices . . . . 59--62
Svetoslav Markov The Mystery of Intervals . . . . . . . . 63--65
Scott A. Starks and
Vladik Kreinovich Interval Methods and Their Applications:
Invited Sessions at the World Automation
Congress (WAC'2000) Maui, Hawaii, June
10--16, 2000 . . . . . . . . . . . . . . 67--68
Vyacheslav Nesterov and
Vladik Kreinovich Session ``Interval and
Computer--Algebraic Methods in Science
and Engineering'' at the 6th
International Association for
Mathematics and Computers in Simulation
(IMACS) Conference on Applications of
Computer Algebra (ACA'2000) Saint
Petersburg, Russia, June 25--28, 2000 69--70
T. Y. Lin and
V. Kreinovich A Special Session on Granular Computing
and Interval Computations at the 19th
International Conference of the North
American Fuzzy Information Processing
Society (NAFIPS) Atlanta, Georgia, July
13--15, 2000 . . . . . . . . . . . . . . 71--72
Jürgen Garloff Minisymposium on Applications of
Interval Computations at the Third World
Congress of Nonlinear Analysts Catania,
Sicily, Italy, July 19--26, 2000 . . . . 73--74
Josep Vehí and
Miguel Á. Sainz Editorial . . . . . . . . . . . . . . . 75--75
Ernest Gardeñes and
Miguel Á. Sainz and
Lambert Jorba and
Remei Calm and
Rosa Estela and
Honorino Mielgo and
Albert Trepat Modal Intervals . . . . . . . . . . . . 77--111
Svetoslav Markov On the Algebraic Properties of Intervals
and Some Applications . . . . . . . . . 113--127
Evgenija D. Popova Multiplication Distributivity of Proper
and Improper Intervals . . . . . . . . . 129--140
Sergey P. Shary Interval Gauss--Seidel Method for
Generalized Solution Sets to Interval
Linear Systems . . . . . . . . . . . . . 141--155
Peter Hertling A Limitation for Underestimation Via
Twin Arithmetic . . . . . . . . . . . . 157--169
Joaquim Armengol and
Josep Vehí and
Louise Travé-Massuy\`es and
Miguel Ángel Sainz Application of Modal Intervals to the
Generation of Error-Bounded Envelopes 171--185
Anonymous SCAN 2000: GAMM--IMACS International
Symposium on Scientific Computing,
Computer Arithmetic, and Validated
Numerics Interval 2000: International
Conference on Interval Methods in
Science and Engineering Karlsruhe,
Germany, September 18--22, 2000 . . . . 187--191
Anonymous Dear Colleagues . . . . . . . . . . . . 193--194
Michael A. Wolfe On Bounding Solutions of Underdetermined
Systems . . . . . . . . . . . . . . . . 195--207
Andraos Sweidan and
Ahmad A. Hiasat On the Theory of Error Control Based on
Moduli with Common Factors . . . . . . . 209--218
Vladimir N. Shashikhin Robust Control Using Interval Analysis 219--230
Luc Jaulin Reliable Minimax Parameter Estimation 231--246
Dang-Khoa Do Spigot Algorithm and Root Computing . . 247--273
Götz Alefeld and
Vladik Kreinovich and
Günter Mayer and
Michael Huth A Comment on the Shape of the Solution
Set for Systems of Interval Linear
Equations with Dependent Coefficients 275--277
Anonymous Interval Talks at the International
Conference on Intelligent Technologies
InTech'2000 Bangkok, Thailand, December
12--14, 2000 . . . . . . . . . . . . . . 279--280
Hartmut Schwandt Synchronous and Asynchronous Interval
Newton--Schwarz Methods for a Class of
Large Systems of Nonlinear Equations . . 281--306
Markus Neher Validated Bounds for Taylor Coefficients
of Analytic Functions . . . . . . . . . 307--319
Walter Krämer and
Armin Bantle Automatic Forward Error Analysis for
Floating Point Algorithms . . . . . . . 321--340
Keith Worden and
Roberto Osegueda and
Carlos Ferregut and
Soheil Nazarian and
Debra L. George and
V. Kreinovich and
O. Kosheleva and
S. Cabrera Interval Methods in Non-Destructive
Testing of Material Structures . . . . . 341--352
Grigori L. Litvinov and
Andrei N. Sobolevskii Idempotent Interval Analysis and
Optimization Problems . . . . . . . . . 353--377
Martin Berz and
Jens Hoefkens Verified High-Order Inversion of
Functional Dependencies and Interval
Newton Methods . . . . . . . . . . . . . 379--398
Lubomir V. Kolev and
Ivo P. Nenov Cheap and Tight Bounds on the Solution
Set of Perturbed Systems of Nonlinear
Equations . . . . . . . . . . . . . . . 399--408
Irene A. Sharaya On Maximal Inner Estimation of the
Solution Sets of Linear Systems with
Interval Parameters . . . . . . . . . . 409--424
R. Baker Kearfott An Example of Singularity in Nonlinear
Systems . . . . . . . . . . . . . . . . 425--429
Scott A. Starks and
Vladik Kreinovich Claude E. Shannon (1916-2001) . . . . . 431--432
Oliver Beaumont and
Bernard Philippe Linear Interval Tolerance Problem and
Linear Programming Techniques . . . . . 433--447
Nedialko S. Nedialkov and
Kenneth R. Jackson and
John D. Pryce An Effective High-Order Interval Method
for Validating Existence and Uniqueness
of the Solution of an IVP for an ODE . . 449--465
Laurent Granvilliers On the Combination of Interval
Constraint Solvers . . . . . . . . . . . 467--483
Gregory G. Menshikov The Preliminary Enclosing of the ODE
Solutions on the Base of the
Cauchy--Duhamel Identity . . . . . . . . 485--495
Sergey P. Shary A Surprising Approach in Interval Global
Optimization . . . . . . . . . . . . . . 497--505
Boris S. Dobronets and
Anatoly V. Lakeyev and
Vyacheslav M. Nesterov and
Sergey P. Shary and
Yuri I. Shokin Gregory G. Menshikov has turned 70 . . . 507--508
Anonymous 10th GAMM--IMACS International Symposium
on Scientific Computing, Computer
Arithmetic, and Validated Numerics . . . 509--510
Anonymous Reliable Computing . . . . . . . . . . . 511--515
Uwe Schäfer Two Ways to Extend the Cholesky
Decomposition to Block Matrices with
Interval Entries . . . . . . . . . . . . 1--20
Stefan Ratschan Approximate Quantified Constraint
Solving by Cylindrical Box Decomposition 21--42
Rida T. Farouki and
Helmut Pottmann Exact Minkowski Products of $N$ Complex
Disks . . . . . . . . . . . . . . . . . 43--66
Jens Hoefkens and
Martin Berz Verification of Invertibility of
Complicated Functions over Large Domains 67--82
Paluri S. V. Nataraj and
Suresh Mandir Sheela A New Subdivision Strategy for Range
Computations . . . . . . . . . . . . . . 83--92
Weldon A. Lodwick Reliable Computing: Special Issue on the
Linkages between Interval Mathematics
and Fuzzy Set Theory . . . . . . . . . . 93--95
Igor O. Kozine and
Lev V. Utkin Interval-Valued Finite Markov Chains . . 97--113
Eldon R. Hansen and
G. William Walster Sharp Bounds on Interval Polynomial
Roots . . . . . . . . . . . . . . . . . 115--122
Paluri S. V. Nataraj and
Airani Kalathil Prakash A Parallelized Version of the Covering
Algorithm for Solving
Parameter-Dependent Systems of Nonlinear
Equations . . . . . . . . . . . . . . . 123--130
Jaão Batista Oliveira and
Luiz Henrique De Figueiredo Interval Computation of Viswanath's
Constant . . . . . . . . . . . . . . . . 131--138
Chong-Kan Chiu and
Jimmy Ho-Man Lee Efficient Interval Linear Equality
Solving in Constraint Logic Programming 139--174
Daniel Berleant Reliable Computing: Special Issue on
Dependable Reasoning about Uncertainty 175--176
Michael A. Wolfe Bounding Perturbations in Zeros of
Nonlinear Systems . . . . . . . . . . . 177--188
Miguel Á. Sainz and
Ernest Gardeñes and
Lambert Jorba Formal Solution to Systems of Interval
Linear or Non-Linear Equations . . . . . 189--211
Gerhard Heindl and
Vladik Kreinovich and
Maria Rifqi In Case of Interval (or More General)
Uncertainty, No Algorithm Can Choose the
Simplest Representative . . . . . . . . 213--227
Jan Mayer An Approach to Overcome Division by Zero
in the Interval Gauss Algorithm . . . . 229--237
Charles R. Johnson and
Ronald L. Smith Intervals of Inverse $M$-Matrices . . . 239--243
Eugene Loh and
G. William Walster Rump's Example Revisited . . . . . . . . 245--248
Ramon E. Moore Sparse Systems in Fixed Point Form . . . 249--265
R. Baker Kearfott On Existence and Uniqueness Verification
for Non-Smooth Functions . . . . . . . . 267--282
Miguel Á. Sainz and
Ernest Gardeñes and
Lambert Jorba Interval Estimations of Solution Sets to
Real-Valued Systems of Linear or
Non-Linear Equations . . . . . . . . . . 283--305
Jürgen Wolff von Gudenberg Interval Arithmetic on Multimedia
Architectures . . . . . . . . . . . . . 307--312
Arnold Neumaier Grand Challenges and Scientific
Standards in Interval Analysis . . . . . 313--320
Sergey P. Shary A New Technique in Systems Analysis
Under Interval Uncertainty and Ambiguity 321--418
R. Baker Kearfott and
G. William Walster SIAM Conference on Optimization,
Validated Computing 2002, and the Fields
Institute Informal Working Group on
Validated Optimization . . . . . . . . . 419--424
Weldon A. Lodwick and
Vladik Kreinovich Interval-Related Talks at the Annual
Conference of the North American Fuzzy
Information Processing Society NAFIPS'02 425--426
Paluri S. V. Nataraj and
Suresh Mandir Sheela A QFT Procedure for Generating Design
Frequencies and Bounds of Guaranteed
Accuracy . . . . . . . . . . . . . . . . 427--451
R. Baker Kearfott and
G. William Walster Symbolic Preconditioning with Taylor
Models: Some Examples . . . . . . . . . 453--468
Hans-Jürgen Dobner Kernel-Splitting Technique for Enclosing
the Solution of Fredholm Equations of
the First Kind . . . . . . . . . . . . . 469--479
Vladik Kreinovich Range Estimation Is NP-Hard for
$\epsilon^2$ Accuracy and Feasible for
$\epsilon^{2 - \delta}$ . . . . . . . . 481--491
Lubomir V. Kolev Outer Solution of Linear Systems Whose
Elements Are Affine Functions of
Interval Parameters . . . . . . . . . . 493--501
William Oberkampf and
Jon Helton and
Steve Wojtkiewicz and
Cliff Joslyn and
Scott Ferson Epistemic Uncertainty Workshop . . . . . 503--505
Anonymous Contents Volume 8 . . . . . . . . . . . 507--510
Zenon Kulpa Diagrammatic Analysis of Interval Linear
Equations: Part I: Basic Notions and the
One-Dimensional Case . . . . . . . . . . 1--20
Jens Hoefkens and
Martin Berz and
Kyoko Makino Controlling the Wrapping Effect in the
Solution of ODEs for Asteroids . . . . . 21--41
Arnold Neumaier Taylor Forms --- Use and Limits . . . . 43--79
R. Baker Kearfott COCOS'02 --- A Workshop on Global
Constrained Optimization and Constraint
Satisfaction October 2--4, 2002,
Sophia-Antipolis, France . . . . . . . . 81--87
R. Baker Kearfott Dear colleagues . . . . . . . . . . . . 89--90
Daniel Berleant and
Lizhi Xie and
Jianzhong Zhang Statool: a Tool for Distribution
Envelope Determination (DEnv), an
Interval-Based Algorithm for Arithmetic
on Random Variables . . . . . . . . . . 91--108
Tibor Csendes Numerical Experiences with a New
Generalized Subinterval Selection
Criterion for Interval Global
Optimization . . . . . . . . . . . . . . 109--125
Weldon A. Lodwick and
K. David Jamison Estimating and Validating the Cumulative
Distribution of a Function of Random
Variables: Toward the Development of
Distribution Arithmetic . . . . . . . . 127--141
Ivo P. Nenov and
Daniel H. Fylstra Interval Methods for Accelerated Global
Search in the Microsoft Excel Solver . . 143--159
João Batista Oliveira and
Luiz Henrique De Figueiredo Robust Approximation of Offsets,
Bisectors, and Medial Axes of Plane
Curves . . . . . . . . . . . . . . . . . 161--175
Louis B. Rall Evaluation of Functions, Gradients, and
Jacobians . . . . . . . . . . . . . . . 177--182
René Alt and
Jean Vignes 10th GAMM--IMACS International Symposium
on Scientific Computing, Computer
Arithmetic, and Validated Numerics
SCAN'2002 . . . . . . . . . . . . . . . 183--184
Paluri S. V. Nataraj and
Ketan Kotecha Higher Order Convergence for
Multidimensional Functions with a New
Taylor--Bernstein Form as Inclusion
Function . . . . . . . . . . . . . . . . 185--203
Zenon Kulpa Diagrammatic Analysis of Interval Linear
Equations. Part II: The Two-Dimensional
Case and Generalization to $n$
Dimensions . . . . . . . . . . . . . . . 205--228
Takeshi Ogita and
Shin'ichi Oishi and
Yasunori Ushiro Computation of Sharp Rigorous
Componentwise Error Bounds for the
Approximate Solutions of Systems of
Linear Equations . . . . . . . . . . . . 229--239
Kiyotaka Yamamura Finding All Solution Sets of
Piecewise-Trapezoidal Equations
Described by Set-Valued Functions . . . 241--250
Vicenç Puig and
Jordi Saludes and
Joseba Quevedo Worst-Case Simulation of Discrete Linear
Time-Invariant Interval Dynamic Systems 251--290
Youkang Fang Optimal Bicentered Form . . . . . . . . 291--302
Svetlana P. Sokolova and
Ruslan S. Ivlev Asymptotic Stability of Interval
Time--Delay Systems . . . . . . . . . . 303--313
R. Baker Kearfott Dear colleagues . . . . . . . . . . . . 315--315
R. Baker Kearfott Special issue: Proceedings of the
validated computing 2002 conference,
Toronto, Canada, May 23--25, 2002 . . . 315--316
Luke E. K. Achenie and
Manish Sinha Interval Global Optimization in Solvent
Design . . . . . . . . . . . . . . . . . 317--338
Walter Krämer and
Jürgen Wolff von Gudenberg Extended Interval Power Function . . . . 339--347
Vladik Kreinovich and
Luc Longpré and
James J. Buckley Are There Easy-to-Check Necessary and
Sufficient Conditions for
Straightforward Interval Computations To
Be Exact? . . . . . . . . . . . . . . . 349--358
Mitsuhiro T. Nakao and
Yoshitaka Watanabe and
Nobito Yamamoto and
Takaaki Nishida Some Computer Assisted Proofs for
Solutions of the Heat Convection
Problems . . . . . . . . . . . . . . . . 359--372
Paluri S. V. Nataraj and
Jayesh J. Barve Reliable Computation of Frequency
Response Plots for Nonrational Transfer
Functions to Prescribed Accuracy . . . . 373--389
Uwe Schäfer Accelerated Enclosure Methods for
Ordinary Free Boundary Problems . . . . 391--403
Scott A. Starks and
Vladik Kreinovich Interval-Related Talks at the 2003 IEEE
International Conference on Fuzzy
Systems --- St. Louis, Missouri, May
25--28, 2003 . . . . . . . . . . . . . . 405--406
Daniel Berleant and
Mei-Peng Cheong and
Chris Chu and
Yong Guan and
Ahmed Kamal and
Gerald Shedblé and
Scott Ferson and
James F. Peters Dependable Handling of Uncertainty . . . 407--418
Joel L. Horowitz and
Charles F. Manski and
Maria Ponomareva and
Jörg Stoye Computation of Bounds on Population
Parameters When the Data Are Incomplete 419--440
Vladik Kreinovich and
Scott Ferson and
Lev Ginzburg Exact Upper Bound on the Mean of the
Product of Many Random Variables with
Known Expectations . . . . . . . . . . . 441--463
Renato Pelessoni and
Paolo Vicig Convex Imprecise Previsions . . . . . . 465--485
Marco Zaffalon and
Enrico Fagiuoli Tree--Based Credal Networks for
Classification . . . . . . . . . . . . . 487--509
Luc Jaulin and
Stefan Ratschan and
Laurent Hardouin Set Computation for Nonlinear Control 1--26
Paluri S. V. Nataraj and
Ketan Kotecha Global Optimization with Higher Order
Inclusion Function Forms. Part 1: a
Combined Taylor--Bernstein Form . . . . 27--44
Maarten H. Van Emden On the Significance of Digits in
Interval Notation . . . . . . . . . . . 45--58
Svetoslav Markov and
Vladik Kreinovich Special Session ``Set-Valued Numerics
and Reliable Computing'' --- Sozopol,
Bulgaria, June 4--8, 2003 . . . . . . . 59--61
Jürgen Garloff and
Vladik Kreinovich Interval-Related Talks at the 4th
International Conference on Frontiers in
Global Optimization --- Santorini,
Greece, June 8--12, 2003 . . . . . . . . 63--70
Weldon Lodwick and
Vladik Kreinovich Interval-Related Talks at the 22th
International Conference of the North
American Fuzzy Information Processing
Society NAFIPS'03 --- Chicago, Illinois,
USA, July 24--26, 2003 . . . . . . . . . 71--73
Vasco Brattka and
Vladik Kreinovich Computability and Complexity in Analysis
(CCA). A View from Interval Computations
--- Cincinnati, Ohio, USA, August
28--30, 2003 . . . . . . . . . . . . . . 75--80
Anonymous Dear Colleagues . . . . . . . . . . . . 81--82
Hung T. Nguyen and
Vladik Kreinovich and
Luc Longpré Dirty Pages of Logarithm Tables,
Lifetime of the Universe, and
(Subjective) Probabilities on Finite and
Infinite Intervals . . . . . . . . . . . 83--106
Fulvio Tonon On the Use of Random Set Theory to
Bracket the Results of Monte Carlo
Simulations . . . . . . . . . . . . . . 107--137
Daniel Berleant and
Jianzhong Zhang Using Pearson Correlation to Improve
Envelopes around the Distributions of
Functions . . . . . . . . . . . . . . . 139--161
Humberto Muñoz and
R. Baker Kearfott Slope Intervals, Generalized Gradients,
Semigradients, Slant Derivatives, and
Csets . . . . . . . . . . . . . . . . . 163--193
Waltraud Huyer and
Arnold Neumaier Integral Approximation of Rays and
Verification of Feasibility . . . . . . 195--207
Klaus Meer On a Refined Analysis of Some Problems
in Interval Arithmetic Using Real Number
Complexity Theory . . . . . . . . . . . 209--225
Lubomir V. Kolev A Method for Outer Interval Solution of
Linear Parametric Systems . . . . . . . 227--239
Martine Ceberio and
Vladik Kreinovich Fast Multiplication of Interval Matrices
(Interval Version of Strassen's
Algorithm) . . . . . . . . . . . . . . . 241--243
Hung T. Nguyen and
Vladik Kreinovich Interval-Related Talks at InTech'03 ---
Chiang Mai, Thailand, December 17--19,
2003 . . . . . . . . . . . . . . . . . . 245--246
Weldon A. Lodwick Dear Colleagues . . . . . . . . . . . . 247--248
Arnold Neumaier Clouds, Fuzzy Sets, and Probability
Intervals . . . . . . . . . . . . . . . 249--272
Didier Dubois and
Laurent Foulloy and
Gilles Mauris and
Henri Prade Probability-Possibility Transformations,
Triangular Fuzzy Sets, and Probabilistic
Inequalities . . . . . . . . . . . . . . 273--297
Ladislav J. Kohout and
Eunjin Kim Characterization of Interval Fuzzy Logic
Systems of Connectives by Group
Transformations . . . . . . . . . . . . 299--334
Angelo Marcello Anile and
Salvatore Spinella Modeling Uncertain Sparse Data with
Fuzzy B-splines . . . . . . . . . . . . 335--355
Masahiro Inuiguchi and
Tetsuzo Tanino Fuzzy Linear Programming with
Interactive Uncertain Parameters . . . . 357--367
Jorge Bondia and
Jesús Picó Application of Functional Intervals to
the Response Evaluation of Linear
Time-Invariant Systems with Fuzzy Input 369--387
Masaaki Ida Solutions for the Portfolio Selection
Problem with Interval and Fuzzy
Coefficients . . . . . . . . . . . . . . 389--400
Roberto Torres and
G. Randy Keller and
Vladik Kreinovich and
Luc Longpré and
Scott A. Starks Eliminating Duplicates under Interval
and Fuzzy Uncertainty: An Asymptotically
Optimal Algorithm and Its Geospatial
Applications . . . . . . . . . . . . . . 401--422
Götz Alefeld and
Zhengyu Wang and
Zuhe Shen Enclosing Solutions of Linear
Complementarity Problems for
$H$-matrices . . . . . . . . . . . . . . 423--435
Miodrag S. Petkovi\'c and
Dusan M. Milosevi\'c Ostrowski-like Method with Corrections
for the Inclusion of Polynomial Zeros 437--467
Galina L. Kozina Discrete Optimization Problems with
Interval Data: Pareto Set of Solutions
or Set of Weak Solutions? . . . . . . . 469--487
Dang-Khoa Do Spigot Algorithm and Reliable
Computation of Natural Logarithm . . . . 489--500
Luc Jaulin and
Didier Henrion Contracting Optimally an Interval Matrix
without Loosing Any Positive
Semi-Definite Matrix Is a Tractable
Problem . . . . . . . . . . . . . . . . 1--17
Lev V. Utkin and
Igor O. Kozine Computing System Reliability Given
Interval-Valued Characteristics of the
Components . . . . . . . . . . . . . . . 19--34
Ji\vrí Rohn A Normal Form Supplement to the
Oettli--Prager Theorem . . . . . . . . . 35--39
Abdelhay A. Salama and
Emad Hamdy Interval Schemes for Singularly
Perturbed Initial Value Problems . . . . 41--58
Vladik Kreinovich and
Luc Longpré and
Praveen Patangay and
Scott Ferson and
Lev Ginzburg Outlier Detection under Interval
Uncertainty: Algorithmic Solvability and
Computational Complexity . . . . . . . . 59--76
Marco Schnurr On the Proofs of Some Statements
Concerning the Theorems of Kantorovich,
Moore, and Miranda . . . . . . . . . . . 77--85
Hans-Robert Arndt and
Günter Mayer On the Solutions of the Interval System
$[ x ] = [ {A} ][ x ] + [ b ]$ . . . . . 87--103
Marina A. Lyashko The Optimal Solution of an Interval
System of Linear Algebraic Equations . . 105--127
Ji\vrí Rohn Linear Interval Equations: Midpoint
Preconditioning May Produce a 100%
Overestimation for Arbitrarily Narrow
Data Even in Case $n = 4$ . . . . . . . 129--135
Steffen Schön and
Hansjörg Kutterer Using Zonotopes for Overestimation-Free
Interval Least-Squares --- Some Geodetic
Applications . . . . . . . . . . . . . . 137--155
Mitsuhiro T. Nakao and
Kaori Nagatou SCAN'2004 11th GAMM--IMACS International
Symposium on Scientific Computing,
Computer Arithmetic, and Validated
Numerics, Fukuoka, Japan, October 4--8,
2004 . . . . . . . . . . . . . . . . . . 157--159
Anonymous Second R. E. Moore Prize Awarded at
SCAN'2004 . . . . . . . . . . . . . . . 161--162
R. Baker Kearfott Errata and opinion to: ``An interval
entropy penalty method for nonlinear
global optimization'' [Reliab. Comput.
\bf 4(1) (1998), 15--25; MR1617525] by
Zhengyu Huang . . . . . . . . . . . . . 163--164
Götz Alefeld and
Günter Mayer Enclosing Solutions of Singular Interval
Systems Iteratively . . . . . . . . . . 165--190
Takeshi Ogita and
Shin'ichi Oishi Fast Inclusion of Interval Matrix
Multiplication . . . . . . . . . . . . . 191--205
Scott Ferson and
Lev Ginzburg and
Vladik Kreinovich and
Luc Longpré and
Monica Aviles Exact Bounds on Finite Populations of
Interval Data . . . . . . . . . . . . . 207--233
Johannes Wallner and
Hans-Peter Schröcker and
Shi-Min Hu Tolerances in Geometric Constraint
Problems . . . . . . . . . . . . . . . . 235--251
Boglárka Tóth and
Tibor Csendes Empirical Investigation of the
Convergence Speed of Inclusion Functions
in a Global Optimization Context . . . . 253--273
Nathalie Revol and
Fabrice Rouillier Motivations for an Arbitrary Precision
Interval Arithmetic and the MPFI Library 275--290
Kavitha Tupelly and
Vladik Kreinovich and
Karen Villaverde Checking If There Exists a Monotonic
Function That Is Consistent with the
Measurements: An Efficient Algorithm . . 291--312
Franky Backeljauw and
Annie Cuyt A Constructive Criticism of the C/C++
Proposal for Complex Arithmetic . . . . 313--319
Sergey P. Shary Preface . . . . . . . . . . . . . . . . 321--322
Ramil R. Akhmerov Interval-Affine Gaussian Algorithm for
Constrained Systems . . . . . . . . . . 323--341
Yuri G. Dolgov Developing Interval Global Optimization
Algorithms on the Basis of
Branch-and-Bound and Constraint
Propagation Methods . . . . . . . . . . 343--358
Alexei G. Ershov and
Tamara P. Kashevarova Interval Mathematical Library Based on
Chebyshev and Taylor Series Expansion 359--367
Pau Herrero and
Miguel A. Sainz and
Josep Veh and
Luc Jaulin Quantified Set Inversion Algorithm with
Applications to Control . . . . . . . . 369--382
R. Baker Kearfott Validated Constraint Solving ---
Practicalities, Pitfalls, and New
Developments . . . . . . . . . . . . . . 383--391
Bart\lomiej Jacek Kubica and
Krzysztof Malinowski An Interval Global Optimization
Algorithm Combining Symbolic Rewriting
and Componentwise Newton Method Applied
to Control a Class of Queueing Systems 393--411
Sergey G. Pushkov and
Svetlana Yu. Kalinkina Boundary Realizations Method for
Interval Linear Dynamic Systems . . . . 413--423
Irene A. Sharaya On Unbounded Tolerable Solution Sets . . 425--432
Sergei I. Zhilin On Fitting Empirical Data under Interval
Error . . . . . . . . . . . . . . . . . 433--442
Alexandre Goldsztejn A Right-Preconditioning Process for the
Formal-Algebraic Approach to Inner and
Outer Estimation of AE-Solution Sets . . 443--478
Vladik Kreinovich Optimal Finite Characterization of
Linear Problems with Inexact Data . . . 479--489
Ji\vrí Rohn How Strong Is Strong Regularity? . . . . 491--493
Eldon R. Hansen A Theorem on Regularity of Interval
Matrices . . . . . . . . . . . . . . . . 495--497
Martine Ceberio and
Vladik Kreinovich and
Michel Rueher Reliable Computations and Their
Applications (RCA) Track: a Technical
Track at the 20th ACM Symposium on
Applied Computing SAC'2005 . . . . . . . 499--503
Yves Candau and
Tarek Raissi and
Nacim Ramdani and
Laurent Ibos Complex Interval Arithmetic Using Polar
Form . . . . . . . . . . . . . . . . . . 1--20
Eldon R. Hansen Sharpening Interval Computations . . . . 21--34
Bakyt S. Djanybekov Interval Householder Method for Complex
Linear Systems . . . . . . . . . . . . . 35--43
Balasaheb M. Patre and
Bijnan Bandyopadhyay Robust Control for Two-Time-Scale
Discrete Interval Systems . . . . . . . 45--58
Gang Xiang Fast Algorithm for Computing the Upper
Endpoint of Sample Variance for Interval
Data: Case of Sufficiently Accurate
Measurements . . . . . . . . . . . . . . 59--64
Timothy J. Ross and
Vladik Kreinovich Los Alamos National Laboratory
Uncertainty Workshop: An Interval
Perspective . . . . . . . . . . . . . . 65--71
Vladik Kreinovich and
François Modave and
Scott Starks and
Gang Xiang Towards Real World Applications:
Interval-Related Talks at NAFIPS'05 . . 73--77
Günter Mayer A Contribution to the Feasibility of the
Interval Gaussian Algorithm . . . . . . 79--98
Ji\vrí Rohn Regularity of Interval Matrices and
Theorems of the Alternatives . . . . . . 99--105
Iwona Skalna A Method for Outer Interval Solution of
Systems of Linear Equations Depending
Linearly on Interval Parameters . . . . 107--120
Lubomir V. Kolev Outer Interval Solution of the
Eigenvalue Problem under General Form
Parametric Dependencies . . . . . . . . 121--140
Thomas Beelitz and
Bruno Lang and
Christian H. Bischof Efficient Task Scheduling in the
Parallel Result-Verifying Solution of
Nonlinear Systems . . . . . . . . . . . 141--151
Daniel Berleant and
Fabio G. Cozman and
Olga Kosheleva and
Vladik Kreinovich Dealing with Imprecise Probabilities:
Interval-Related Talks at ISIPTA'05 . . 153--165
George F. Corliss and
Kaj Madsen Second Scandinavian Workshop on Interval
Methods and Their Applications . . . . . 167--169
Frédéric Messine and
Ahmed Touhami A General Reliable Quadratic Form: An
Extension of Affine Arithmetic . . . . . 171--192
Lubomir V. Kolev Improvement of a Direct Method for Outer
Solution of Linear Parametric Systems 193--202
Hans-Peter Schröcker and
Johannes Wallner Geometric Constructions with Discretized
Random Variables . . . . . . . . . . . . 203--223
Reinhard Kirchner and
Ulrich W. Kulisch Hardware Support for Interval Arithmetic 225--237
Eldon R. Hansen and
G. William Walster Solving Overdetermined Systems of
Interval Linear Equations . . . . . . . 239--243
Ji\vrí Rohn Letter to the Editor . . . . . . . . . . 245--246
Oscar Castillo and
Patricia Melin and
Vladik Kreinovich Interval-Related Talks at the
International Conference on Fuzzy
Systems, Neural Networks, and Genetic
Algorithms, FNG'05, Tijuana, Baja
California, Mexico, October 13--14, 2005 247--251
Eldon R. Hansen A Multidimensional Interval Newton
Method . . . . . . . . . . . . . . . . . 253--272
Evgeny Dantsin and
Vladik Kreinovich and
Alexander Wolpert and
Gang Xiang Population Variance under Interval
Uncertainty: a New Algorithm . . . . . . 273--280
Lubomir V. Kolev New Formulae for Multiplication of
Intervals . . . . . . . . . . . . . . . 281--292
Eva Dyllong and
Wolfram Luther and
Holger Traczinski Modelling Geometric Objects and
Tolerances with Intervals: Data Exchange
with ISO Standard STEP . . . . . . . . . 293--302
Christian Keil and
Christian Jansson Computational Experience with Rigorous
Error Bounds for the Netlib Linear
Programming Library . . . . . . . . . . 303--321
Huahao Shou and
Jie Shen and
David Yoon Robust Plotting of Polar Algebraic
Curves, Space Algebraic Curves, and
Offsets of Planar Algebraic Curves . . . 323--335
Roumen Anguelov and
Svetoslav Markov and
Blagovest Sendov The Set of Hausdorff Continuous
Functions --- The Largest Linear Space
of Interval Functions . . . . . . . . . 337--363
Vladik Kreinovich and
Siegfried Rump Towards Optimal Use of Multi-Precision
Arithmetic: a Remark . . . . . . . . . . 365--369
Alfredo D. S. Lordelo and
Edvaldo A. Juzzo and
Paulo A. V. Ferreira Analysis and Design of Robust
Controllers Using the Interval
Diophantine Equation . . . . . . . . . . 371--388
Warwick Tucker and
Vincent Moulton Parameter Reconstruction for Biochemical
Networks Using Interval Analysis . . . . 389--402
Anonymous Dear Colleagues . . . . . . . . . . . . 403--404
Ramon E. Moore Introductory Remarks on Reliable
Engineering Computing . . . . . . . . . 405--408
David B. Johnson and
I. David L. Bogle Handling Uncertainty in the Development
and Design of Chemical Processes . . . . 409--426
Youdong Lin and
C. Ryan Gwaltney and
Mark A. Stadtherr Reliable Modeling and Optimization for
Chemical Engineering Applications:
Interval Analysis Approach . . . . . . . 427--450
Sebastião C. Pereira and
Ulisses T. Mello and
Nelson F. F. Ebecken and
Rafi L. Muhanna Uncertainty in Thermal Basin Modeling:
An Interval Finite Element Approach . . 451--470
Vladik Kreinovich and
Gang Xiang and
Scott A. Starks and
Luc Longpré and
Martine Ceberio and
Roberto Araiza and
Jan Beck and
Raj Kandathi and
Asis Nayak and
Roberto Torres and
Janos G. Hajagos Towards Combining Probabilistic and
Interval Uncertainty in Engineering
Calculations: Algorithms for Computing
Statistics under Interval Uncertainty,
and Their Computational Complexity . . . 471--501
Nataraj S. V. Paluri and
Shanta Sondur Experiments with Range Computations
Using Extrapolation . . . . . . . . . . 1--23
Vladik Kreinovich and
Jan Beck and
Carlos Ferregut and
Araceli Sanchez and
G. Randy Keller and
Matthew Averill and
Scott A. Starks Monte-Carlo-Type Techniques for
Processing Interval Uncertainty, and
Their Potential Engineering Applications 25--69
Janos G. Hajagos Interval Monte Carlo as an Alternative
to Second-Order Sampling for Estimating
Ecological Risk . . . . . . . . . . . . 71--81
Spencer Smith and
Lei Lai and
Ridha Khedri Requirements Analysis for Engineering
Computation: a Systematic Approach for
Improving Reliability . . . . . . . . . 83--107
Weldon Lodwick and
Vladik Kreinovich Interval-Related Talks at the North
American Fuzzy Information Processing
Society Annual Conference NAFIPS'06 . . 109--111
Scott A. Starks and
Vladik Kreinovich Interval-Related Talks at the Second
International Conference on Fuzzy Sets
and Soft Computing in Economics and
Finance . . . . . . . . . . . . . . . . 113--117
Vladik Kreinovich and
Scott A. Starks Interval Talks at the International
Conference on Information Processing and
Management of Uncertainty in
Knowledge--Based Systems IPMU'2006 . . . 119--124
George Corliss and
Christopher Foley and
R. Baker Kearfott Formulation for Reliable Analysis of
Structural Frames . . . . . . . . . . . 125--147
Arnold Neumaier and
Andrzej Pownuk Linear Systems with Large Uncertainties,
with Applications to Truss Structures 149--172
Rafi L. Muhanna and
Hao Zhang and
Robert L. Mullen Interval Finite Elements as a Basis for
Generalized Models of Uncertainty in
Engineering Mechanics . . . . . . . . . 173--194
Fulvio Tonon A Search Algorithm for Calculating
Validated Reliability Bounds . . . . . . 195--209
Yan Wang and
Bartholomew O. Nnaji Solving Interval Constraints by
Linearization in Computer-Aided Design 211--244
Hans-Robert Arndt On Interval Systems $[ x ] = [ A ][ x ]
+ [ b ]$ and the Powers of Interval
Matrices in Complex Interval Arithmetics 245--259
Daniel J. Berleant and
Olga Kosheleva and
Vladik Kreinovich and
Hung T. Nguyen Unimodality, Independence Lead to
NP-Hardness of Interval Probability
Problems . . . . . . . . . . . . . . . . 261--282
Ruslan S. Ivlev and
Svetlana P. Sokolova Exponential Stability of Interval
Dynamical Systems with Quadratic
Nonlinearity . . . . . . . . . . . . . . 283--291
Jörg Stoye Bounds on Generalized Linear Predictors
with Incomplete Outcome Data . . . . . . 293--302
Louis B. Rall Early Automatic Differentiation: The
Ch'in--Horner Algorithm . . . . . . . . 303--308
Dominique Faudot and
Dominique Michelucci A New Robust Algorithm to Trace Curves 309--324
Gilles Chabert and
Alexandre Goldsztejn Extension of the Hansen--Bliek Method to
Right-Quantified Linear Systems . . . . 325--349
Jürgen Garloff and
Ismail Idriss and
Andrew P. Smith Guaranteed Parameter Set Estimation for
Exponential Sums: The Three-Terms Case 351--359
Milan Hladík Solution Set Characterization of Linear
Interval Systems with a Specific
Dependence Structure . . . . . . . . . . 361--374
V. Kreinovich and
R. Muhanna Interval-Related Talks at the
International Conference on Finite
Element Methods in Engineering and
Science, El Paso, Texas, December
11--15, 2006 . . . . . . . . . . . . . . 375--379
Nicolas Delanoue and
Luc Jaulin and
Bertrand Cottenceau Guaranteeing the Homotopy Type of a Set
Defined by Non-Linear Inequalities . . . 381--398
Lubomir V. Kolev Optimal Multiplication of $G$-intervals 399--408
Sébastien Lagrange and
Nicolas Delanoue and
Luc Jaulin On Sufficient Conditions of the
Injectivity: Development of a Numerical
Test Algorithm via Interval Analysis . . 409--421
Chenyi Hu and
Ling T. He An Application of Interval Methods to
Stock Market Forecasting . . . . . . . . 423--434
Oscar Castillo and
Vladik Kreinovich Interval-Related Talks at the 2007 IEEE
Symposium Series on Computational
Intelligence, Honolulu, Hawaii, April
1--5, 2007 . . . . . . . . . . . . . . . 435--440
Oscar Castillo and
Vladik Kreinovich Interval-Related Talks at the North
American Fuzzy Information Processing
Society Annual Conference NAFIPS'07, San
Diego, California, June 24--27, 2007 . . 441--443
Lubomir V. Kolev Determining the Positive Definiteness
Margin of Interval Matrices . . . . . . 445--466
Gang Xiang and
Martine Ceberio and
Vladik Kreinovich Computing Population Variance and
Entropy under Interval Uncertainty:
Linear-Time Algorithms . . . . . . . . . 467--488
Gilles Chabert and
Luc Jaulin Computing the Pessimism of Inclusion
Functions . . . . . . . . . . . . . . . 489--504
A. Goldsztejn and
L. Jaulin Inner Approximation of the Range of
Vector-Valued Functions . . . . . . . . 1--23
S. Miyajima and
T. Ogita and
S. M. Rump and
S. Oishi Fast Verification for All Eigenpairs in
Symmetric Positive Definite Generalized
Eigenvalue Problems . . . . . . . . . . 24--45
B. M. Patre and
P. J. Deore Robust State Feedback for Interval
Systems: An Interval Analysis Approach 46--60
J. Garloff Karl L. E. Nickel (1924--2009) . . . . . 61--65
T. Beelitz and
B. Lang and
P. Ueberholz and
P. Willems Closing the Case $t = 3$ for $3$-D
Spherical $t$-Designs Using a
Result-Verifying Nonlinear Solver . . . 66--77
M. Hladik Solution Sets of Complex Linear Interval
Systems of Equations . . . . . . . . . . 78--87
N. Meslem and
N. Ramdani and
Y. Candau Guaranteed Parameter Set Estimation for
Monotone Dynamical Systems Using Hybrid
Automata . . . . . . . . . . . . . . . . 88--104
S. Corsaro and
M. Marino Archetypal Analysis of Interval Data . . 105--116
S. Ray and
P. S. V. Nataraj A New Strategy for Selecting Subdivision
Point in the Bernstein Approach to
Polynomial Optimization . . . . . . . . 117--137
M. Zimmer and
W. Kraemer and
W. Hofschuster Sparse Matrices and Vectors in C-XSC . . 138--160
R. Alt and
J.-L. Lamotte and
S. Markov On the Accuracy of the Solution of
Linear Problems on the CELL Processor 1--12
M. Argaez Solving Overdetermined Systems in $l^p$
Quasi-Norms . . . . . . . . . . . . . . 13--25
F. Blomquist Staggered Correction Computations with
Enhanced Accuracy and Extremely Wide
Exponent Range . . . . . . . . . . . . . 26--35
G. Bohlender and
U. Kulisch Definition of the Arithmetic Operations
and Comparison Relations for an Interval
Arithmetic . . . . . . . . . . . . . . . 36--42
D. Cheu and
L. Longpre Towards the Possibility of Objective
Interval Uncertainty in Physics . . . . 43--46
A. Goldsztejn and
Y. Lebbah and
C. Michel and
M. Rueher Capabilities of Constraint Programming
in Safe Global Optimization . . . . . . 47--59
K. Villaverde and
G. Xiang Estimating Variance under Interval and
Fuzzy Uncertainty: Parallel Algorithms 60--68
S. Hattangady and
W. Edmonson and
W. Alexander Block Floating Point Interval ALU for
Digital Signal Processing . . . . . . . 69--80
I. Petkovi\'c Computational Aspects of the
Implementation of Disk Inversions . . . 81--90
M. S. Petkovi\'c and
D. M. Milosevic Higher Order Methods for the Inclusion
of Multiple Zeros of Polynomials . . . . 91--108
P. S. V. Nataraj and
M. Arounassalame An Interval Newton Method Based on the
Bernstein Form for Bounding the Zeros of
Polynomial Systems . . . . . . . . . . . 109--119
Nguyen Hong Diep and
N. Revol Solving and Certifying the Solution of a
Linear System . . . . . . . . . . . . . 120--131
A. Pownuk and
N. K. G. Ramunigari Application of Order-Preserving
Functions to the Modeling of
Computational Mechanics Problems with
Uncertainty . . . . . . . . . . . . . . 132--143
M. H. van Emden From Interval Arithmetic to Interval
Constraints . . . . . . . . . . . . . . 144--155
N. Yamanaka and
M. Kashiwagi and
S. Oishi and
T. Ogita A Note on a Verified Automatic
Integration Algorithm . . . . . . . . . 156--167
J. A. Enszer and
M. A. Stadtherr Verified Solution and Propagation of
Uncertainty in Physiological Models . . 168--178
S. Kempken and
W. Luther Verifed Factorization Methods for
SMP/G/1 Queueing Systems and their
Interplay in an Integrated
Problem-Solving Environment . . . . . . 179--192
M. Kolberg and
W. Kraemer and
M. Zimmer Efficient Parallel Solvers for Large
Dense Systems of Linear Interval
Equations . . . . . . . . . . . . . . . 193--206
B. J. Kubica Interval Methods for Solving
Underdetermined Nonlinear Systems . . . 207--217
T. Magoc and
M. Ceberio and
F. Modave Using Preference Constraints to Solve
Multi-Criteria Decision Making Problems 218--229
M. Argaez and
L. Velázquez and
C. Quintero and
H. Klie and
M. Wheeler A Hybrid Algorithm for Global
Optimization Problems . . . . . . . . . 230--241
J. Roy and
R. B. Kearfott Global Optimization and Singular
Nonlinear Programs: New Techniques . . . 242--250
P. S. V. Nataraj and
S. Sondur The Extrapolated Taylor Model . . . . . 251--278
G. Tischler and
Jürgen Wolff von Gudenberg Solving Decidability Problems with
Interval Arithmetic . . . . . . . . . . 279--289
L. Kapitanski and
S. Zivanovic Dynamics with a Range of Choice . . . . 290--299
T. Magoc and
Xiaojing Wang and
F. Modave and
M. Ceberio Applications of Fuzzy Measures and
Intervals in Finance . . . . . . . . . . 300--311
M. Nehmeier and
Jürgen Wolff von Gudenberg \tt filib++, Expression Templates and
the Coming Interval Standard . . . . . . 312--320
A. Rauh and
E. Auer and
M. Freihold and
E. P. Hofer and
H. Aschemann Detection and Reduction of
Overestimation in Guaranteed Simulations
of Hamiltonian Systems . . . . . . . . . 321--332
A. Rauh and
J. Minisini and
E. P. Hofer and
H. Aschemann Robust and Optimal Control of Uncertain
Dynamical Systems with State-Dependent
Switchings Using Interval Arithmetic . . 333--344
I. A. Sharaya and
S. P. Shary Tolerable Solution Set for Interval
Linear Systems with Constraints on
Coefficients . . . . . . . . . . . . . . 345--357
S. P. Shary On Nonnegative Interval Linear Systems
and Their Solution . . . . . . . . . . . 358--369
A. Rauh and
E. Auer Verified Simulation of ODEs and DAEs in
ValEncIA-IVP . . . . . . . . . . . . . . 370--381
Lubomir V. Kolev A Method for Determining the Regularity
Radius of Interval Matrices . . . . . . 1--26
Milan Hladik and
Luc Jaulin An Eigenvalue Symmetric Matrix
Contractor . . . . . . . . . . . . . . . 27--37
Samiran Karmakar and
A. K. Bhunia A Comparative Study of Different Order
Relations of Intervals . . . . . . . . . 38--72
E. Just and
B. Lang A Success-Guided Selection of Expanded
Systems for Result-Verifying Nonlinear
Solvers . . . . . . . . . . . . . . . . 73--83
P. Schodl and
A. Neumaier Continuity Notions for Multi-Valued
Mappings with Possibly Disconnected
Images . . . . . . . . . . . . . . . . . 84--101
S. Miyajima Componentwise Error Estimates for
Solutions Obtained by Stationary
Iterative Methods . . . . . . . . . . . 102--106
S. Miyajima The Relation between Two Types of Error
Bounds for Computed Matrix Eigenvalues 107--113
S. Kiel YalAA: Yet Another Library for Affine
Arithmetic . . . . . . . . . . . . . . . 114--129
A. Goldsztejn Modal Intervals Revisited, Part 1: a
Generalized Interval Natural Extension 130--183
A. Goldsztejn Modal Intervals Revisited, Part 2: a
Generalized Interval Mean Value
Extension . . . . . . . . . . . . . . . 184--209
G. Mayer On an Expression for the Midpoint and
the Radius of the Product of Two
Intervals . . . . . . . . . . . . . . . 210--224
M. R. Milosevic and
M. S. Petkovi\'c Ostrowski-Like Method for the Inclusion
of a Single Complex Polynomial Zero . . 225--238
P. Herrero and
P. Georgiou and
C. Toumazou and
B. Delaunay and
L. Jaulin An Efficient Implementation of the SIVIA
Algorithm in a High-Level Numerical
Programming Language . . . . . . . . . . 239--251
J. Harlow and
R. Sainudiin and
W. Tucker Mapped Regular Pavings . . . . . . . . . 252--282
E. de Weerdt and
E. van Kampen and
Q. P. Chu and
J. A. Mulder Polynomial Inclusion Functions . . . . . 283--307
C. Wang A New Uncertainty-Bearing Floating-Point
Arithmetic . . . . . . . . . . . . . . . 308--361
J. Delgado and
J. M. Pena Optimality of Bernstein Representations
for Computational Purposes . . . . . . . 1--10
R. Leroy Convergence under Subdivision and
Complexity of Polynomial Minimization in
the Simplicial Bernstein Basis . . . . . 11--21
D. Michelucci and
S. Foufou and
A. Kubicki On the Complexity of the Bernstein
Combinatorial Problem . . . . . . . . . 22--33
A. Narkawicz and
J. Garloff and
A. P. Smith and
C. A. Muñoz Bounding the Range of a Rational
Function Over a Box . . . . . . . . . . 34--39
S. Ray and
P. S. V. Nataraj A Matrix Method for Efficient
Computation of Bernstein Coefficients 40--71
S. Béla and
B. Jüttler Real Root Approximation Using Fat
Spheres . . . . . . . . . . . . . . . . 72--96
L. G. Crespo and
D. P. Giesy and
S. P. Kenny A Unifying Framework to Uncertainty
Quantification of Polynomial Systems
Subject to Aleatory and Epistemic
Uncertainty . . . . . . . . . . . . . . 97--127
T. Dang and
R. Testylier Reachability Analysis for Polynomial
Dynamical Systems Using the Bernstein
Expansion . . . . . . . . . . . . . . . 128--152
C. C. de Visser and
E.-J. van Kampen and
Q. P. Chu and
J. A. Mulder Intersplines: a New Approach to Globally
Optimal Multivariate Splines Using
Interval Analysis . . . . . . . . . . . 153--191
S. Foufou and
D. Michelucci The Bernstein Basis and its Applications
in Solving Geometric Constraint Systems 192--208
A. Narkawicz and
C. A. Muñoz Formal Verification of Conflict
Detection Algorithms for Arbitrary
Trajectories . . . . . . . . . . . . . . 209--237
Lance Fortnow Book review: \booktitleBounded Queries
in Recursion Theory, by William A.
Gasarch and Georgia A. Martin
(Birkhäuser. Boston, Basel, Berlin, 1999) 13--15