3 search results - page 1 / 1 » Symbolic-numeric Estimation of Parameters in Biochemical Mod... |
JBCB
2006
13 years 11 months ago
2006
BMCBI
2007
13 years 11 months ago
2007
Background: A key challenge in metabonomics is to uncover quantitative associations between multidimensional spectroscopic data and biochemical measures used for disease risk asse...
AB
2007
Springer
14 years 5 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...