2062 search results - page 258 / 413 » Derivatives of Logical Formulas |
134
click to vote
LICS
2007
IEEE
16 years 12 days ago
2007
IEEE
We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...
173
click to vote
PAIRING
2007
Springer
16 years 7 days ago
2007
Springer
We derive a new algorithm for computing the Tate pairing on an elliptic curve over a finite field. The algorithm uses a generalisation of elliptic divisibility sequences known as...
140
click to vote
QEST
2006
IEEE
16 years 4 days ago
2006
IEEE
Normalizing constant recurrence equations play an important role in the exact analysis of load-independent (LI) product-form queueing networks. However, they have not been extende...
187
click to vote
VTC
2006
IEEE
16 years 4 days ago
2006
IEEE
—In this paper, by using the moment generating function (MGF) method, we derived the exact symbol error rate (SER) of multiple-input multiple-output (MIMO) system with transmit-a...
135
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a new mathematical approach to modeling EM wave coupling noise so that it can be easily integrated into chip-level noise analysis tools. The new method employs...