Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 1385
Conférences

le (1h8m54s)

Theoretical Foundations for Runtime Monitoring

Runtime monitoring/verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel questions to software engineers: it is not easy to see which specifications are amenable to runtime monitoring, and it is not clear which monitors perform the required runtime analysis correctly. In this talk, I will present a theoretical framework that can be used to provide answers to those questions. I will view monitorability as a spectrum: the fewer monitor guarantees are required, the more properties become monitorable. I will then present a monitorability hierarchy ...
Voir la vidéo
Conférences

le (1h15m23s)

LE SATELLITE GAIA, À LA RECHERCHE DU PRÉSENT ET DU PASSÉ DE LA VOIE LACTÉE

La mission astrométrique Gaia, lancée par l'Agence Spatiale Européenne en 2013, est en train de cartographier en 3D plus d'un milliard d'objets de notre Galaxie, avec une précision inégalée. Pour la première fois, nous avons accès aux mouvements de plusieurs millions d'étoiles, bien au-delà du voisinage solaire, alors que jusqu'à présent ces mesures n'étaient possibles qu'à proximité de notre étoile, le Soleil. Je présenterai les nombreuses premières découvertes de la mission Gaia, et en particulier la façon dont Gaia a permis de « peser » la ...
Voir la vidéo
Documentaires

le (27m51s)

Les couleurs de la découverte

Le film retrace les 5 rencontres inédites entre habitant.es de Villejuif, qui ont eu lieu au printemps 2019 à la Médiathèque Elsa-Triolet de Villejuif, dans le cadre des 80 ans. De quoi explorer par un angle original 10 découvertes scientifiques qui ont marqué la dernière décennie de la circonscription, dans tous les champs disciplinaires investis par le CNRS : Quelles sont ces découvertes ? Comment y est-on parvenu ? Quelles étaient les motivations ? Quel est l'impact dans la société ? Thèmes des rencontres : Comment se forme l'intime ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte