234 search results - page 35 / 47 » Proof Nets and the Identity of Proofs |
65
Voted
CORR
2006
Springer
14 years 10 months ago
2006
Springer
This paper shows how the steady-state availability and failure frequency can be calculated in a single pass for very large systems, when the availability is expressed as a product...
DCG
2006
14 years 10 months ago
2006
We introduce a new encoding of the face numbers of a simplicial complex, its Stirling polynomial, that has a simple expression obtained by multiplying each face number with an app...
103
Voted
ISCI
2008
14 years 10 months ago
2008
In this paper, we present the first certificateless undeniable signature scheme. The scheme does not suffer from the key escrow problem, which is inherent in identity based crypto...
88
Voted
CP
2010
Springer
14 years 8 months ago
2010
Springer
We study the expressibility problem: given a finite constraint language Γ on a finite domain and another relation R, can Γ express R? We prove, by an explicit family of example...
MA
2010
Springer
14 years 8 months ago
2010
Springer
In Cator and Lopuha¨a [3] an asymptotic expansion for the MCD estimators is established in a very general framework. This expansion requires the existence and non-singularity of ...