Résultats de recherche

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 …

Programme de la journée 09:30 - 10:00 – Accueil 10:00 - 10:30 – Conférence-performance Keywa Henri (artiste pluridisciplinaire-chercheur•euse Kalin’a Tɨlewuyu) 10:30 - 12:30 – Table ronde 3 – Poétiques autochtones comme territoires ancestraux Ítalo …

Alain Papaux est invité par l'assemblée du Collège de France sur proposition de la professeur Samantha Besson. La conférence se tiendra dans le cadre d'une convention signée avec l'Université de Lausanne. « La Dame à l'hermine », peinture à l'huile de …

Programme de la journée 08:30 - 09:00 – Accueil 09:00 - 09:30 – Présentation et ouverture Andrea-Luz Gutierrez-Choquevilca (EPHE, LAS Collège de France) Jacques Rao (Commission nationale française pour l’UNESCO) Idjahure Kadiwel (doctorant Université de …

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é 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é 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é Les mentalités et les récits postcoloniaux, fortement influencés par des idées telles que la nécessité de décoloniser les esprits, révèlent une empreinte profonde de l'héritage colonial dans l'imaginaire collectif. L'analyse des raisons historiques …

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 …

Résumé Il est aujourd’hui bien établi que la rhétorique occupait une place importante dans le système éducatif de l’Antiquité gréco-romaine. Ces dernières années, l’intérêt des chercheurs pour cette discipline s’est intensifié, ouvrant la voie à des …

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

Résumé La conférence explorera les débats persistants autour de l'aide étrangère, mettant en évidence comment divers outils tels que les programmes d'ajustement structurel, les discussions sur l'efficacité de l'aide, la conditionnalité macroéconomique et …

Résumé Suite du cours précédent. La traversée du Jourdain signifie l’entrée dans le pays. Avant que la conquête se mette en place, Josué circoncit la génération du désert et célèbre la première Pâque à l’intérieur du pays (Jos 5). Se pose alors la …

Résumé Alors même que les auteurs de la Charte des Nations unies étaient animés d’une certaine défiance à l’égard des organismes régionaux et des menaces qu’ils pouvaient faire peser sur l’avènement d’un nouveau droit international pleinement universel, …

Résumé Dans la Théogonie  d’Hésiode, l'expression «   hiera erdein   » , « faire des parts sacrées », apparaît une seule fois, dans l'introduction du long passage que les modernes ont pris l'habitude d'appeler l'« hymne à Hécate ». Les quelque …

Résumé Les modèles génératifs basés sur le transport dynamique ont récemment conduit à des avancées significatives dans l'apprentissage non supervisé. Au niveau mathématique, ces modèles sont principalement conçus autour de la construction d'une fonction …

Résumé Les transformations photochimiques constituent des outils performants pour la synthèse organique. Dans le contexte contemporain, marqué par l’importance des principes de la chimie verte et du développement durable, l’utilisation de la lumière pour …

Références des œuvres citées dans le cours Norman Ajari, Le Manifeste Afro-décolonial. Le rêve oublié de la politique radicale noire , Paris, Seuil, 2024. Chris Bongie,  «  The Cry of History: Juste Chanlatte and the Unsettling (Presence) of Race in Early …