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 arXiv category : Logic in Computer Science ; Programming Languages Domaine : Computer Science Format : MP4 (.mp4) - HD Durée : 01:01:47 Audience : Researchers ; Graduate Students 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 Congrès : 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
