Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 6236
Conférences

le (1h7m19s)

Cristallographie sous conditions extrêmes de pression

Avec Jean-Paul Itié (Synchrotron SOLEIL) et Alain Polian (IMPMC et Synchrotron SOLEIL) Soumise à des hautes pressions (jusqu’à plusieurs centaines de GPa, i.e. plusieurs millions de fois la pression atmosphérique), la matière subit de profondes modifications structurales, électroniques, optiques (voir figure), …. Le graphite se transforme en diamant (avec l’aide de la température), l’hélium devient solide à 11.5 GPa à température ambiante, …. Dans cet exposé nous présenterons l’intérêt des études sous haute pression dans les différents domaines scientifiques (Physique, Chimie, Biologie, Sciences de la Terre..), nous décrirons les techniques utilisées pour générer de telles pressions et nous ...
Voir la vidéo
Label UNT Conférences

le (41m50s)

Logic-based static analysis for the verification of programs with dynamically allocated data structures

Software development has reached a complexity level that cannot be handled without the aid of computer assisted methods. It is therefore of the highest importance to have rigorous methods and automated techniques for software verification, allowing to ensure a high degree of reliability and of confidence in their behaviors. In this talk, we present logic-based frameworks for automatic verification of programs manipulating dynamically allocated data-structures. We focus on static analysis techniques, that generate assertions about the program’s reachable states using the algorithmic capabilities ...
Voir la vidéo
Conférences

le (1h14m37s)

2015 - Fille ou Garçon, un gène à l’aiguillage

« Fille ou Garçon, un gène à l’aiguillage » par le Professeur Philippe Berta Conférence du Professeur Philippe Berta qui a eu lieu le 17 octobre à 10h à la Faculté des sciences juridiques, politiques et sociales, et qui entre dans le cadre du cycle : " Quand les scientifiques observent le sexe ". Philippe Berta, Professeur des universités, est fondateur et président du conseil scientifique de l’École de l’ADN, secrétaire général du pôle de compétitivité santé Eurobiomed, codécouvreur du gène de ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte