240 search results - page 1 / 48 » A Ramsey theorem for structures with both relations and func... |
JCT
2010
13 years 3 months ago
2010
We prove a generalization of Pr¨omel’s theorem to finite structures with both relations and functions.
BMCBI
2008
13 years 4 months ago
2008
Background: Confidence in pairwise alignments of biological sequences, obtained by various methods such as Blast or Smith-Waterman, is critical for automatic analyses of genomic d...
ISMB
1997
13 years 6 months ago
1997
The structural comparison of proteins has become increasingly important as a means to identify protein motifs and fold families. In this paper we present a new algorithm for the c...
SYNTHESE
2011
12 years 11 months ago
2011
: Both realists and instrumentalists have found it difficult to understand (much less accept) Carnap’s developed view on theoretical terms, which attempts to stake out a neutral ...
EJC
2010
13 years 4 months ago
2010
Abstract. In this paper we study dualities of graphs and, more generally, relational structures with respect to full homomorphisms, that is, mappings that are both edge- and non-ed...