Published in: Dagstuhl Reports, Volume 12, Issue 5 (2022)
Annie Cuyt, Wen-shin Lee, Gerlind Plonka-Hoch, and Ferre Knaepkens. Exponential Analysis: Theoretical Progress and Technological Innovation (Dagstuhl Seminar 22221). In Dagstuhl Reports, Volume 12, Issue 5, pp. 170-187, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@Article{cuyt_et_al:DagRep.12.5.170, author = {Cuyt, Annie and Lee, Wen-shin and Plonka-Hoch, Gerlind and Knaepkens, Ferre}, title = {{Exponential Analysis: Theoretical Progress and Technological Innovation (Dagstuhl Seminar 22221)}}, pages = {170--187}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2022}, volume = {12}, number = {5}, editor = {Cuyt, Annie and Lee, Wen-shin and Plonka-Hoch, Gerlind and Knaepkens, Ferre}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.12.5.170}, URN = {urn:nbn:de:0030-drops-174473}, doi = {10.4230/DagRep.12.5.170}, annote = {Keywords: inverse problem, remote sensing, sparse interpolation, spectral analysis, structured matrices} }
Published in: Dagstuhl Reports, Volume 5, Issue 6 (2016)
Annie Cuyt, George Labahn, Avraham Sidi, and Wen-shin Lee. Sparse Modelling and Multi-exponential Analysis (Dagstuhl Seminar 15251). In Dagstuhl Reports, Volume 5, Issue 6, pp. 48-69, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@Article{cuyt_et_al:DagRep.5.6.48, author = {Cuyt, Annie and Labahn, George and Sidi, Avraham and Lee, Wen-shin}, title = {{Sparse Modelling and Multi-exponential Analysis (Dagstuhl Seminar 15251)}}, pages = {48--69}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2016}, volume = {5}, number = {6}, editor = {Cuyt, Annie and Labahn, George and Sidi, Avraham and Lee, Wen-shin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.6.48}, URN = {urn:nbn:de:0030-drops-55073}, doi = {10.4230/DagRep.5.6.48}, annote = {Keywords: Sparse Interpolation, Exponential Analysis, Signal Processing, Rational Approximation} }
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-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} }
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-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} }
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-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} }
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-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} }
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-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} }
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-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} }
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-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} }
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-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} }
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-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} }
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-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.} }
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-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.} }
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-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} }
Published in: Dagstuhl Seminar Proceedings, Volume 8021, Numerical Validation in Current Hardware Architectures (2008)
Mariana Kolberg, Gerd Bohlender, and Dalcidio Claudio. Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@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} }
Feedback for Dagstuhl Publishing