Search results

Abstract Combinatorial maps are discrete surfaces obtained as gluings of polygons. The first enumerative results about them were obtained by Tutte in the 1960's. During the 1980-90's, they were intensively studied in theoretical physics (under various …

Abstract Trance, madness, insanity, angels, intangibility, the shattering of reality, like a fly stubbornly clinging to the invisible pane of metaphysics. The act of leaning towards the vertigo of irrationality as the primary foundation of the shadows …

Abstract If belief in the emancipatory power of sexual liberation has waned today, it may be because the very concept of freedom seems politically compromised. This, at least, is Maggie Nelson's proposal, which we propose to follow here, in a concluding …

Abstract In this talk, I will explain how Witten, at the beginning of the 1990's, computed the symplectic volume of the moduli space of flat connections on a principal bundle over a closed compact surface. Witten's main idea was to approximate the …

Abstract Using Jean Rouch's work as a starting point, explore the gaps where reason finds its way out. Drawing on Henry Corbin's notion of the imaginal , enter into the cadence between waking and sleeping to see the interstice where writing meets its …

Abstract Random geometry involves calculating expectations and probabilities on random geometric objects, typically surfaces (hyperbolic surfaces, discrete surfaces, surfaces immersed in a target space, or carrying certain fields, etc.) Remarkably, the …

Documents and media Download the presentation by Clémentine Bosch-Bouju Abstract of Clémentine Bosch-Bouju's presentation Biomimetic polymers as allies of neuroscience in the development of neurotechnologies Many brain pathologies remain poorly treated, …

Documents and media Download support …

Abstract In this talk I will present several random image models that are else explicit (such as Gaussian models or Boolean models for instance), or more "implicit" (such as images generated by a neural network). I will discuss how these models are used …

Abstract Some geometrical and topological features of the excursions of smooth random fields will be presented, such as their expected Lipschitz-Killing curvatures. The concerned random fields will be Gaussian or Gaussian based, but also shot-noise fields …

Abstract The talk will first introduce unimodular random graphs and give several examples from the theory of point processes, branching processes, random walks and self-similar discrete random sets. Several types of results on these graphs will then be …

Lecture outline  : russell type theory  ; church's λ-calculus notation for functions   ; simple type theory and the HOL system   ; introduction to dependent types, AUTOMATH system   ; uniform treatment of mathematical objects and proofs   ; proof checking …

Abstract The publication of letters from the time of Zimri-Lim began with the corpus of governors' letters : Kibri-Dagan in Terqa and Bahdi-Lim in Mari, then Yaqqim-Addu in Saggaratum. Since then, the dossier has become both richer and more complex : …

Abstract Type 2 diabetes   and obesity are global epidemics, associated with high rates of morbidity and mortality. These diseases significantly reduce patients' life expectancy and represent a major economic burden for public health systems. Often …

Abstract The Human Genome Project ushered in the era of modern human genetics, providing key insights into the structure and content of the genome. However, when it comes to the extent of genetic diversity between individuals or populations, sequencing …

Abstract Content of enhancers and links to transcription factors  ; orthography, syntax and grammar. Genomic topology of enhancers. In this fourth   lesson, the ways in which enhancers can bind transcription factors are described, along with the notion of …

Abstract Type theory was introduced by Bertrand Russell to avoid the paradoxes that arise in mathematics when the notion of a collection of objects is used too naively. This notion of types was refined by the notion of dependent types, with the aim of …