Extended Abstracts of SIAM Worskhop on Validated Computing
Toronto, Canada, May 23-25, 2002

L. E. K. Achenie
"Interval Analysis - An Application to Solvent Design"
Extended abstract in PostScript and pdf

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

VC02 Home

Program

Author Index