Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Behaegel, Jonathan"'
Autor:
Behaegel, Jonathan
La modélisation de systèmes biologiques est devenue indispensable pour comprendre les phénomènes complexes et émergents issus d'influences partiellement connues, et pour envisager de contrôler un système altéré dans le but de restaurer un co
Externí odkaz:
http://www.theses.fr/2018AZUR4071/document
The main difficulty when modelling gene networks is the identification of the parameters that govern their dynamics. It is particularly difficult for models in which time is continuous: parameters have real values which cannot be enumerated. The wide
Externí odkaz:
http://arxiv.org/abs/1610.06715
Publikováno v:
ICTAI
The study of gene networks allows us to better understand some biological processes such as the adaptation of the organism to a disturbance of the environment. In a discrete modelling framework of gene networks, it has been shown that the Hoare logic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ef3fc8409e5c84a9200f38d56f0aa96
https://hal.archives-ouvertes.fr/hal-02002503
https://hal.archives-ouvertes.fr/hal-02002503
Publikováno v:
Leibniz International Proceedings in Informatics (LIPIcs)
24th International Symposium on Temporal Representation and Reasoning (TIME 2017)
24th International Symposium on Temporal Representation and Reasoning (TIME 2017), Oct 2017, Mons, Belgium. ⟨10.4230/LIPIcs.TIME.2017.5⟩
24th International Symposium on Temporal Representation and Reasoning (TIME 2017)
24th International Symposium on Temporal Representation and Reasoning (TIME 2017), Oct 2017, Mons, Belgium. ⟨10.4230/LIPIcs.TIME.2017.5⟩
International audience; We present a new hybrid Hoare logic dedicated for a class of linear hybrid automata well suited to model gene regulatory networks. These automata rely on Thomas' discrete framework in which qualitative parameters have been rep
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::38d4c18624dbecbb4322046bc2d831f0
https://hal.archives-ouvertes.fr/hal-01655310/document
https://hal.archives-ouvertes.fr/hal-01655310/document
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.