1648 search results - page 95 / 330 » Structuring namespace descriptions |
135
Voted
ENTCS
2006
15 years 3 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
139
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: The hierarchical and partially redundant nature of protein structures justifies the definition of frequently occurring conformations of short fragments as `states'...
128
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Protein structure analysis and comparison are major challenges in structural bioinformatics. Despite the existence of many tools and algorithms, very few of them have ...
157
Voted
ISMB
1996
15 years 5 months ago
1996
The native conformation of a protein, in a given environment, is determined entirely by the various interatomic interactions dictated by the amino acid sequence (1-3). We describe...
125
Voted
ALMOB
2008
15 years 3 months ago
2008
Background: Protein structure alignments are usually based on very different techniques to sequence alignments. We propose a method which treats sequence, structure and even combi...