170 search results - page 4 / 34 » A Homology Theory for Hybrid Systems: Hybrid Homology |
NAR
2008
13 years 7 months ago
2008
MALISAM (manual alignments for structurally analogous motifs) represents the first database containing pairs of structural analogs and their alignments. To find reliable analogs, ...
NAR
1998
13 years 7 months ago
1998
The stereochemical and dynamic properties of the C2′ hydroxyl group in several DNA·RNA hybrids have been measured by NMR and compared with the homologous RNA duplex. The C2′-...
LICS
1996
IEEE
13 years 11 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
HYBRID
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. The theory of formal verification is one of the main approaches to hybrid system analysis. Decidability questions for verification algorithms are obtained by constructi...
ICARCV
2008
IEEE
14 years 1 months ago
2008
IEEE
—We investigate the stability properties of discrete and hybrid stochastic nonlinear dynamical systems. More precisely, we extend the stochastic contraction theorems (which were ...