Book Volume 9553 2016

Scientific Computing, Computer Arithmetic, and Validated Numerics

16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers

ISBN: 978-3-319-31768-7 (Print) 978-3-319-31769-4 (Online)

Table of contents (22 chapters)

previous Page of 2
  1. Front Matter

    Pages I-XIII

  2. Interval Arithmetic and Interval Functions

    1. Front Matter

      Pages 1-1

    2. No Access

      Chapter

      Pages 3-13

      Hausdorff Continuous Interval Functions and Approximations

    3. No Access

      Chapter

      Pages 14-22

      Replacing Branches by Polynomials in Vectorizable Elementary Functions

    4. No Access

      Chapter

      Pages 23-39

      The Forthcoming IEEE Standard 1788 for Interval Arithmetic

  3. Uncertainty

    1. Front Matter

      Pages 41-41

    2. No Access

      Chapter

      Pages 43-53

      Numerical Probabilistic Approach for Optimization Problems

    3. No Access

      Chapter

      Pages 54-65

      Towards the Possibility of Objective Interval Uncertainty

    4. No Access

      Chapter

      Pages 66-76

      How Much for an Interval? a Set? a Twin Set? a p-Box? A Kaucher Interval? Towards an Economics-Motivated Approach to Decision Making Under Uncertainty

    5. No Access

      Chapter

      Pages 77-96

      Sliding Mode Approaches Considering Uncertainty for Reliable Control and Computation of Confidence Regions in State and Parameter Estimation

  4. Linear Algebra

    1. Front Matter

      Pages 97-97

    2. No Access

      Chapter

      Pages 99-108

      Efficiency of Reproducible Level 1 BLAS

    3. No Access

      Chapter

      Pages 109-115

      Tight Bounds on the Radius of Nonsingularity

    4. No Access

      Chapter

      Pages 116-125

      Optimal Preconditioning for the Interval Parametric Gauss–Seidel Method

    5. No Access

      Chapter

      Pages 126-137

      Reproducible and Accurate Matrix Multiplication

    6. No Access

      Chapter

      Pages 138-147

      Outer Bounds for the Parametric Controllable Solution Set with Linear Shape

    7. No Access

      Chapter

      Pages 148-167

      Reserve of Characteristic Inclusion as Recognizing Functional for Interval Linear Systems

  5. Global Optimisation

    1. Front Matter

      Pages 169-169

    2. No Access

      Chapter

      Pages 171-179

      Convergence and Inclusion Isotonicity of the Tensorial Rational Bernstein Form

    3. No Access

      Chapter

      Pages 180-198

      The Bernstein Branch-and-Bound Unconstrained Global Optimization Algorithm for MINLP Problems

  6. Dynamical Systems

    1. Front Matter

      Pages 199-199

    2. No Access

      Chapter

      Pages 201-208

      Interval Regularization Approach to the Firordt Method of the Spectrophotometric Analysis of the Non-separated Mixtures

    3. No Access

      Chapter

      Pages 209-224

      Computing Capture Tubes

    4. No Access

      Chapter

      Pages 225-235

      Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators

    5. No Access

      Chapter

      Pages 236-246

      Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides

    6. No Access

      Chapter

      Pages 247-256

      Exponential Enclosure Techniques for Initial Value Problems with Multiple Conjugate Complex Eigenvalues

previous Page of 2