首页> 外文会议>International Conference on Verification, Model Checking and Abstract Interpretation >Modeling Parsimonious Putative Regulatory Networks: Complexity and Heuristic Approach
【24h】

Modeling Parsimonious Putative Regulatory Networks: Complexity and Heuristic Approach

机译:建模案例推定监管网络:复杂性和启发式方法

获取原文

摘要

A relevant problem in systems biology is the description of the regulatory interactions between genes. It is observed that pairs of genes have significant correlation through several experimental conditions. The question is to find causal relationships that can explain this experimental evidence. A putative regulatory network can be represented by an oriented weighted graph, where vertices represent genes, arcs represent predicted regulatory interactions and the arc weights represent the p-value of the prediction. Given such graph, and experimental evidence of correlation between pairs of vertices, we propose an abstraction and a method to enumerate all parsimonious subgraphs that assign causality relationships compatible with the experimental evidence. When the problem is modeled as the minimization of a global weight function, we show that the enumeration of scenarios is a hard problem. As an heuristic, we model the problem as a set of independent minimization problems, each solvable in polynomial time, which can be combined to explore a relevant subset of the solution space. We present a logicprogramming formalization of the model implemented using Answer Set Programming. We show that, when the graph follows patterns that can be found in real organisms, our heuristic finds solutions that are good approximations to the full model. We encoded these approach using Answer Set Programming, applied this to a specific case in the organism E. coli and compared the execution time of each approach.
机译:系统生物学中的相关问题是基因之间的调节相互作用的描述。观察到,通过几种实验条件,对基因对具有显着的相关性。问题是找到可以解释这种实验证据的因果关系。推定的调节网络可以由定向的加权图表表示,其中顶点表示基因,弧形表示预测的调节相互作用,并且电弧权重表示预测的p值。考虑到这样的图形和对顶点对之间相关的实验证据,我们提出了一种抽象和方法来枚举与实验证据兼容的因果关系分配的所有解析子图。当问题被建模为全局权重函数的最小化时,我们表明场景的枚举是一个难题。作为启发式,我们将问题模型为一组独立的最小化问题,每个问题在多项式时间中可解决,可以组合以探索解决方案空间的相关子集。我们提出了使用答案集编程实现的模型的逻辑编程形式化。我们展示了,当图表遵循可以在真实生物中找到的模式时,我们的启发式找到了对整个模型的近似值的解决方案。我们使用答案集编程编码了这些方法,将其应用于有机体大肠杆菌中的特定情况并比较了每种方法的执行时间。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号