5608 search results - page 175 / 1122 » Structure description tools |
142
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
We study the existence of automatic presentations for various algebraic structures. An automatic presentation of a structure is a description of the universe of the structure by a...
114
Voted
BMCBI
2004
15 years 3 months ago
2004
Background: The functional selection and three-dimensional structural constraints of proteins in nature often relates to the retention of significant sequence similarity between p...
205
Voted
NAR
2000
15 years 3 months ago
2000
The Structural Classification of Proteins (SCOP) database provides a detailed and comprehensive description of the relationships of all known proteins structures. The classificati...
117
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
132
click to vote
RIAO
2000
15 years 4 months ago
2000
The Internet is a tremendous resource where one can find documents to enrich a personal information space. The question is: how can one find relevant documents and how can these b...