4961 search results - page 169 / 993 » Homomorphism-Homogeneous Relational Structures |
137
click to vote
NMR
2004
Springer
15 years 8 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
144
click to vote
COMBINATORICS
1998
15 years 2 months ago
1998
A multimatroid is a combinatorial structure that encompasses matroids, delta-matroids and isotropic systems. This structure has been introduced to unify a theorem of Edmonds on th...
127
click to vote
MSCS
2007
15 years 2 months ago
2007
We study full completeness and syntactical separability of MLL proof nets with the mix rule. The general method we use consists first in addressing the two questions in the less ...
115
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: Structural genomics initiatives were established with the aim of solving protein structures on a large-scale. For many initiatives, such as the Protein Structure Initi...
145
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: The task of computing highly accurate structural alignments of proteins in very short computation time is still challenging. This is partly due to the complexity of pr...