A certificate-based approach to formally verified approximations
Florent Bréhard
,
Assia Mahboubi
,
Damien Pous
ITP 2019 - Tenth International Conference on Interactive Theorem Proving , Sep 2019, Portland, United States. pp.1-19,
⟨10.4230/LIPIcs.ITP.2019.8⟩
Conference papers
hal-02088529v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Sparse Wavelet Representations of Spatially Varying Blurring Operators
Paul Escande
,
Pierre Weiss
2014
Preprints, Working Papers, ...
hal-00971549v6
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The MOOD method in the three-dimensional case: Very-High-Order Finite Volume Method for Hyperbolic Systems.
Steven Diot
,
Raphaël Loubère
,
Stéphane Clain
2012
Preprints, Working Papers, ...
hal-00764114v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Fault Tolerant Implementation of Peer-to-Peer Distributed Iterative Algorithms
The Tung Nguyen
,
Didier El Baz
15th IEEE International Conference on Computational Science and Engineering , Dec 2012, Paphos, Cyprus. 9p.,
⟨10.1109/ICCSE.2012.103⟩
Conference papers
hal-01153169v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
La première preuve d'optimalité pour le cluster de Lennard-Jones à cinq atomes
Charlie Vanaret
,
Jean-Baptiste Gotteland
,
Nicolas Durand
,
Jean-Marc Alliot
Onzièmes Journées Francophones de Programmation par Contraintes (JFPC 2015) , Jun 2015, Bordeaux, France
Conference papers
hal-01168111v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Accelerating scientific computations with mixed precision algorithms
Marc Baboulin
,
Alfredo Buttari
,
Jack J. Dongarra
,
Jakub Kurzak
,
Julie Langou
et al.
Journal articles
hal-02420940v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Efficient computation of condition estimates for linear least squares problems
Marc Baboulin
,
Serge Gratton
,
Rémi Lacroix
,
Alan J. Laub
[Research Report] RR-8065, INRIA. 2012, pp.15
Reports
hal-00731136v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Guest Editor's Introduction: Special Section on Green Computing in Internet of Things
Haijun Zhang
,
Didier El Baz
,
Victor C. M. Leung
Journal articles
hal-02960835v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An online Minorization-Maximization algorithm
Hien Duy Nguyen
,
Florence Forbes
,
Gersende Fort
,
Olivier Cappé
17th Conference of the International Federation of Classification Societies , Jul 2022, Porto, Portugal
Conference papers
hal-03542180v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Using Mixed Precision for Sparse Matrix Computations to Enhance the Performance while Achieving 64-bit Accuracy
Alfredo Buttari
,
Jack J. Dongarra
,
Jakub Kurzak
,
Piotr Luszczek
,
Stanimir Tomov
et al.
Journal articles
hal-02421028v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Towards a Meta-analysis-based User Assistant for Analysis Processes
William Raynaut
,
Julien Aligon
,
Philippe Roussille
,
Chantal Soulé-Dupuy
,
Nathalie Vallès-Parlangeau
et al.
11th International Conference on Computer Science and Information Technology (CSIT 2017) , Sep 2017, Yerevan, Armenia. pp.63-66
Conference papers
hal-02559799v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Exponential decay for the growth-fragmentation/cell-division equation
Philippe Laurençot
,
Benoît Perthame
Journal articles
hal-00387408v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Does 3D frequency-domain FWI of full-azimuth/long-offset OBN data feasible? The Gorgon case study
S. Operto
,
Patrick Amestoy
,
Hossein Aghamiry
,
Stephen Beller
,
Alfredo Buttari
et al.
2023
Preprints, Working Papers, ...
hal-03922986v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Numerical convergence of a parameterisation method for the solution of a highly anisotropic two-dimensional elliptic problem.
Philippe Guillaume
,
Vladimir Latocha
Journal of Scientific Computing , 2005, 25, pp.3, 423-444
Journal articles
hal-00092918v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Calcul numérique certifié dans les espaces fonctionnels : Un trilogue entre approximations polynomiales rigoureuses, calcul symbolique et preuve formelle
Florent Bréhard
Theses
tel-02337901v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Default Reasoning via Topology and Mathematical Analysis: A Preliminary Report
Costas D. Koutras
,
Konstantinos Liaskos
,
Christos Moyzes
,
Christos Rantsoudis
16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) , Oct 2018, Tempe, Arizona, United States. pp.267-276
Conference papers
hal-03623002v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Parallelization of subdomain methods with overlapping for linear and nonlinear convection-diffusion problems
Pierre Spiteri
,
Ronan Guivarch
,
Didier El Baz
,
Chau Ming
11-th International Conference on Parallel, Distributed and Network based Processing , Feb 2003, Gennes, Italy. pp.341-348,
⟨10.1109/EMPDP.2003.1183609⟩
Conference papers
hal-01153602v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
First spacecraft demise workshop - Test case description and results
Martin Spel
,
Vincent Rivola
,
Bastien Plazolles
8th European Symposium on Aerothermodynamics for Space Vehicles , Mar 2015, Lisbonne, Portugal. 8p
Conference papers
hal-02175370v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Keynote speech: Parallel and distributed computing issues in cyber-physical systems and the fourth industrial revolution
Didier El Baz
Fourth International Scientific School Incident Management and Countering Targeted Cyber-Physical Attacks in distributed large-scale critical systems (IM & CTCPA 2018) , Igor Kotenko, Oct 2018, Saint-Petersbourg, Russia
Conference papers
hal-02112607v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Efficient parallelization for 3D-3V sparse grid Particle-In-Cell: shared memory systems architectures
Fabrice Deluzet
,
Gwenael Fubiani
,
Laurent Garrigues
,
Clément Guillet
,
Jacek Narski
et al.
Journal articles
hal-03773216v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Les indicateurs structurels d'un graphe: calculs, visualisation, interactivité
Brigitte Gay
,
Bernard Dousset
,
Radwen Wanassi
5ème séminaire de Veille Stratégique Scientifique & Technologique (VSST 2013) , Oct 2013, Nancy, France. pp.0
Conference papers
hal-02639447v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Hybridization of evolutionary algorithms and interval-based methods for optimizing difficult problems (BFG 2015)
Charlie Vanaret
,
Jean-Baptiste Gotteland
,
Nicolas Durand
,
Jean-Marc Alliot
17th British-French-German Conference on Optimization (BFG 2015) , Department of Computing, Imperial College London; Centre for Process Systems Engineering, Imperial College London; Imperial College Business School, Jun 2015, Londres, Royaume-Uni
Conference papers
hal-03193120v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The Small Octagons of MaximalWidth
Charles Audet
,
Pierre Hansen
,
Frédéric Messine
,
Jordan Ninin
Journal articles
hal-00847250v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Contractor Based on Convex Interval Taylor
Ignacio Araya
,
Gilles Trombettoni
,
Bertrand Neveu
[Research Report] RR-7887, INRIA. 2012, pp.23
Reports
hal-00673447v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Physically-constrained data-driven inversions to infer the bed topography beneath glaciers flows. Application to East Antarctica
Jérôme Monnier
,
Jiamin Zhu
Journal articles
hal-01926620v4
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A merit function approach for direct search
Serge Gratton
,
Luis Vicente
Journal articles
hal-03519555v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A fuzzy multi attribute decision framework with integration of QFD and grey relational analysis
Morteza Yazdani
,
Cengiz Kahraman
,
Pascale Zaraté
,
Sezi Cevik Onar
Journal articles
hal-02484226v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Adversarial attacks via backward error analysis
Théo Beuzeville
,
Pierre Boudier
,
Alfredo Buttari
,
Serge Gratton
,
Théo Mary
et al.
2021
Preprints, Working Papers, ...
hal-03296180v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Contributions en mathématiques de l'imagerie
Pierre Weiss
Analyse numérique [math.NA]. Université toulouse 3 Paul Sabatier, 2019
Habilitation à diriger des recherches
tel-02309309v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
SPATIALLY VARYING BLUR RECOVERY. Diagonal Approximations in the Wavelet Domain
Paul Escande
,
Pierre Weiss
,
François Malgouyres
2012
Reports
hal-00733194v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More