1. In Honour of Jean Vignes and Ulrich Kulisch

   • R. Alt
   • J.-L. Lamotte

   Preface Pages: 1 - 2

2. ICTM: An Interval Tessellation-Based Model for Reliable Topographic Segmentation

   • Marilton Sanchotene de Aguiar
   • Graçaliz Pereira Dimuro
   • Antônio Carlos da Rocha Costa

   OriginalPaper Pages: 3 - 11

3. Intrinsic Compiler Support for Interval Arithmetic

   • Ahmet Akkaş
   • Michael J. Schulte
   • James E. Stine

   OriginalPaper Pages: 13 - 20

4. Hardware Implementation of Discrete Stochastic Arithmetic

   • Roselyne Avot-Chotin
   • Habib Mehrez

   OriginalPaper Pages: 21 - 33

5. Enclosure of the Zero Set of Multivariate Exponential Interval Polynomials

   • Fritz G. Boese
   • Wolfram J. Luther

   OriginalPaper Pages: 35 - 44

6. A Simple Test Qualifying the Accuracy of Horner'S Rule for Polynomials

   • Sylvie Boldo
   • Marc Daumas

   OriginalPaper Pages: 45 - 60

7. On an Efficient Use of Gradient Information for Accelerating Interval Global Optimization Algorithms

   • J.A. Martínez
   • L.G. Casado
   • B. Tóth

   OriginalPaper Pages: 61 - 69

8. Dynamic Network Inventory Control Model with Interval Nonstationary Demand Uncertainty

   • Elena V. Chausova

   OriginalPaper Pages: 71 - 84

9. Reliable Numerical Computation in Civil Engineering

   • András Erik Csallner
   • Tibor Csendes
   • András Balázs Kocsis

   OriginalPaper Pages: 85 - 91

10. Generalized Subinterval Selection Criteria for Interval Global Optimization

    • Tibor Csendes

    OriginalPaper Pages: 93 - 100

11. Fast and Accurate Floating Point Summation with Application to Computational Geometry

    • James Demmel
    • Yozo Hida

    OriginalPaper Pages: 101 - 112

12. High Radix BKM Algorithm

    • Laurent-Stéphane Didier
    • Fabien Rico

    OriginalPaper Pages: 113 - 125

13. The GJK Distance Algorithm: An Interval Version for Incremental Motions

    • Eva Dyllong
    • Wolfram Luther

    OriginalPaper Pages: 127 - 136

14. Accurate Computation of Traffic Workload Distributions

    • Daniela Fausten
    • Wolfram Luther
    • Gerhard Haßlinger

    OriginalPaper Pages: 137 - 146

15. Affine Arithmetic: Concepts and Applications

    • Luiz Henrique de Figueiredo
    • Jorge Stolfi

    OriginalPaper Pages: 147 - 158

16. Interval Computations and Their Categorification

    • Nikolaj Glazunov

    OriginalPaper Pages: 159 - 164

17. Exact Solutions of Extended Boussinesq Equations

    • S. Hamdi
    • W.H. Enright
    • W.E. Schiesser

    OriginalPaper Pages: 165 - 175

18. Validated Infeasible Interior-Point Predictor–Corrector Methods for Linear Programming

    • Ismail I. Idriss
    • Wolfgang V. Walter

    OriginalPaper Pages: 177 - 185

19. Guaranteed Nonlinear State Estimator for Cooperative Systems

    • Michel Kieffer
    • Eric Walter

    OriginalPaper Pages: 187 - 198

20. Solving Linear Systems Whose Elements Are Nonlinear Functions of Intervals

    • Lubomir V. Kolev

    OriginalPaper Pages: 199 - 212

21. An Improved Interval Linearization for Solving Nonlinear Problems

    • Lubomir V. Kolev

    OriginalPaper Pages: 213 - 224

22. A Feasible Algorithm for Locating Concave and Convex Zones of Interval Data and Its Use in Statistics-Based Clustering

    • Vladik Kreinovich
    • Eric J. Pauwels
    • Lev Ginzburg

    OriginalPaper Pages: 225 - 232

23. Using Interval Arithmetic for Determining the Structure of Convex Hulls

    • Stefanie Krivsky
    • Bruno Lang

    OriginalPaper Pages: 233 - 240

24. Implicit Interval Methods for Solving the Initial Value Problem

    • Andrzej Marciniak

    OriginalPaper Pages: 241 - 251

25. Optimal Packing of 28 Equal Circles in a Unit Square – The First Reliable Solution

    • Mihály Csaba Markót

    OriginalPaper Pages: 253 - 261

26. On Quasivector Spaces of Convex Bodies and Zonotopes

    • Svetoslav Markov

    OriginalPaper Pages: 263 - 274

27. Stochastic Arithmetic: s-spaces and Some Applications

    • Svetoslav Markov
    • Rene Alt
    • Jean-Luc Lamotte

    OriginalPaper Pages: 275 - 284

28. Interval Approach to Phase Measurements Can Lead to Arbitrarily Complex Sets – A Theorem and Ways around It

    • Bharat C. Mulupuru
    • Vladik Kreinovich
    • Roberto Osegueda

    OriginalPaper Pages: 285 - 299

29. Numerical Verification of Solutions of Periodic Integral Equations with a Singular Kernel

    • Sunao Murashige
    • Shin'ichi Oishi

    OriginalPaper Pages: 301 - 310

30. An Efficient Approach to the Numerical Verification for Solutions of Elliptic Differential Equations

    • Mitsuhiro T. Nakao
    • Yoshitaka Watanabe

    OriginalPaper Pages: 311 - 323

31. Interval Arithmetic, Affine Arithmetic, Taylor Series Methods: Why, What Next?

    • Nedialko S. Nedialkov
    • Vladik Kreinovich
    • Scott A. Starks

    OriginalPaper Pages: 325 - 336

32. A Complex Mean Value Form for Curves

    • M. Neher

    OriginalPaper Pages: 337 - 343

33. Parametric Interval Linear Solver

    • Evgenija D. Popova

    OriginalPaper Pages: 345 - 356

34. The Interval Geometric Machine Model

    • Renata Hax Sander Reiser
    • Graçaliz Pereira Dimuro
    • Antônio Carlos da Rocha Costa

    OriginalPaper Pages: 357 - 366

35. Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic

    • David Defour
    • Guillaume Hanrot
    • Paul Zimmermann

    OriginalPaper Pages: 367 - 375

36. Discrete Stochastic Arithmetic for Validating Results of Numerical Software

    • Jean Vignes

    OriginalPaper Pages: 377 - 390

37. A Multidimensional Branch-and-Prune Method for Interval Global Optimization

    • Tamás Vinkó
    • Dietmar Ratz

    OriginalPaper Pages: 391 - 399

38. Using Pillow Functions to Efficiently Compute Crude Range Tests

    • G. William Walster
    • Eldon Hansen

    OriginalPaper Pages: 401 - 415

39. A Full Function-Based Calculus of Directed and Undirected Intervals: Markov'S Interval Arithmetic Revisited

    • Jürgen Wolff von Gudenberg
    • Vladik Kreinovich

    OriginalPaper Pages: 417 - 428