François Fages:
From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools.
Abstract
Mathematical biology has for a long time investigated the dynamics of biomolecular systems by developing numerical models involving (highly non-linear) differential equations and using tools such as Bifurcation Theory for estimating parameters [1]. Mathematical biology provides a firm ground for the numerical analysis of biological systems. However, state-of-the-art quantitative models can hardly be re-used and composed with other models in a systematic fashion, and are limited to a few tenths of variables [2].
URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-106
@article{REWERSE-RP-2006-106,
author = {Fran\c{c}ois Fages},
title = {From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools},
journal = {},
year = {2006},
volume = {3939},
pages = {68--70},
url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-106}
}