Sciweavers

1526 search results - page 2 / 306
» Computer algebra in systems biology
Sort
View
81
Voted
ENTCS
2008
127views more  ENTCS 2008»
15 years 1 months ago
HYPE Applied to the Modelling of Hybrid Biological Systems
HYPE is a process algebra developed to model hybrid systems
Vashti Galpin, Jane Hillston, Luca Bortolussi
95
Voted
AB
2007
Springer
15 years 5 months ago
Reduction of Algebraic Parametric Systems by Rectification of Their Affine Expanded Lie Symmetries
Lie group theory states that knowledge of a m-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by m the number of equations. ...
Alexandre Sedoglavic
119
Voted
AB
2008
Springer
15 years 8 months ago
Process Algebra Models of Population Dynamics
Chris McCaig, Rachel Norman, Carron Shankland
115
Voted
CAV
2005
Springer
101views Hardware» more  CAV 2005»
15 years 7 months ago
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology
Carla Piazza, Marco Antoniotti, Venkatesh Mysore, ...