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