Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Recherche

Afficher tous les résultats pour

Accueil

Publication

Automatic Verification with Abstraction and Theorem Proving

Hossein Hojjat
2013
Theses

Source officielle

À propos
Confidentialité
Mentions légales

Graph Chatbot

Hossein Hojjat
2013
Theses

Source officielle

Publications associées (5)

Afficher plus

https://infoscience.epfl.ch/entities/publication/1fe9df70-c5f5-4d40-8a5b-d40a0233d266

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (5)

Afficher plus

pyFFS: A Python Library for Fast Fourier Series Computation and Interpolation with GPU Acceleration

Martin Vetterli, Paul Hurley, Matthieu Martin Jean-André Simeoni, Eric Bezzam, Sepand Kashani

Fourier transforms are an often necessary component in many computational tasks, and can be computed efficiently through the fast Fourier transform (FFT) algorithm. However, many applications involve an underlying continuous signal, and a more natural choi ...

SIAM2022

Entropy stable essentially non-oscillatory methods based on RBF reconstructions

Jan Sickmann Hesthaven, Fabian Mönkeberg

To solve hyperbolic conservation laws on general grids we propose to use high-order essentially nonoscillatory methods based on radial basis functions. We introduce an entropy stable arbitrary high-order finite dierence method (RBF-TeCNOp) and an entropy s ...

2019

Accelerating equilibrium isotope effect calculations. I. Stochastic thermodynamic integration with respect to mass

Jiri Vanicek, Konstantin Karandashev

Accurate path integral Monte Carlo or molecular dynamics calculations of isotope effects have until recently been expensive because of the necessity to reduce three types of errors present in such calculations: statistical errors due to sampling, path inte ...

American Institute of Physics2017