Identification de la formation
Code de formation: 
7677
Domaine - Formacode: 
information scientifique et technique

Quel peut etecirc;tre le point commun entre un.e biologiste, un.e chimiste, un.e eteacute;conomiste et un.e chercheur.se en neurosciences? Ce qui pourrait deteacute;buter comme une plaisanterie belge renvoie en fait etagrave; un contexte de crise profonde. Dans chacune de ces disciplines (et det#39;autres encore, la liste des domaines affecteteacute;s net#39;est pas exhaustive), on constate des difficulteteacute;s majeures pour obtenir les metecirc;mes reteacute;sultats en recourant pourtant etagrave; un metecirc;me traitement de calcul. La probleteacute;matique du calcul numeteacute;rique pose en effet la question de la reproductibiliteteacute; de la recherche en termes profondeteacute;ment transdisciplinaires.

Alors que les algorithmes jouent un retocirc;le central dans la production des savoirs scientifiques, on constate que leur utilisation a en quelque sorte obliteteacute;reteacute; les questions meteacute;thodologiques, ainsi que le souligne Plesser :

Since digital computers are exact machines, practitioners apparently assumed that results obtained by computer could be trusted, provided that the principal algorithms and methods employed were suitable to the problem at hand. Little attention was paid to the correctness of implementation, potential for error, or variation introduced by system soft- and hardware, and to how difficult it could be to actually reconstruct after some yearsetmdash;or even weeksetmdash;how precisely one had performed a computational experiment. (Plesser, 2018, p. 1)

Or, une faible attention porteteacute;e aux traitements appliqueteacute;s aux donneteacute;es peut avoir des conseteacute;quences en chaeticirc;ne dramatiques, que let#39;on travaille de manietegrave;re collective ou individuelle :

[ethellip;] because software is often used for more than a single project, and is often reused by other scientists, computing errors can have disproportionnate impacts on scientific process.etnbsp; (Wilson et al., 2014, p. 1)

En outre, la recherche de performance peut sembler dans certains cas entrer en concurrence avec un objectif de reproductibiliteteacute;, pourtant central dans les processus de validation et de fiabilisation.

Comment mesurer la preteacute;cision de reteacute;sultats numeteacute;riques? Comment identifier et remeteacute;dier aux causes det#39;impreteacute;cision sans renoncer etagrave; une vitesse de calcul adapteteacute;e aux besoins de sa discipline?

Le stage metecirc;le appports meteacute;thodologiques et TP.

Intervenant : professeur en informatique, Steff Graillat est responsable de let#39;eteacute;quipe PEQUAN (Performance and Quality of Numerical Algorithms). Ses thetegrave;mes de recherche sont :

Arithmeteacute;tique des ordinateurs, arithmeteacute;tique det#39;intervalles
Qualiteteacute; numeteacute;rique des logiciels scientifiques, analyse det#39;erreurs
Algetegrave;bre lineteacute;aire numeteacute;rique, algorithmique numeteacute;rique
Calcul formel, algetegrave;bre polynomiale

Contenus pédagogiques
Objectifs: 
Appreteacute;hender les liens entre reproductibiliteteacute; et justesse du reteacute;sultat Approfondir la compreteacute;hension de let#39;arithmeteacute;tique des ordinateurs Comprendre le fonctionnement des briques algorithmiques de base permettant det#39;ameteacute;liorer la qualiteteacute; des codes : algorithmes compenseteacute;s, preteacute;cision eteacute;tendue, accumulateurs de Kulisch, etc. Savoir impleteacute;menter ces meteacute;thodes dans un code HPC (ex. algorithmes de type BLAS1/BLAS2) Let#39;objectif geteacute;neteacute;ral du stage est de permettre aux participants de corriger les probletegrave;mes de code de calcul haute performance, sans sacrifier la rapiditeteacute; du calcul. Pour qui?etnbsp; Ingeteacute;nieurs, doctorants, chercheurs ayant quelques connaissances en matheteacute;matiques et en programmation. Des rappels sont preteacute;vus, mais les inscrits doivent deteacute;jetagrave; avoir une pratique de la programmation et un recours reteacute;gulier aux matheteacute;matiques.
Public visé: 
tout public
Résultats attendus de la formation: 
Appreteacute;hender les liens entre reproductibiliteteacute; et justesse du reteacute;sultat Approfondir la compreteacute;hension de let#39;arithmeteacute;tique des ordinateurs Comprendre le fonctionnement des briques algorithmiques de base permettant det#39;ameteacute;liorer la qualiteteacute; des codes : algorithmes compenseteacute;s, preteacute;cision eteacute;tendue, accumulateurs de Kulisch, etc. Savoir impleteacute;menter ces meteacute;thodes dans un code HPC (ex. algorithmes de type BLAS1/BLAS2) Let#39;objectif geteacute;neteacute;ral du stage est de permettre aux participants de corriger les probletegrave;mes de code de calcul haute performance, sans sacrifier la rapiditeteacute; du calcul. Pour qui?etnbsp; Ingeteacute;nieurs, doctorants, chercheurs ayant quelques connaissances en matheteacute;matiques et en programmation. Des rappels sont preteacute;vus, mais les inscrits doivent deteacute;jetagrave; avoir une pratique de la programmation et un recours reteacute;gulier aux matheteacute;matiques.
Modalités d'alternance: 
pas d'alternance
Conditions spécifiques: 
Connaissances de base en mathématiques et en programmation : des rappels sont prévus ; niveau ingénieurs, doctorants, chercheurs ayant quelques connaissances en mathématiques et en programmation
Déroulement du stage
Modalités d'enseignement: 
Formation entièrement présentielle
Durée (heures): 
6 heures
Période de formation: 
Ve, 12/04/2019
Inscription
Période d`inscription: 
Ve, 12/04/2019 - Je, 11/04/2019
Prise en charge des frais de formation possible: 
Oui
Contact de l'action de formation: 

URFIST de Bordeaux (4 avenue Denis Diderot 33607 PESSAC)

Nom: 
URFIST de Bordeaux
Adresse: 
4 avenue Denis Diderot
Code postal: 
33607
Ville: 
PESSAC
Téléphone fixe: 
05 56 84 29 19
Fax: 
05 56 84 86 96
Courriel: 
urfist@u-bordeaux.fr
Web: 
weburfist.univ-bordeaux.fr/
Région: 
Aquitaine
Organisme formateur: 
URFIST de Bordeaux
Organisme de formation: 
URFIST de Bordeaux
Domaine - NSF: 
325
Domaine - Rome: 
32214
Niveau à l'entrée en formation: 
Information non communiquée
Niveau à l'entrée en formation obligatoire: 
Non
Formation certifiante: 
Non
Rythme de la formation: 
Temps plein
Modalités d'entrée sortie: 
Entrées / sorties à dates fixes
Langue utilisée lors de la formation: 
Français