Xavier Leroy - 03 - Compiler mieux : optimisations, analyses statiques, et leur vérification
08 - La biologie de l'information – un dialogue entre l'informatique et la
biologie - VIDEO
Dec. 17, 2019
Walter Fontana - 08 - L'acquisition de l'information biologique : L'apprentissage dans les systèmes moléculaires ? - VIDEO
Walter Fontana - 08 - L'acquisition de l'information biologique : L'apprentissage dans les systèmes moléculaires ?
Françoise Combes - 03 - Les galaxies durant l'époque de réionisation - VIDEO
Françoise Combes - 03 - Les galaxies durant l'époque de réionisation
Xavier Leroy - 02 - Des expressions et des commandes : la sémantique d'un langage impératif - VIDEO
Xavier Leroy - 02 - Des expressions et des commandes : la sémantique d'un langage impératif
07 - La biologie de l'information – un dialogue entre l'informatique et la
biologie - VIDEO
Dec. 10, 2019
Walter Fontana - 07 - Modélisation du traitement de l'information biologique / V - Systèmes d'assemblage combinatoire en signalisation moléculaire : Mécanique statistique - VIDEO
Walter Fontana - 07 - Modélisation du traitement de l'information biologique / V - Systèmes d'assemblage combinatoire en signalisation moléculaire : Mécanique statistique
Françoise Combes - 02 - Observations du gaz atomique à 21 cm - VIDEO
Françoise Combes - 02 - Observations du gaz atomique à 21 cm
06 - La biologie de l'information – un dialogue entre l'informatique et la
biologie - VIDEO
Dec. 3, 2019
Walter Fontana - 06 - Modélisation du traitement de l'information biologique / III - Outils de raisonnement sur les systèmes d'interaction moléculaire : La quête de renseignements utiles - VIDEO
Walter Fontana - 06 - Modélisation du traitement de l'information biologique / III - Outils de raisonnement sur les systèmes d'interaction moléculaire : La quête de renseignements utiles
Françoise Combes - 01 - Théorie de la réionisation - VIDEO
Françoise Combes - 01 - Théorie de la réionisation
Xavier Leroy - 01 - Des expressions et des commandes : la sémantique d'un langage impératif - VIDEO
Xavier Leroy - 01 - Des expressions et des commandes : la sémantique d'un langage impératif
05 - La biologie de l'information – un dialogue entre l'informatique et la
biologie - VIDEO
Nov. 26, 2019
Walter Fontana - 05 - Modélisation du traitement de l'information biologique / III - Outils de raisonnement sur les systèmes d'interaction moléculaire : La quête de renseignements utiles - VIDEO
Walter Fontana - 05 - Modélisation du traitement de l'information biologique / III - Outils de raisonnement sur les systèmes d'interaction moléculaire : La quête de renseignements utiles
04 - La biologie de l'information – un dialogue entre l'informatique et la
biologie - VIDEO
Nov. 19, 2019
Walter Fontana - 04 - Modélisation du traitement de l'information biologique / II - Outils de raisonnement sur les systèmes d'interaction moléculaire : Cas d'utilisation - VIDEO