Sort by
Refine Your Search
-
metric tensor associated with the growth field: The further Ricci is away from zero, the more incompatibility. The goal of this project is to better understand the mechanical origin of residual stress in
-
Inria, the French national research institute for the digital sciences | Paris 15, le de France | France | 2 months ago
-negation, forcing, ...) has made a lot of progresses in the recent years. Further connections with algebra and geometry (category theory, homotopy theory, topos theory, sheaf theory, ...) have also emerged
-
) understanding of the mathematical foundations and principles of Machine Learning, Linear Algebra (vectorial and matricial operations, optimization), with a particular focus on Neural Networks, 3) problem solving
-
Inria, the French national research institute for the digital sciences | Lyon, Rhone Alpes | France | about 1 month ago
, 2 (1), pp.41-62. ⟨inria-00628904⟩ Cyril Cohen, Kazuhiko Sakaguchi, Enrico Tassi. Hierarchy Builder: algebraic hierarchies made easy in Coq with Elpi. FSCD 2020 - 5th International Conference on Formal
-
) forms, Iwasawa theory, algebraic cycles, Shimura varieties, p-adic Hodge theory.. Website for additional job details https://emploi.cnrs.fr/Offres/CDD/UAR822-SOPRIB-008/Default.aspx Work Location(s