357 search results - page 45 / 72 » Computing Reachable States for Nonlinear Biological Models |
148
click to vote
CIBCB
2005
IEEE
15 years 9 months ago
2005
IEEE
— In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of memetic algori...
214
click to vote
AB
2008
Springer
15 years 6 months ago
2008
Springer
In 2007, Eickmeyer et al. showed that the tree topologies outputted by the Neighbor-Joining (NJ) algorithm and the balanced minimum evolution (BME) method for phylogenetic reconstr...
124
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Innumerable biological investigations require comparing collections of molecules, cells or organisms to one another with respect to one or more of their properties. Al...
145
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
179
click to vote
SACMAT
2009
ACM
15 years 10 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...