Sciweavers

63 search results - page 10 / 13
» Expressiveness of ADL and Golog: Functions Make a Difference
Sort
View
JCP
2008
121views more  JCP 2008»
13 years 7 months ago
Towards Design Space Exploration for Biological Systems
For both embedded systems and biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can vary wid...
Simon Polstra, Tessa E. Pronk, Andy D. Pimentel, T...
BMCBI
2007
141views more  BMCBI 2007»
13 years 7 months ago
HeliCis: a DNA motif discovery tool for colocalized motif pairs with periodic spacing
Background: Correct temporal and spatial gene expression during metazoan development relies on combinatorial interactions between different transcription factors. As a consequence...
Erik Larsson, Per Lindahl, Petter Mostad
BMCBI
2007
78views more  BMCBI 2007»
13 years 7 months ago
Improved human disease candidate gene prioritization using mouse phenotype
Background: The majority of common diseases are multi-factorial and modified by genetically and mechanistically complex polygenic interactions and environmental factors. High-thro...
Jing Chen, Huan Xu, Bruce J. Aronow, Anil G. Jegga
CORR
2010
Springer
144views Education» more  CORR 2010»
13 years 7 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
BMCBI
2010
96views more  BMCBI 2010»
13 years 7 months ago
Incorporating gene co-expression network in identification of cancer prognosis markers
Background: Extensive biomedical studies have shown that clinical and environmental risk factors may not have sufficient predictive power for cancer prognosis. The development of ...
Shuangge Ma, Mingyu Shi, Yang Li, Danhui Yi, Ben-C...