200
click to vote
AB
16 years 2 hour 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...
132
Voted
AB
16 years 2 hour ago
2007 Springer
Abstract The classical attenuation regulation of gene expression in bacteria is considered. We propose to represent the secondary RNA structure in the leader region of a gene or an...
171
click to vote
AB
16 years 2 hour ago
2007 Springer
What is systems biology? What can biologists gain from an attempt to algebraize the questions in systems biology? Starting with plausible biological theses, can one algebraically m...
182
click to vote
AB
16 years 2 hour ago
2007 Springer
We introduce a novel model construction, cascaded games, that is intended to allow us to study the notion of steady states algebraically and structurally. The model construction is...
162
click to vote
AB
16 years 2 hour ago
2007 Springer
Whenever a programmer writes a loop, or a mathematician does a proof by induction, an invariant is involved. The discovery and understanding of invariants often underlies problem s...
|
Computational Biology