Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

53 résultats
Page :
triés par
Image document

Large-scale 3D EM modeling with a Block Low-Rank multifrontal direct solver

 Daniil Shantsev , Piyoosh Jaysaval , Sébastien de La Kethulle de Ryhove , Patrick Amestoy , Alfredo Buttari , et al.
Geophysical Journal International, 2017, 209 (3), pp.1558-1571. ⟨10.1093/gji/ggx106⟩
Article dans une revue hal-01672952v1
Image document

Adaptive Precision Sparse Matrix-Vector Product and its application to Krylov Solvers

 Roméo Molina , Stef Graillat , Fabienne Jézéquel , Théo Mary
13èmes Rencontres Arithmétique de l'Informatique Mathématique (RAIM 2022), Nov 2022, Nantes, France
Communication dans un congrès hal-03931125v1
Image document

Scaling is all you need: quantization of butterfly matrix products via optimal rank-one quantization

 Rémi Gribonval , Theo Mary , Elisa Riccietti
29ème Colloque sur le traitement du signal et des images (GRETSI), Aug 2023, Grenoble, France. pp.497-500
Communication dans un congrès hal-04146706v1
Image document

Code for reproducible research for the article "OPTIMAL QUANTIZATION OF RANK-ONE MATRICES IN FLOATING-POINT ARITHMETIC—WITH APPLICATIONS TO BUTTERFLY FACTORIZATIONS

 Rémi Gribonval , Elisa Riccietti , Théo Mary
2023, ⟨swh:1:dir:98eaa2697116f3815573f266465e4a7800d96af8;origin=https://hal.archives-ouvertes.fr/hal-04124171;visit=swh:1:snp:5c0e415b900b448623781225e10029b1e0e4201a;anchor=swh:1:rel:0c27febd089e0c3a3819886fddda683e400d4462;path=/⟩
Logiciel hal-04124171v1
Image document

Optimal quantization of rank-one matrices in floating-point arithmetic---with applications to butterfly factorizations

 Rémi Gribonval , Theo Mary , Elisa Riccietti
2023
Pré-publication, Document de travail hal-04125381v1
Image document

On the Complexity of the Block Low-Rank Multifrontal Factorization

 Patrick Amestoy , Alfredo Buttari , Jean-Yves L'Excellent , Théo Mary
SIAM Journal on Scientific Computing, 2017, 39 (4), pp.34. ⟨10.1137/16M1077192⟩
Article dans une revue hal-01322230v3
Image document

Block Low-Rank Matrices with Shared Bases: Potential and Limitations of the BLR2S Format

 Cleve Ashcraft , Alfredo Buttari , Théo Mary
SIAM Journal on Matrix Analysis and Applications, 2021, 42 (2), ⟨10.1137/20M1386451⟩
Article dans une revue hal-03070416v2
Image document

Communication Avoiding Block Low-Rank Parallel Multifrontal Triangular Solve with Many Right-Hand Sides

 Patrick Amestoy , Olivier Boiteau , Alfredo Buttari , Matthieu Gerest , Fabienne Jézéquel , et al.
SIAM Journal on Matrix Analysis and Applications, 2024, 45 (1), pp.148-166. ⟨10.1137/23M1568600⟩
Article dans une revue hal-04082415v1
Image document

Mixed Precision Block Fused Multiply-Add: Error Analysis and Application to GPU Tensor Cores

 Pierre Blanchard , Nicholas J Higham , Florent Lopez , Théo Mary , Srikara Pranesh
SIAM Journal on Scientific Computing, 2020, 42 (3), pp.C124-C141. ⟨10.1137/19M1289546⟩
Article dans une revue hal-02491076v2

Solving linear systems efficiently using mixed-precision Block Low-Rank compression

 Patrick Amestoy , Olivier Boiteau , Alfredo Buttari , Matthieu Gerest , Fabienne Jézéquel , et al.
Rencontres Arithmétique de l'informatique Mathématique (RAIM 2021), GdR GdR IM : Informatique Mathématique, May 2021, Paris, France
Communication dans un congrès hal-03783037v1
Image document

A Class of Fast and Accurate Summation Algorithms

 Pierre Blanchard , Nicholas J Higham , Théo Mary
SIAM Journal on Scientific Computing, In press
Article dans une revue hal-02491081v1
Image document

Mixed precision algorithms in numerical linear algebra

 Nicholas J Higham , Théo Mary
Acta Numerica, 2022
Article dans une revue hal-03537373v2

Mixed precision sparse direct solver applied to 3D wave propagation

 Patrick Amestoy , Alfredo Buttari , Florian Faucher , Jean-Yves L'Excellent , Matthieu Gerest , et al.
8th European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS 2022), Jun 2022, Oslo, Norway
Communication dans un congrès hal-03887660v1
Image document

Block Low-Rank multifrontal solvers: complexity, performance, and scalability

 Théo Mary
Numerical Analysis [math.NA]. Université Paul Sabatier - Toulouse III, 2017. English. ⟨NNT : ⟩
Thèse tel-01708791v1
Image document

Adversarial attacks via backward error analysis

 Théo Beuzeville , Pierre Boudier , Alfredo Buttari , Serge Gratton , Théo Mary , et al.
2021
Pré-publication, Document de travail hal-03296180v3
Image document

Adaptive Precision Sparse Matrix-Vector Product and its Application to Krylov Solvers

 Roméo Molina , Stef Graillat , Fabienne Jézéquel , Théo Mary
Sparse Days Meeting 2022, Jun 2022, Saint-Girons, France.
Poster de conférence hal-03780522v1
Image document

Combining sparse approximate factorizations with mixed precision iterative refinement

 Patrick Amestoy , Alfredo Buttari , Nicholas J Higham , Jean-Yves L’excellent , Théo Mary , et al.
ACM Transactions on Mathematical Software, 2023, 49 (1), pp.1-29. ⟨10.1145/3582493⟩
Article dans une revue hal-03536031v2

Solving linear systems efficiently using block low-rank compression in mixed precision

 Patrick Amestoy , Olivier Boiteau , Alfredo Buttari , Matthieu Gerest , Fabienne Jézéquel , et al.
45ème Congrès National d'Analyse Numérique (CANUM 2022), Jun 2022, Évian-les-Bains, France
Communication dans un congrès hal-03922287v1
Image document

Modular matrix multiplication on GPU for polynomial system solving

 Jérémy Berthomieu , Stef Graillat , Dimitri Lesnoff , Theo Mary
ACM Communications in Computer Algebra, In press, 57 (2), pp.35-38. ⟨10.1145/3614408.3614411⟩
Article dans une revue hal-04117304v1
Image document

Performance of random sampling for computing low-rank approximations of a dense matrix on GPUs

 Théo Mary , Ichitaro Yamazaki , Jakub Kurzak , Piotr Luszczek , Stanimire Tomov , et al.
International Conference for High Performance Computing, Networking, Storage and Analysis (SC15), Nov 2015, Austin, TX, United States. pp.60, ⟨10.1145/2807591.2807613⟩
Communication dans un congrès hal-02311280v1

Efficient 3D frequency-domain full-waveform inversion of ocean-bottom cable data with sparse block low-rank direct solver: a real data case study from the North Sea

 Patrick Amestoy , Romain Brossier , Alfredo Buttari , Jean-Yves L'Excellent , Théo Mary , et al.
SEG Annual meeting, Oct 2015, New Orleans, United States. pp.1303-1308, ⟨10.1190/segam2015-5713962.1⟩
Communication dans un congrès hal-01239896v1

3D frequency-domain seismic modeling with a Parallel BLR multifrontal direct solver

 Patrick Amestoy , Romain Brossier , Alfredo Buttari , Jean-Yves L'Excellent , Théo Mary , et al.
SEG Annual meeting, Oct 2015, New Orleans, United States. pp.3606-3611
Communication dans un congrès hal-01237869v1
Image document

Sharper Probabilistic Backward Error Analysis for Basic Linear Algebra Kernels with Random Data

 Nicholas J Higham , Théo Mary
SIAM Journal on Scientific Computing, 2020, 42 (5), pp.A3427-A3446. ⟨10.1137/20M1314355⟩
Article dans une revue hal-02446954v3
Image document

Mixed Precision LU Factorization on GPU Tensor Cores: Reducing Data Movement and Memory Footprint

 Florent Lopez , Théo Mary
International Journal of High Performance Computing Applications, In press
Article dans une revue hal-02937325v2
Image document

Truncated QR factorization with pivoting in mixed precision

 Alfredo Buttari , Théo Mary , André Pacteau
2024
Pré-publication, Document de travail hal-04490215v1
Image document

A New Preconditioner that Exploits Low-Rank Approximations to Factorization Error

 Nicholas J. Higham , Théo Mary
SIAM Journal on Scientific Computing, 2019, 41 (1), pp.A59-A82. ⟨10.1137/18M1182802⟩
Article dans une revue hal-02311256v1
Image document

Bridging the gap between flat and hierarchical low-rank matrix formats: the multilevel BLR format

 Patrick Amestoy , Alfredo Buttari , Jean-Yves L'Excellent , Théo Mary
SIAM Journal on Scientific Computing, 2019, 41 (3), pp.A1414-A1442. ⟨10.1137/18M1182760⟩
Article dans une revue hal-01774642v3

Reducing communications and memory costs of parallel Block Low-Rank solvers

 Patrick Amestoy , Olivier Boiteau , Alfredo Buttari , Matthieu Gerest , Fabienne Jézéquel , et al.
SIAM Conference on Computational Science and Engineering (CSE 2023), Feb 2023, Amsterdam, Netherlands
Communication dans un congrès hal-03922334v1
Image document

Error analysis of the Gram low-rank approximation (and why it is not as unstable as one may think)

 Théo Mary
2024
Pré-publication, Document de travail hal-04554516v1
Image document

Probabilistic estimation of the accuracy of inner products and application to stochastic validation

 Fabienne Jézéquel , Théo Mary
2024
Pré-publication, Document de travail hal-04554459v1
Page :