17688 search results - page 3361 / 3538 » Data Set Balancing |
272
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
157
click to vote
RECOMB
2007
Springer
16 years 6 months ago
2007
Springer
Determining the precise spatial extent of expression of genes across different tissues, along with knowledge of the biochemical function of the genes is critical for understanding ...
176
click to vote
RECOMB
2007
Springer
16 years 6 months ago
2007
Springer
In the past decade, genome rearrangements have attracted increasing attention from both biologists and computer scientists as a new type of data for phylogenetic analysis. Methods ...
175
click to vote
RECOMB
2006
Springer
16 years 6 months ago
2006
Springer
mRNA molecules are folded in the cells and therefore many of their substrings may actually be inaccessible to protein and microRNA binding. The need to apply an accessability crite...
153
click to vote
RECOMB
2005
Springer
16 years 6 months ago
2005
Springer
Abstract. One of the simplest evolutionary models has molecular sequences evolving from a common ancestor down a bifurcating phylogenetic tree, experiencing point-mutations along t...