Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 394
Conférences

le (1h18m1s)

Self-Supervised Visual Learning and Synthesis

Computer vision has made impressive gains through the use of deep learning models, trained with large-scale labeled data. However, labels require expertise and curation and are expensive to collect. Can one discover useful visual representations without the use of explicitly curated labels? In this talk, I will present several case studies exploring the paradigm of self-supervised learning — using raw data as its own supervision. Several ways of defining objective functions in high-dimensional spaces will be discussed, including the use of General Adversarial Networks (GANs) to learn the objective function directly from the data. Applications of self-supervised learning will be ...
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
Documentaires

le (31m21s)

A la recherche du PLU patrimonial

Le PLU patrimonial existe-t-il ? Que recouvre cette étiquette ? De quels patrimoines parle-t-on ? Pour quelles protections ? Ce documentaire, fruit de 4 ans de recherches, répond à ces questions en partant à la recherche du PLU patrimonial. Une équipe d’une douzaine de chercheurs, géographes, juristes, sociologues ou architectes ont travaillé à l’élaboration d’une méthodologie visant à définir les contours de cet OJNI (objet juridique non identifié). Ce film documentaire synthétise le projet de recherche. Il est complété par 23 capsules vidéos (focus sur le ...
Voir la vidéo
Conférences

le (31m21s)

Programme PLU Patrimonial

PLU PATRIMONIAL est un programme de recherches de l’ANR (Agence Nationale de la Recherche). Ce projet rassemble principalement des géographes et des juristes. Il a pour objectif d’étudier de manière scientifique un instrument appelé « PLU patrimonial » par les acteurs de l’urbanisme et du patrimoine. Cet outil, censé fonctionner sur le terrain, n’a néanmoins pour le moment pas d’existence législative. Le projet PLU PATRIMONIAL va donc définir les contours d’un outil juridique en devenir, le comparer aux instruments sectoriels déjà existants et évaluer ...
Voir la vidéo
Conférences

le (1h4m32s)

CoNeCo: Concurrency, Networks and Coinduction

In recent years, concurrent Kleene algebra (CKA), an extension of Kleene Algebra (KA) that includes concurrent composition as a first-class citizen, has been proposed by Hoare et al. as a setting to study the algebraic properties of concurrent composition as an operator on programs.  Orthogonally, based on KA, Foster et al proposed NetKAT, a domain-specific language that can be used to program and verify policies of Software Defined Networks. in this talk, we will show how to develop a concurrent extension of NetKAT based on CKA, which supports expressing and verifying the concurrent filtering of packets — on the same ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte