2877 search results - page 346 / 576 » Biological Computing |
167
click to vote
ASM
2010
ASM
16 years 3 months ago
2010
ASM
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
139
click to vote
ASM
2010
ASM
16 years 1 months ago
2010
ASM
Identifying a minimal unsatisfiable core in an Alloy model proved to be a very useful feature in many scenarios. We extend this concept to hot core, an approximation to unsat core...
148
click to vote
DNA
2009
Springer
16 years 1 months ago
2009
Springer
It is well known that the discrete Sierpinski triangle can be defined as the nonzero residues modulo 2 of Pascal’s triangle, and that from this definition one can easily const...
194
click to vote
AB
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In 1973 R. Thomas introduced a logical approach to modeling and analysis of bioregulatory networks. Given a set of Boolean functions describing the regulatory interaction...
178
click to vote
COCOA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We present a branch-and-bound (bb) algorithm for the multiple sequence alignment problem (MSA), one of the most important problems in computational biology. The upper bou...