Sciweavers

679 search results - page 3 / 136
» hybrid 2010
Sort
View
ISBRA
2010
Springer
15 years 6 months 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 1 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»
14 years 11 months ago
HybridNET: a tool for constructing hybridization networks
Zhi-Zhong Chen, Lusheng Wang
HYBRID
2010
Springer
15 years 6 months 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
15 years 6 months 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