Zobrazeno 1 - 10
of 148
pro vyhledávání: '"Ropers, Delphine"'
Autor:
Roux, Charlotte, Etienne, Thibault A., Hajnsdorf, Eliane, Ropers, Delphine, Carpousis, A.J., Cocaign-Bousquet, Muriel, Girbal, Laurence
Publikováno v:
In Biotechnology Advances January-February 2022 54
Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful technology to keep up with this increase in scale and complexity. The application
Externí odkaz:
http://arxiv.org/abs/0803.0802
The switch-like character of gene regulation has motivated the use of hybrid, discrete-continuous models of genetic regulatory networks. While powerful techniques for the analysis, verification, and control of hybrid systems have been developed, the
Externí odkaz:
http://arxiv.org/abs/q-bio/0702058
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Trends in Microbiology June 2017 25(6):480-493
Autor:
Etienne, Thibault, Roux, Charlotte, Cinquemani, Eugenio, Girbal, Laurence, Cocaign-Bousquet, Muriel, Ropers, Delphine
Mechanistic models are essential to unravel the molecular mechanisms driving cellular responses. However, the integration of high-throughput data with mechanistic knowledge is limited by the availability of scalable computational approaches able to d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::25344a126b375d9a3a3559d93d0449c2
https://hal.inria.fr/hal-03652397
https://hal.inria.fr/hal-03652397
Publikováno v:
In IFAC Proceedings Volumes January 2011 44(1):14851-14856
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In IFAC Proceedings Volumes 2009 42(10):27-32
Publikováno v:
In BioSystems 2009 98(2):91-104