Computer Science Laboratory

Vorträge und Seminare seit 2006

PEQUAN

2022

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

2020

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

2019

2018

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?

2017

2016

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

2015

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

2014

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

2013

2012

10.05.2012: Etendre le compilateur GCC avec MELT

2008

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

2007

04.09.2007: Large estimation du mouvement apparent par des fonctions splines vectorielles : application à l'océanographie et à la météorologie

2006

23.05.2006: On the algebraic properties of stochastic and interval numbers