IGC, Rua da Quinta Grande 6 P-2780-156 Oeiras Portugal;
IGC, Rua da Quinta Grande 6 P-2780-156 Oeiras Portugal;
机译:使用符号模型检查,高效地搜索监管网络的定性模型。
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:使用S系统形式主义对啤酒酵母FLR1调控网络进行定量建模
机译:对监管网络定性建模的形式主义相关
机译:将定性生物学知识与动态贝叶斯网络相结合以进行基因调控网络的重建
机译:SBML定性模型:模型表示格式和基础结构以促进定性建模形式和工具之间的交互
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:为非洲设计定性数据收集策略(QDCs) - 第1阶段:对与非洲有关的现有模型,模拟和工具的差距分析。