11321 search results - page 144 / 2265 » Improvements to Turing's method |
215
click to vote
FORTE
1994
15 years 7 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
153
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: G-protein-coupled receptors (GPCRs) play a key role in diverse physiological processes and are the targets of almost two-thirds of the marketed drugs. The 3 D structur...
145
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Multifactor Dimensionality Reduction (MDR) has been introduced previously as a non-parametric statistical method for detecting gene-gene interactions. MDR performs a d...
129
click to vote
CCE
2006
15 years 6 months ago
2006
Lagrangean decomposition has been recognized as a promising approach for solving large-scale optimization problems. However, Lagrangean decomposition is critically dependent on th...
175
click to vote
DM
2007
15 years 6 months ago
2007
We prove that the acyclic chromatic index a (G) 6 for all graphs with girth at least 9. We extend the same method to obtain a bound of 4.52 with the girth requirement g 220. We al...