Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 5800
Vidéocours

le (14m4s)

L'Accord de Paris sur le climat et les Objectifs de Développement Durable

Henri Waisman, chercheur à l'Institut de développement durable et des relations internationales (IDDRI), analyse dans cette vidéo (14'04) la relation entre l'Accord de Paris sur le climat et les 17 Objectifs de développement durable, tous deux adoptés en 2015. Il montre que l'atteinte de ces ODD sera d'autant plus difficile que le réchauffement climatique sera important puis étudie les implications, en termes de développement, de différents scénarios visant à atteindre la neutralité carbone en milieu de siècle.
Voir la vidéo
Conférences

le (1h6m24s)

LA SYNTHÈSE DES ÉLÉMENTS LÉGERS DANS L'UNIVERS PRIMORDIAL

L'essentiel de l'hélium présent dans l'Univers est le résultat de réactions nucléaires présentes au cours des 5 premières minutes, et celui-ci constitue le quart de la matière ordinaire de l'Univers. Ces réactions ont été efficaces car dans sa grande jeunesse notre Univers était riche en neutrons. D'autres éléments légers ont également été formés, notamment le deutérium, mais dans des abondances bien inférieures. Observer les abondances des éléments légers nous permet de comprendre cette phase primordiale autrement inaccessible aux observations directes, et ainsi de contraindre ...
Voir la vidéo
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

 
FMSH
 
Facebook Twitter Google+
Mon Compte