English
Mathematical foundations of automatic differentiation - a tutorial
Virtualconference
Auteurs : Vákár, Matthijs (Auteur de la conférence)
CIRM (Editeur )
65D25 - Numerical differentiation
68Nxx - Software
68Qxx - Theory of computing
Ressources complémentaires :
https://www.cirm-math.fr/RepOrga/2686/Slides/CHAD-part-1.pdf
CIRM (Editeur )
Loading the player...
|
Résumé :
Codes MSC : 65D25 - Numerical differentiation
68Nxx - Software
68Qxx - Theory of computing
Ressources complémentaires :
https://www.cirm-math.fr/RepOrga/2686/Slides/CHAD-part-1.pdf
|
Informations sur la Vidéo
Réalisateur : Hennenfent, GuillaumeLangue : Anglais Date de Publication : 21/02/2022 Date de Captation : 31/01/2022 Sous Collection : Research School Catégorie arXiv : Logic in Computer Science ; Programming Languages Domaine(s) : Informatique Format : MP4 (.mp4) - HD Durée : 01:01:47 Audience : Chercheurs ; Etudiants Science Cycle 2 Download : https://videos.cirm-math.fr/2022-01-31-Vakar.mp4 
|
Informations sur la Rencontre
Nom de la Rencontre : Logique de la programmation probabiliste / Logic of Probabilistic ProgrammingOrganisateurs de la Rencontre : Avanzini, Martin ; Ehrhard, Thomas ; Faggian, Claudia ; Vaux Auclair, Lionel Dates : 31/01/2022 - 04/02/2022 Année de la rencontre : 2022 URL de la Rencontre : https://conferences.cirm-math.fr/2686.html
Données de citation
DOI : 10.24350/CIRM.V.19884003Citer cette vidéo: Vákár, Matthijs (2022). Mathematical foundations of automatic differentiation - a tutorial. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.19884003 URI : http://dx.doi.org/10.24350/CIRM.V.19884003 |
Voir Aussi
- [Multi angle] An introduction to statistical modelling semantics with higher-order measure theory / Auteur de la conférence Kammar, Ohad.
- [Virtualconference] Probabilistic model checking for strategic equilibria-based decision making: Part 1 / Auteur de la conférence Kwiatkowska, Marta.
Bibliographie
Imagette Video
