Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 4650
Conférences

le (55m6s)

Fibres optiques : du sable, de la lumière et… une plage de révolutions !

Conférence "Fibres optiques : du sable, de la lumière et… une plage de révolutions !"Par Wilfried BlancChercheur au CNRS, Université de Nice Sophia AntipolisMardi 20 novembre 2018 - Université de ToulonConférence grand public de vulgarisation destinée aux esprits curieux !Organisée par Alexandre Merlen, Maître de conférences à l’UTLN et par la Société Française de Physique.« Sous les pavés, la plage ! » revendiquait un slogan révolutionnaire de mai 68. Et sous la plage, de silice, ourdissait une autre révolution amorcée deux ans plus tôt, celle des fibres optiques de verre. Grâce aux travaux publiés en 1966 par C. Kao (Prix Nobel de ...
Voir la vidéo
Documentaires

le (9m52s)

La mission Mars Express

Trois laboratoires d’Île-de-France, le LATMOS, l’IAS et le LESIA se sont associés pour la réalisation de trois courts documentaires grand public décrivant le travail commun effectué sur trois missions spatiales : Mars Express (exploration de l’atmosphère et de la surface de Mars), Rosetta (étude de la comète 67P/Tchourioumov-Guérassimenko) et BepiColombo (2018, exploration de la surface et de la magnétosphère de Mercure). Ces films ont été diffusés en avant première le 15 septembre 2019 à l’occasion de l’événement « Face à l’Univers » pour ...
Voir la vidéo
Documentaires

le (9m8s)

La mission BepiColombo

Trois laboratoires d’Île-de-France, le LATMOS, l’IAS et le LESIA se sont associés pour la réalisation de trois courts documentaires grand public décrivant le travail commun effectué sur trois missions spatiales : Mars Express (exploration de l’atmosphère et de la surface de Mars), Rosetta (étude de la comète 67P/Tchourioumov-Guérassimenko) et BepiColombo (2018, exploration de la surface et de la magnétosphère de Mercure). Ces films ont été diffusés en avant première le 15 septembre 2019 à l’occasion de l’événement « Face à l’Univers » pour ...
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

 
FMSH
 
Facebook Twitter Google+
Mon Compte