François Fages
Mots clés
FR |
EN
Programmation par contraintes
Biologie systémique
Bioinformatique
Biologie des systèmes
Représentation des connaissances
Programmation logique
Cycle cellulaire
Systèmes biologiques
Méthodes formelles (informatique)
Apprentissage automatique
Algorithmes
Calcul formel
Théorie des graphes
Rythmes circadiens
Réécriture de graphes
Transformation de graphes
Piste d'audit
Bases de données orientées graphes
Bio-curation
Signalisation cellulaire