Search results

Lecture outline: how to represent the notion of equality in type theory; Voevodsky stratification of types; a uniform definition of the notion of equivalence; principle of univalence; application of mathematical structures to the notion of equality and …

Abstract Thermalized elastic membranes show strong scale-dependence of their elastic moduli. A beautiful realization is in the physics of thermalized 2D metamaterials, such as graphene, where thermal effects already set in at microscopic length scales. …

Abstract The study of different types of statuary groups allows us to glimpse, when we know their exact position in a given part of a temple, the role and interference of the figures represented. King and deities For the most part, the statuary group …

Abstract The question of how heritable mutations arise is one of long-standing interest in biology. In the case of bacteria, there was a debate about whether mutations arise as a consequence of adaptation to selective pressure from the environment, or …

Panelists: Ignazio Visco (Banca d'Italia), Céline Antonin (OFCE) and Philine Wildmer (PSE) Moderator: Simon Bunel (Banque de France) …

Abstract This lecture will focus on the paradox of invasions : biological invasions are particularly important, yet little recognized, or even simply known. We will discuss the reasons for this, exploring society's perception of biological invasions, …

Lecture outline: statement of the conjecture that asserts the effectiveness of the univalence principle; presentation of Rafaël Bocquet's proof of this conjecture, which uses most of the notions presented in this …