Show Menu
Hide Menu
Home
About
Scientific Influence
Organisation charts
Organisation
Direction
Administration
IT Service
Scientific Board
Governing Board
PhD Board
Teaching
Location & Contact
Research
Axes & Teams
Publications
Projects
ERC Projects
European Projects
France 2030
ANR Projects
Activity reports
Valorisation
Our skills
Work with us
Software
Patents
Start-ups
Job Offers
Staff directory
Colloquium
đź”’
đź“«
🇬🇧
🇫🇷
🇬🇧
-
Computer Science Laboratory
Sorbonne Universté
Centre National de la Recherche Scientifique
News
Archives
All current and past events
PEQUAN
2022
12/09/2022:
Adaptive precision sparse matrix-vector product
12/07/2022:
Feedback on the use of the Julia programming language for the numerical solution of Partial Differential Equations
2020
12/18/2020:
An Iterative Refinement Technique with an Integer Arithmetic-Based GMRES Solver
12/02/2020:
Algorithms for Stochastically Rounded Elementary Arithmetic Operations in IEEE 754 Floating-Point Arithmetic
11/18/2020:
Multiple precisions iterative refinement for the solution of large sparse linear systems
11/04/2020:
Mixed precision algorithms, a tool for advancement of numerical linear algebra
04/14/2020:
Exhaustive search of permutations with many patterns
2019
11/05/2019:
Optimal Word-Length Allocation for the Fixed-Point Implementation of Linear Filters and Controllers
10/08/2019:
Sharper and smaller error bounds for low precision scientific computing
05/23/2019:
Reproducibility Strategies for Parallel Preconditioned Conjugate Gradient
02/28/2019:
Minimum number of additions in elliptic curve cryptography using double-based number representation
01/31/2019:
Après-midi apprentissage / embarqué / précision numérique
01/17/2019:
Toward optimizing compilers for quantum computers
2018
12/06/2018:
Accuracy and Stability of Low-rank Linear Solvers
10/25/2018:
The Frobenius FFT and application to the multiplication of binary polynomials
07/05/2018:
A communication-avoiding sparse direct solver
02/15/2018:
Implementation and optimization techniques of linear algebra kernels for modern HPC systems
01/18/2018:
CPUs and GPUs: can we get the best of both worlds?
2017
11/20/2017:
Deep Learning & Accélération GPU
09/25/2017:
Predicting the Behavior of Large Dynamical Systems using Intervals and Reduced-Order Modeling
09/21/2017:
Algorithmique de l'implementation fiable de filtres numériques
09/07/2017:
Compilation abstraite et synthèse d'invariants basée sur des domaines numériques paramétrés
06/29/2017:
Segmentation non-uniforme suivie d’approximation polynomiale pour l’évaluation de fonctions au sein de processeurs embarqués
06/15/2017:
FP-ANR, un format de représentation des flottants pour la gestion à l’exécution des cancellations
05/15/2017:
Précision, Reproductibilité en Calcul et Informatique Scientifique
05/04/2017:
Topological Data Analysis and Visualization: A Tutorial (Part II: TTK)
04/27/2017:
Topological Data Analysis and Visualization: A Tutorial
03/30/2017:
Sweet and sour lessons from chasing hard-to-round cases in 128-bit
02/02/2017:
Chebychev Approximation by Polynomials, Rational Functions and Splines
01/23/2017:
Fast Fourier transform algorithms based on binary trees representation
01/19/2017:
Fin de la Loi de Moore et applications HPC
2016
11/24/2016:
Computer algebra methods for the study of the stability and the stabilization of multidimensional systems
11/17/2016:
Automating the pipeline of arithmetic datapaths
10/20/2016:
Trois exposés (voir détails)
09/22/2016:
A Decimal Multiple-Precision Interval Arithmetic Library
07/06/2016:
Calcul par Intervalles et Transport Optimal
06/09/2016:
Enlarged Krylov Subspace Methods and Preconditioners for Reducing Communication
05/19/2016:
Programming with Numerical Uncertainties
05/19/2016:
Towards reliable implementation of digital filtersTBA
05/12/2016:
New results on floating-point
04/07/2016:
Development of a library for symbolic floating-point arithmetic
03/24/2016:
Evaluating Straight-Line Programs over Balls
03/10/2016:
Accelerating the Conjugate Gradient Algorithm with GPU in CFD Simulations
02/22/2016:
Persistent homology for multivariate data visualization
02/11/2016:
Information Visualization from Trenches and Labs
02/03/2016:
Estimation of numerical reproducibility using stochastic arithmetic
01/18/2016:
Tutoriel Sollya et PythonSollya
01/07/2016:
Sur la précision p-adique
2015
12/17/2015:
Apports des architectures hybrides Ă l?imagerie profondeur : Ă©tude comparative entre CPU, APU et GPU / Contributions of hybrid architectures to depth imaging: a CPU, APU and GPU comparative study
12/10/2015:
Sound static analysis of run-time errors in programs with floating-point computations
11/30/2015:
Vérification formelle de programmes numériques: l'exemple de la moyenne
11/19/2015:
Towards a Modern Floating-Point Environment
11/02/2015:
Determining Fixed-Point Formats using the Worst-Case Peak Gain measure (exposé court)
10/22/2015:
Bornes sur les restes de séries solutions d'équations différentielles
09/24/2015:
Pattern formation in a coupled Brusselator model
09/10/2015:
Metalibm: Kalray's side
07/03/2015:
Investigation of Crouzeix’s Conjecture via Nonsmooth Optimization
07/02/2015:
Computer-aided floating point error analysis and debug
06/18/2015:
Trois exposés courts (voir détails)
06/04/2015:
Dilemme du fabricant de tables pour les fonctions transcendantes
05/21/2015:
Parameterization of Surfaces
05/07/2015:
Verrou : l'arithmétique stochastique sans recompiler
05/06/2015:
Diagonalisation parallèle pour le calcul de structure électronique
03/26/2015:
Reliable evaluation of the Worst-Case Peak Gain matrix in multiple precision
03/05/2015:
Special functions in the Arb library
03/02/2015:
The Parks McClellan algorithm: a scalable approach for designing FIR filters
02/26/2015:
An inverse problem of magnetization in geoscience
02/12/2015:
New Applications of Semidefinite Programming
01/29/2015:
Calcul rapide des valeurs propres pour matrices compagnon
01/15/2015:
Reproducible and Accurate BLAS for ExaScale Computing
2014
12/11/2014:
Itérations asynchrones des méthodes de décomposition de domaines sur architectures parallèles
11/27/2014:
Intra-Procedural Optimization of the Numerical Accuracy of Programs
11/13/2014:
Algèbre linéaire d'intervalles : Qualité Numérique et Hautes Performances sur Processeurs Multi-Cœurs
11/12/2014:
Big Data Visual Analysis
10/30/2014:
Metalibm: a code generator for parametrized mathematical functions
10/29/2014:
Numerical stability of the Gram-Schmidt algorithm
10/16/2014:
Introduction Ă Sage
03/20/2014:
Résolution des systèmes linéaires et non linéaires creux sur clusters de GPUs
2013
10/15/2013:
Numerical Computation on Intel® Xeon Phi™ Coprocessors Using the Intel® Compilers and Math Libraries
10/10/2013:
Algorithmic number theory and digital filter synthesis
2012
05/10/2012:
Etendre le compilateur GCC avec MELT
2008
12/04/2008:
Journée Thème Emergent --- GDR ASR du CNRS ---Calcul généraliste sur unités graphiques
05/27/2008:
Interval Arithmetic: Concepts, Theory, Application
2007
09/04/2007:
Large estimation du mouvement apparent par des fonctions splines vectorielles : application à l'océanographie et à la météorologie
2006
05/23/2006:
On the algebraic properties of stochastic and interval numbers