G. Alefeld
"Ramon E. Moore and 45 Years of Interval Analysis"
Extended abstract in PostScript and pdf
G. Alefeld and U. Schaefer
"Total-Step and Successive Overrelaxation
Methods for LCP-Problems with Interval Data"
Extended abstract in PostScript and pdf
R. Alt, I. Dakov, and S. Markov
"On an Order Relation Between Distributions
with Applications to Interval Estimation"
Extended abstract in PostScript and pdf
R. Alt and S. Markov
"On Some Algebraic Properties of
Stochastic Numbers"
Extended abstract in PostScript and pdf
F. Backeljauw, A. Cuyt,
B. Verdonk, and J. Vervloet
"Computer Algebra Style
(Multiprecision) Interval and Complex Arithmetic"
Extended abstract in PostScript and pdf
D. Berleant, L. Xie, J. Zhang, and G. Sheble
"An Improved Tool
for Distribution Envelope Determination,
a Technique forInterval-Based, Verified Arithmetic on Random
Variables"
Extended abstract in PostScript and pdf
D. Berleant, J. Zhang, R. Hu, and G. Sheble
"Economic Dispatch: Applying Interval-Based Dependency Analysis
to an Electric Power Problem"
Extended abstract in PostScript and pdf
M. Berz and K. Makino
"Validated Integration of Asteroid Orbits"
Extended abstract in PostScript and pdf
C.-Y. Chen
"Computing Tight Bounds for the L_1-Norm of
Peano Kernels"
Extended abstract in PostScript and pdf
B. Christianson
"Towards Validated Global Optimal Control"
Extended abstract in PostScript and pdf
F. G. Cozman, J. C. Ferreira da
Rocha, and C. Polpo de Campos
"Computing with Sets of Probability Measures"
Extended abstract in PostScript and pdf
T. Csendes, L. Casado, and I. Garcia
"The Application Fields of the RejectIndex Parameter in Interval
Methods for Global Optimization"
Extended abstract in PostScript and pdf
A. Cuyt
"Reliable Multiprecision Implementation
of Elementary and Special Functions"
Extended abstract in PostScript and pdf
O. Dessombz, F. Thouverez,
J.-P. Laine, and L. Jezeque
"Interval Arithmetic Applied to Structural Design
of Uncertain Mechanical Systems"
Extended abstract in PostScript and pdf
E. Dyllong, W. Luther, and H. Traczinski
"Modelling Geometrical Tolerances with Intervals Using
ISO-Standard STEP"
Extended abstract in PostScript and pdf
W. W. Edmonson
"Interval Methods in Digital Signal Processing"
Extended abstract in PostScript and pdf
S. Ferson, L. Ginzburg,
V. Kreinovich, and M. Aviles
"Exact Bounds on Sample Variance of
Interval Data"
Extended abstract in PostScript and pdf
S. Ferson, L. Ginzburg,
V. Kreinovich, and J. Lopez
"Absolute Bounds on the Mean of
Sum, Product, etc.: A Probabilistic
Extension of Interval Arithmetic"
Extended abstract in PostScript and pdf
J. Garloff, A. P. Smith, and C. Jansson
"Convex--Concave Extensions for Polynomials"
Extended abstract in PostScript and pdf
L. Granvilliers and M. Ouabiba
"Ontologies for Continuous Global Optimization"
Extended abstract in PostScript and pdf
A. Griewank
"Fast or Tight Propagation of Univariate Taylor Coefficients"
Extended abstract in PostScript and pdf
E. R. Hansen
"A Brief History of Interval Analysis"
Extended abstract in PostScript and pdf
C. Hu
"Training Feedforward Multilayer Interval Artificial Neural
Networks"
Extended abstract in PostScript and pdf
H. Huang
"Validation of Feasible Operating Region in Chemical Processes"
Extended abstract in PostScript and pdf
R. B. Kearfott
"On Existence and Uniqueness Verification for Non-Smooth
Functions"
Extended abstract in PostScript and pdf
W. Kraemer and W. Hofschuster
"A C++ Class Library for Extended Scientific Computing"
Extended abstract in PostScript and pdf
W. Kraemer and J. Wolff v. Gudenberg
"Extended Interval Power Function"
Extended abstract in PostScript and pdf
V. Kreinovich, L. Longpre, and J. J. Buckley
"Are There Efficient
Necessary and Sufficient Conditions for Straightforward Interval
Computations To Be Exact?"
Extended abstract in PostScript and pdf
U. W. Kulisch
"Hardware and Software Support for Interval
Arithmetic in the Past and in the Future"
Extended abstract in PostScript and pdf
L. V. Kupriyanova, D. V. Speransky, and V. G. Samoilov
"Interval Arithmetics over a Field GF(p)"
Extended abstract in PostScript and pdf
W. A. Lodwick and K. D. Jamison
"Validation Methods and Fuzzy Set Theory: Theory, Algorithms and
Application"
Extended abstract in PostScript and pdf
K. Madsen and S. Skelboe
"The Early Days of Interval Global Optimization"
Extended abstract in PostScript and pdf
K. Makino and M. Berz
"Taylor Model Based Verified Integration for
the Volterra Equations and the Lorenz System"
Extended abstract in PostScript and pdf
M. C. Markot, T. Csendes,
J. F. Hernandez, and L. G. Casado
"A Numerical Study on a New Heuristical Decision Index for
Interval Global Optimization"
Extended abstract in PostScript and pdf
E. A. Martinez, B. Baran, and T. A. Diverio
"Solving Electrical Power Load Flow Problems Using
Intervals"
Extended abstract in PostScript and pdf
G. Mayer and I. Warnke
"On the Shape of the Limit of the Total Step Method in Interval
Analysis"
Extended abstract in PostScript and pdf
H. Munoz and R. B. Kearfott
"Twin Estimates for Slopes"
Extended abstract in PostScript and pdf
M. T. Nakao
"Two Topics in Computer Assisted Proofs for the Problems in
Fluid Dynamics"
Extended abstract in PostScript and pdf
P. S. V. Nataraj and J. J. Barve
"Generation of Bode and Nyquist Plots for Nonrational Transfer
Functions to Prescribed Accuracy"
Extended abstract in PostScript and pdf
P. S. V. Nataraj and K. Kotecha
"A New Super-Convergent Inclusion Function Form and its Use in Global
Optimization"
Extended abstract in PostScript and pdf
M. Neher
"Verified Estimation of Taylor Coefficients
and Taylor Remainder Series of Analytic Functions"
Extended abstract in PostScript and pdf
I. P. Nenov and D. H. Fylstra
"Interval Methods for Accelerated Global Search
in the Microsoft Excel Solver"
Extended abstract in PostScript and pdf
A. Neumaier and J.-P. Merlet
"Solving Real-Life Robotics Problems with Interval
Techniques"
Extended abstract in PostScript and pdf
R. Osegueda and V. Kreinovich
"Detecting and Locating Curved Cracks
in Thin Plates by Lamb Wave Reflection:
Validated Geometric Approach"
Extended abstract in PostScript and pdf
L. Petzold
"Adaptive Numerical Methods for Sensitivity Analysis of
Differential-Algebraic Equations and Partial Differential
Equations"
Extended abstract in PostScript and pdf
L. B. Rall
"Evaluation of Functions, Gradients and Jacobians"
Extended abstract in PostScript and pdf
N. Revol and F. Rouillier
"Motivations for an Arbitrary Precision Interval Arithmetic
and the MPFI Library"
Extended abstract in PostScript and pdf
J. Rohn
"Linear Interval Equations: The Role of Preconditioning"
Extended abstract in PostScript and pdf
U. Schaefer
"Verification Methods for the Linear Complementarity
Problem with Interval Data"
Extended abstract in PostScript and pdf
G. B. Sheble and D. Berleant
"Bounding the Composite Value at Risk for
Energy Service Company Operation
with DEnv, an Interval-Based Algorithm"
Extended abstract in PostScript and pdf
M. A. Stadtherr
"Reliable Modeling Using Interval Analysis: Chemical
Engineering Applications"
Extended abstract in PostScript and pdf
R. Toenjes, J. Hoefkens, M. Berz, and K. Makino
"Methods of Proving Chaos in Dynamical Systems via Transfer Maps"
Extended abstract in PostScript and pdf
W. Tucker
"The Lorenz Attractor Exists --
An Auto-Validated Proof"
Extended abstract in PostScript and pdf
T. Vinko, J.-L. Lagouanelle, and T. Csendes
"Kite: A New Inclusion Function for Optimization"
Extended abstract in PostScript and pdf
G. W. Walster
"Moore's Single-Use-Expression Theorem on Extended Real
Intervals"
Extended abstract in PostScript and pdf
G. W. Walster
"Intervals: The `Glue' Between the Java
Language, Computing Hardware and Grids"
Extended abstract in PostScript and pdf
A. Walther and J. Riehme
"Enclosures of Higher Order Derivative Tensors on the
Basis of Univariate Taylor Expansions"
Extended abstract in PostScript and pdf