CORR
2007
Springer
13 years 4 months ago
2007
Springer
—In this paper, the performance of signaling strategies with high peak-to-average power ratio is analyzed in both coherent and noncoherent fading channels. Two modulation schemes...
CORR
2007
Springer
13 years 4 months ago
2007
Springer
This paper presents experiments on common knowledge logic, conducted with the help of the proof assistant Coq. The main feature of common knowledge logic is the eponymous modality...
CORR
2007
Springer
13 years 4 months ago
2007
Springer
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
CORR
2007
Springer
13 years 4 months ago
2007
Springer
Discrete-time Rayleigh fading single-input single-output (SISO) and multiple-input multipleoutput (MIMO) channels are considered, with no channel state information at the transmit...
CORR
2007
Springer
13 years 4 months ago
2007
Springer
—For a linear block code C, its stopping redundancy is defined as the smallest number of check nodes in a Tanner graph for C, such that there exist no stopping sets of size smal...
CORR
2007
Springer
13 years 4 months ago
2007
Springer
Only the Table of Contents and the Abstract appear in http://www.ingber.com/markets05_trd.pdf, as the publisher has requested all previous papers be removed from the internet. The ...
CORR
2007
Springer
13 years 4 months ago
2007
Springer
CORR
2007
Springer
13 years 4 months ago
2007
Springer
: This paper documents the formation of the European Spreadsheet Risks Interest Group (EuSpRIG www.eusprig.org) and outlines some of the research undertaken and reported upon by in...
CORR
2007
Springer
13 years 4 months ago
2007
Springer
—Difference triangle sets are useful in many practical problems of information transmission. This correspondence studies combinatorial and computational constructions for differe...
CORR
2007
Springer
13 years 4 months ago
2007
Springer
—We show an interesting pairwise balanced design (PBD)-closure result for the set of lengths of constant-composition codes whose distance and size meet certain conditions. A cons...