All current and past events
- Adaptive precision sparse matrix-vector product
- Feedback on the use of the Julia programming language for the numerical solution of Partial Differential Equations
- An Iterative Refinement Technique with an Integer Arithmetic-Based GMRES Solver
- Algorithms for Stochastically Rounded Elementary Arithmetic Operations in IEEE 754 Floating-Point Arithmetic
- Multiple precisions iterative refinement for the solution of large sparse linear systems
- Mixed precision algorithms, a tool for advancement of numerical linear algebra
- Exhaustive search of permutations with many patterns
- Optimal Word-Length Allocation for the Fixed-Point Implementation of Linear Filters and Controllers
- Sharper and smaller error bounds for low precision scientific computing
- Reproducibility Strategies for Parallel Preconditioned Conjugate Gradient
- Minimum number of additions in elliptic curve cryptography using double-based number representation
- Après-midi apprentissage / embarqué / précision numérique
- Toward optimizing compilers for quantum computers
- Accuracy and Stability of Low-rank Linear Solvers
- The Frobenius FFT and application to the multiplication of binary polynomials
- A communication-avoiding sparse direct solver
- Implementation and optimization techniques of linear algebra kernels for modern HPC systems
- CPUs and GPUs: can we get the best of both worlds?
- Deep Learning & Accélération GPU
- Predicting the Behavior of Large Dynamical Systems using Intervals and Reduced-Order Modeling
- Algorithmique de l'implementation fiable de filtres numériques
- Compilation abstraite et synthèse d'invariants basée sur des domaines numériques paramétrés
- Segmentation non-uniforme suivie d’approximation polynomiale pour l’évaluation de fonctions au sein de processeurs embarqués
- FP-ANR, un format de représentation des flottants pour la gestion à l’exécution des cancellations
- Précision, Reproductibilité en Calcul et Informatique Scientifique
- Topological Data Analysis and Visualization: A Tutorial (Part II: TTK)
- Topological Data Analysis and Visualization: A Tutorial
- Sweet and sour lessons from chasing hard-to-round cases in 128-bit
- Chebychev Approximation by Polynomials, Rational Functions and Splines
- Fast Fourier transform algorithms based on binary trees representation
- Fin de la Loi de Moore et applications HPC
- Computer algebra methods for the study of the stability and the stabilization of multidimensional systems
- Automating the pipeline of arithmetic datapaths
- Trois exposés (voir détails)
- A Decimal Multiple-Precision Interval Arithmetic Library
- Calcul par Intervalles et Transport Optimal
- Enlarged Krylov Subspace Methods and Preconditioners for Reducing Communication
- Programming with Numerical Uncertainties
- Towards reliable implementation of digital filtersTBA
- New results on floating-point
- Development of a library for symbolic floating-point arithmetic
- Evaluating Straight-Line Programs over Balls
- Accelerating the Conjugate Gradient Algorithm with GPU in CFD Simulations
- Persistent homology for multivariate data visualization
- Information Visualization from Trenches and Labs
- Estimation of numerical reproducibility using stochastic arithmetic
- Tutoriel Sollya et PythonSollya
- Sur la précision p-adique
- 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
- Sound static analysis of run-time errors in programs with floating-point computations
- Vérification formelle de programmes numériques: l'exemple de la moyenne
- Towards a Modern Floating-Point Environment
- Determining Fixed-Point Formats using the Worst-Case Peak Gain measure (exposé court)
- Bornes sur les restes de séries solutions d'équations différentielles
- Pattern formation in a coupled Brusselator model
- Metalibm: Kalray's side
- Investigation of Crouzeix’s Conjecture via Nonsmooth Optimization
- Computer-aided floating point error analysis and debug
- Trois exposés courts (voir détails)
- Dilemme du fabricant de tables pour les fonctions transcendantes
- Parameterization of Surfaces
- Verrou : l'arithmétique stochastique sans recompiler
- Diagonalisation parallèle pour le calcul de structure électronique
- Reliable evaluation of the Worst-Case Peak Gain matrix in multiple precision
- Special functions in the Arb library
- The Parks McClellan algorithm: a scalable approach for designing FIR filters
- An inverse problem of magnetization in geoscience
- New Applications of Semidefinite Programming
- Calcul rapide des valeurs propres pour matrices compagnon
- Reproducible and Accurate BLAS for ExaScale Computing
- Itérations asynchrones des méthodes de décomposition de domaines sur architectures parallèles
- Intra-Procedural Optimization of the Numerical Accuracy of Programs
- Algèbre linéaire d'intervalles : Qualité Numérique et Hautes Performances sur Processeurs Multi-Cœurs
- Big Data Visual Analysis
- Metalibm: a code generator for parametrized mathematical functions
- Numerical stability of the Gram-Schmidt algorithm
- Introduction à Sage
- Résolution des systèmes linéaires et non linéaires creux sur clusters de GPUs
- Numerical Computation on Intel® Xeon Phi™ Coprocessors Using the Intel® Compilers and Math Libraries
- Algorithmic number theory and digital filter synthesis
- Etendre le compilateur GCC avec MELT
- Journée Thème Emergent --- GDR ASR du CNRS ---Calcul généraliste sur unités graphiques
- Interval Arithmetic: Concepts, Theory, Application
- Large estimation du mouvement apparent par des fonctions splines vectorielles : application à l'océanographie et à la météorologie
- On the algebraic properties of stochastic and interval numbers