SIAMNUM
2010
12 years 11 months ago
2010
We consider the Saint-Venant system for shallow water flows with non-flat bottom. In the past years, efficient well-balanced methods have been proposed in order to well resolve sol...
BCB
2010
12 years 11 months ago
2010
Analyzing metabolic pathways by means of their steady states has proven to be accurate and efficient for practical purposes. The models such as elementary flux modes (EFMs) and ex...
BMCBI
2007
13 years 4 months ago
2007
Background: The ambition of most molecular biologists is the understanding of the intricate network of molecular interactions that control biological systems. As scientists uncove...
ICLP
2010
Springer
13 years 8 months ago
2010
Springer
Answer set programs with time predicates are useful to model systems whose properties depend on time, like for example gene regulatory networks. A state of such a system at time po...