3 search results - page 1 / 1 » Symbolic-numeric Estimation of Parameters in Biochemical Mod... |
JBCB
2006
13 years 5 months ago
2006
BMCBI
2007
13 years 5 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
13 years 12 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...