专栏首页arxiv.org 翻译专栏生命科学的重写理论: CTMC语义学的统一理论(CS LO)
原创

生命科学的重写理论: CTMC语义学的统一理论(CS LO)

Kappa 生物化学和MD有机化学框架是迄今为止在生命科学中重写理论方法的最为成熟的应用之一。这些类型的重写理论的一个典型特征是必须对要重写的对象实施某些结构约束(一个蛋白质被经验性地发现具有某些特定的位点,一个碳原子最多可以形成四个键,...)。 在本文中,我们为这些类型的重写理论的理论基础做出了贡献,许多概念和技术的发展使得连续时间马尔可夫链(CTMCs)的通用理论能够应用于随机重写。 我们的核心数学概念是一个新颖的规则代数结构,用于在双重和倍半推出语义学中相关的重写规则设置,并通过一个合适的随机力学形式扩展得到模式计数统计的动态演化方程。

原文题目:Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics

The Kappa biochemistry and the MØD organo-chemistry frameworks are amongst the most intensely developed applications of rewriting theoretical methods in the life sciences to date. A typical feature of these types of rewriting theories is the necessity to implement certain structural constraints on the objects to be rewritten (a protein is empirically found to have a certain signature of sites, a carbon atom can form at most four bonds, ...). In this paper, we contribute to the theoretical foundations of these types of rewriting theory a number of conceptual and technical developments that permit to implement a universal theory of continuous-time Markov chains (CTMCs) for stochastic rewriting systems. Our core mathematical concepts are a novel rule algebra construction for the relevant setting of rewriting rules with conditions, both in Double- and in Sesqui-Pushout semantics, augmented by a suitable stochastic mechanics formalism extension that permits to derive dynamical evolution equations for pattern-counting statistics.

原文作者:Nicolas Behr

原文地址:https://arxiv.org/abs/2003.09395

原创声明,本文系作者授权云+社区发表,未经许可,不得转载。

如有侵权,请联系 yunjia_community@tencent.com 删除。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • 科学问题解释的统一重建(CS AI)

    本文提出了一个通过以解释为中心的语料库重构多项选择科学问题解释的框架。在科学统一概念的基础上,该框架利用两个不同分数的组合,对问题和候选答案的解释性事实进行排序...

    用户7095611
  • 足球点球大战设计的综合分析(CS GT)

    足球点球大战的标准设计由于偏向第一个点球的球队而受到了严厉的批评。 这项运动的规则制定机构在2017年决定尝试另一种机制。 尽管新政策的实施已经停滞不前,但学术...

    用户7095611
  • 深度不确定性: 比较深度学习算法中的不确定性量化方法(CS LG)

    我们在一个简单的物理系统的背景下,对深度学习算法中的不确定性量化(UQ)的方法进行了比较。 将三种最常用的不确定度量化方法——贝叶斯神经网络(BNN)、混凝土丢...

    用户7095611
  • 生活在新冠病毒的世界:电视节目主持人在家里挣扎

    困在家里给了我们太多的时间去思考,我们中的许多人正在快速地浏览在线内容。我刚刚注意到的一件事是,通常有现场观众的电视节目人们突然几乎不看了。

    用户8055484
  • SQL,PL/SQL 数据类型一览表

    The following is a list of datatypes available in Oracle.

    Leshami
  • 探讨AGI如何更安全的论文

    用户1908973
  • 利用5G网络资源分配框架以改善用户实时视频的体验(CS NI)

    为移动用户提供高质量的实时视频流体验是目前蜂窝网络面临的最大挑战之一。这是由于这些服务需要具有高速率和低可变性。考虑到用户对有限网络资源的竞争,以及它们信道特性...

    谭雪儿
  • 基于模型的强化学习中的Delta模式网络(CS LG)

    这项工作致力于解决人工智能的未解决问题-学习迁移的效率低下。在强化学习领域中用于解决此问题的机制之一是基于模型的方法。 在本文中,我们正在扩展模式网络方法,该方...

    小童
  • AlexNet论文总结

    Introduction Preconditions ImageNet Objects in realistic settings exhibit cons...

    Tyan
  • Database Design Guidelines

    绿巨人

扫码关注云+社区

领取腾讯云代金券