Sciweavers

CORR
2007
Springer
118views Education» more  CORR 2007»
14 years 12 days ago
Error Rate Analysis for Peaky Signaling over Fading Channels
—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...
Mustafa Cenk Gursoy
CORR
2007
Springer
125views Education» more  CORR 2007»
14 years 12 days ago
Common knowledge logic in a higher order proof assistant?
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...
Pierre Lescanne
CORR
2007
Springer
117views Education» more  CORR 2007»
14 years 12 days ago
Dynamic Logic of Common Knowledge in a Proof Assistant
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...
Pierre Lescanne, Jérôme Puissé...
CORR
2007
Springer
101views Education» more  CORR 2007»
14 years 12 days ago
Low SNR Capacity of Noncoherent Fading Channels
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...
Vignesh Sethuraman, Ligong Wang, Bruce Hajek, Amos...
CORR
2007
Springer
91views Education» more  CORR 2007»
14 years 12 days ago
Single-Exclusion Number and the Stopping Redundancy of MDS Codes
—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...
Junsheng Han, Paul H. Siegel, Ron M. Roth
CORR
2007
Springer
92views Education» more  CORR 2007»
14 years 12 days ago
Trading in Risk Dimensions (TRD)
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 ...
Lester Ingber
CORR
2007
Springer
109views Education» more  CORR 2007»
14 years 12 days ago
Algorithms for Generating Convex Sets in Acyclic Digraphs
Paul N. Balister, Stefanie Gerke, Gregory Gutin, A...
CORR
2007
Springer
79views Education» more  CORR 2007»
14 years 12 days ago
Stop That Subversive Spreadsheet!
: 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...
David Chadwick
CORR
2007
Springer
104views Education» more  CORR 2007»
14 years 12 days ago
Constructions for Difference Triangle Sets
—Difference triangle sets are useful in many practical problems of information transmission. This correspondence studies combinatorial and computational constructions for differe...
Yeow Meng Chee, Charles J. Colbourn
CORR
2007
Springer
71views Education» more  CORR 2007»
14 years 12 days ago
The PBD-Closure of Constant-Composition Codes
—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...
Yeow Meng Chee, Alan C. H. Ling, San Ling, Hao She...