8828 search results - page 1242 / 1766 » Formal methods in practice |
247
click to vote
BMCBI
2011
15 years 2 months ago
2011
Background: Accurate identification of protein domain boundaries is useful for protein structure determination and prediction. However, predicting protein domain boundaries from a...
209
click to vote
ISBRA
2007
Springer
16 years 1 months ago
2007
Springer
Clustering has been one of the most popular approaches used in gene expression data analysis. A clustering method is typically used to partition genes according to their similarity...
211
click to vote
COMPLIFE
2005
Springer
16 years 22 days ago
2005
Springer
During the last few years new functionalities of RNA have been discovered, renewing the need for computational tools for their analysis. To this respect, multiple sequence alignmen...
219
click to vote
HYBRID
2001
Springer
15 years 11 months ago
2001
Springer
It has been observed that there are a variety of situations in which the most popular hybrid simulation methods can fail to properly detect the occurrence of discrete events. In th...
188
click to vote
ASIACRYPT
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. It has been recently acknowledged [4, 6, 9] that the use of double bases representations of scalars n, that is an expression of the form n = e,s,t(-1)e As Bt can speed up...