SYNTHESE

2010

13 years 5 months ago
2010

Recent work in the philosophy of science has generated an apparent conflict between theories attempting to explicate the nature of scientific representation. On one side, there are...

ECCC

2010

13 years 5 months ago
2010

We study the problem of testing isomorphism (equivalence up to relabelling of the variables) of two Boolean functions f, g : {0, 1}n → {0, 1}. Our main focus is on the most stud...

COMBINATORICS

1999

13 years 6 months ago
1999

We define and study m-closed cellular algebras (coherent configurations) and m-isomorphisms of cellular algebras which can be regarded as mth approximations of Schurian algebras (...

JCB

2007

13 years 7 months ago
2007

Discovering topological motifs or common topologies in one or more graphs is an important as well as an interesting problem. It had been classically viewed as the subgraph isomorp...

ITA

2006

13 years 7 months ago
2006

PageRank is a ranking method that assigns scores to web pages using the limit distribution of a random walk on the web graph. A fibration of graphs is a morphism that is a local i...

CC

2006

Springer

13 years 7 months ago
2006

Springer

Abstract. We study the complexity of the isomorphism and automorphism problems for finite rings. We show that both integer factorization and graph isomorphism reduce to the problem...

DIMVA

2004

13 years 8 months ago
2004

: A method to heuristically construct an isomorphism between the sets of functions in two similar but differing versions of the same executable file is presented. Such an isomorphi...

EUROCRYPT

2006

Springer

13 years 10 months ago
2006

Springer

The Isomorphism of Polynomials (IP) [28], which is the main concern of this paper, originally corresponds to the problem of recovering the secret key of a C scheme [26]. Besides, t...

ISTCS

1997

Springer

13 years 11 months ago
1997

Springer

We study the subtree isomorphism problem: Given trees H and G, ﬁnd a subtree of G which is isomorphic to H or decide that there is no

LICS

2002

IEEE

14 years 15 hour ago
2002

IEEE

Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. The answer to this question f...