10602 search results - page 246 / 2121 » Weakly Useful Sequences |
137
click to vote
JSC
2006
15 years 6 months ago
2006
In this paper we give formulas for performing row reduction of a matrix of Ore polynomials in a fraction-free way. The reductions can be used for finding the rank and left nullspa...
175
click to vote
PROVSEC
2010
Springer
15 years 4 months ago
2010
Springer
Generic constructions of designated confirmer signatures follow one of the following two strategies; either produce a digital signature on the message to be signed, then encrypt th...
212
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: The alignment of multiple protein sequences is a fundamental step in the analysis of biological data. It has traditionally been applied to analyzing protein families f...
171
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
178
click to vote
TCS
2010
15 years 4 months ago
2010
The paper contains the first complete proof of strong normalization (SN) for full second order linear logic (LL): Girard’s original proof uses a standardization theorem which i...