371 search results - page 12 / 75 » Expanders In Group Algebras |
RTA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We consider the problem of deciding the security of cryptographic protocols for a bounded number of sessions, taking into account some algebraic properties of the securit...
FSTTCS
2000
Springer
14 years 11 days ago
2000
Springer
This document proposes an algebra for XML Query. The algebra has been submitted to the W3C XML Query Working Group. A novel feature of the algebra is the use of regular-expression ...
DAGSTUHL
2008
13 years 10 months ago
2008
Allowing templates with infinite domains greatly expands the range of problems that can be formulated as a non-uniform constraint satisfaction problem. It turns out that many CSPs ...
FOCM
2008
13 years 8 months ago
2008
In this paper, we consider some matrix subgroups of the general linear group and in particular the special linear group that are defined by a quadratic matrix identity. The Lie al...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper studies the coordinated motion of a group of agents evolving on a Lie group. Left- or rightinvariance with respect to the absolute position on the group lead to two ...