Sciweavers

2248 search results - page 150 / 450
» Using Bayesian networks to analyze expression data
Sort
View
ISSTA
2000
ACM
15 years 2 months ago
Verisim: Formal analysis of network simulations
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim...
95
Voted
BMCBI
2008
202views more  BMCBI 2008»
14 years 10 months ago
Network motif-based identification of transcription factor-target gene relationships by integrating multi-source biological data
Background: Integrating data from multiple global assays and curated databases is essential to understand the spatiotemporal interactions within cells. Different experiments measu...
Yuji Zhang, Jianhua Xuan, Benildo de los Reyes, Ro...
NAR
2010
111views more  NAR 2010»
14 years 4 months ago
Babelomics: an integrative platform for the analysis of transcriptomics, proteomics and genomic data with advanced functional pr
Babelomics is a response to the growing necessity of integrating and analyzing different types of genomic data in an environment that allows an easy functional interpretation of t...
Ignacio Medina, José Carbonell, Luis Pulido...
NC
2010
142views Neural Networks» more  NC 2010»
14 years 4 months ago
Computation in Sofic Quantum Dynamical Systems
We analyze how measured quantum dynamical systems store and process information, introducing sofic quantum dynamical systems. Using recently introduced information-theoretic measur...
Karoline Wiesner, James P. Crutchfield
BMCBI
2008
115views more  BMCBI 2008»
14 years 10 months ago
Genome-scale cluster analysis of replicated microarrays using shrinkage correlation coefficient
Background: Currently, clustering with some form of correlation coefficient as the gene similarity metric has become a popular method for profiling genomic data. The Pearson corre...
Jianchao Yao, Chunqi Chang, Mari L. Salmi, Yeung S...