Résultats de recherche

Résumé Les applications récentes d’IA générative musicale peuvent désormais générer des morceaux de différents genres musicaux avec des niveaux d’expressivité inattendus. Une critique ancienne et courante de la musique générée par algorithme découle de …

Résumé Les IA génératives proposent aujourd’hui des productions textuelles, musicales ou picturales de teneur « artistique », dont les internautes comme les artistes professionnels font usage. Mais au-delà du nouvel outil qui s’offre ici, avec ses …

Résumé Que change l’IA à l'esthétique ? Cette communication s’intéressera aux conséquences des pratiques artistiques augmentées par l’IA sur notre rapport à l’art et sur sa philosophie, en les replaçant dans l’histoire de l’art moderne et de ses débats. …

Résumé It is not well known that Japan fought as one of the Allied powers in the First World War, as Japan was a naval alliance partner of Britain from 1902. At the Paris Peace Conference of 1919, Japan attended it as the fifth largest great power in the …

Résumé La logique des catégories supérieures (ou encore des ∞-catégories) est une variation de la théorie des types qui est homotopique par nature et dans laquelle la notion de catégorie est le concept primitif –   celui que l'on ne définit jamais   ! Une …

Résumé Dans cet exposé, nous discuterons de l’état actuel de la formalisation de la théorie des nombres moderne dans mathlib, la bibliothèque mathématique de Lean. Nous mettrons en avant les avancées récentes, les principaux défis qui ont été relevés, …

Résumé Ce cours se basera sur le cadre théorique reliant les réponses des écosystèmes aux changements environnementaux et les effets sur leur fonctionnement via les traits fonctionnels des organismes. Ces liens sont largement démontrés pour les végétaux, …

Résumé Mondialisation, échanges internationaux, changement climatique, croissance démographique, urbanisation rapide, sont à l’origine du nombre croissant d’espèces exotiques envahissantes et d’interactions nouvelles entre organismes, à l’origine …

Résumé La preuve assistée par ordinateur séduit un public de plus en plus large. Jusque-là surreprésentée dans le domaine de l'informatique où elle était née, elle a commencé à susciter chez les mathématiciens un engouement certain. Néanmoins, cet appel …

Résumé Comme c'est le cas dans la littérature, l'ajout d'un concept mathématique à un corpus de bibliothèques formelles donne typiquement lieu à plusieurs variantes de définitions, le plus souvent équivalentes mais pas toujours. Malheureusement, la …