Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Jéro^me Feret"'
Autor:
Ferdinanda Camporesi, Jéro^me Feret, Heinz Koeppl, Tatjana Petrov, Theodore E. Simos, George Psihoyios, Ch. Tsitouras
Publikováno v:
International Conference of Numerical Analysis and Applied Mathematics-ICNAAM 2010
International Conference of Numerical Analysis and Applied Mathematics-ICNAAM 2010, Sep 2010, Rhodos, Greece. pp.1330-1334, ⟨10.1063/1.3497965⟩
International Conference of Numerical Analysis and Applied Mathematics-ICNAAM 2010, Sep 2010, Rhodos, Greece. pp.1330-1334, ⟨10.1063/1.3497965⟩
International audience; Molecular biological models usually suffer from a large combinatorial explosion. Indeed, proteins form complexes and modify each other, which leads to the formation of a huge number of distinct chemical species. Thus we cannot
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::88a33280c6c2cf4ff47a019eae4d0741
https://inria.hal.science/inria-00527548
https://inria.hal.science/inria-00527548
Publikováno v:
the International Conference of Computational Methods in Sciences and Engineerin-ICCMSE2007
the International Conference of Computational Methods in Sciences and Engineerin-ICCMSE2007, T.E. Simos, Sep 2007, Corfu, Greece. pp.619-622, ⟨10.1063/1.2836158⟩
the International Conference of Computational Methods in Sciences and Engineerin-ICCMSE2007, T.E. Simos, Sep 2007, Corfu, Greece. pp.619-622, ⟨10.1063/1.2836158⟩
International audience; Agent-based formal languages can be used to describe biological signalling networks. As for any language, this process is error prone. Thus we require static analysis tools to check whether the formal description of models mat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bcf65c50d2de6168fa6e93c33d0bc877
https://hal.inria.fr/inria-00528358
https://hal.inria.fr/inria-00528358