François Fagès – Aspects sémantiques et algorithmiques du vivant

13 janvier 2011 La transposition des concepts informatiques de programmation et de vérification, à la modélisation et l’analyse des processus biochimiques au sein de la cellule, ouvre un nouveau champ de recherche pour la maîtrise de la complexité et la compréhension des phénomènes en biologie cellulaire. Tandis que la théorie…

Continue reading