1699 search results - page 63 / 340 » On the Expressive Power of QLTL |
FSTTCS
1993
Springer
15 years 4 months ago
1993
Springer
A for-loop is somewhat similar to an inductive argument. Just as the truth of a proposition P(n + 1) depends on the truth of P(n), the correctness of iteration n+1 of a for-loop de...
102
click to vote
BMCBI
2008
15 years 25 days ago
2008
Background: Microarray pre-processing usually consists of normalization and summarization. Normalization aims to remove non-biological variations across different arrays. The norm...
131
click to vote
BMCBI
2006
15 years 23 days ago
2006
Background: Gene expression profiling has become a useful biological resource in recent years, and it plays an important role in a broad range of areas in biology. The raw gene ex...
117
Voted
BMCBI
2004
15 years 18 days ago
2004
Background: A key step in the analysis of microarray expression profiling data is the identification of genes that display statistically significant changes in expression signals ...
131
click to vote
FOIKS
2006
Springer
15 years 4 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...