Published in: Dagstuhl Reports, Volume 1, Issue 9 (2012)
Isaac E. Elishakoff, Vladik Kreinovich, Wolfram Luther, and Evgenija D. Popova. Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371). In Dagstuhl Reports, Volume 1, Issue 9, pp. 26-57, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@Article{elishakoff_et_al:DagRep.1.9.26, author = {Elishakoff, Isaac E. and Kreinovich, Vladik and Luther, Wolfram and Popova, Evgenija D.}, title = {{Uncertainty modeling and analysis with intervals: Foundations, tools, applications (Dagstuhl Seminar 11371)}}, pages = {26--57}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2011}, volume = {1}, number = {9}, editor = {Elishakoff, Isaac E. and Kreinovich, Vladik and Luther, Wolfram and Popova, Evgenija D.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.9.26}, URN = {urn:nbn:de:0030-drops-33181}, doi = {10.4230/DagRep.1.9.26}, annote = {Keywords: Uncertainty modeling, Interval arithmetic, Imprecise probabilities, Sensitivity analysis, mechatronics, bioinformatics and finance} }
Published in: Dagstuhl Seminar Proceedings, Volume 9471, Computer-assisted proofs - tools, methods and applications (2010)
Andreas Rauh and Ekaterina Auer. Interval Approaches to Reliable Control of Dynamical Systems. In Computer-assisted proofs - tools, methods and applications. Dagstuhl Seminar Proceedings, Volume 9471, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{rauh_et_al:DagSemProc.09471.3, author = {Rauh, Andreas and Auer, Ekaterina}, title = {{Interval Approaches to Reliable Control of Dynamical Systems}}, booktitle = {Computer-assisted proofs - tools, methods and applications}, pages = {1--28}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9471}, editor = {B. Malcolm Brown and Erich Kaltofen and Shin'ichi Oishi and Siegfried M. Rump}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09471.3}, URN = {urn:nbn:de:0030-drops-25120}, doi = {10.4230/DagSemProc.09471.3}, annote = {Keywords: Robust control, Ordinary differential equations, Differential-algebraic equations} }
Published in: Dagstuhl Seminar Proceedings, Volume 9471, Computer-assisted proofs - tools, methods and applications (2010)
Ekaterina Auer, Roger Cuypers, Eva Dyllong, Stefan Kiel, and Wolfram Luther. Verification and Validation for Femur Prosthesis Surgery. In Computer-assisted proofs - tools, methods and applications. Dagstuhl Seminar Proceedings, Volume 9471, pp. 1-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{auer_et_al:DagSemProc.09471.4, author = {Auer, Ekaterina and Cuypers, Roger and Dyllong, Eva and Kiel, Stefan and Luther, Wolfram}, title = {{Verification and Validation for Femur Prosthesis Surgery}}, booktitle = {Computer-assisted proofs - tools, methods and applications}, pages = {1--22}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9471}, editor = {B. Malcolm Brown and Erich Kaltofen and Shin'ichi Oishi and Siegfried M. Rump}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09471.4}, URN = {urn:nbn:de:0030-drops-25133}, doi = {10.4230/DagSemProc.09471.4}, annote = {Keywords: Graphical interface construction, superquadrics, 3D modeling, biomedical engineering} }
Published in: Dagstuhl Seminar Proceedings, Volume 8021, Numerical Validation in Current Hardware Architectures (2008)
Wolfram Luther, Annie Cuyt, Walter Krämer, and Peter Markstein. 08021 Abstracts Collection – Numerical Validation in Current Hardware Architectures. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@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.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 8021, Numerical Validation in Current Hardware Architectures (2008)
Annie Cuyt, Walter Krämer, Wolfram Luther, and Peter Markstein. 08021 Summary – Numerical Validation in Current Hardware Architectures. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@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.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 8021, Numerical Validation in Current Hardware Architectures (2008)
Frithjof Blomquist, Werner Hofschuster, and Walter Krämer. A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@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.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 8021, Numerical Validation in Current Hardware Architectures (2008)
Mariana Kolberg, Walter Krämer, and Michael Zimmer. A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@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.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 8021, Numerical Validation in Current Hardware Architectures (2008)
Eva Dyllong. A Note on Some Applications of Interval Arithmetic in Hierarchical Solid Modeling. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@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.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 8021, Numerical Validation in Current Hardware Architectures (2008)
Gregorio de Miguel Casado and Juan Manuel García Chamizo. A Software Library for Reliable Online-Arithmetic with Rational Numbers. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@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.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 8021, Numerical Validation in Current Hardware Architectures (2008)
Werner Hofschuster, Walter Krämer, and Markus Neher. C-XSC and Closely Related Software Packages. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@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.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 8021, Numerical Validation in Current Hardware Architectures (2008)
Ulrich Kulisch. Complete Interval Arithmetic and its Implementation. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@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.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 8021, Numerical Validation in Current Hardware Architectures (2008)
Michel Kieffer. Distributed parameter and state estimation in a network of sensors. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@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.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} }
Published in: Dagstuhl Seminar Proceedings, Volume 8021, Numerical Validation in Current Hardware Architectures (2008)
Markus Grimmer. Extending the Range of C-XSC: Some Tools and Applications for the use in Parallel and other Environments. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@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.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.} }
Published in: Dagstuhl Seminar Proceedings, Volume 8021, Numerical Validation in Current Hardware Architectures (2008)
Michael Zimmer and Walter Krämer. Fast (Parallel) Dense Linear Interval Systems Solvers in C-XSC Using Error Free Transformations and BLAS. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@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.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.} }
Published in: Dagstuhl Seminar Proceedings, Volume 8021, Numerical Validation in Current Hardware Architectures (2008)
Paul Zimmermann. Implementation of the reciprocal square root in MPFR. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@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.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} }
Feedback for Dagstuhl Publishing