Publication

Programming with Numerical Uncertainties

Publications associées (96)

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

Proving Memory Safety of Floating-Point Computations by Combining Static and Dynamic Program Analysis

Johannes Kinder

Whitebox fuzzing is a novel form of security testing based on runtime symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found dozens of new security vulnerabilities (buffer overflows) in Windows and Linux appli ...

Microsoft Research2009

Optimising Boltzmann codes for the PLANCK era

Julien Lesgourgues, Jan Hamann

High precision measurements of the Cosmic Microwave Background (CMB) anisotropies, as can be expected from the PLANCK satellite, will require high-accuracy theoretical predictions as well. One possible source of theoretical uncertainty is the numerical err ...

2009

Supporting Dimensional Analysis in SystemC-AMS

Alain Vachoux

This paper will introduce new modeling capabilities for SystemC-AMS to describe energy conserving multi-domain systems in a formal and consistent way at a high level of abstraction. To this end, all variables and parameters of the system model need to be a ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2009

Bioclogging in porous media: Model development and sensitivity to initial conditions

David Andrew Barry, Alessandro Brovelli, Flavio Malaguerra

This work presents a numerical model able to simulate the effect of biomass growth on the hydraulic properties of saturated porous media, i.e., bioclogging. A new module for an existing coupled flow and reactive-transport code -- PHWAT -- was implemented. ...

2009

Do microscopic merging models reproduce the observed priority sharing ratio in congestion?

A classical way to represent vehicle interactions at merges at the microscopic scale is to combine a gap-acceptance model with a car-following algorithm. However, in congested conditions (when a queue spills back on the major road), outputs of such a combi ...

Elsevier2009

An exact solution for ideal dam-break floods on steep slopes

Christophe Ancey, Martin Rentschler

Dam-break floods on steep slopes occur in diverse settings. They may result from failure of either natural or man-made dams, and they have been responsible for the loss of thousands of lives [Costa, 1988]. Recent disasters resulting from dam-break floods o ...

American Geophysical Union2008

Implementation of batch-based particle filters for multi-sensor tracking

Volkan Cevher

In this paper, we demonstrate fixed-point FPGA implementations of state space systems using Particle Filters, especially multi-target beating and range tracking systems. These trackers operate either as independent organic trackers or as a joint tracker to ...

2007

QEF – Supporting Complex Query Applications

Othman Tajmouati

This paper describes QEF a query evaluation framework designed to support complex applications on the grid. QEF has been extended to support querying within a number of different applications, including supporting scientific visualization and implementing ...

IEEE Computer Society2007

Dynamic Texture on Fixed-Point Architectures

Sabine Süsstrunk, Luciano Sbaiz, Roberto Costantini

Dynamic textures are sequences of images showing temporal regularity; they can be found in videos representing smoke, flames, flowing water, or moving grass, for instance. Recently, one method based on linear dynamic system theory was proposed to synthesiz ...

2006

Dephasing representation of quantum fidelity for general pure and mixed states

Jiri Vanicek

A general semiclassical expression for quantum fidelity (Loschmidt echo) of arbitrary pure and mixed states is derived. It expresses fidelity as an interference sum of dephasing trajectories weighed by the Wigner function of the initial state, and does not ...

2006