Informatique et sciences numériques

Informatique et sciences numériques

Follow Informatique et sciences numériques
Share on
Copy link to clipboard

Yann LeCun est un chercheur en intelligence artificielle, apprentissage machine, vision artificielle et robotique, diplômé de l'École supérieure d'ingénieurs en électronique et électrotechnique (ESIEE) de Paris et de l'Université Pierre et Marie Curie. Il devient chercheur aux Bell Laboratories en 1…

Yann LeCun


    • Apr 18, 2016 LATEST EPISODE
    • infrequent NEW EPISODES
    • 1h 8m AVG DURATION
    • 57 EPISODES


    Search for episodes from Informatique et sciences numériques with a specific topic:

    Latest episodes from Informatique et sciences numériques

    08 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Apr 18, 2016 89:12


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    08 - L'apprentissage profond

    Play Episode Listen Later Apr 18, 2016 89:12


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    08 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Apr 18, 2016 89:12


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    08 - L'apprentissage profond

    Play Episode Listen Later Apr 18, 2016 89:12


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    08 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Apr 15, 2016 89:12


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    08 - L'apprentissage profond

    Play Episode Listen Later Apr 15, 2016 89:12


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    07 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Apr 12, 2016 60:36


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    07 - L'apprentissage profond

    Play Episode Listen Later Apr 12, 2016 60:36


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    07 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Apr 12, 2016 60:36


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    07 - L'apprentissage profond

    Play Episode Listen Later Apr 12, 2016 60:36


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    07 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Apr 8, 2016 60:36


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    07 - L'apprentissage profond

    Play Episode Listen Later Apr 8, 2016 60:36


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    06 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Apr 5, 2016 53:58


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    06 - L'apprentissage profond

    Play Episode Listen Later Apr 5, 2016 53:58


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    06 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Apr 5, 2016 53:58


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    06 - L'apprentissage profond

    Play Episode Listen Later Apr 5, 2016 53:58


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    06 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Apr 1, 2016 53:58


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    06 - L'apprentissage profond

    Play Episode Listen Later Apr 1, 2016 53:58


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    05 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Mar 29, 2016 24:07


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    05 - L'apprentissage profond

    Play Episode Listen Later Mar 29, 2016 24:07


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    05 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Mar 29, 2016 24:07


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    05 - L'apprentissage profond

    Play Episode Listen Later Mar 29, 2016 24:07


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    05 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Mar 25, 2016 24:07


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    05 - L'apprentissage profond

    Play Episode Listen Later Mar 25, 2016 24:07


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    04 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Mar 7, 2016 58:32


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    04 - L'apprentissage profond

    Play Episode Listen Later Mar 7, 2016 58:32


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    04 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Mar 7, 2016 58:32


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    04 - L'apprentissage profond

    Play Episode Listen Later Mar 7, 2016 58:32


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    04 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Mar 4, 2016 58:32


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    04 - L'apprentissage profond

    Play Episode Listen Later Mar 4, 2016 58:32


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    03 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Mar 1, 2016 64:06


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    03 - L'apprentissage profond

    Play Episode Listen Later Mar 1, 2016 64:06


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    02 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Mar 1, 2016 62:29


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    02 - L'apprentissage profond

    Play Episode Listen Later Mar 1, 2016 62:29


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    03 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Mar 1, 2016 64:06


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    03 - L'apprentissage profond

    Play Episode Listen Later Mar 1, 2016 64:06


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    02 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Mar 1, 2016 62:29


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    02 - L'apprentissage profond

    Play Episode Listen Later Mar 1, 2016 62:29


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    03 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Feb 26, 2016 64:06


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    03 - L'apprentissage profond

    Play Episode Listen Later Feb 26, 2016 64:06


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    01 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Feb 19, 2016 101:44


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    01 - L'apprentissage profond

    Play Episode Listen Later Feb 19, 2016 101:44


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    01 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Feb 19, 2016 101:44


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    01 - L'apprentissage profond

    Play Episode Listen Later Feb 19, 2016 101:44


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    02 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Feb 19, 2016 62:29


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    02 - L'apprentissage profond

    Play Episode Listen Later Feb 19, 2016 62:29


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    01 - L'apprentissage profond - VIDEO

    Play Episode Listen Later Feb 12, 2016 101:44


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    01 - L'apprentissage profond

    Play Episode Listen Later Feb 12, 2016 101:44


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle

    Leçon inaugurale : L'apprentissage profond : une révolution en intelligence artificielle - VIDEO

    Play Episode Listen Later Feb 5, 2016 90:16


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle Leçon inaugurale Ce dernier cours de 2014-2015 introduit les méthodes implicites de manipulation de systèmes de transitions, à travers les méthodes de calcul booléen utilisées à la fois pour la vérification formelles et pour l’optimisation de circuits électroniques et de programmes qui peuvent se réduire au calcul booléen. Ces méthodes ont révolutionné le domaine en permettant des vérifications formelles de systèmes dont le calcul explicite des états et transitions est impossible, car la taille des formules manipulées par les méthodes implicites est largement indépendante de celle des systèmes qu’ils décrivent. Nous expliquons d’abord les codages booléens d’ensembles, de relations et de fonctions, et montrons comment calculer l’image directe et l’image inverse de sous-ensembles par des fonctions. Nous étudions ensuite les codages booléens d’automates déterministes et non-déterministes, ainsi que leurs implémentations en circuits électroniques. Nous rappelons le fait que le circuit canoniquement associé à un automate non-déterministe est lui déterministe comme tous les circuits combinatoirement acycliques, ce qui montre clairement que le qualificatif « non-déterminisme » est particulièrement mal choisi : en vérification booléenne comme en optimisation de circuits, il est inutile de déterminiser les automates, et c’est souvent nuisible à cause de l’explosion exponentielle que la déterminisation peut produire. Nous montrons comment la vérification formelle de propriétés de sûreté définies par des observateurs se réduit au calcul des états accessibles, et comment effectuer ce calcul de manière implicite. Nous introduisons la première structure fondamentale du calcul booléen, les Binary Decision Diagrams, développés par R. Bryant au milieu des années 1980 (et indépendamment par J-P. Billion chez Bull en France), et expliquons pourquoi ils permettent de faire les calculs nécessaires au passage à la grande échelle; nous mentionnons leurs limitations, qui sont inévitables car le calcul booléen est NP-complet. Les BDDs seront étudiés beaucoup plus en profondeur dans le cours 2015-2015. Pour terminer, nous montrons que le codage booléen permet de réaliser des optimisations très efficaces des circuits engendrés par les programmes Esterel. Nous insistons sur le fait que la structure du langage source et la façon d’y programmer les applications sont essentiels pour la qualité de l’optimisation finale : c’est grâce à l’interaction de la séquence, du parallélisme et de la préemption hiérarchique des comportements que les circuits engendrés par Esterel sont systématiquement meilleurs que ceux programmés et optimisés par les méthodes classiques, au moins en ce qui concerne leurs parties contrôle.

    Leçon inaugurale : L'apprentissage profond : une révolution en intelligence artificielle - PDF

    Play Episode Listen Later Feb 5, 2016 90:16


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle Leçon inaugurale Ce dernier cours de 2014-2015 introduit les méthodes implicites de manipulation de systèmes de transitions, à travers les méthodes de calcul booléen utilisées à la fois pour la vérification formelles et pour l’optimisation de circuits électroniques et de programmes qui peuvent se réduire au calcul booléen. Ces méthodes ont révolutionné le domaine en permettant des vérifications formelles de systèmes dont le calcul explicite des états et transitions est impossible, car la taille des formules manipulées par les méthodes implicites est largement indépendante de celle des systèmes qu’ils décrivent. Nous expliquons d’abord les codages booléens d’ensembles, de relations et de fonctions, et montrons comment calculer l’image directe et l’image inverse de sous-ensembles par des fonctions. Nous étudions ensuite les codages booléens d’automates déterministes et non-déterministes, ainsi que leurs implémentations en circuits électroniques. Nous rappelons le fait que le circuit canoniquement associé à un automate non-déterministe est lui déterministe comme tous les circuits combinatoirement acycliques, ce qui montre clairement que le qualificatif « non-déterminisme » est particulièrement mal choisi : en vérification booléenne comme en optimisation de circuits, il est inutile de déterminiser les automates, et c’est souvent nuisible à cause de l’explosion exponentielle que la déterminisation peut produire. Nous montrons comment la vérification formelle de propriétés de sûreté définies par des observateurs se réduit au calcul des états accessibles, et comment effectuer ce calcul de manière implicite. Nous introduisons la première structure fondamentale du calcul booléen, les Binary Decision Diagrams, développés par R. Bryant au milieu des années 1980 (et indépendamment par J-P. Billion chez Bull en France), et expliquons pourquoi ils permettent de faire les calculs nécessaires au passage à la grande échelle; nous mentionnons leurs limitations, qui sont inévitables car le calcul booléen est NP-complet. Les BDDs seront étudiés beaucoup plus en profondeur dans le cours 2015-2015. Pour terminer, nous montrons que le codage booléen permet de réaliser des optimisations très efficaces des circuits engendrés par les programmes Esterel. Nous insistons sur le fait que la structure du langage source et la façon d’y programmer les applications sont essentiels pour la qualité de l’optimisation finale : c’est grâce à l’interaction de la séquence, du parallélisme et de la préemption hiérarchique des comportements que les circuits engendrés par Esterel sont systématiquement meilleurs que ceux programmés et optimisés par les méthodes classiques, au moins en ce qui concerne leurs parties contrôle.

    Leçon inaugurale : L'apprentissage profond : une révolution en intelligence artificielle

    Play Episode Listen Later Feb 5, 2016 90:16


    Yann LeCun Informatique et sciences numériques Chaire annuelle en partenariat avec l'Inria Année 2015-2016 L'apprentissage profond : une révolution en intelligence artificielle Leçon inaugurale Ce dernier cours de 2014-2015 introduit les méthodes implicites de manipulation de systèmes de transitions, à travers les méthodes de calcul booléen utilisées à la fois pour la vérification formelles et pour l’optimisation de circuits électroniques et de programmes qui peuvent se réduire au calcul booléen. Ces méthodes ont révolutionné le domaine en permettant des vérifications formelles de systèmes dont le calcul explicite des états et transitions est impossible, car la taille des formules manipulées par les méthodes implicites est largement indépendante de celle des systèmes qu’ils décrivent. Nous expliquons d’abord les codages booléens d’ensembles, de relations et de fonctions, et montrons comment calculer l’image directe et l’image inverse de sous-ensembles par des fonctions. Nous étudions ensuite les codages booléens d’automates déterministes et non-déterministes, ainsi que leurs implémentations en circuits électroniques. Nous rappelons le fait que le circuit canoniquement associé à un automate non-déterministe est lui déterministe comme tous les circuits combinatoirement acycliques, ce qui montre clairement que le qualificatif « non-déterminisme » est particulièrement mal choisi : en vérification booléenne comme en optimisation de circuits, il est inutile de déterminiser les automates, et c’est souvent nuisible à cause de l’explosion exponentielle que la déterminisation peut produire. Nous montrons comment la vérification formelle de propriétés de sûreté définies par des observateurs se réduit au calcul des états accessibles, et comment effectuer ce calcul de manière implicite. Nous introduisons la première structure fondamentale du calcul booléen, les Binary Decision Diagrams, développés par R. Bryant au milieu des années 1980 (et indépendamment par J-P. Billion chez Bull en France), et expliquons pourquoi ils permettent de faire les calculs nécessaires au passage à la grande échelle; nous mentionnons leurs limitations, qui sont inévitables car le calcul booléen est NP-complet. Les BDDs seront étudiés beaucoup plus en profondeur dans le cours 2015-2015. Pour terminer, nous montrons que le codage booléen permet de réaliser des optimisations très efficaces des circuits engendrés par les programmes Esterel. Nous insistons sur le fait que la structure du langage source et la façon d’y programmer les applications sont essentiels pour la qualité de l’optimisation finale : c’est grâce à l’interaction de la séquence, du parallélisme et de la préemption hiérarchique des comportements que les circuits engendrés par Esterel sont systématiquement meilleurs que ceux programmés et optimisés par les méthodes classiques, au moins en ce qui concerne leurs parties contrôle.

    Claim Informatique et sciences numériques

    In order to claim this podcast we'll send an email to with a verification link. Simply click the link and you will be able to edit tags, request a refresh, and other features to take control of your podcast page!

    Claim Cancel