1699 search results - page 116 / 340 » On the Expressive Power of QLTL |
189
click to vote
ISLPED
2007
ACM
15 years 7 months ago
2007
ACM
We analyze the effect of thermal constraints on the performance and power of multi-core processors. We propose system-level power and thermal models, and derive expressions for (a...
159
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Gene expression profiling has the potential to unravel molecular mechanisms behind gene regulation and identify gene targets for therapeutic interventions. As microarr...
150
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Recent advances in antibody microarray technology have made it possible to measure the expression of hundreds of proteins simultaneously in a competitive dual-colour a...
168
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The genomewide pattern of changes in mRNA expression measured using DNA microarrays is typically a complex superposition of the response of multiple regulatory pathway...
187
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...