17541 search results - page 3264 / 3509 » Complexity in scalable computing |
166
click to vote
RECOMB
2006
Springer
16 years 5 months ago
2006
Springer
This paper proposes a parameterized algorithm for aligning two protein structures, in the case where one protein structure is represented by a contact map graph and the other by a ...
152
click to vote
RECOMB
2005
Springer
16 years 5 months ago
2005
Springer
Abstract. In order to guarantee that the optimal motif is found, traditional pattern-driven approaches perform an exhaustive search over all candidate motifs of length l. We develo...
126
click to vote
RECOMB
2003
Springer
16 years 5 months ago
2003
Springer
Critical to the understanding of the genetic basis for complex diseases is the modeling of human variation. Most of this variation can be characterized by single nucleotide polymo...
136
click to vote
RECOMB
2002
Springer
16 years 5 months ago
2002
Springer
A recent idea for determining the three-dimensional structure of a protein uses antibody recognition of surface structure and random peptide libraries to map antibody epitope comb...
167
click to vote
CADE
2005
Springer
16 years 5 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...