• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Computational intelligence methods for bioinformatics and biostatistics >On the Use of Temporal Formal Logic to Model Gene Regulatory Networks
【24h】

On the Use of Temporal Formal Logic to Model Gene Regulatory Networks

机译：关于使用时间形式逻辑建模基因调控网络的研究

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Modelling activities in molecular biology face the difficulty of prediction to link molecular knowledge with cell phenotypes. Even when the interaction graph between molecules is known, the deduction of the cellular dynamics from this graph remains a strong corner stone of the modelling activity, in particular one has to face the parameter identification problem. This article is devoted to convince the reader that computers can be used not only to simulate a model of the studied biological system but also to deduce the sets of parameter values that lead to a behaviour compatible with the biological knowledge (or hypotheses) about dynamics. This approach is based on formal logic. It is illustrated in the discrete modelling framework of genetic regulatory networks due to Rene Thomas.
机译：分子生物学中的建模活动面临将分子知识与细胞表型联系起来的预测困难。即使已知分子之间的相互作用图，从该图推导的细胞动力学仍然是建模活动的重要基础，特别是必须面对参数识别问题。本文致力于使读者相信，计算机不仅可以用于模拟所研究的生物系统的模型，而且可以推导导致与行为有关的生物学知识（或假设）兼容的行为的参数值集。这种方法基于形式逻辑。由于Rene Thomas，在遗传调控网络的离散建模框架中对此进行了说明。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号