Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Despeyroux, Joelle"'
Autor:
de Maria, Elisabetta, Despeyroux, Joelle, Felty, Amy, Liò, Pietro, Olarte, Carlos, Bahrami, Abdorrahim
We advocate here the use of computational logic for systems biology, as a \emph{unified and safe} framework well suited for both modeling the dynamic behaviour of biological systems, expressing properties of them, and verifying these properties. The
Externí odkaz:
http://arxiv.org/abs/2007.07571
Autor:
Chebaiki, Mélina, Delfourne, Evelyne, Tamhaev, Rasoul, Danoun, Saïda, Rodriguez, Frédéric, Hoffmann, Pascal, Grosjean, Emeline, Goncalves, Fernanda, Azéma-Despeyroux, Joëlle, Pál, Adrián, Korduláková, Jana, Preuilh, Nadège, Britton, Sébastien, Constant, Patricia, Marrakchi, Hedia, Maveyraud, Laurent, Mourey, Lionel, Lherbet, Christian
Publikováno v:
In European Journal of Medicinal Chemistry 5 November 2023 259
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.
Autor:
Despeyroux, Joëlle
Publikováno v:
Computational Methods in Systems Biology, Sep 2016, Cambridge, United Kingdom. pp.3 - 12, 2016
We advocates here the use of (mathematical) logic for systems biology, as a unified framework well suited for both modeling the dynamic behaviour of biological systems, expressing properties of them, and verifying these properties. The potential cand
Externí odkaz:
http://arxiv.org/abs/1701.05063
HyLL (Hybrid Linear Logic) and SELL (Subexponential Linear Logic) are logical frameworks that have been extensively used for specifying systems that exhibit modalities such as temporal or spatial ones. Both frameworks have linear logic (LL) as a comm
Externí odkaz:
http://arxiv.org/abs/1608.08779
Autor:
Despeyroux, Joelle, Chaudhuri, Kaustuv
Linear implication can represent state transitions, but real transition systems operate under temporal, stochastic or probabilistic constraints that are not directly representable in ordinary linear logic. We propose a general modal extension of intu
Externí odkaz:
http://arxiv.org/abs/1603.02641
We propose a novel approach for the formal verification of biological systems based on the use of a modal linear logic. We show how such a logic can be used, with worlds as instants of time, as an unified framework to encode both biological systems a
Externí odkaz:
http://arxiv.org/abs/1404.5439
Autor:
Chaudhuri, Kaustuv, Despeyroux, Joelle
Publikováno v:
N° RR-402942 (2013)
Linear implication can represent state transitions, but real transition systems operate under temporal, stochastic or probabilistic constraints that are not directly representable in ordinary linear logic. We propose a general modal extension of intu
Externí odkaz:
http://arxiv.org/abs/1310.4310
Publikováno v:
In Electronic Notes in Theoretical Computer Science 11 June 2017 332:95-111
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.