14 search results - page 2 / 3 » Pseudo Boolean Programming for Partially Ordered Genomes |
100
Voted
BMCBI
2004
15 years 1 months ago
2004
Background: An increasing number of microbial genomes are being sequenced and deposited in public databases. In addition, several closely related strains are also being sequenced ...
96
Voted
TACAS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
133
Voted
EMSOFT
2011
Springer
14 years 27 days ago
2011
Springer
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
105
Voted
AAAI
2006
15 years 2 months ago
2006
One of the main topics of research in genomics is determining the relevance of mutations, described in haplotype data, as causes of some genetic diseases. However, due to technolo...
111
Voted
IJAIT
2008
15 years 1 months ago
2008
One of the main topics of research in genomics is determining the relevance of mutations, described in haplotype data, as causes of some genetic diseases. However, due to technolo...