147
Voted
SAT
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We describe a DPLL-based solver for the problem of quantified boolean formulas (QBF) in non-prenex, non-CNF form. We make two contributions. First, we reformulate clause...
141
click to vote
EVOW
2007
Springer
15 years 8 months ago
2007
Springer
MicroRNAs (miRNAs) form a large functional family of small noncoding RNAs and play an important role as posttranscriptional regulators, by repressing the translation of mRNAs. Rece...
130
click to vote
EVOW
2007
Springer
15 years 8 months ago
2007
Springer
In human mesenchymal stem cells the envelope surrounding the nucleus, as visualized by the nuclear lamina, has a round and flat shape. The lamina structure is considerably deformed...
127
Voted
EVOW
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Although important contributions have been made in recent years within the field of bioprocess model development and validation, in many cases the utility of even relativ...