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 …

Résumé Cette étude de l’émergence d’une culture de la lecture en Grèce ancienne part des débuts du texte écrit et analyse son évolution dans le monde grec du V e  siècle av. J.-C. et au cours des périodes hellénistique et impériale. Les  premières figures …

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é 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 bases orthonormales d’ondelettes ne sont pas optimales car elles ne peuvent capturer toutes les formes de régularité d’un signal. Dans les images, les grands coefficients d’ondelettes apparaissent le long des contours mais ces coefficients ne …

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

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

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 …

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é 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é 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é This final lecture will discuss the proof of a recent result in joint work with Zakharov, bounding the size of subsets of F_p^n not containing p distinct vectors summing to zero. As discussed in the previous lecture, this leads to bounds for the …

Sandrine Lyonnard : « De l’atome à la cellule : regarder à l’intérieur des batteries avec les Grands Instruments » Hervé Beuffe : « Vallée de l’espoir pour la filière Française Na_ion …