Algorithmes  Algorithmes évolutionnaires  Algèbre linéaire  Algèbre tensorielle  Amphibiens -- Métamorphose  Analyse d'atteignabilité  Analyse par intervalles  Analyse structurelle  Apprentissage automatique  Apprentissage de modèles  Apprentissage statistique  Arithmétique d’Intervalles  Bacule métabolique  Base creuse d’un espace vectoriel  Bases de données orientées graphes  Bio-curation  Bioinformatique  Biologie -- Informatique  Biologie des systèmes  Biologie mathématique  Biologie moléculaire  Biologie systémique  Biotechnologie  Bisimilarité  Bisimulations  Calcul formel  Calculs de processus  Calibrage  Cascades MAPK  Cascades de signalisation  Ccp  Cellules eucaryotes  Chronothérapie  Citrate  Concurrence  Contrainte de non-chevauchement  Courbes paramétrées  Criblage pharmacologique  Criblage à haut contenu  Cycle cellulaire  Découverte de nouveaux médicaments  Entrepôts -- Gestion  Flot d’information  Fonctions booléennes  Graphe de connaissances  Graphes, Théorie des  Heuristique  Inactivation génique  Induction  Informatique  Inférence de réseaux  Inférences exacte et approchées  Inhibiteurs de kinases  Inhibiteurs des tyrosine kinases  Intelligence artificielle  Intelligence artificielle en médecine  Interprétation abstraite  Jeux sérieux  Langages de programmation  Logique du second ordre  Logique linéaire  Logique mathématique  Logique temporelle  Lois de conservation  Maladie  Maladies neurodégénératives  Modelisation in silico  Modèles de comportements humains  Modèles graphiques probabilistes  Modèles mathématiques  Modèles probabilistes  Modèles relationnels probabilistes  Modélisation  Modélisation des données  Modélisation mathématique  Modélisation mécaniste  Modélisation par règles de réécritures  Modélisation à base de règles  Morphisme des graphes  Morphismes  Médecine de précision  Médecine personnalisée  Métabolisme -- Régulation  Métabolisme des eucaryotes  Méthodes d'inférence  Méthodes de model-checking  Méthodes formelles  Méthodes formelles  Optimisation combinatoire  Optimisation mathématique  Pavage  Petri, Réseaux de  Physiologie humaine  Piste d'audit  Polymorphisme paramétrique  Prise de décision  Problème de placement  Profils d’activation d’une voie de signalisation  Programmation concurrente  Programmation linéaire  Programmation logique  Programmation par contraintes  Programmation parallèle  Prévision  Quasi-treillis  Raffinement de partition  Raisonnement non-monotone  Recherche opérationnelle  Représentation des connaissances  Rythmes circadiens  Règles métiers  Réduction de modèles  Réduction de systèmes paramétriques  Régulation  Réseaux booléens contrôlés  Réseaux de neurones biologiques  Réseaux de réaction  Réseaux de régulation génique  Réseaux neuronaux  Rétro-ingénierie  Rétroactivité  Réécriture de graphes  Satisfaction de contraintes  Science des données  Signalisation cellulaire  Simulation multi-agent  Simulation par ordinateur  Solveurs  Solveurs SAT  Somme de Minkowski  Statistique bayésienne  Surcharge  Systèmes biologiques  Systèmes dynamiques  Systèmes experts  Systèmes multi-Échelles  Sémantique des phases  Sémantique étiquetée  Séquence de contrôle  Théorie des modèles  Transduction du signal cellulaire  Transformation de graphes  Voies de signalisation  Vérification  Vérification de modèle  Yarrowia lipolytica  Épiderme  Équations, Systèmes d'  

François Fages dirige actuellement les 2 thèses suivantes :

Informatique, données, IA
En préparation depuis le 16-09-2019
Thèse en préparation


François Fages a dirigé les 20 thèses suivantes :

Sciences appliquées
Soutenue en 1998
Thèse soutenue

Sciences appliquées
Soutenue en 1997
Thèse soutenue


François Fages a été président de jury des 3 thèses suivantes :

Informatique et applications
Soutenue le 29-04-2016
Thèse soutenue

François Fages a été rapporteur des 6 thèses suivantes :


François Fages a été membre de jury des 6 thèses suivantes :