Sciweavers

CORR
2007
Springer
104views Education» more  CORR 2007»
13 years 7 months ago
Explicit Non-Adaptive Combinatorial Group Testing Schemes
Ely Porat, Amir Rothschild
CORR
2007
Springer
150views Education» more  CORR 2007»
13 years 7 months ago
A Unified Framework for Pricing Credit and Equity Derivatives
We propose a model which can be jointly calibrated to the corporate bond term structure and equity option volatility surface of the same company. Our purpose is to obtain explicit...
Erhan Bayraktar, Bo Yang
CORR
2007
Springer
95views Education» more  CORR 2007»
13 years 7 months ago
Protocols For Half-Duplex Multiple Relay Networks
— In this paper we present several strategies for multiple relay networks which are constrained by a half-duplex operation, i. e., each node either transmits or receives on a par...
Peter Rost, Gerhard Fettweis
CORR
2007
Springer
134views Education» more  CORR 2007»
13 years 7 months ago
A Partition-Based Relaxation For Steiner Trees
The Steiner tree problem is a classical NP-hard optimization problem with a wide range of practical applications. In an instance of this problem, we are given an undirected graph ...
Jochen Könemann, David Pritchard, Kunlun Tan
CORR
2007
Springer
122views Education» more  CORR 2007»
13 years 7 months ago
How to Complete a Doubling Metric
In recent years, considerable advances have been made in the study of properties of metric spaces in terms of their doubling dimension. This line of research has not only enhanced...
Anupam Gupta, Kunal Talwar
CORR
2007
Springer
118views Education» more  CORR 2007»
13 years 7 months 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»
13 years 7 months 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»
13 years 7 months 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»
13 years 7 months 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»
13 years 7 months 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