Label UNT Conférences
le (1h29m52s)
Résultats de recherche
Trier par :
Nombre de programmes trouvés : 910
Label UNT Conférences
le (1h15m29s)
Les mathématiques de l'évolution
... l'histoire de la vie inspirent et renouvellent la théorie mathématique des jeux. On découvre des caractéristiques mathématiques universelles au sein de populations dont les organismes au comportement aléatoire interagissent selon des règles simples. Des... Voir la vidéo
Label UNT Conférences
le (36m48s)
Preuve automatique de la sûreté de logiciels critiques
... tout problème potentiel, mais risque d'échouer à prouver la correction de certains programmes qui sont pourtant justes. Je montrerai comment cela peut être effectué grâce à la théorie mathématique de l'interprétation abstraite, et je présenterai... Voir la vidéo
Conférences
le (2h3m11s)
Le mouvement dans l’art grec : visions modernes et images antiques
... mouvement et le croisement entre « sciences » et « arts visuels » étaient aussi vifs dans l’Antiquité que dans le monde contemporain ? C’est sur cette base, en mettant en rapport les théories mathématiques ou philosophiques et les pratiques... Voir la vidéo
Conférences
le (59m58s)
Laurent Fargues - Courbes et fibrés vectoriels en théorie de Hodge p-adique
...Courbes et fibrés vectoriels en théorie de Hodge p-adique ... Voir la vidéo
Cours magistraux
le (1h10m44s)
Fabien Durand - Sur le Théorème de Cobham (Part 1)
indisponible Voir la vidéo
Cours magistraux
le (1h17m47s)
Fabien Durand - Sur le Théorème de Cobham (Part 2)
indisponible Voir la vidéo
Cours magistraux
le (59m38s)
Jean-Louis Verger-Gaugry - Limit Equidistribution (Part 1)
indisponible Voir la vidéo
Cours magistraux
le (58m56s)
Jean-Louis Verger-Gaugry - Limit Equidistribution (Part 2)
indisponible Voir la vidéo
Cours magistraux
le (1h18m20s)
