79 search results - page 7 / 16 » Symmetric Brace Algebras |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...
DCC
2006
IEEE
14 years 7 months ago
2006
IEEE
So far there is no systematic attempt to construct Boolean functions with maximum annihilator immunity. In this paper we present a construction keeping in mind the basic theory of...
SIAMAM
2010
13 years 6 months ago
2010
Guided acoustic waves propagating along one- and two-dimensional arrays of rigid spheres are studied semi-analytically. The quasi-periodic wave field is constructed as a superposi...
CRYPTO
2011
Springer
12 years 7 months ago
2011
Springer
In this paper, we describe versatile and powerful algorithms for searching guess-and-determine and meet-in-the-middle attacks on byte-oriented symmetric primitives. To demonstrate ...
LACL
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Some new algebras, which are possible denotations for various determiners, are studied. One of them is the algebra of generalised cardinal quantifiers which is a sub-alg...