Résultats de recherche

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é Transe, folie, déraison, ange, intangibilité, fracas de la réalité, telle une mouche s’obstinant contre la vitre invisible de la métaphasique. Acte de se pencher vers le vertige de l’irrationalité comme fondation première des ombres qui habitent …

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é Si la croyance dans la puissance émancipatrice de la libération sexuelle s’est aujourd’hui bien émoussée, c’est peut-être parce que le concept même de liberté semble politiquement compromis. Telle est du moins la proposition de Maggie Nelson, que …

Résumé À partir du travail de Jean Rouch, avancer vers les failles où la raison trouve son dépassement. En s’appuyant sur la notion d’imaginal telle que Henry Corbin la raconte, entrer dans la cadence entre éveil et sommeil pour voir apparaître …

Documents et médias Télécharger le support de l'intervention de Clémentine Bosch-Bouju Résumé de l'intervention de Clémentine Bosch-Bouju Les polymères biomimétiques comme alliés des neurosciences dans le développement des neurotechnologies De nombreuses …

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

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. …

Plan du cours  : théorie des types de Russell  ; notation du λ-calcul de Church pour les fonctions   ;  théorie des types simples et système HOL   ;  introduction aux types dépendants, système AUTOMATH   ;  traitement uniforme des objets et des preuves …

Résumé C'est par les corpus de lettres de gouverneurs que la publication des lettres du temps de Zimri-Lim a débuté : on a ainsi pu conna ître  Kibri-Dagan à Terqa et Bahdi-Lim à Mari, puis Yaqqim-Addu à Saggaratum. Depuis lors, le dossier s'est à la fois …

Résumé Le diabète de type   2 et l’obésité sont des épidémies mondiales, associées à des taux élevés de morbidité et de mortalité. Ces maladies réduisent significativement l’espérance de vie des patients et représentent un fardeau économique majeur pour …

Résumé Le projet du Génome humain a marqué le début de l’ère de la génétique humaine moderne, permettant d’accéder à des connaissances clés sur la structure et le contenu du génome. Cependant, en ce qui concerne l’ampleur de la diversité génétique entre …

Résumé Contenu des enhancers et liaisons aux facteurs de transcription   ; orthographe, syntaxe et grammaire. Topologie génomique des enhancers. Dans cette quatrième   leçon, les façons dont les enhancers peuvent lier des facteurs de transcription sont …

Résumé La théorie des types a été introduite par Bertrand Russell pour éviter les paradoxes qui apparaissent en mathématique si l'on utilise de manière trop naïve la notion de collection d’objets. Cette notion de types a été raffinée par la notion de type …