18 search results - page 4 / 4 » Locally Strong Coherence in Inference Processes |
JLP
2006
13 years 9 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
BMCBI
2010
13 years 4 months ago
2010
Background: A new paradigm of biological investigation takes advantage of technologies that produce large high throughput datasets, including genome sequences, interactions of pro...
RECOMB
2009
Springer
14 years 10 months ago
2009
Springer
The combination of fully sequence genomes and new technologies for high density arrays and ultra-rapid sequencing enables the mapping of generegulatory and epigenetics marks on a g...