Sciweavers

2502 search results - page 156 / 501
» Using probabilistic model checking in systems biology
Sort
View
164
Voted
ICRA
2010
IEEE
170views Robotics» more  ICRA 2010»
15 years 2 months ago
Robust vehicle localization in urban environments using probabilistic maps
— Autonomous vehicle navigation in dynamic urban environments requires localization accuracy exceeding that available from GPS-based inertial guidance systems. We have shown prev...
Jesse Levinson, Sebastian Thrun
120
Voted
GLVLSI
2007
IEEE
194views VLSI» more  GLVLSI 2007»
15 years 7 months ago
Probabilistic maximum error modeling for unreliable logic circuits
Reliability modeling and evaluation is expected to be one of the major issues in emerging nano-devices and beyond 22nm CMOS. Such devices would have inherent propensity for gate f...
Karthikeyan Lingasubramanian, Sanjukta Bhanja
134
Voted
RECOMB
2009
Springer
15 years 10 months ago
Reconstructing Histories of Complex Gene Clusters on a Phylogeny
Abstract. Clusters of genes that have evolved by repeated segmental duplication present difficult challenges throughout genomic analysis, from sequence assembly to functional analy...
Tomás Vinar, Brona Brejová, Giltae S...
129
Voted
INFORMATICALT
2010
169views more  INFORMATICALT 2010»
15 years 2 months ago
Parameters Estimation in Modelling of Gas-Gap in RBMK Type Reactor Using Bayesian Approach
Abstract. This study presents developed algorithm for assessment and updating estimates of parameters in the mathematical models of non-stationary processes (for instance, system a...
Inga Zutautaite-Seputiene, Juozas Augutis, Laimuti...
130
Voted
CEC
2009
IEEE
15 years 8 months ago
A novel EDAs based method for HP model protein folding
— The protein structure prediction (PSP) problem is one of the most important problems in computational biology. This paper proposes a novel Estimation of Distribution Algorithms...
Benhui Chen, Long Li, Jinglu Hu