Synopsis
Collège de France (Sciences et technologies)
Episodes
-
11 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
30/01/2019 Duration: 01h01minXavier Leroy Collège de France Science du logiciel Année 2018-2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
-
02 - L'apprentissage par réseaux de neurones profonds
30/01/2019 Duration: 01h32minStéphane Mallat Collège de France Science des données Année 2018-2019 L'apprentissage par réseaux de neurones profonds Les réseaux de neurones profonds ont des applications spectaculaires mais sont encore mal compris d'un point de vue mathématiques. Le cours présentera des applications ainsi que les outils algorithmiques et mathématiques permettant d'aborder l'analyse de ces réseaux. De nombreuses questions ouvertes seront discutées. Chaque cours est suivi de présentations de challenges de données ou de séminaires d'intervenants extérieurs sur une application des réseaux de neurones profonds. Le cours abordera successivement les sujets suivants : Applications des réseaux de neurones en vision, audition, physique, langage naturel... Réduction de la dimensionnalité : symétries, décompositions multi-échelles, et parcimonie Les origines des réseaux de neurones : la cybernétique et le perceptron Universalité d'un réseau à deux couches Approximations de fonctions : malédiction de la dimensionnalité Approximations
-
09 - Amas de Galaxies et grandes structures de l'Univers
28/01/2019 Duration: 56minFrançoise Combes Collège de France Galaxies et cosmologie Année 2018 - 2019 Amas de Galaxies et grandes structures de l'Univers
-
01 - L'apprentissage par réseaux de neurones profonds
23/01/2019 Duration: 01h33minStéphane Mallat Collège de France Science des données Année 2018-2019 L'apprentissage par réseaux de neurones profonds Les réseaux de neurones profonds ont des applications spectaculaires mais sont encore mal compris d'un point de vue mathématiques. Le cours présentera des applications ainsi que les outils algorithmiques et mathématiques permettant d'aborder l'analyse de ces réseaux. De nombreuses questions ouvertes seront discutées. Chaque cours est suivi de présentations de challenges de données ou de séminaires d'intervenants extérieurs sur une application des réseaux de neurones profonds. Le cours abordera successivement les sujets suivants : Applications des réseaux de neurones en vision, audition, physique, langage naturel... Réduction de la dimensionnalité : symétries, décompositions multi-échelles, et parcimonie Les origines des réseaux de neurones : la cybernétique et le perceptron Universalité d'un réseau à deux couches Approximations de fonctions : malédiction de la dimensionnalité Approximations
-
10 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
23/01/2019 Duration: 01h07minXavier Leroy Collège de France Science du logiciel Année 2018-2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
-
08 - Amas de Galaxies et grandes structures de l'Univers
21/01/2019 Duration: 01h33sFrançoise Combes Collège de France Galaxies et cosmologie Année 2018 - 2019 Amas de Galaxies et grandes structures de l'Univers
-
06 - Algorithmique répartie
18/01/2019 Duration: 50minRachid Guerraoui Collège de France Informatique et sciences numériques (2018-2019) Année 2018-2019 Algorithmique répartie
-
09 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
16/01/2019 Duration: 01h08minXavier Leroy Collège de France Science du logiciel Année 2018-2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
-
07 - Amas de Galaxies et grandes structures de l'Univers
14/01/2019 Duration: 58minFrançoise Combes Collège de France Galaxies et cosmologie Année 2018 - 2019 Amas de Galaxies et grandes structures de l'Univers
-
08 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
09/01/2019 Duration: 01h59sXavier Leroy Collège de France Science du logiciel Année 2018-2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
-
07 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
09/01/2019 Duration: 01h14sXavier Leroy Collège de France Science du logiciel Année 2018-2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
-
06 - Amas de Galaxies et grandes structures de l'Univers
07/01/2019 Duration: 01h02minFrançoise Combes Collège de France Galaxies et cosmologie Année 2018 - 2019 Amas de Galaxies et grandes structures de l'Univers
-
05 - Algorithmique répartie
21/12/2018 Duration: 53minRachid Guerraoui Collège de France Informatique et sciences numériques (2018-2019) Année 2018-2019 Algorithmique répartie
-
06 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
19/12/2018 Duration: 01h06minXavier Leroy Collège de France Science du logiciel Année 2018-2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
-
05 - Amas de Galaxies et grandes structures de l'Univers
17/12/2018 Duration: 01h01minFrançoise Combes Collège de France Galaxies et cosmologie Année 2018 - 2019 Amas de Galaxies et grandes structures de l'Univers
-
05 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
12/12/2018 Duration: 01h09minXavier Leroy Collège de France Science du logiciel Année 2018-2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
-
04 - Amas de Galaxies et grandes structures de l'Univers
10/12/2018 Duration: 01h31sFrançoise Combes Collège de France Galaxies et cosmologie Année 2018 - 2019 Amas de Galaxies et grandes structures de l'Univers
-
04 - Algorithmique répartie
07/12/2018 Duration: 54minRachid Guerraoui Collège de France Informatique et sciences numériques (2018-2019) Année 2018-2019 Algorithmique répartie
-
04 - Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
05/12/2018 Duration: 01h07minXavier Leroy Collège de France Science du logiciel Année 2018-2019 Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui
-
03 - Amas de Galaxies et grandes structures de l'Univers
03/12/2018 Duration: 01h02minFrançoise Combes Collège de France Galaxies et cosmologie Année 2018 - 2019 Amas de Galaxies et grandes structures de l'Univers