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 (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 (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
Conférences

le (1h11m59s)

De l'atome au cristal : les propriétés électroniques des matériaux

Métaux, semi-conducteurs, ou même supraconducteurs transportant un courant électrique sans aucune résistance, les matériaux présentent une diversité de propriétés électroniques remarquable, mise à profit dans de nombreuses applications qui font partie de notre quotidien. La chimie de l'état solide, en explorant les très nombreuses combinaisons entre éléments pour élaborer des structures de plus en plus complexes, nous invite à un véritable jeu de construction avec la matière, source de nouvelles découvertes. En même temps, le développement de techniques permettant d'élaborer, de structurer, et de visualiser ces matériaux à l'échelle de l'atome, ouvre d'immenses perspectives. Des lois de la mécanique quantique ...
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

 
Cerimes