Canal-U

 

Résultats de recherche

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

 
Cerimes