1648 search results - page 61 / 330 » Structuring namespace descriptions |
151
Voted
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...
119
click to vote
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...
213
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...
125
click to vote
FM
2003
Springer
15 years 9 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 ...
141
click to vote
RIAO
2000
15 years 5 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...