Vorträge und Seminare seit 2006
LIP6
PEQUAN
- 09.12.2022: Adaptive precision sparse matrix-vector product
- 07.12.2022: Feedback on the use of the Julia programming language for the numerical solution of Partial Differential Equations
- 18.12.2020: An Iterative Refinement Technique with an Integer Arithmetic-Based GMRES Solver
- 02.12.2020: Algorithms for Stochastically Rounded Elementary Arithmetic Operations in IEEE 754 Floating-Point Arithmetic
- 18.11.2020: Multiple precisions iterative refinement for the solution of large sparse linear systems
- 04.11.2020: Mixed precision algorithms, a tool for advancement of numerical linear algebra
- 14.04.2020: Exhaustive search of permutations with many patterns
- 05.11.2019: Optimal Word-Length Allocation for the Fixed-Point Implementation of Linear Filters and Controllers
- 08.10.2019: Sharper and smaller error bounds for low precision scientific computing
- 23.05.2019: Reproducibility Strategies for Parallel Preconditioned Conjugate Gradient
- 28.02.2019: Minimum number of additions in elliptic curve cryptography using double-based number representation
- 31.01.2019: Après-midi apprentissage / embarqué / précision numérique
- 17.01.2019: Toward optimizing compilers for quantum computers
- 06.12.2018: Accuracy and Stability of Low-rank Linear Solvers
- 25.10.2018: The Frobenius FFT and application to the multiplication of binary polynomials
- 05.07.2018: A communication-avoiding sparse direct solver
- 15.02.2018: Implementation and optimization techniques of linear algebra kernels for modern HPC systems
- 18.01.2018: CPUs and GPUs: can we get the best of both worlds?
- 20.11.2017: Deep Learning & Accélération GPU
- 25.09.2017: Predicting the Behavior of Large Dynamical Systems using Intervals and Reduced-Order Modeling
- 21.09.2017: Algorithmique de l'implementation fiable de filtres numériques
- 07.09.2017: Compilation abstraite et synthèse d'invariants basée sur des domaines numériques paramétrés
- 29.06.2017: Segmentation non-uniforme suivie d’approximation polynomiale pour l’évaluation de fonctions au sein de processeurs embarqués
- 15.06.2017: FP-ANR, un format de représentation des flottants pour la gestion à l’exécution des cancellations
- 15.05.2017: Précision, Reproductibilité en Calcul et Informatique Scientifique
- 04.05.2017: Topological Data Analysis and Visualization: A Tutorial (Part II: TTK)
- 27.04.2017: Topological Data Analysis and Visualization: A Tutorial
- 30.03.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
- 23.01.2017: Fast Fourier transform algorithms based on binary trees representation
- 19.01.2017: Fin de la Loi de Moore et applications HPC
- 24.11.2016: Computer algebra methods for the study of the stability and the stabilization of multidimensional systems
- 17.11.2016: Automating the pipeline of arithmetic datapaths
- 20.10.2016: Trois exposés (voir détails)
- 22.09.2016: A Decimal Multiple-Precision Interval Arithmetic Library
- 06.07.2016: Calcul par Intervalles et Transport Optimal
- 09.06.2016: Enlarged Krylov Subspace Methods and Preconditioners for Reducing Communication
- 19.05.2016: Programming with Numerical Uncertainties
- 19.05.2016: Towards reliable implementation of digital filtersTBA
- 12.05.2016: New results on floating-point
- 07.04.2016: Development of a library for symbolic floating-point arithmetic
- 24.03.2016: Evaluating Straight-Line Programs over Balls
- 10.03.2016: Accelerating the Conjugate Gradient Algorithm with GPU in CFD Simulations
- 22.02.2016: Persistent homology for multivariate data visualization
- 11.02.2016: Information Visualization from Trenches and Labs
- 03.02.2016: Estimation of numerical reproducibility using stochastic arithmetic
- 18.01.2016: Tutoriel Sollya et PythonSollya
- 07.01.2016: Sur la précision p-adique
- 17.12.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
- 10.12.2015: Sound static analysis of run-time errors in programs with floating-point computations
- 30.11.2015: Vérification formelle de programmes numériques: l'exemple de la moyenne
- 19.11.2015: Towards a Modern Floating-Point Environment
- 02.11.2015: Determining Fixed-Point Formats using the Worst-Case Peak Gain measure (exposé court)
- 22.10.2015: Bornes sur les restes de séries solutions d'équations différentielles
- 24.09.2015: Pattern formation in a coupled Brusselator model
- 10.09.2015: Metalibm: Kalray's side
- 03.07.2015: Investigation of Crouzeix’s Conjecture via Nonsmooth Optimization
- 02.07.2015: Computer-aided floating point error analysis and debug
- 18.06.2015: Trois exposés courts (voir détails)
- 04.06.2015: Dilemme du fabricant de tables pour les fonctions transcendantes
- 21.05.2015: Parameterization of Surfaces
- 07.05.2015: Verrou : l'arithmétique stochastique sans recompiler
- 06.05.2015: Diagonalisation parallèle pour le calcul de structure électronique
- 26.03.2015: Reliable evaluation of the Worst-Case Peak Gain matrix in multiple precision
- 05.03.2015: Special functions in the Arb library
- 02.03.2015: The Parks McClellan algorithm: a scalable approach for designing FIR filters
- 26.02.2015: An inverse problem of magnetization in geoscience
- 12.02.2015: New Applications of Semidefinite Programming
- 29.01.2015: Calcul rapide des valeurs propres pour matrices compagnon
- 15.01.2015: Reproducible and Accurate BLAS for ExaScale Computing
- 11.12.2014: Itérations asynchrones des méthodes de décomposition de domaines sur architectures parallèles
- 27.11.2014: Intra-Procedural Optimization of the Numerical Accuracy of Programs
- 13.11.2014: Algèbre linéaire d'intervalles : Qualité Numérique et Hautes Performances sur Processeurs Multi-Cœurs
- 12.11.2014: Big Data Visual Analysis
- 30.10.2014: Metalibm: a code generator for parametrized mathematical functions
- 29.10.2014: Numerical stability of the Gram-Schmidt algorithm
- 16.10.2014: Introduction à Sage
- 20.03.2014: Résolution des systèmes linéaires et non linéaires creux sur clusters de GPUs
- 15.10.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
- 10.05.2012: Etendre le compilateur GCC avec MELT
- 04.12.2008: Journée Thème Emergent --- GDR ASR du CNRS ---Calcul généraliste sur unités graphiques
- 27.05.2008: Interval Arithmetic: Concepts, Theory, Application
- 04.09.2007: Large estimation du mouvement apparent par des fonctions splines vectorielles : application à l'océanographie et à la météorologie
- 23.05.2006: On the algebraic properties of stochastic and interval numbers