3 ressources en auto-formation : treillis de Galois

FILTRES

3 résultats
page 1 sur 1
Résultats de 1 à 3
Présentation de la ressource en auto-formation Emois Nancy 2009 : Evaluation de la qualité des données des RSA cours / présentation
05/03/2009
Emois Nancy 2009 : Evaluation de la qualité des données des RSA
Auteur(s) : JAY Nicolas, KOHLER François
Description : Emois Nancy 2009 : PMSI et épidémiologie Comment évaluer la qualité des données de bases régionales ou nationales des RSA en vue d'une utilisation épidémiologique à partir de l'analyse formelle de concept et des treillis de Galois. N. Jay, F. Kohler SCD Médecine.
Présentation de la ressource en auto-formation Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie cours / présentation
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie
Auteur(s) : GIRAULT Alain, JEANNET Bertrand
Description : Nous présentons les systèmes embarqués critiques et les exigences qui leur sont liées : dans certains cas (nucléaire, avionique, santé) aucun bug n'est accepté. Puis nous présentons l'analyse statique, que nous illustrons sur un exemple de programme. Nous montrons que pour analyser des variables ...
Présentation de la ressource en auto-formation Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie cours / présentation
Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie
Auteur(s) : GIRAULT Alain, JEANNET Bertrand
Description : Nous présentons les systèmes embarqués critiques et les exigences qui leur sont liées : dans certains cas (nucléaire, avionique, santé) aucun bug n'est accepté. Puis nous présentons l'analyse statique, que nous illustrons sur un exemple de programme. Nous montrons que pour analyser des variables ...