@InProceedings{luther_et_al:DagSemProc.08021.1,
author = {Luther, Wolfram and Cuyt, Annie and Kr\"{a}mer, Walter and Markstein, Peter},
title = {{08021 Abstracts Collection – Numerical Validation in Current Hardware Architectures}},
booktitle = {Numerical Validation in Current Hardware Architectures},
pages = {1--31},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2008},
volume = {8021},
editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.1},
URN = {urn:nbn:de:0030-drops-14785},
doi = {10.4230/DagSemProc.08021.1},
annote = {Keywords: Computer arithmetic, arbitrary precision, floating-point arithmetic standardization, language support, reliable libraries,high-precision special functions, reliablealgorithms, reliable floating-point and interval computing on different platforms}
}
@InProceedings{cuyt_et_al:DagSemProc.08021.2,
author = {Cuyt, Annie and Kr\"{a}mer, Walter and Luther, Wolfram and Markstein, Peter},
title = {{08021 Summary – Numerical Validation in Current Hardware Architectures}},
booktitle = {Numerical Validation in Current Hardware Architectures},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2008},
volume = {8021},
editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.2},
URN = {urn:nbn:de:0030-drops-14334},
doi = {10.4230/DagSemProc.08021.2},
annote = {Keywords: Computer arithmetic, arbitrary precision, floating-point arithmetic standardization, language support, reliable libraries, high-precision special functions, reliablealgorithms, reliable floating-point and interval computing on different platforms}
}
@InProceedings{blomquist_et_al:DagSemProc.08021.3,
author = {Blomquist, Frithjof and Hofschuster, Werner and Kr\"{a}mer, Walter},
title = {{A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range}},
booktitle = {Numerical Validation in Current Hardware Architectures},
pages = {1--23},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2008},
volume = {8021},
editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.3},
URN = {urn:nbn:de:0030-drops-14454},
doi = {10.4230/DagSemProc.08021.3},
annote = {Keywords: Staggered correction, multiple precision, C-XSC, interval computation, wide exponent range, reliable numerical computations, complex interval funct}
}
@InProceedings{kolberg_et_al:DagSemProc.08021.4,
author = {Kolberg, Mariana and Kr\"{a}mer, Walter and Zimmer, Michael},
title = {{A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC}},
booktitle = {Numerical Validation in Current Hardware Architectures},
pages = {1--14},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2008},
volume = {8021},
editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.4},
URN = {urn:nbn:de:0030-drops-14479},
doi = {10.4230/DagSemProc.08021.4},
annote = {Keywords: C-XSC, reliable computing, 100-digit challenge, reliable linear system solver, high performance computing, large dense linear systems}
}
@InProceedings{dyllong:DagSemProc.08021.5,
author = {Dyllong, Eva},
title = {{A Note on Some Applications of Interval Arithmetic in Hierarchical Solid Modeling}},
booktitle = {Numerical Validation in Current Hardware Architectures},
pages = {1--4},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2008},
volume = {8021},
editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.5},
URN = {urn:nbn:de:0030-drops-14408},
doi = {10.4230/DagSemProc.08021.5},
annote = {Keywords: Reliable solid modeling, hierarchical data structure}
}
@InProceedings{demiguelcasado_et_al:DagSemProc.08021.6,
author = {de Miguel Casado, Gregorio and Garc{\'\i}a Chamizo, Juan Manuel},
title = {{A Software Library for Reliable Online-Arithmetic with Rational Numbers}},
booktitle = {Numerical Validation in Current Hardware Architectures},
pages = {1--3},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2008},
volume = {8021},
editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.6},
URN = {urn:nbn:de:0030-drops-14392},
doi = {10.4230/DagSemProc.08021.6},
annote = {Keywords: Computable analysis, online-arithmetic, rational numbers}
}
@InProceedings{hofschuster_et_al:DagSemProc.08021.7,
author = {Hofschuster, Werner and Kr\"{a}mer, Walter and Neher, Markus},
title = {{C-XSC and Closely Related Software Packages}},
booktitle = {Numerical Validation in Current Hardware Architectures},
pages = {1--4},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2008},
volume = {8021},
editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.7},
URN = {urn:nbn:de:0030-drops-14425},
doi = {10.4230/DagSemProc.08021.7},
annote = {Keywords: Mathematical software, reliable computing, C-XSC, CoStLy, ACETAF}
}
@InProceedings{kulisch:DagSemProc.08021.8,
author = {Kulisch, Ulrich},
title = {{Complete Interval Arithmetic and its Implementation}},
booktitle = {Numerical Validation in Current Hardware Architectures},
pages = {1--12},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2008},
volume = {8021},
editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.8},
URN = {urn:nbn:de:0030-drops-14461},
doi = {10.4230/DagSemProc.08021.8},
annote = {Keywords: Interval Arithmetic, implementation}
}
@InProceedings{kieffer:DagSemProc.08021.9,
author = {Kieffer, Michel},
title = {{Distributed parameter and state estimation in a network of sensors}},
booktitle = {Numerical Validation in Current Hardware Architectures},
pages = {1--14},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2008},
volume = {8021},
editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.9},
URN = {urn:nbn:de:0030-drops-14440},
doi = {10.4230/DagSemProc.08021.9},
annote = {Keywords: Parameter estimation, state estimation, bounded errors, nonlinear estimation}
}
@InProceedings{grimmer:DagSemProc.08021.10,
author = {Grimmer, Markus},
title = {{Extending the Range of C-XSC: Some Tools and Applications for the use in Parallel and other Environments}},
booktitle = {Numerical Validation in Current Hardware Architectures},
pages = {1--14},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2008},
volume = {8021},
editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.10},
URN = {urn:nbn:de:0030-drops-14416},
doi = {10.4230/DagSemProc.08021.10},
annote = {Keywords: C-XSC, Integral Equations, Interval Arithmetic, Maple, MPI, Parallel Environment, Taylor Arithmetic, Verified Linear System Solver.}
}
@InProceedings{zimmer_et_al:DagSemProc.08021.11,
author = {Zimmer, Michael and Kr\"{a}mer, Walter},
title = {{Fast (Parallel) Dense Linear Interval Systems Solvers in C-XSC Using Error Free Transformations and BLAS}},
booktitle = {Numerical Validation in Current Hardware Architectures},
pages = {1--20},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2008},
volume = {8021},
editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.11},
URN = {urn:nbn:de:0030-drops-14365},
doi = {10.4230/DagSemProc.08021.11},
annote = {Keywords: Error-free transformations, K-fold accuracy, accurate dot product, C-XSC, high accuracy, dense linear systems, verified computation.}
}
@InProceedings{zimmermann:DagSemProc.08021.12,
author = {Zimmermann, Paul},
title = {{Implementation of the reciprocal square root in MPFR}},
booktitle = {Numerical Validation in Current Hardware Architectures},
pages = {1--3},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2008},
volume = {8021},
editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.12},
URN = {urn:nbn:de:0030-drops-14357},
doi = {10.4230/DagSemProc.08021.12},
annote = {Keywords: Multiple precision, floating-point, inverse square root, correct rounding, MPFR library}
}
@InProceedings{kolberg_et_al:DagSemProc.08021.13,
author = {Kolberg, Mariana and Bohlender, Gerd and Claudio, Dalcidio},
title = {{Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation}},
booktitle = {Numerical Validation in Current Hardware Architectures},
pages = {1--5},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2008},
volume = {8021},
editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.13},
URN = {urn:nbn:de:0030-drops-14386},
doi = {10.4230/DagSemProc.08021.13},
annote = {Keywords: Linear systems, result verification, parallel computing}
}
@InProceedings{wolffvongudenberg:DagSemProc.08021.14,
author = {Wolff von Gudenberg, J\"{u}rgen},
title = {{Interval Arithmetic and Standardization}},
booktitle = {Numerical Validation in Current Hardware Architectures},
pages = {1--14},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2008},
volume = {8021},
editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.14},
URN = {urn:nbn:de:0030-drops-14342},
doi = {10.4230/DagSemProc.08021.14},
annote = {Keywords: Intervals, containment sets, IEEE754r}
}
@InProceedings{auer_et_al:DagSemProc.08021.15,
author = {Auer, Ekaterina and Luther, Wolfram},
title = {{Numerical Verification Assessment in Computational Biomechanics}},
booktitle = {Numerical Validation in Current Hardware Architectures},
pages = {1--15},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2008},
volume = {8021},
editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.15},
URN = {urn:nbn:de:0030-drops-14374},
doi = {10.4230/DagSemProc.08021.15},
annote = {Keywords: Numerical verification assessment, validation, uncertainty, result verification}
}
@InProceedings{popova:DagSemProc.08021.16,
author = {Popova, Evgenija D.},
title = {{On the Interoperability between Interval Software}},
booktitle = {Numerical Validation in Current Hardware Architectures},
pages = {1--13},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2008},
volume = {8021},
editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.16},
URN = {urn:nbn:de:0030-drops-14501},
doi = {10.4230/DagSemProc.08021.16},
annote = {Keywords: Software interoperability, interfacing, interval software, C-XSC, MathLink, Mathematica}
}
@InProceedings{jiang_et_al:DagSemProc.08021.17,
author = {Jiang, Di and Stewart, Neil},
title = {{Robustness of Boolean operations on subdivision-surface models}},
booktitle = {Numerical Validation in Current Hardware Architectures},
pages = {1--10},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2008},
volume = {8021},
editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.17},
URN = {urn:nbn:de:0030-drops-14435},
doi = {10.4230/DagSemProc.08021.17},
annote = {Keywords: Robustness, finite-precision arithmetic, Boolean operations, subdivision surfaces}
}
@InProceedings{pryce_et_al:DagSemProc.08021.18,
author = {Pryce, John D. and Corliss, George C. and Kearfott, R. Baker and Nedialkov, Ned S. and Smith, Spencer},
title = {{Second Note on Basic Interval Arithmetic for IEEE754R}},
booktitle = {Numerical Validation in Current Hardware Architectures},
pages = {1--8},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2008},
volume = {8021},
editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.18},
URN = {urn:nbn:de:0030-drops-14517},
doi = {10.4230/DagSemProc.08021.18},
annote = {Keywords: Interval arithmetic, validated computation, floating point, standards, exceptions, not an interval}
}
@InProceedings{neher:DagSemProc.08021.19,
author = {Neher, Markus},
title = {{The CoStLy C++ Class Library}},
booktitle = {Numerical Validation in Current Hardware Architectures},
pages = {1--6},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2008},
volume = {8021},
editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.19},
URN = {urn:nbn:de:0030-drops-14495},
doi = {10.4230/DagSemProc.08021.19},
annote = {Keywords: Complex interval arithmetic, inclusion functions}
}
@InProceedings{markstein:DagSemProc.08021.20,
author = {Markstein, Peter},
title = {{The New IEEE-754 Standard for Floating Point Arithmetic}},
booktitle = {Numerical Validation in Current Hardware Architectures},
pages = {1--3},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2008},
volume = {8021},
editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.20},
URN = {urn:nbn:de:0030-drops-14481},
doi = {10.4230/DagSemProc.08021.20},
annote = {Keywords: Floating point arithmetic, standards}
}
@InProceedings{rauh_et_al:DagSemProc.08021.21,
author = {Rauh, Andreas and Minisini, Johanna and Hofer, Eberhard P.},
title = {{Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering}},
booktitle = {Numerical Validation in Current Hardware Architectures},
pages = {1--10},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2008},
volume = {8021},
editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.21},
URN = {urn:nbn:de:0030-drops-14529},
doi = {10.4230/DagSemProc.08021.21},
annote = {Keywords: Interval techniques, \{sc\{ValEncIA-IVP\}\}, controller design, robustness, validated integration of ODEs, parameter uncertainties, sensitivity analysis}
}
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
Feedback for Dagstuhl Publishing