2911 search results - page 54 / 583 » A Theory of Expressiveness in Mechanisms |
182
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
Traditional architecture design approaches hide hardware uncertainties from the software stack through overdesign, which is often expensive in terms of power consumption. The recen...
199
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: A complete understanding of the regulatory mechanisms of gene expression is the next important issue of genomics. Many bioinformaticians have developed methods and alg...
157
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The analysis of high-throughput gene expression data sets derived from microarray experiments still is a field of extensive investigation. Although new approaches and ...
157
click to vote
CSL
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Expansions of the natural number ordering by unary predicates are studied, using logics which in expressive power are located between first-order and monadic second-order...
190
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Church's Problem, stated fifty years ago, asks for a finitestate machine that realizes the transformation of an infinite sequence into an infinite sequence such tha...