3 search results - page 1 / 1 » Deriving Syntax and Axioms for Quantitative Regular Behaviou... |
CONCUR
2009
Springer
13 years 11 months ago
2009
Springer
IANDC
2011
12 years 12 months ago
2011
We present a systematic way to generate (1) languages of (generalised) regular expressions, and (2) sound and complete axiomatizations thereof, for a wide variety of quantitative ...
BMCBI
2006
13 years 4 months ago
2006
Background: In real-time PCR data analysis, the cycle threshold (CT) method is currently the gold standard. This method is based on an assumption of equal PCR efficiency in all re...