Sciweavers

679 search results - page 3 / 136
» hybrid 2010
Sort
View
ISBRA
2010
Springer
16 years 16 days ago
Fast Computation of the Exact Hybridization Number of Two Phylogenetic Trees
Abstract. Hybridization is a reticulate evolutionary process. An established problem on hybridization is computing the minimum number of hybridization events, called the hybridizat...
Yufeng Wu, Jiayin Wang
HYBRID
2010
Springer
15 years 7 months ago
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
Truong Nghiem, Sriram Sankaranarayanan, Georgios E...
BIOINFORMATICS
2010
84views more  BIOINFORMATICS 2010»
15 years 4 months ago
HybridNET: a tool for constructing hybridization networks
Zhi-Zhong Chen, Lusheng Wang
HYBRID
2010
Springer
16 years 16 days ago
Comparison of overapproximation methods for stability analysis of networked control systems
W. P. M. H. Heemels, Nathan van de Wouw, Rob H. Gi...
HYBRID
2010
Springer
16 years 16 days ago
Amir Pnueli and the dawn of hybrid systems
In this talk I present my own perspective on the beginning (I refer mostly to the period 1988-1998) of hybrid systems research at the computer science side, focusing on the contri...
Oded Maler