2373 search results - page 25 / 475 » On the Theory of Structural Subtyping |
CORR
2010
Springer
14 years 9 months ago
2010
Springer
FOSSACS
2011
Springer
14 years 1 months ago
2011
Springer
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...
59
Voted
APAL
2010
14 years 9 months ago
2010
We study the theory of lovely pairs of geometric structures, in particular o-minimal structures. We characterize "linear" theories in terms of properties of the correspon...
BMCBI
2010
14 years 9 months ago
2010
The Protein-DNA Interface database (PDIdb) is a repository containing relevant structural information of Protein-DNA complexes solved by X-ray crystallography and available at the...
92
Voted
NAR
2006
14 years 9 months ago
2006
HHsenser is the first server to offer exhaustive intermediate profile searches, which it combines with pairwise comparison of hidden Markov models. Starting from a single protein ...