1699 search results - page 302 / 340 » On the Expressive Power of QLTL |
132
click to vote
NAR
2008
15 years 1 months ago
2008
Cancer is ranked as one of the top killers in all human diseases and continues to have a devastating effect on the population around the globe. Current research efforts are aiming...
154
click to vote
FUIN
2007
15 years 1 months ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...
127
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: Understanding transcriptional regulation of gene expression is one of the greatest challenges of modern molecular biology. A central role in this mechanism is played b...
140
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: Microarray analysis has become a widely used technique for the study of geneexpression patterns on a genomic scale. As more and more laboratories are adopting microarr...
105
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: Although DNA microarray technologies are very powerful for the simultaneous quantitative characterization of thousands of genes, the quality of the obtained experiment...