1. Recherche
25 résultats  enregistrer la recherche
...
hal-01378468v1  Communication dans un congrès
Thierry Martinez, François Fages, Abder Aggoun. A Stochastic Continuous Optimization Backend for MiniZinc with Applications to Geometrical Placement Problems
Claude-Guy Quimper. Proceedings of the 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, CPAIOR'16, May 2016, Banff, Canada. Springer, Lecture Notes in Computer Science, 9676, pp.262-278, 2016, <10.1007/978-3-319-33954-2_19>
...
hal-01378469v1  Communication dans un congrès
Abderrahmane Aggoun, Ahmed Rhiat, François Fages. Panorama of real-life applications in logistics embedding bin packing optimization algorithms, robotics and cloud computing technologies
GOL'16 - 3rd IEEE International Conference on Logistics Operations Management , May 2016, Morocco, Morocco. 2016, <10.1109/GOL.2016.7731693>
...
hal-01510216v1  Pré-publication, Document de travail
François Fages, Thierry Martinez, David Rosenblueth, Sylvain Soliman. Influence vs Reaction Systems: Semantics, Expressivity and Attractors
Submitted to IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS 2017
...
hal-01431360v1  Article dans une revue
Elisabetta De Maria, François Fages, Aurélien Rizk, Sylvain Soliman. Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints
Theoretical Computer Science, Elsevier, 2011, 412 (21), pp.2108--2127. <10.1016/j.tcs.2010.10.036>
...
hal-01431314v1  Article dans une revue
Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman. Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
Theoretical Computer Science, Elsevier, 2011, 412 (26), pp.2827 - 2839. <10.1016/j.tcs.2010.05.008>
...
hal-01431355v1  Article dans une revue
François Fages, Sylvain Soliman. Abstract interpretation and types for systems biology
Theoretical Computer Science, Elsevier, 2008, 403 (1), pp.52--70. <10.1016/j.tcs.2008.04.024>
...
hal-01420311v1  Rapport
David Fournier, Thierry Martinez, François Fages, Denis Mulard. Metro Energy Optimization through Rescheduling: Mathematical Models and Heuristic Algorithm Compared to MILP and CMA-ES
[Research Report] Inria Saclay Ile de France. 2016
...
hal-01420342v1  Pré-publication, Document de travail
Nicolas Vasselin, François Fages. Mixture Model-CMA-ES
internship report. 2016
hal-01378467v1  Communication dans un congrès
Thierry Martinez, François Fages, Abder Aggoun. Un solveur d'optmization stochastique pour MiniZinc avec des applications à des problèmes de placements géométriques
Douzièmes Journées Francophones de Programmation par Contraintes JFPC'16, 2016, Montpellier, France. 2016, <https://hal.archives-ouvertes.fr/hal-01340084>
...
hal-01431378v1  Chapitre d'ouvrage
François Fages, Sylvain Soliman. Model Revision from Temporal Logic Properties in Computational Systems Biology
Luc de Raedt and Paolo Frasconi and Kristian Kersting and Stephen Muggleton. Probabilistic Inductive Logic Programming, pp.287--304, 2008, <10.1007/978-3-540-78652-8_11>
...
hal-01431369v1  Article dans une revue
Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Loïc Fosse, Sylvain Soliman. Langages formels dans la machine abstraite biochimique BIOCHAM
Techniques et Sciences Informatiques, 2007, 26 (1-2), pp.47--72. <10.3166/tsi.26.47-72>
...
hal-01378470v1  Communication dans un congrès
François Fages, Thierry Martinez, David Rosenblueth, Sylvain Soliman. Influence Systems vs Reaction Systems
Ezio Bartocci; Pietro Lio; Nicola Paoletti. CMSB'16: Proceedings of the fourteenth international conference on Computational Methods in Systems Biology, Sep 2016, Cambridge, UK, United Kingdom. Springer-Verlag, 9859, pp.98-115, 2016, Lecture Notes in Computer Science. <10.1007/978-3-319-45177-0_7>
...
hal-01431358v1  Article dans une revue
François Fages, Paul Ruet, Sylvain Soliman. Linear Concurrent Constraint Programming: Operational and Phase Semantics
Information and Computation, Elsevier, 2001, 165 (1), pp.14--41. <10.1006/inco.2000.3002>
...
hal-01409743v3  Pré-publication, Document de travail
François Fages, Guillaume Le Guludec. Programmes biochimiques et algorithmes mixtes analogiques-digitaux dans la cellule
2016
...
hal-01409753v2  Pré-publication, Document de travail
François Fages. AI in Biological Modelling
2016
...
hal-01519828v2  Communication dans un congrès
François Fages, Guillaume Le Guludec, Olivier Bournez, Amaury Pouly. Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs
CMSB 2017 - 15th International Conference on Computational Methods in Systems Biology, Sep 2017, Darmstadt, Germany. Proceedings of the fiveteen international conference on Computational Methods in Systems Biology, CMSB 2017. <http://www.etit.tu-darmstadt.de/cmsb2017/cmsb_2/index.en.jsp>
...
hal-01519826v2  Communication dans un congrès
Arthur Carcano, François Fages, Sylvain Soliman. Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data
CMSB'17 - 15th International Conference on Computational Methods for Systems Biology, Sep 2017, Darmstadt, Germany
...
hal-01378465v1  Article dans une revue
Pauline Traynard, Adrien Fauré, François Fages, Denis Thieffry. Logical model specification aided by model- checking techniques: application to the mammalian cell cycle regulation
Bioinformatics, Oxford University Press (OUP), 2016, 32 (17), pp.i772-i780. <10.1093/bioinformatics/btw457>
...
hal-01431335v1  Article dans une revue
Steven Gay, Sylvain Soliman, François Fages. A graphical method for reducing and relating models in systems biology
Bioinformatics, Oxford University Press (OUP), 2010, 26 (18), pp.i575--i581. <10.1093/bioinformatics/btq388>
hal-01431345v1  Article dans une revue
François Fages, Sylvain Soliman, Nathalie Chabrier-Rivier. Modelling and Querying Interaction Networks in the Biochemical Abstract Machine BIOCHAM
Journal of Biological Physics and Chemistry, Basel, Switzerland : Collegium Basilea (Institute of Advanced Study) ; Tbilisi : Association of Modern Scientific Investigation (AMSI), 2004, 4 (2), pp.64--73
...
hal-01378466v1  Article dans une revue
Pauline Traynard, Céline Feillet, Sylvain Soliman, Franck Delaunay, François Fages. Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: Prediction of RevErb-α up-regulation during mitosis
BioSystems, Elsevier, 2016, 149, pp.59--69. <10.1016/j.biosystems.2016.07.003>

Contact


archive-ouverte@inria.fr