Sciweavers

2326 search results - page 279 / 466
» Discovering significant patterns
Sort
View
IFIP
2010
Springer
15 years 1 months ago
Efficient Decision Procedures for Message Deducibility and Static Equivalence
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
Bruno Conchinha, David A. Basin, Carlos Caleiro
BMCBI
2006
116views more  BMCBI 2006»
15 years 6 months ago
ROKU: a novel method for identification of tissue-specific genes
Background: One of the important goals of microarray research is the identification of genes whose expression is considerably higher or lower in some tissues than in others. We wo...
Koji Kadota, Jiazhen Ye, Yuji Nakai, Tohru Terada,...
WIOPT
2010
IEEE
15 years 4 months ago
Flunet: Automated tracking of contacts during flu season
— By analyzing people’s contact patterns over time, it is possible to build efficient delay tolerant networking (DTN) algorithms and derive important data for parameterizing an...
Mohammad S. Hashemian, Kevin G. Stanley, Nathaniel...
BMCBI
2011
14 years 10 months ago
A Beta-Mixture Model for Dimensionality Reduction, Sample Classification and Analysis
Background: Patterns of genome-wide methylation vary between tissue types. For example, cancer tissue shows markedly different patterns from those of normal tissue. In this paper ...
Kirsti Laurila, Bodil Oster, Claus L. Andersen, Ph...
BMCBI
2006
126views more  BMCBI 2006»
15 years 6 months ago
OpWise: Operons aid the identification of differentially expressed genes in bacterial microarray experiments
Background: Differentially expressed genes are typically identified by analyzing the variation between replicate measurements. These procedures implicitly assume that there are no...
Morgan N. Price, Adam P. Arkin, Eric J. Alm