Formalization of a Biological Domain with Beta Binders

机译：具有Beta粘合剂的生物领域的形式化

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this paper the problem of formal specification of biological phenomena was considered. The presented formalization of metabolic pathways domain is the first step toward specification and formal analysis of multi-domain biological models. The proposed method of formalization of biological domains does not depend essentially on the original language of a biological specification. It can be easily adapted to a format of one of existing databases. So the proposed approach gives Wide possibilities for automatic analysis of already collected biological knowledge. Since our approach support a compositional property of specifications, complex models consisting of arbitrary amount of metabolic pathways can be analyzed using formal methods techniques.

机译：本文考虑了生物现象的形式规范问题。提出的代谢途径域形式化是迈向规范和形式分析多域生物学模型的第一步。提出的生物学领域的形式化方法基本上不依赖生物学规范的原始语言。它可以很容易地适应现有数据库之一的格式。因此，提出的方法为自动分析已收集的生物学知识提供了广泛的可能性。由于我们的方法支持规范的组成特性，因此可以使用正式方法技术分析由任意数量的代谢途径组成的复杂模型。

著录项

来源
《Advances in Computational Methods in Sciences and Engineering 2005 vol.4A; Lecture Series on Computer and Computational Sciences; vol.4A》|2005年|P.475-478|共4页
会议地点 Loutraki(GR)
作者
Katerina Pokozy-Korenblat; Federica Ciocchetta; Corrado Priami;
展开▼
作者单位

Department of Informatics and Telecommunications, University of Trento, Povo, Italy;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算数学的应用;
关键词
biology; modelling; SBML; formal methods; process algebras;

机译：生物学;建模; SBML;形式方法;过程代数;

相似文献

外文文献
中文文献
专利

1. Effects of Co-Expression of Liver X Receptor beta-Ligand Binding Domain with its Partner, Retinoid X Receptor alpha-Ligand Binding Domain, on their Solubility and Biological Activity in Escherichia coli [J] . Kang Hyun Journal of microbiology and biotechnology . 2015,第2期

机译：肝X受体β-配体结合域与其伴侣类维生素A X受体α-配体结合域的共表达对其在大肠杆菌中的溶解度和生物学活性的影响
2. The comparison of mouse full metallothionein-1 versus alpha and beta domains and metallothionein-1-to-3 mutation following traumatic brain injury reveals different biological motifs. [J] . Manso Y, Serra M, Comes G, Journal of Neuroscience Research . 2010,第8期

机译：脑外伤后小鼠全金属硫蛋白-1与α和β结构域和金属硫蛋白1-3突变的比较揭示了不同的生物学图案。
3. FORMALIZATION OF ALGORITHMIC KNOWLEDGE OF OBJECT DOMAINS IN TERMS OF THE ALGEBRA OF ALGORITHMICS [J] . A. E. Doroshenko, L. M. Zakhariya, G. E. Tseitlin Cybemetics and Systems Analysis . 2008,第6期

机译：算法代数术语中对象域的算法知识的形式化
4. Formalization of a Biological Domain with Beta Binders [C] . Katerina Pokozy-Korenblat, Federica Ciocchetta, Corrado Priami Advances in Computational Methods in Sciences and Engineering 2005 vol.4A; Lecture Series on Computer and Computational Sciences; vol.4A . 2005

机译：具有Beta粘合剂的生物领域的形式化
5. Purification, cDNA cloning, and biological significance of a beta-1,3-glucan recognition protein and its amino- and carboxyl-terminal domains from the Indianmeal moth, Plodia interpunctella. [D] . Fabrick, Jeffrey Alan. 2003

机译：来自印度粉蛾Plodia interpunctella的β-1,3-葡聚糖识别蛋白及其氨基和羧基末端结构域的纯化，cDNA克隆及其生物学意义。
6. Functional characterization of the domains of the bovine binder of SPerm 5 (BSP5) protein [O] . Prashanth Sirigeri Jois, Geneviève Plante, Isabelle Thérien, 2015

机译：SPerm 5（BSP5）蛋白的牛结合蛋白域的功能表征
7. Beta-binders for biological quantitative experiments [O] . Degano, Pierpaolo, Prandi, D, Priami, Corrado, 2006

机译：用于生物定量实验的Beta粘合剂

Formalization of a Biological Domain with Beta Binders

摘要

著录项

相似文献

相关主题

期刊订阅