133 search results - page 27 / 27 » Inference of Session Types From Control Flow |
BMCBI
2010
13 years 5 months ago
2010
Background: High-throughput sequencing technologies, such as the Illumina Genome Analyzer, are powerful new tools for investigating a wide range of biological and medical question...
BMCBI
2010
13 years 5 months ago
2010
Background: The accumulation of high-throughput data greatly promotes computational investigation of gene function in the context of complex biological systems. However, a biologi...
IPSN
2011
Springer
12 years 8 months ago
2011
Springer
While a number of acoustic localisation systems have been proposed over the last few decades, these have typically either relied on expensive dedicated microphone arrays and works...