Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 17485
Label UNT Conférences

le (15m34s)

Polyèdres et synthèse de programmes

En informatique, un calcul est décrit par un programme, lui-même exprimé dans un langage de programmation. Dans cet exposé, nous nous intéresserons à la synthèse de programmes, c'est à dire la construction automatique d'un programme à partir d'une spécification équationnelle.A travers l'exemple de la recherche du parenthésage optimal d'un produit de matrices, nous montrerons comment un programme efficace peut être synthétisé à l'aide d'un raisonnement sur des polyèdres entiers et des relations affines. Les notions en jeu s'inscrivent dans le cadre plus général du modèle polyédrique, ...
Voir la vidéo
Séminaires

le (1h40m52s)

5. Penser la pandémie

Quel concept de santé a été mobilisé par et dans la pandémie ?Sarah Carvallo, professeure de philosophie au laboratoire Logiques de l’Agir de l'université de Franche-Comté, interviendra dans le cadre du séminaire par visioconférence « Penser la pandémie ».La pandémie du covid19 a offert l’occasion d’affirmer ou confirmer la valeur absolue de la santé aussi bien à l’échelle du monde que de la société française. Mais de quelle santé s’agit-il ? Quelle conception implicite de la santé justifie en réalité les décisions et actions mises en œuvre en France lors de ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte