1981 search results - page 160 / 397 » Model-Checking Hierarchical Structures |
FSTTCS
2009
Springer
15 years 4 months ago
2009
Springer
The paper focuses on the structure of fundamental sequences of ordinals smaller than ε0. A first result is the construction of a monadic second-order formula identifying a given ...
BMCBI
2010
14 years 10 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'...
97
Voted
NAR
2002
14 years 9 months ago
2002
The SCOP (Structural Classification of Proteins) database is a comprehensive ordering of all proteins of known structure, according to their evolutionary and structural relationsh...
68
Voted
WWW
2010
ACM
15 years 5 months ago
2010
ACM
The core task of sponsored search is to retrieve relevant ads for the user’s query. Ads can be retrieved either by exact match, when their bid term is identical to the query, or...
83
Voted
BMCBI
2008
14 years 10 months ago
2008
Background: Detailed information about protein interactions is critical for our understanding of the principles governing protein recognition mechanisms. The structures of many pr...