170 search results - page 2 / 34 » A Homology Theory for Hybrid Systems: Hybrid Homology |
MKM
2007
Springer
13 years 11 months ago
2007
Springer
This paper reports on ongoing work on the project of representing the Kenzo system [15] in type theory [11].
HYBRID
2000
Springer
13 years 9 months ago
2000
Springer
Given a deterministic, non-blocking hybrid system, we introduce the notion of its hybrid manifold (or hybrifold) with the associated hybrid
ow on it. This enables us to study hyb...
IJDMB
2008
13 years 5 months ago
2008
: Computational classification of proteins using methods such as string kernels and Fisher-SVM has demonstrated great success. However, the resulting models do not offer an immedia...
BIBM
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract—Compressive Sensing Microarrays (CSM) are DNAbased sensors that operate using group testing and compressive sensing (CS) principles. In contrast to conventional DNA micr...
BMCBI
2004
13 years 5 months ago
2004
Background: Microarrays have emerged as the preferred platform for high throughput gene expression analysis. Cross-hybridization among genes with high sequence similarities can be...