糖链生成规则的自动推断
计算机科学中的逻辑
2021-07-07 v1
摘要
糖链是由糖单体构建块构成的树状聚合物。它们存在于所有活细胞表面，不同的糖链树作为不同细胞类型的身份标记。称为GTase酶的蛋白质通过连续添加单体构建块来组装糖链。这些酶的作用规则尚未被完全理解。本文提出首个基于SMT求解器的迭代方法，通过分析来自一个细胞的糖链集合推断糖链的组装过程。我们基于该方法构建了一个工具，并将其应用于根据已发表的糖链数据推断规则。
引用
@article{arxiv.2107.02203,
title = {Automated inference of production rules for glycans},
author = {Ansuman Biswas and Ashutosh Gupta and Meghana Missula and Mukund Thattai},
journal= {arXiv preprint arXiv:2107.02203},
year = {2021}
}
备注
23 pages; 2 figures