19798 search results - page 316 / 3960 » Is Structural Subtyping Useful |
127
click to vote
RML
2006
15 years 3 months ago
2006
Abstract. A topos version of Cantor's back and forth theorem is established and used to prove that the ordered structure of the rational numbers Q, < is homogeneous in any ...
130
Voted
JCM
2007
15 years 3 months ago
2007
— In this paper we introduce two operations of access structure to build large monotone span programs MSPs from small MSPs. Furthermore, we point out a new method of constructing...
107
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: A structure alignment method based on a local geometric property is presented and its performance is tested in pairwise and multiple structure alignments. In this appr...
145
click to vote
PRIB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. An important unsolved problem in structural bioinformatics is that of protein structure prediction (PSP), the reconstruction of a biologically plausible three-dimensional...
171
click to vote
BMCBI
2011
14 years 7 months ago
2011
Background: Protein secondary structure prediction provides insight into protein function and is a valuable preliminary step for predicting the 3D structure of a protein. Dynamic ...