Search results

Lecture outline : Curry-Howard   ; gentzen's natural deduction   ; inductive definitions following Martin-Löf   ; algebraic presentation of type theory and term model as initial model   ; some examples of models, in particular the set model and prefix …

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 Some soldiers are particularly well known to us, like General Yasim-El. But lesser officers, such as Yamṣum, also wrote enough letters to allow us to sketch a portrait. Finally, we'll see how ordinary soldiers escaped …

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 …

Abstract We are not all equal when it comes to infections. Thanks to recent advances in genomics and data science, it is now possible to imagine a more precise medicine, better adapted to individual needs, also in the field of infectious diseases. From …

Abstract This lecture will be devoted to the presentation of discoveries concerning the genetic causes of monogenic diseases, with emphasis on mutations responsible for serious pathologies. It will recall Mendelian principles of trait transmission, with …

Abstract Types of regulatory landscapes. Analysis of chromatin architectures at the single-cell level using super-resolution microscopy. In this fifth   lesson, different types of topological organization of enhancers are described, in particular those …

Abstract Photocatalytic processes are playing an increasingly important role in sustainable chemical synthesis, offering more environmentally-friendly alternatives. However, they are often limited by poorly optimized operating conditions, particularly in …

Documents and media Download exemplary Download support …

Abstract The Biblioteca Nazionale in Naples and the Académie des Inscriptions et Belles-Lettres in Paris have quite rightly renounced any further invasive attempts to open the unopened charred scrolls from Herculaneum. Yet there are still several hundred …

Abstract Continuation of the previous lecture. The chapter in Jos 5 ends with the appearance of the leader of the heavenly army, who introduces the story of the fall of Jericho. This brief, mysterious note raises the question of the link between heavenly …

Abstract Prometheus' unequal division of the great ox opened up a three-stage crisis, each one a step towards defining the human condition. The first relates directly to the division of the animal parts, since the latter explicitly forms the etiology of …

Abstract There are many regional courts of justice in the world today. While three are dedicated to fundamental rights, most are part of an integrated regional organization, be it the European Union, the Andean Community or the Economic Community of West …

Laurent Coulon: " The process of sacrifice in ancient Egypt" Stephan Dugast : "Le parcours d'un divin chez les Bwaba du Burkina Faso: métamorphose de l'autel et transformation initiatique de son détenteur" ("The journey of a diviner among the Bwaba of …

References to works cited in the lecture Elara Bertho, Senghor , Paris, PUF, 2023. Roger Caillois and Jean-Clarence Lambert, Trésor de la poésie universelle , Paris, Gallimard, 1958. Id , "Illusions à rebours " , Nouvelle Revue française , 1954 , no. 24, …

Abstract In Greek tragedy, divine entities are not represented, but presentified through the performative power of the spoken word: this particular relationship with the invisible invites us to question theater as a form of interpretation. Contemporary …