Categorical semantics of a simple differential programming language

Autor: Dorette Pronk, Geoffrey Cruttwell, Jonathan Gallagher

With the increased interest in machine learning, and deep learning in particular, the use of automatic differentiation has become more wide-spread in computation. There have been two recent developments to provide the theoretical support for this typ

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::da7a0bc3acdd83c9fa6346f9a3fd19df
http://arxiv.org/abs/2101.10491

Differentiation in probabilistic coherence spaces

Autor: Ehrhard, Thomas

Publikováno v: Tangent Categories and their Applications
Tangent Categories and their Applications, Robin Cockett (University of Calgary), Kristine Bauer (University of Calgary), Geoffrey Cruttwell (Mount Allison University), Jun 2021, online, Canada

International audience; Probabilistic coherence spaces are a model of classical linear logic but not a model of differential linear logic. Nevertheless differentiation is a perfectly meaningful operation in this model. I will explain its meaning, som

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::11f7abe2e987778e3e7a172fa72c6fdc
https://hal.archives-ouvertes.fr/hal-03425428

Fundamentals of Computation Theory : 23rd International Symposium, FCT 2021, Athens, Greece, September 12–15, 2021, Proceedings

Autor: Evripidis Bampis, Aris Pagourtzis

This book constitutes the proceedings of the 23rd International Symposium on Fundamentals of Computation Theory, FCT 2021, held in Athens, Greece, in September 2021. The 30 full papers included in this volume were carefully reviewed and selected from

Introduction to Linear and Matrix Algebra

Autor: Nathaniel Johnston

This textbook emphasizes the interplay between algebra and geometry to motivate the study of linear algebra. Matrices and linear transformations are presented as two sides of the same coin, with their connection motivating inquiry throughout the book