Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Parameters inference"'
Publikováno v:
The International Journal of Advanced Manufacturing Technology. 124:1681-1697
The digital industrial revolution calls for smart manufacturing plants, i.e. plants that include sensors and vision systems accompanied with artificial intelligence and advanced data analytics in order to meet the required accuracy, reliability and p
Autor:
Gallet, Emmanuelle
Dans ce mémoire, nous présentons l’utilisation de techniques de model-checking pour l’inférence de paramètres de réseaux de régulation génétique (GRN) et l’analyse formelle d’une voie de signalisation. Le coeur du mémoire est décrit
Externí odkaz:
http://www.theses.fr/2016SACLC035/document
Autor:
Magnin, Morgan
Publikováno v:
Bio-informatique [q-bio.QM]. Université de Nantes, 2016
This habilitation thesis gathers several works in the field of formal methods for biology. In our works, we tackled the challenge of modeling and analyzing the dynamics of large-scale biological regulatory networks. To address this issue, we identifi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::13a9d6da97a26aab6153e8f54d20fe0f
https://tel.archives-ouvertes.fr/tel-01321311/file/hdr-morgan-magnin-manuscrit-definitif3.pdf
https://tel.archives-ouvertes.fr/tel-01321311/file/hdr-morgan-magnin-manuscrit-definitif3.pdf
Autor:
Gallet, Emmanuelle
Publikováno v:
Autre. Université Paris Saclay (COmUE), 2016. Français. ⟨NNT : 2016SACLC035⟩
In this thesis, we present the use of model checking techniques for inference of parameters of Gene Regulatory Networks (GRNs) and formal analysis of a signalling pathway. In the first and main part, we provide an approach to infer biological paramet
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4658eb7bff4be173c2c74c239f117d09
https://theses.hal.science/tel-01484341
https://theses.hal.science/tel-01484341
Publikováno v:
Transactions on Computational Systems Biology
Transactions on Computational Systems Biology, Springer, 2011, XIII, pp.171-191. ⟨10.1007/978-3-642-19748-2_8⟩
Transactions on Computational Systems Biology, Springer, 2011, XIII, pp.171-191. ⟨10.1007/978-3-642-19748-2_8⟩
International audience; In this paper, we introduce a framework allowing to model and analyse efficiently Gene Regulatory Networks in their temporal and stochastic aspects. The analysis of stable states and inference of René Thomas' discrete paramet
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ac0c2c9d59a13ec6fc53f03a28f17e41
https://hal.archives-ouvertes.fr/hal-00397235
https://hal.archives-ouvertes.fr/hal-00397235
Autor:
Benito Garcia-Morales, Marta
Publikováno v:
Mathématiques [math]. École Nationale Supérieure des Mines de Paris, 2003. Français. ⟨NNT : 2003ENMP1180⟩
Date de soutenance imprécise, le document porte la mention en décembre 2003; Given the important economic stakes involved in the oil industry, there is a real need for a description of the geological structure of oil reservoirs and of the petrophys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::dc4bea613f23d4652119bf4cb0f6ede6
https://pastel.archives-ouvertes.fr/pastel-00001187/file/Benito_these.pdf
https://pastel.archives-ouvertes.fr/pastel-00001187/file/Benito_these.pdf
Autor:
Benito Garcia-Morales, Marta
Publikováno v:
Mathématiques [math]. École Nationale Supérieure des Mines de Paris, 2003. Français. ⟨NNT : 2003ENMP1180⟩
Date de soutenance imprécise, le document porte la mention en décembre 2003; Given the important economic stakes involved in the oil industry, there is a real need for a description of the geological structure of oil reservoirs and of the petrophys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::dc4bea613f23d4652119bf4cb0f6ede6
https://pastel.archives-ouvertes.fr/pastel-00001187/file/Benito_these.pdf
https://pastel.archives-ouvertes.fr/pastel-00001187/file/Benito_these.pdf
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.
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.