Concept

Numerical error

Publications associées (5)

Towards a Compiler for Reals

Numerical software, common in scientific computing or embedded systems, inevitably uses a finite-precision approximation of the real arithmetic in which most algorithms are designed. In many applications, the roundoff errors introduced by finite-precision ...

2017

Verification methodology for plasma simulations and application to a scrape-off layer turbulence code

Paolo Ricci, Joaquim Loizu Cisquella, Sébastien Jolliet, Federico David Halpern, Fabio Riva, Annamaria Mosetto

Bridging the gap between plasma physics and other scientific domains, in particular, the computational fluid dynamics community, a general, rigorous, and simple-to-apply methodology is presented for both the verification of the correct implementation of th ...

American Institute of Physics2014

Verification methodology for plasma simulations and application to a scrape-off layer turbulence code

Paolo Ricci, Joaquim Loizu Cisquella, Sébastien Jolliet, Federico David Halpern, Fabio Riva, Annamaria Mosetto, Christoph Wersal

Approaching the ITER era, errors, affecting simulations that are used as fundamental tools to uncover the complex plasma dynamics in a tokamak, due both to mistakes present in the code and the implementation of a non sufficiently accurate physical model, c ...

2014

Programming with Numerical Uncertainties

Eva Darulova

Numerical software, common in scientific computing or embedded systems, inevitably uses an approximation of the real arithmetic in which most algorithms are designed. In many domains, roundoff errors are not the only source of inaccuracy and measurement as ...

EPFL2014

On Numerical Error Propagation with Sensitivity

Viktor Kuncak, Eva Darulova

An emerging area of research is to automatically compute reasonably accurate upper bounds on numerical errors, including roundoffs due to the use of a finite-precision representation for real numbers such as floating point or fixed-point arithmetic. Previo ...

2014

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search