Tools and formal models for biological research

生物学研究的工具和形式模型

• 批准号: 312214-2008
• 负责人: Domaratzki, Michael
• 金额: $ 1.53万
• 依托单位: University of Manitoba
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2013
• 资助国家: 加拿大
• 起止时间: 2013-01-01 至 2014-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=526439
• 关键词: Tools; formal; models; biological; research

Bioinformatics is the study of computational techniques for solving problems from biology. With vast amounts of biological sequence data now available for DNA, RNA and proteins, the need for fast computational tools is crucial. There is a substantial research drive to develop new tools which aid in prediction of the function of molecules and construction of evolutionary relationships and histories, for example.

生物信息学是研究解决生物学问题的计算技术。随着DNA、RNA和蛋白质的大量生物序列数据，对快速计算工具的需求至关重要。 有一个实质性的研究驱动力，开发新的工具，帮助预测分子的功能和进化关系和历史的建设，例如。