1174 search results - page 33 / 235 » Derivation of Characteristic Formulae |
139
Voted
AMC
2005
15 years 3 months ago
2005
Financial options whose payoff depends critically on historical prices are called pathdependent options. Their prices are usually harder to calculate than options whose prices do ...
143
Voted
JAR
2002
15 years 3 months ago
2002
We formalise natural deduction for first-order logic in the proof assistant Coq, using De Bruijn indices for variable binding. The main judgement we model is of the form d [:] , ...
98
Voted
TVLSI
2002
15 years 3 months ago
2002
Theoretical analysis of bus-invert coding for reducing switching activity was previously investigated. In this paper we conduct a theoretical analysis of this method for coupling r...
125
click to vote
SIAMDM
2008
15 years 3 months ago
2008
Inspired by MacMahon's original proof of his celebrated theorem on the distribution of the major index over permutations, we give a reformulation of his argument in terms of l...
132
click to vote
GLOBECOM
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper, energy detectors are developed for wideband and ultra-wideband (UWB) pulse position modulation (PPM). Exact bit error probability (BEP) formulas are derived under di...