2877 search results - page 199 / 576 » Computational Biology |
139
Voted
TCS
2008
15 years 4 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
124
Voted
DAGSTUHL
2008
15 years 6 months ago
2008
Allowing templates with infinite domains greatly expands the range of problems that can be formulated as a non-uniform constraint satisfaction problem. It turns out that many CSPs ...
150
click to vote
CIBCB
2006
IEEE
15 years 10 months ago
2006
IEEE
— Microarray data analysis is notoriously challenging as it involves a huge number of genes compared to only a limited number of samples. Gene selection, to detect the most signi...
118
click to vote
RECOMB
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Between-Pathway Models (BPMs) are network motifs consisting of pairs of putative redundant pathways. In this paper, we show how adding another source of high-throughput d...
126
click to vote
RECOMB
2008
Springer
16 years 4 months ago
2008
Springer
Next Generation Sequencing (NGS) technologies are capable of reading millions of short DNA sequences both quickly and cheaply. While these technologies are already being used for r...