POD
Main menu
  •  Lives
  •  Promoted playlists
  • Configuration
  • Log in

 Channel list

 Types of videos

  •  Audio (2)
  •  Other (4521)
  •  Colloque (245)
  •  Conferences (2385)
  •  Documentaries (60)
  •  Institutional movie (208)
  •  Promotional movie (164)
  •  Interview (163)
  •  Students work (260)
  •  relation presse (5)
  •  Learning resources (5789)
  •  Tutorials (504)

 Filters

The videos on the left are automatically sorted according to the filters selected. Check options to adjust results.

 Types
 Disciplines
 Tags
 University course
  1. Home
  2. Videos

39 videos found

 Audio  Video  Statistics views
Loading…
00:03:55
Intervention inaugurale - 4
Intervention inaugurale - 4
00:30:53
Formally verified block optimizations by symbolic execution modulo invariants
Formally verified block optimizations by s…
00:24:48
Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates
Formalizing an Efficient Runtime Assertion…
00:25:34
Execution-time opacity problems in (parametric) timed automata
Execution-time opacity problems in (parame…
00:28:37
Enseignement de la vérification de systèmes réactifs paramétrés
Enseignement de la vérification de système…
00:40:53
Des mouvements collectifs aux systèmes intelligents
Des mouvements collectifs aux systèmes int…
00:46:32
Dépôt d’un package R sur Software Heritage et référencement sur HAL
Dépôt d’un package R sur Software Heritage…
00:30:01
Correlating Test Events With Monitoring Logs For Test Log Reduction And Anomaly Prediction
Correlating Test Events With Monitoring Lo…
00:32:48
CoARA : Coalition For Advancing Research Assessment
CoARA : Coalition For Advancing Research A…
00:23:39
CAISAR : Characterization and Verification of Trustworthiness Properties of Artificial Intelligence
CAISAR : Characterization and Verification…
00:23:33
Approfondir l'intégration matériel/logiciel grâce aux opportunités du matériel open source
Approfondir l'intégration matériel/logicie…
00:19:34
Applying a user-centered approach to the study of interactive properties
Applying a user-centered approach to the s…
More
Loading…

 

Université intégrée

  • Legal Notice
  • Accessibility: Partially compliant
  • Esup Portal
  • Esup-Pod Project

POD video platform of Université intégrée - Release 3.6.1 - 14246 videos available [ 332 days, 12:48:15 ]

We use third party cookies to personalize content, manage session and analyze site traffic.