Add to ORKGInternational audienceThe identification of biological parameters governing dynamics of Genetic Regulatory Networks (GRN) poses a problem of com-binatorial explosion, since the possibilities of parameter instantiation are numerous even for small networks. In this paper, we propose to adapt LTL model checking algorithms to infer biological parameters from biological properties given as LTL formulas. In order to reduce the combinatorial explosion, we represent all the dynamics with one parametric model, so that all GRN dynamics simply result from all eligible parameter instantiations. LTL model checking algorithms are adapted by postponing the parameter instantiation as far as possible. Our approach is implemented within the SPuTNIk tool
The behaviour of gene regulatory networks (GRNs) is typically analysed using simulation-based statis...
International audienceL'évolution des concentrations de protéines caractérise le comportement d'un r...
International audienceL'évolution des concentrations de protéines caractérise le comportement d'un r...
International audienceThe identification of biological parameters governing dynamics of Genetic Regu...
International audienceThe identification of biological parameters governing dynamics of Genetic Regu...
Dans ce mémoire, nous présentons l’utilisation de techniques de model-checking pour l’inférence de p...
AbstractStudies of cells in silico can greatly reduce the need for expensive and prolonged laborator...
In this thesis, we present the use of model checking techniques for inference of parameters of Gene ...
In this thesis, we present the use of model checking techniques for inference of parameters of Gene ...
Abstract. The behaviour of gene regulatory networks (GRNs) is typi-cally analysed using simulation-b...
In this thesis, we present the use of model checking techniques for inference of parameters of Gene ...
In this thesis, we present the use of model checking techniques for inference of parameters of Gene ...
Abstract. The lack of precise numerical information for the values of biological parameters severely...
THE use of model checking for the analysis ofbiological networks has attracted much atten-tion recen...
Abstract — In this article, we propose a formal method to analyse gene regulatory networks (GRN). Th...
The behaviour of gene regulatory networks (GRNs) is typically analysed using simulation-based statis...
International audienceL'évolution des concentrations de protéines caractérise le comportement d'un r...
International audienceL'évolution des concentrations de protéines caractérise le comportement d'un r...
International audienceThe identification of biological parameters governing dynamics of Genetic Regu...
International audienceThe identification of biological parameters governing dynamics of Genetic Regu...
Dans ce mémoire, nous présentons l’utilisation de techniques de model-checking pour l’inférence de p...
AbstractStudies of cells in silico can greatly reduce the need for expensive and prolonged laborator...
In this thesis, we present the use of model checking techniques for inference of parameters of Gene ...
In this thesis, we present the use of model checking techniques for inference of parameters of Gene ...
Abstract. The behaviour of gene regulatory networks (GRNs) is typi-cally analysed using simulation-b...
In this thesis, we present the use of model checking techniques for inference of parameters of Gene ...
In this thesis, we present the use of model checking techniques for inference of parameters of Gene ...
Abstract. The lack of precise numerical information for the values of biological parameters severely...
THE use of model checking for the analysis ofbiological networks has attracted much atten-tion recen...
Abstract — In this article, we propose a formal method to analyse gene regulatory networks (GRN). Th...
The behaviour of gene regulatory networks (GRNs) is typically analysed using simulation-based statis...
International audienceL'évolution des concentrations de protéines caractérise le comportement d'un r...
International audienceL'évolution des concentrations de protéines caractérise le comportement d'un r...