Sciweavers

1999 search results - page 343 / 400
» Finding Reductions Automatically
Sort
View
BMCBI
2010
146views more  BMCBI 2010»
14 years 12 months ago
On the Choice and Number of Microarrays for Transcriptional Regulatory Network Inference
Background: Transcriptional regulatory network inference (TRNI) from large compendia of DNA microarrays has become a fundamental approach for discovering transcription factor (TF)...
Elissa J. Cosgrove, Timothy S. Gardner, Eric D. Ko...
BMCBI
2007
158views more  BMCBI 2007»
14 years 12 months ago
MetaLook: a 3D visualisation software for marine ecological genomics
Background: Marine ecological genomics can be defined as the application of genomic sciences to understand the structure and function of marine ecosystems. In this field of resear...
Thierry Lombardot, Renzo Kottmann, Gregory Giulian...
BMCBI
2008
160views more  BMCBI 2008»
14 years 12 months ago
A method for analyzing censored survival phenotype with gene expression data
Background: Survival time is an important clinical trait for many disease studies. Previous works have shown certain relationship between patients' gene expression profiles a...
Tongtong Wu, Wei Sun, Shinsheng Yuan, Chun-Houh Ch...
CORR
2010
Springer
208views Education» more  CORR 2010»
14 years 12 months ago
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
Lucas Cordeiro, Bernd Fischer 0002
CORR
2010
Springer
186views Education» more  CORR 2010»
14 years 12 months ago
Capacitated Caching Games
Capacitated Caching (CC) Games are motivated by P2P and web caching applications, and involve nodes on a network making strategic choices regarding the content to replicate in the...
Ragavendran Gopalakrishnan, Dimitrios Kanoulas, Na...