234 search results - page 20 / 47 » Proof Nets and the Identity of Proofs |
88
Voted
JCT
2007
14 years 10 months ago
2007
We define the notions of successive ranks and generalized Durfee squares for overpartitions. We show how these combinatorial statistics give extensions to overpartitions of combin...
103
Voted
ICWS
2009
IEEE
14 years 7 months ago
2009
IEEE
The WS-BPEL specification focuses on business processes the activities of which are assumed to be interactions with Web services. However, WS-BPEL processes go beyond the orchestr...
GLOBECOM
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper, we study the rank distributions of linear codes. We give the analogous to the MacWilliams identity for the rank distributions of codes. The considerations of our pr...
FSS
2006
14 years 10 months ago
2006
In this paper, we shall present strong laws of large numbers (SLLN's) for independent (not necessary identically distributed) fuzzy set-valued random variables whose base spa...
ACNS
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents a first example of secure identity based encryption scheme (IBE) without redundancy in the sense of Phan and Pointcheval. This modification of the Boneh-Frank...