Sciweavers

1526 search results - page 28 / 306
» Computer algebra in systems biology
Sort
View
ICMS
2010
15 years 13 days ago
The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra
There is a growing interest in numeric-algebraic techniques in the computer algebra community as such techniques can speed up many applications. This paper is concerned with one su...
Jihun Yu, Chee Yap, Zilin Du, Sylvain Pion, Herv&e...
VLDB
1993
ACM
116views Database» more  VLDB 1993»
15 years 6 months ago
Algebraic Optimization of Computations over Scientific Databases
Although scientific data analysis increasingly requires accessandmanipulation of large quantitiesof data,current databasetechnology fails to meet the needsof scientific processing...
Richard H. Wolniewicz, Goetz Graefe
FM
2009
Springer
138views Formal Methods» more  FM 2009»
15 years 8 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
TAPIA
2009
ACM
15 years 8 months ago
A platform-based design environment for synthetic biological systems
Genomics has reached the stage at which the amount of DNA sequence information in existing databases is quite large. Synthetic biology is now using these databases to catalog sequ...
Douglas Densmore, Anne Van Devender, Matthew Johns...
CMSB
2009
Springer
15 years 8 months ago
A Bayesian Approach to Model Checking Biological Systems
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large f...
Sumit Kumar Jha, Edmund M. Clarke, Christopher Jam...