Canal-U

 

Résultats de recherche

Nombre de programmes trouvés : 12
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 (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 (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
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 (1h25m10s)

Hommes et hominidés

Il s'agit d'explorer la dichotomie entre les grands singes et l'Homme et comment comprendre cette divergence aujourd'hui. En consultant les médias, on voit souvent évoquer le fait que l'Homme partage 99% de son matériel génétique avec le chimpanzé. Les Hommes et les chimpanzés, mais aussi les gorilles, sont extrêmement similaires. Les travaux en biologie moléculaire nous permettent de dire qu'il y a environ 7 millions d'années, à la fin du miocène, les ancêtres des humains, des chimpanzés et des gorilles actuels sont partis sur leurs propres chemins évolutifs et leurs propres régions géographique. Quelles sont les certitudes, les interrogations concernant ...
Voir la vidéo

 
Cerimes