Fages, François, 1959-....
Fages, François
François Fages
VIAF ID: 15875220 ( Personal )
Permalink: http://viaf.org/viaf/15875220
Preferred Forms
-
-
-
-
- 100 1 _ ‡a Fages, François
- 100 1 _ ‡a Fages, François ‡d 1959-
- 100 1 _ ‡a Fages, François, ‡d 1959-....
- 100 1 _ ‡a Fages, François (sparse)
-
-
- 100 1 _ ‡a Fages, François
-
- 100 0 _ ‡a François Fages
4xx's: Alternate Name Forms (5)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Apprentissage de règles de classification expressives notamment à partir de données séquentielles. | |
Average case complexity analysis of the RETE multi-pattern match algorithm = Analyse en moyenne de l'algorithme RETE de semi-unification multi-motifs | |
Cc(m), a kernel language for the implementation of concurrent constraint languages. | |
CC(M), UN NOYAU PARALLELE POUR L'IMPLANTATION DES LANGAGES DE CONTRAINTES CONCURRENTS | |
Computational method for the inference of therapeutic targets and sequence of treatments. | |
Computational methods to improve the early drug discovery. | |
Computational modeling approaches to multifactorial aspects of atopic dermatitis | |
A Constraint programming approach to the analysis of Petri nets structural properties and application to biochemical networks. | |
CONSTRAINT PROGRAMMING CONTRIBUTION FOR TRANSPORT : DEFINING AND SOLVING A COMPLEX FLEET MANAGEMENT MODEL. | |
CSCLP 2008 | |
Exact difference abstractions of reaction networks : perform the precision of change prediction for biological systems. | |
Expressive classification rule learning with an emphasis on learning from sequential data | |
Fermetures et modules dans les langages concurrents avec contraintes fondés sur la logique linéaire | |
Fondements logiques d’un assistant à la modélisation en biologie moléculaire. | |
Formal and exact reduction for differential models of signalling pathways in rule-based languages | |
Formal Methods in Macro-Biology : First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings | |
Formal modelling of cyclic biological behaviours with checkpoints : the cell cycle regulation. | |
Formes canoniques dans les algèbres booléennes et application à la démonstration automatique en logique de premier ordre | |
JFPLC'99 | |
Logic programming tools for metabolic fluxes analysis and biological applications | |
Logical foundations of a modelling assistant for molecular biology | |
Méthodes computationnelles pour améliorer les phases primaires de recherche de nouveaux médicaments | |
Méthodes d'inférence de cibles thérapeutiques et de séquences de traitement | |
Méthodes formelles pour la construction et la validation de modèles biologiques. | |
Méthodes intervalles pour le placement d’objets courbes. | |
Metro regenerative braking energy : optimization through rescheduling : mathematical model and greedy heuristics compared to MILP and CMA-ES | |
Modélisation de la bascule métabolique chez les cellules eucaryotes : application à la production de citrate chez la levure Yarrowia lipolytica | |
Modélisation discrète des décisions du destin cellulaire en oncologie. | |
Modélisation et vérification des réseaux de Petri hybrides temporisés : application à la métamorphose amphibienne | |
Modélisation formelle de comportements cycliques biologiques avec points de contrôle : la régulation du cycle cellulaire | |
LES MONDES POSSIBLES DANS LES SYSTEMES DE PRODUCTION : UN METALANGAGE POUR LA GESTION D'HYPOTHESES ET LE RAISONNEMENT NON MONOTONE | |
Non-commutative logic and concurrent constraint programming. | |
On learning mechanistic models from time series data with applications to personalised chronotherapies | |
Optimisation de l'énergie de récupération au freinage des métros par modification de la table horaire : modèle mathématique et heuristique Gloutonne comparé à la PLNE et à CMA-ES, français | |
Packing curved objects with interval methods | |
POSSIBLE WORLDS IN PRODUCTION SYSTEMS: AN ASSUMPTION-BASED FRAMEWORK FOR NONMONOTONIC REASONING. | |
PPSWR 2005 | |
Preuves d'équivalence de programmes logiques | |
Principles and practice of Semantic Web reasoning : third international workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 ; proceedings | |
PROCOP : probabilistic rules compilation and optimisation | |
Programmation logique : mineure langage SICSTUS promotion 1992, 2ème année | |
Programmation logique par contraintes | |
Recent advances in constraints : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008 : revised selected papers | |
Réduction formelle et exacte de modèles différentiels de voies de signalisation en Kappa. | |
Relations entre modèles d'activités humaines et modèles du cerveau : application aux jeux sérieux en clinique | |
Relationships between human activity models and brain models : application to clinical serious games. | |
Représentation et curation des connaissances dans les hiérarchies de graphes. | |
Résolution de Contraintes Temporelles pour l'Analyse de Systèmes Biologiques | |
Rétroactivité dans la transduction du signal : étude comparative des réponses en aval et en amont dans les cascades de signalisation | |
Reusing simulation experiments for model composition and extension | |
A rule-based modelling language for constraint programming. | |
Sparse basis in exact linear algebra and algorithmic simplification of biological models. | |
Subgraph Epimorphisms : Theory and Application to Model Reductions in Systems Biology | |
Sur l'apprentissage automatique de modèles mécanistes à partir de données temporelles avec application aux chronothérapies personnalisées. | |
Synthèse de réseaux booléens à partir de la structure et de la dynamique des réseaux de réactions. | |
Synthesis of Boolean Networks from the Structure and Dynamics of Reaction Networks | |
Temporal Constraint Solving for the Analysis of Biological Systems. |