Résultats de recherche

Résumé Le dernier cours de l’année a pris la forme d’une introspection. Tout au long du cours, nous avons utilisé un assistant à la démonstration (Coq) comme langage et comme outil de vérification. Comment formaliser et mécaniser la correction sémantique …

Résumé Le dernier séminaire a approfondi un point délicat de la mécanisation de langages de programmation : la représentation des variables liées et l’équivalence des termes à renommage près des variables liées (règle d’alpha-conversion). Nous avons passé …

Résumé La notion de bibliothèque est au cœur du cours de cette année. À partir du contexte spécifique du débat qu’elle a suscité dans les colonnes du journal Le Temps , en octobre 1905, l’analyse de l’image des étoiles nouvelles montre la difficulté d’une …

Résumé Le propos de l’intervention est d’identifier les différentes formes et manifestations d’un certain rapport au livre qui s’est imposé et qui est devenu dominant dans la société française de l’âge classique, des années 1630 aux années 1730. Il s’agit …

Résumé Comme dans de nombreux domaines, les réseaux de neurones profonds ont permis des avancées importantes dans le traitement des signaux audio musicaux. Ce séminaire présente les spécificités de ces signaux et les adaptations nécessaires des réseaux de …

Résumé Un groupe de symétrie permet d’éliminer une source de variabilité des données, qui n’apporte pas d’information pour un problème de régression ou de classification. Le cours a introduit la notion de groupe de Lie. Il considère le cas du groupe …

La quête des bibliothèques : mission impossible ? (2) Les découvertes clandestines : le désastre des sebbâkhîn Nombre de papyrus littéraires proviennent de découvertes clandestines faites par les chercheurs de  sebâkh  – cette terre servant d’engrais qui …

Résumé Le déniaisement dont on parlait à la séance précédente prend inévitablement, pour l’Italie de la fin du XV e  siècle, l’allure du désenchantement machiavélien. On fait ici l’hypothèque que Machiavel, écrivant avec Le Prince son étrange défaite, y …

Résumé Au cours de son séminaire, Jens Elgeti a fait une revue de ses travaux sur les simulations numériques des tissus. Il a exposé sa méthode de simulation où les cellules sont idéalisées par des points et a montré de nombreux résultats sur la pression …

Résumé La croissance d’un tissu est due à la division et à la mort cellulaire dans le tissu. Une première approche est d’étudier division et mort cellulaires comme des processus de la dynamique de la population des cellules. On introduit alors des taux de …

Ce cours a été dévolu à une région particulière, située à l'ouest du royaume de Babylone, qui s'étire le long de ce qu'on appelle le Moyen-Euphrate. Elle est actuellement coupée par la frontière syro-irakienne, à Abu Kemal ; elle a énormément souffert ces …

Le cinquième cours a commencé par la description de quelques modèles d’évolution avec ou sans sélection. Dans le cas neutre, comme dans le modèle de Wright Fisher, l’évolution stochastique de la proportion d’une population portant un allèle est donnée par …