2062 search results - page 258 / 413 » Derivatives of Logical Formulas |
144
click to vote
LICS
2007
IEEE
16 years 24 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...
180
click to vote
PAIRING
2007
Springer
16 years 19 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...
153
click to vote
QEST
2006
IEEE
16 years 16 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...
192
click to vote
VTC
2006
IEEE
16 years 16 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...
144
click to vote
DATE
2005
IEEE
16 years 4 days 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...