Stéphane Mallat - 01 - L'apprentissage par réseaux de neurones profonds
Xavier Leroy - 10 - Qu'est-ce que l'égalité ? De Leibniz à la théorie homotopique des types - VIDEO
Xavier Leroy - 10 - Qu'est-ce que l'égalité ? De Leibniz à la théorie homotopique des types
Françoise Combes - 08 - Diagnostics cosmologiques - VIDEO
Françoise Combes - 08 - Diagnostics cosmologiques
Rachid Guerraoui - 06 - Le consensus indulgent - VIDEO
Rachid Guerraoui - 06 - Le consensus indulgent
Xavier Leroy - 09 - Sisyphe heureux : types infinis, démonstrations par coinduction, et programmation réactive - VIDEO
Xavier Leroy - 09 - Sisyphe heureux : types infinis, démonstrations par coinduction, et programmation réactive