Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli
about
Architecture and inherent robustness of a bacterial cell-cycle control systemLogical Modeling and Dynamical Analysis of Cellular NetworksSBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and toolsFormal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapyInferring Drosophila gap gene regulatory network: a parameter sensitivity and perturbation analysisMicroarray analysis of gene expression: considerations in data mining and statistical treatment.Qualitative networks: a symbolic approach to analyze biological signaling networks.Predictive modeling of signaling crosstalk during C. elegans vulval development.Symbolic modeling of genetic regulatory networks.Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension.A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.Statecharts for gene network modeling.Stochastic and deterministic multiscale models for systems biology: an auxin-transport case study.Hybrid modeling of biological networks: mixing temporal and qualitative biological properties."Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis.Rules for modeling signal-transduction systems.Model checking to assess T-helper cell plasticity.Faithful modeling of transient expression and its application to elucidating negative feedback regulationA Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model CheckingFrom in vivo to in silico biology and back.Modeling formalisms in Systems Biology.Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation.Online model checking approach based parameter estimation to a neuronal fate decision simulation model in Caenorhabditis elegans with hybrid functional Petri net with extension.Dynamical modeling and analysis of large cellular regulatory networks.Efficient parameter search for qualitative models of regulatory networks using symbolic model checkingOn the limitations of biological knowledge.A general computational method for robustness analysis with applications to synthetic gene networks.Cooperative development of logical modelling standards and tools with CoLoMoTo.Formal modeling of a system of chemical reactions under uncertainty.Validation of gene regulatory networks: scientific and inferential.The CoLoMoTo Interactive Notebook: Accessible and Reproducible Computational Analyses for Qualitative Biological Networks.
P2860
Q24644369-A78B4610-06FA-40B3-9D00-2ACBD1DA9A7BQ26745955-92D4C729-844F-4482-9B6A-9F3523A877A3Q27499050-D695C603-DF65-478D-8115-6F6B96F04601Q30385211-B9AA49FD-FA6B-4F0E-ADAC-F30656CB4816Q30490935-8768C219-3240-4DC4-B4E3-2712EA99A7B9Q31034882-BA76FE8A-3810-4F70-BCD0-9A180DD4CA16Q33281138-EA060736-D323-455A-BAFE-8ADD865EC547Q33285034-2663FFBF-A9EA-42DF-9A41-E1DB26A96164Q33291079-E7A51CE8-6CEA-4426-A6A4-62827B4ACFBDQ33434946-8DAE8CC9-33E8-4533-B85D-B9C4AA1F971DQ33521361-C6F17709-24CC-4D10-AD99-E3D7D56D2C48Q33534701-E0C063EC-AD27-444A-A48B-56BD2A539E63Q33546666-B3F5B095-57BF-44D7-884D-89887E293C80Q33595216-65C16BCB-0571-489D-965A-F79F8D68CC92Q34109051-5BD06DB0-DC4C-4722-85E3-7A0A9A4B2C29Q34548866-BAE06D34-885E-4E88-92C0-4D0C8A719C4AQ35022296-4ECAF793-6B01-4F0D-8132-B998E99DF5E6Q35748634-55F1293C-630C-45E3-BD43-5AE304477946Q36019808-C4C653D6-BDA1-4EB6-AC85-8EFB829EDD07Q36615907-F8AFF76F-2670-4FED-B4D3-4279C98066F6Q37964723-552E6839-F418-4513-BCC6-7C8B00F1AF5FQ39429278-CDCF555D-B08E-4890-9044-6D8C45434CDAQ39775730-FF03109C-6B32-4D06-9185-4E7A86325B6FQ42286354-5B87298F-D50C-45E0-872E-179F7BF7BD63Q42429942-ECA04D96-EB9C-4269-978C-4CCFE77A31B5Q42430005-3930ABE3-2AFA-4211-87D4-A4AB084D99FDQ42741749-31C3CF50-ABA9-4C94-B701-ABB679A8386AQ48621887-6B525020-F07F-4D38-AE4F-AB3BD431A66DQ51017450-19E43B66-A15A-48A4-843D-5DBCB3617A17Q51621327-4999B7ED-311E-4F6C-9451-2967D3067458Q55409799-D8F64278-89CE-4C14-A9A7-75C044EB5B88
P2860
Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli
description
2005 nî lūn-bûn
@nan
2005 թուականի Յունիսին հրատարակուած գիտական յօդուած
@hyw
2005 թվականի հունիսին հրատարակված գիտական հոդված
@hy
2005年の論文
@ja
2005年論文
@yue
2005年論文
@zh-hant
2005年論文
@zh-hk
2005年論文
@zh-mo
2005年論文
@zh-tw
2005年论文
@wuu
name
Validation of qualitative mode ...... s response in Escherichia coli
@ast
Validation of qualitative mode ...... s response in Escherichia coli
@en
Validation of qualitative mode ...... s response in Escherichia coli
@nl
type
label
Validation of qualitative mode ...... s response in Escherichia coli
@ast
Validation of qualitative mode ...... s response in Escherichia coli
@en
Validation of qualitative mode ...... s response in Escherichia coli
@nl
prefLabel
Validation of qualitative mode ...... s response in Escherichia coli
@ast
Validation of qualitative mode ...... s response in Escherichia coli
@en
Validation of qualitative mode ...... s response in Escherichia coli
@nl
P2093
P3181
P356
P1433
P1476
Validation of qualitative mode ...... s response in Escherichia coli
@en
P2093
Delphine Ropers
Dominique Schneider
Grégory Batt
Hidde de Jong
Johannes Geiselmann
Michel Page
Radu Mateescu
P304
P3181
P356
10.1093/BIOINFORMATICS/BTI1048
P407
P478
21 Suppl 1
P577
2005-06-01T00:00:00Z