ABSTRACTS

**Estimating the Atmospheric Corrosion Resistance of Structural Steels - Truth or Fiction
**Pedro Albrecht

**Why are Intervals and Imprecision Important in Engineering Design?**

J. M. Aughenbaugh and C. J. J. Paredis

**How Reliable are Computational Predictions in the Engineering Sciences?**

Ivo Babuska

**Sampling Without Probabilistic Model**

Michael Beer

**Defect-Based ODE Solvers Based on Taylor Model Methods**

M. Berz and K. Makino

**Computational Methods for Decision Making Based on Imprecise Information**

M. Bruns , C.J.J. Paredis , and S. Ferson

**How to Take into Account Dependence Between the Inputs: From Interval Computations to Constraint-Related Set Computations, With Potential Applications to Nuclear Safety, Bio- and Geosciences**

Martine Ceberio, Scott Ferson, Vladik Kreinovich, Sanjeev Chopra, Gang Xiang

**A Library of**
Taylor
Models for PVS Automatic Proof Checker

Francisco Cháves and Marc Daumas

**Towards an Interval Subroutine Library**

George F. Corliss, R. Baker Kearfott, Ned Nedialkove, Spencer Smith

**Interval Arithmetic Logic Unit for Signal Processing And Control Applications**

W. W. Edmonson, R. Gupte, J. Gianchandani, S. Ocloo, and W. E. Alexander

**Overview of Reliability Analysis and Design Capabilities In DAKOTA**

M.S. Eldred

**Modeling Uncertainties in Seismic Vulnerability and Risk Assessment**

Bruce R. Ellingwood

**Reliability of Structural Reliability Estimation**

Isaac Elishakoff and Roberta Santoro

**Modeling Correlation and Dependence Among Intervals**

S. Ferson and V. Kreinovich

**Applications of Fast and Accurate Summation in Computational Geometry**

Stef Graillat, N. Louvet

**An Algorithm for Bounding the Solution of a Fredholm Integral Equation of the Second Kind**

Eldon Hansen

**Compensated Horner Scheme in K-Fold Working Precision**

Ph. Langlois, N. Louvet

**Validated Solution of Initial Value Problems for Odes With Interval Parameters**

Y.Lin and M.A. Stadtherr

**Simultaneous Calculation of Gradient Enclosures and Their Use for**

*n*

**-Th Order Box Rejection**

K. Makino and M. Brez

**Reliable Dynamic Analysis of Transportation Systems**

M. Modares, R.L. Mullen and D.A. Gasparini

**Prediction of Uncertain Structural Responses with Fuzzy Time Series**

Bernd Moeller, Uwe Reuter

**Non-Probabilistic Design Optimization with Insufficient Data**

Zissimos P. Mourelatos and Jun Zhou

**Geometric Uncertainty in Truss Systems: An Interval Approach**

Rafi L. Muhanna, Ayše Erdolen and RObert Mullen

**Interval Arithmetic Technique for Constrained Reliability Optimization Problems**

H. Munoz and

**Online Implementation of a Robust Controller Using Hybrid Global Optimization Techniques**

Nataraj S. V. Paluri, and Nandkishor Kubal

**Worst Case Bounds in The Presence of Correlated Uncertainty**

**Outlier Detection in Geodetic Applications with Respect to Observation Imprecision**

Ingo Neumann, Hansjörg Kutterer and Steffen Schön

**A Computational Environment for Interval Matrices In C++**

Michael Nooner and Chenyi Hu

**Interval-Based Robust Statistical Techniques for Non-Negative Convex Functions, with Application to Timing Analysis of Computer Chips**

Michael Orshansky, Wei-Shen Wang, Gang Xiang, Vladik Kreinovich

**Bounding the Response of Mechanical Structures with Uncertainties in all the Parameters**

E. D. Popova, R. Yankov, Z. Bonev

**Interval Finite Element Methods: New Directions**

Pavel Solin, Rafi Muhanna, Jack Chessa, Vladik Kreinovich, Roberto Araiza, Gang Xiang

**On Reliability of Higher-Order FEM in Fluid-Structure Interaction Problems**

Petr Sváček

**Discrete Mechanics on Interval Algebra**

Fulvio Tonon

**Checking Computation of Numerical Functions by the Use of Functional Equations**

F. Vainstein and Clint Jones

**Reduction in Space Complexity and Error Detection/Correction of a Fuzzy Controller**

F. Vainstein, V. Osorio, E. Marte, and R. Romero

**Semantic Tolerance Modeling Based on Modal Interval Analysis**

Yan Wang

**Modeling Hysteris in CLIP - the Two Tanks Problem**

D. K. Wittenberg and T. J. Hickey

**Boundary Element Analysis of Systems Using Interval Methods**

B.F. Zalewski, R.L. Mullen, R.L. Muhanna