Algorithm and programming / Algorithmique et programmation

Collection Algorithm and programming / Algorithmique et programmation

Organizer(s) Albert, Luc ; Dorra, Francis ; Petit, Antoine

Date(s) 02/05/2016 - 06/05/2016

linked URL http://conferences.cirm-math.fr/1446.html

00:00:00 / 00:00:00

26 26

La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique

By Gilles Dowek

Also appears in collection : Exposés de recherche

Information about the video

Date of recording 02/05/2017
Date of publication 11/05/2017
Institution CIRM
Licence CC BY NC ND
Language French
Audience Researchers
Director(s) Guillaume Hennenfent
Format MP4

Citation data

DOI 10.24350/CIRM.V.19163803
Cite this video Dowek, Gilles (02/05/2017). La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.19163803
URL https://dx.doi.org/10.24350/CIRM.V.19163803

Domain(s)

MSC codes

Document(s)

http://www.lsv.fr/~dowek/Slides/explication.pdf

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow

All the collection videos

01:09:55

published on August 27, 2014

Introduction à la théorie de la complexité

By Richard Lassaigne

01:09:09

published on May 19, 2015

Exemples de modélisation mathématiques en médecine - partie 1

By Dominique Barbolosi

01:40:37

published on August 25, 2014

Logique épistémique dynamique

By François Schwarzentruber

01:29:32

published on May 19, 2015

Exemples de modélisation mathématiques en médecine - partie 2

By Dominique Barbolosi

01:38:18

published on May 5, 2014

Levez-vous vite, ô nuages désirés !Cloud computing, an introduction

By Luc Bougé

01:31:43

published on May 19, 2015

Une deuxième révolution galiléenne ?

By Gilles Dowek

01:30:50

published on May 19, 2015

Des nombres aux arbres : comment varier ses exemples d'algorithmes ?

By Gilles Dowek

01:57:48

published on May 19, 2016

Buffer overflow ou explication de « une faille de type bufferoverflow peut permettre à un code malicieux d'être éxécuté »

By François Boisson

01:31:21

published on May 19, 2016

Algorithmes d'approximation - Partie 1

By Frédéric Vivien

01:29:25

published on May 11, 2017

L'informatique, de la révolution technique à la révolution mentale

By Gérard Berry

01:41:52

published on May 28, 2014

Apprentissage statistique et big data:notions de base pour l'analyse de données à l'ère du "big data"

By Simon Lacoste-Julien

01:35:01

published on May 19, 2016

Calculer avec des équations différentielles : calculabilité, complexité

By Olivier Bournez

01:20:29

published on May 15, 2018

Affectation dans l'enseignement supérieur : sélection et algorithmes

By Judicaël Courant

01:39:42

published on August 25, 2014

Bases de données

By Benjamin N'Guyen

01:24:07

published on May 19, 2015

La transformée de Hough ... 55 ans plus tard !

By Jean Sequeira

01:27:35

published on May 28, 2014

Sur la création de livres numériques

By Denis Monasse

01:04:46

published on May 19, 2015

Ordonnancement - 1ère partie : ordonnancement sur une machine

By Frédéric Vivien

01:06:36

published on May 19, 2016

Algorithmes d'approximation - Partie 2

By Frédéric Vivien

01:17:19

published on May 19, 2015

Ordonnancement - 2ème partie : ordonnancement sur machines parallèles

By Frédéric Vivien

01:27:39

published on May 19, 2016

Big Data: Tremendous challenges, great solutions

By Luc Bougé

01:17:43

published on May 10, 2018

Méthodes probabilistes

By Marthe Bonamy

02:30:39

published on May 11, 2017

Arithmétique à virgule flottante : plaie ou terrain de jeu ?

By Sylvie Boldo

01:57:31

published on May 11, 2017

L'importance des langages en informatique

By Gérard Berry

01:48:41

published on May 11, 2017

Informatique et physique : quelques interactions

By Gilles Dowek

01:16:20

published on May 15, 2018

SMT solving

By David Monniaux

01:13:28

published on May 11, 2017

La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique

By Gilles Dowek

Copyright Carmin.tv 2024

Give feedback