Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Semantically correct automatic differentiation

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

CHAD: Combinatory Homomorphic Automatic Differentiation

Autores: Vákár, Matthijs; Smeding, Tom
Publicado en: TOPLAS, Edición 1, 2022, ISSN 0164-0925
Editor: Association for Computing Machinary, Inc.

Conditional Independence by Typing (se abrirá en una nueva ventana)

Autores: Maria I. Gorinova, Andrew D. Gordon, Charles Sutton, Matthijs Vákár
Publicado en: ACM Transactions on Programming Languages and Systems, 2022, ISSN 0164-0925
Editor: Association for Computing Machinary, Inc.
DOI: 10.1145/3490421

Higher Order Automatic Differentiation of Higher Order Functions

Autores: Huot, Mathieu; Staton, Sam; Vákár, Matthijs
Publicado en: Logical Methods in Computer Science, Edición Volume 18, Edición 1, 2022, ISSN 1860-5974
Editor: Technischen Universitat Braunschweig

Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing

Autores: Mathieu Huot*, Sam Staton*, and Matthijs Vákár* (* equal contribution)
Publicado en: 2020
Editor: Springer

Transforming Probabilistic Programs for Model Checking

Autores: Ryan Bernstein, Matthijs Vákár, and Jeannette Wing
Publicado en: 2020
Editor: ACM

Reverse AD at Higher Types: Pure, Principled and Denotationally Correct

Autores: Matthijs Vákár
Publicado en: 2021
Editor: Springer

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles

Mi folleto 0 0