Canal-U

 

Résultats de recherche

Nombre de programmes trouvés : 12
Label UNT Conférences

le (18m7s)

ADELF-EMOIS 2012 – Non suivi des recommandations de prise en charge du cancer du sein : quels sont les profils des patientes à risque avec et sans le système d’aide à la décision OncoDoc2 ?

... les treillis exploitables a été développée.RésultatsNous avons recueilli 22 et 69 décisions dans les périodes « sans » (3 mois), respectivement « avec » (10 mois). Le taux de conformité des décisions au référentiel montre une progression significative...
Voir la vidéo
Label UNT Conférences

le (20m31s)

La biodynamie dans le vignoble: deux exemples concrets à Bordeaux

LE VIN SE MET AU VERT: ATTENTES DES MARCHES, ASPECTS REGLEMENTAIRES ET TECHNIQUES  11e Matinée des Oenologues >> Expériences croisées Jean-Michel Comme, La biodynamie dans le vignoble: deux exemples concrets à Bordeaux.Un des intérêts de la biodynamie réside dans le fait qu’on envisage le vivant dans sa globalité et sa complexité. En viticulture, qualité et relations avec les « pathogènes » ne sont que deux aspects de la même connaissance de l’endroit ; c’est-à-dire du terroir avec le cépage qui y est cultivé. Pour Jean-Michel Comme, ingénieur œnologue, plus qu’une simple technique, c’est avant tout une philosophie de vie.
Voir la vidéo
Label UNT Conférences

le (59m3s)

Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 1ère partie

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 numériques (entiers et réels) il faut utiliser des notions géométriques telles que les intervalles et les polygones. Nous montrons ensuite que l'analyse des boucles (boucles while et boucles for) requiert des techniques d'accélération. Nous terminons avec des exercices réalisés avec l'outil concurinterproc qui permet d'analyser un programme et de démontrer des propriétés essentielles pour garantir l'absence de bug.
Voir la vidéo
Label UNT Conférences

le (57m20s)

Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie

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 numériques (entiers et réels) il faut utiliser des notions géométriques telles que les intervalles et les polygones. Nous montrons ensuite que l'analyse des boucles (boucles while et boucles for) requiert des techniques d'accélération. Nous terminons avec des exercices réalisés avec l'outil concurinterproc qui permet d'analyser un programme et de démontrer des propriétés essentielles pour garantir l'absence de bug.
Voir la vidéo
Label UNT Conférences

le (1h20m24s)

Pourquoi les particules ont une masse ?

Le monde des particules élémentaires et de leurs interactions est décrit par ce qu'on appelle le Modèle Standard. L'auteur rappellera les propriétés des constituants de la matière, et les mystères qui demeurent, en particulier concernant leurs masses. Les grands principes d'invariance qui sont à la base du Modèle Standard seront expliqués. Conduisant à un monde de particules de masse nulle, ils doivent être complétés par un mécanisme de génération de ces masses, comme le mécanisme de Higgs. Ce mécanisme sera décrit, en s'appuyant sur diverses analogies avec des effets plus familiers. Les propriétés du vide quantique seront progressivement dégagées et ...
Voir la vidéo
Label UNT Conférences

le (1h21m5s)

Qu'est-ce qu'une particule ? (les interactions des particules)

En principe, une particule élémentaire est un constituant de la matière (électron par exemple) ou du rayonnement (photon) qui n'est composé d'aucun autre constituant plus élémentaire. Une particule que l'on croit élémentaire peut par la suite se révéler composée, le premier exemple rencontrée ayant été l'atome, qui a fait mentir son nom dès le début du XXe siècle. Nous décrirons d'abord l'état présent des connaissances, résultat des quarante dernières années de poursuite de l'ultime dans la structure intime de la matière, de l'espace et du temps, qui ont bouleverse notre vision de l'infiniment petit. Puis, nous essaierons de conduire l'auditeur ...
Voir la vidéo

 
Cerimes