Sciweavers

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