Accéder directement au contenu

Damien Eveillard

1
Documents

Présentation

I try to represent the behavior of living systems on different scales by various modeling approaches based on constraint programming. In my opinion, a living system should be formalized as an hybrid automaton under constraints. My biological studies concern biological systems from molecular to ecological scales, with a special emphasis on marine systems.
I try to represent the behavior of living systems on different scales by various modeling approaches based on constraint programming. In my opinion, a living system should be formalized as an hybrid automaton under constraints. My biological studies concern biological systems from molecular to ecological scales, with a special emphasis on marine systems.

Publications

guillaume-collet

Extending the Metabolic Network of Ectocarpus Siliculosus using Answer Set Programming

Guillaume Collet , Damien Eveillard , Martin Gebser , Sylvain Prigent , Torsten Schaub
LPNMR - 12th Conference on Logic Programming and Nonmonotonic Reasoning - 2013, Sep 2013, Corunna, Spain
Communication dans un congrès hal-00853752v1