205 search results - page 5 / 41 » HESAS: HERVs Expression and Structure Analysis System |
AUTOMATICA
2007
13 years 7 months ago
2007
This paper is devoted to the generic observability analysis for structured bilinear systems using a graph-theoretic approach. On the basis of a digraph representation, we express ...
BMCBI
2011
13 years 2 months ago
2011
Background: Genome-wide expression signatures are emerging as potential marker for overall survival and disease recurrence risk as evidenced by recent commercialization of gene ex...
RR
2009
Springer
14 years 2 months ago
2009
Springer
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...
ESOP
2009
Springer
14 years 2 months ago
2009
Springer
Hofmann and Jost have presented a heap space analysis [1] that finds linear space bounds for many functional programs. It uses an amortised analysis: assigning hypothetical amount...
SPIESR
2003
13 years 8 months ago
2003
In western art music, composers communicate their work to performers via a standard notation which specificies the musical pitches and relative timings of notes. This notation ma...