HTML Export for Dagstuhl Seminar Proceedings, Volume 8021

Copy to Clipboard Download

<h2>Dagstuhl Seminar Proceedings, Volume 8021, </h2>
<ul>
<li>
    <span class="authors">Wolfram Luther, Annie Cuyt, Walter Krämer, and Peter Markstein</span>
    <span class="title">08021 Abstracts Collection – Numerical Validation in Current Hardware Architectures</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08021.1">10.4230/DagSemProc.08021.1</a>
</li>
<li>
    <span class="authors">Annie Cuyt, Walter Krämer, Wolfram Luther, and Peter Markstein</span>
    <span class="title">08021 Summary – Numerical Validation in Current Hardware Architectures</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08021.2">10.4230/DagSemProc.08021.2</a>
</li>
<li>
    <span class="authors">Frithjof Blomquist, Werner Hofschuster, and Walter Krämer</span>
    <span class="title">A Modified Staggered Correction Arithmetic  with Enhanced Accuracy and Very Wide Exponent Range</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08021.3">10.4230/DagSemProc.08021.3</a>
</li>
<li>
    <span class="authors">Mariana Kolberg, Walter Krämer, and Michael Zimmer</span>
    <span class="title">A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08021.4">10.4230/DagSemProc.08021.4</a>
</li>
<li>
    <span class="authors">Eva Dyllong</span>
    <span class="title">A Note on Some Applications of Interval Arithmetic in Hierarchical Solid Modeling</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08021.5">10.4230/DagSemProc.08021.5</a>
</li>
<li>
    <span class="authors">Gregorio de Miguel Casado and Juan Manuel García Chamizo</span>
    <span class="title">A Software Library for Reliable Online-Arithmetic with Rational Numbers</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08021.6">10.4230/DagSemProc.08021.6</a>
</li>
<li>
    <span class="authors">Werner Hofschuster, Walter Krämer, and Markus Neher</span>
    <span class="title">C-XSC and Closely Related Software Packages</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08021.7">10.4230/DagSemProc.08021.7</a>
</li>
<li>
    <span class="authors">Ulrich Kulisch</span>
    <span class="title">Complete Interval Arithmetic and its Implementation</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08021.8">10.4230/DagSemProc.08021.8</a>
</li>
<li>
    <span class="authors">Michel Kieffer</span>
    <span class="title">Distributed parameter and state estimation in a network of sensors</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08021.9">10.4230/DagSemProc.08021.9</a>
</li>
<li>
    <span class="authors">Markus Grimmer</span>
    <span class="title">Extending the Range of C-XSC: Some Tools and Applications for the use in Parallel and other Environments</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08021.10">10.4230/DagSemProc.08021.10</a>
</li>
<li>
    <span class="authors">Michael Zimmer and Walter Krämer</span>
    <span class="title">Fast (Parallel) Dense Linear Interval Systems Solvers in C-XSC Using Error Free Transformations and BLAS</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08021.11">10.4230/DagSemProc.08021.11</a>
</li>
<li>
    <span class="authors">Paul Zimmermann</span>
    <span class="title">Implementation of the reciprocal square root in MPFR</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08021.12">10.4230/DagSemProc.08021.12</a>
</li>
<li>
    <span class="authors">Mariana Kolberg, Gerd Bohlender, and Dalcidio Claudio</span>
    <span class="title">Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08021.13">10.4230/DagSemProc.08021.13</a>
</li>
<li>
    <span class="authors">Jürgen Wolff von Gudenberg</span>
    <span class="title">Interval Arithmetic and Standardization</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08021.14">10.4230/DagSemProc.08021.14</a>
</li>
<li>
    <span class="authors">Ekaterina Auer and Wolfram Luther</span>
    <span class="title">Numerical Verification Assessment in Computational Biomechanics</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08021.15">10.4230/DagSemProc.08021.15</a>
</li>
<li>
    <span class="authors">Evgenija D. Popova</span>
    <span class="title">On the Interoperability between Interval Software</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08021.16">10.4230/DagSemProc.08021.16</a>
</li>
<li>
    <span class="authors">Di Jiang and Neil Stewart</span>
    <span class="title">Robustness of Boolean operations on subdivision-surface models</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08021.17">10.4230/DagSemProc.08021.17</a>
</li>
<li>
    <span class="authors">John D. Pryce, George C. Corliss, R. Baker Kearfott, Ned S. Nedialkov, and Spencer Smith</span>
    <span class="title">Second Note on Basic Interval Arithmetic for IEEE754R</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08021.18">10.4230/DagSemProc.08021.18</a>
</li>
<li>
    <span class="authors">Markus Neher</span>
    <span class="title">The CoStLy C++ Class Library</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08021.19">10.4230/DagSemProc.08021.19</a>
</li>
<li>
    <span class="authors">Peter Markstein</span>
    <span class="title">The New IEEE-754 Standard for Floating Point Arithmetic</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08021.20">10.4230/DagSemProc.08021.20</a>
</li>
<li>
    <span class="authors">Andreas Rauh, Johanna Minisini, and Eberhard P. Hofer</span>
    <span class="title">Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering</span>
    <a class="doi" href="https://doi.org/10.4230/DagSemProc.08021.21">10.4230/DagSemProc.08021.21</a>
</li>
</ul>

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode