Résultats de recherche

Résumé The goal of this talk is to showcase how we can use stochastic processes to study the geometry of surfaces. More precisely, we use the Brownian loop measure to express the lengths of closed geodesics on a hyperbolic surface and zeta-regularized …

Résumé Les cartes combinatoires sont des surfaces discrètes obtenues par recollement de polygones. Les premiers résultats d'énumération les concernant ont été obtenus par Tutte dans les années 1960. Au cours des années 1980-90, elles ont été très étudiées …

Résumé Dans cet exposé, je présenterai la manière dont Witten a calculé, au début des années 1990, le volume symplectique de l'espace des modules de connexions plates sur un fibré principal au-dessus d'une surface compacte sans bord. L'idée principale de …

Résumé La géométrie aléatoire consiste à calculer des espérances et probabilités sur des objets géométriques aléatoires, typiquement des surfaces (surfaces hyperboliques, surfaces discrètes, surfaces immergées dans un espace cible, ou portant certains …

Résumé L’écologie est la science des interactions entre les êtres vivants et leur milieu ; ce milieu est lui-même constitué d’autres êtres vivants, eux-mêmes en interaction avec leur milieu, et d’autres êtres vivants. On voit bien dès la définition de …

Résumé 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 to …

Résumé 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 …

Résumé L'exposé introduira d'abord les graphes aléatoires unimodulaires et donnera plusieurs exemples issus de la théorie des processus ponctuels, des processus de branchement, des marches aléatoires et des ensembles aléatoires discrets auto-similaires. …

Documents et médias Télécharger le support Télécharger l'exemplier …

Résumé Le projet grammateus , en cours de développement à l’Université de Genève, a pour objectif d’offrir une vue d’ensemble des divers types de documents rédigés sur papyrus par les scribes de langue grecque en Égypte. Il repose sur une base de données …

Résumé L’histoire des murailles de Jéricho qui s’écroulent sans intervention militaire, mais suite à un rituel, insiste sur l’importance de l’intervention divine. Archéologiquement, la recherche de ces murailles a été une faillite. Sans doute l’endroit …

Résumé L’ Hymne homérique à Déméter met en scène la colère de la déesse face à l’enlèvement de sa fille par Hadès, avec le consentement de Zeus. Le poème s’inscrit de plain-pied dans le thème de la culture sacrifiante : la grève qu'entame Déméter retirée …

Résumé Organe judiciaire principal des Nations unies, la Cour internationale de Justice occupe à coup sûr une place unique dans le paysage des institutions et des juridictions internationales. C’est en effet la seule juridiction internationale universelle …

Références des œuvres citées dans le cours Oswald de Andrade, Manifeste anthropophage , Dijon, Les presses du réel, 2011 [1928]. David Armitage,  The Declaration of Independence: A Global History , Cambridge (MA), Harvard University Press, 2009. Jean …

Résumé Pourquoi raconter le monde si ce n’est pour le restaurer à chaque fois et le transposer   ? Même les œuvres les plus cruelles portent en elles, du fait même de leur écriture, un acte de générosité. Écrire pour réparer, pour colmater, recoller les …

Résumé Comment l’écriture, même la plus cruelle, porte en elle les germes de l’amour. Transmettre les blessures. Les retransmettre encore. Dire les mots des autres. Écrire «   pour   ». «   Pour   » dans le sens de «   à l’adresse de   » mais aussi dans …

Plan du cours : Curry-Howard   ;  déduction naturelle de Gentzen   ;  définitions inductives suivant Martin-Löf   ;  présentation algébrique de la théorie des types et modèle des termes comme modèle initial   ;  quelques exemples de modèles, en …