Logique de la programmation probabiliste / Logic of Probabilistic Programming

Collection Logique de la programmation probabiliste / Logic of Probabilistic Programming

Organisateur(s) Avanzini, Martin ; Ehrhard, Thomas ; Faggian, Claudia ; Vaux Auclair, Lionel

Date(s) 31/01/2022 - 04/02/2022

URL associée https://conferences.cirm-math.fr/2686.html

00:00:00 / 00:00:00

1 3

Mathematical foundations of automatic differentiation - a tutorial

De Matthijs Vákár

Informations sur la vidéo

Date de captation 31/01/2022
Date de publication 21/02/2022
Institut CIRM
Licence CC BY NC ND
Langue Anglais
Audience Chercheurs, Doctorants
Réalisateur(s) Guillaume Hennenfent
Format MP4

Données de citation

DOI 10.24350/CIRM.V.19884003
Citer cette vidéo Vákár, Matthijs (31/01/2022). Mathematical foundations of automatic differentiation - a tutorial. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.19884003
URL https://dx.doi.org/10.24350/CIRM.V.19884003

Domaine(s)

Codes MSC

Document(s)

https://www.cirm-math.fr/RepOrga/2686/Slides/CHAD-part-1.pdf

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow

Toutes les vidéos de la collection

01:01:47

publiée le 21 février 2022

Mathematical foundations of automatic differentiation - a tutorial

De Matthijs Vákár

01:24:22

publiée le 21 février 2022

Probabilistic model checking for strategic equilibria-based decision making: Part 1

De Marta Kwiatkowska

01:27:38

publiée le 21 février 2022

An introduction to statistical modelling semantics with higher-order measure theory

De Ohad Kammar

Copyright Carmin.tv 2025

Donner son avis