12825 search results - page 489 / 2565 » Improved PLSOM algorithm |
255
click to vote
FORTE
1994
15 years 9 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...
203
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Quantitative proteomics technologies have been developed to comprehensively identify and quantify proteins in two or more complex samples. Quantitative proteomics base...
184
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Aligning homologous non-coding RNAs (ncRNAs) correctly in terms of sequence and structure is an unresolved problem, due to both mathematical complexity and imperfect s...
197
click to vote
BMCBI
2010
15 years 7 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...
185
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Classifying nuclear magnetic resonance (NMR) spectra is a crucial step in many metabolomics experiments. Since several multivariate classification techniques depend up...