Cells as Machines: Towards Deciphering Biochemical Programs in the Cell (keynote talk)

Abstract : Systems biology aims at understanding complex biological processes in terms of their basic mechanisms at the molecular level in cells. The bet of applying theoretical computer science concepts and software engineering methods to the analysis of distributed biochemical reaction systems in the cell, designed by natural evolution, has led to interesting challenges in computer science, and new model-based insights in biology. In this talk, we shall review the development over the last decade of the biochemical abstract machine (Biocham) software environment for modeling cell biology molecular reaction systems, reasoning about them at different levels of abstraction, formalizing biological behaviors in temporal logic with numerical constraints, and using them to infer non-measurable kinetic parameter values, evaluate robustness, decipher natural biochemical processes and implement new programs in synthetic biology.
Type de document :
Communication dans un congrès
21st European Conference on Artificial Intelligence, 2014, Prague, Czech Republic. 2014, 〈http://www.ecai2014.org/invited-speakers/〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01103333
Contributeur : François Fages <>
Soumis le : mercredi 14 janvier 2015 - 15:01:18
Dernière modification le : vendredi 25 mai 2018 - 12:02:07
Document(s) archivé(s) le : mercredi 15 avril 2015 - 11:20:49

Fichier

Fages14ecai.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01103333, version 1

Collections

Citation

François Fages. Cells as Machines: Towards Deciphering Biochemical Programs in the Cell (keynote talk). 21st European Conference on Artificial Intelligence, 2014, Prague, Czech Republic. 2014, 〈http://www.ecai2014.org/invited-speakers/〉. 〈hal-01103333〉

Partager

Métriques

Consultations de la notice

337

Téléchargements de fichiers

98