Results 1 -
8 of
8
1Shannon Meets Nyquist: Capacity Limits of Sampled Analog Channels
"... We explore two fundamental questions at the intersection of sampling theory and information theory: how is channel capacity affected by sampling below the channel’s Nyquist rate, and what sub-Nyquist sampling strategy should be employed to maximize capacity. In particular, we first derive the capaci ..."
Abstract
- Add to MetaCart
We explore two fundamental questions at the intersection of sampling theory and information theory: how is channel capacity affected by sampling below the channel’s Nyquist rate, and what sub-Nyquist sampling strategy should be employed to maximize capacity. In particular, we first derive the capacity of sampled analog channels for two prevalent sampling mechanisms: filtering followed by sampling and sampling following filter banks. Connections between sampling and MIMO Gaussian channels are illuminated based on this analysis. Optimal prefilters that maximize capacity are identified for both cases, as well as several kinds of channels for which these sampling mechanisms are optimal to maximize capacity at sub-Nyquist rates. We also highlight connections between sampled analog channel capacity and minimum mean squared error estimation from sampled data. In particular, it is shown that for both filtering and filter-bank sampling strategies, the filters maximizing capacity and minimizing mean squared error are equivalent. We also investigate a more general sampling strategy by adding modulation banks to filter-bank sampling. This general sampling method subsumes most nonuniform sampling techniques applied in both theory and practice. We also show a connection between this general sampling method and MIMO Gaussian channels. We then identify the optimal sampling strategy for piece-wise flat sampled
and
, 2015
"... Effective support for custom proof automation is essential for large-scale interactive proof develop-ment. However, existing languages for automation via tactics either (a) provide no way to specify the behavior of tactics within the base logic of the accompanying theorem prover, or (b) rely on adva ..."
Abstract
- Add to MetaCart
on advanced type-theoretic machinery that is not easily integrated into established theorem provers. We present Mtac, a lightweight but powerful extension to Coq that supports dependently typed tactic programming. Mtac tactics have access to all the features of ordinary Coq programming, as well as a new set
Scenario Generation and Reduction for Long-term and Short-term Power System Generation Planning under Uncertainties
"... ii ..."
Perspective An Online Bioinformatics Curriculum
"... Abstract: Online learning initia-tives over the past decade have become increasingly comprehen-sive in their selection of courses and sophisticated in their presen-tation, culminating in the recent announcement of a number of consortium and startup activities that promise to make a university educat ..."
Abstract
- Add to MetaCart
Abstract: Online learning initia-tives over the past decade have become increasingly comprehen-sive in their selection of courses and sophisticated in their presen-tation, culminating in the recent announcement of a number of consortium and startup activities that promise to make a university education on the internet, free of charge, a real possibility. At this pivotal moment it is appropriate to explore the potential for obtaining comprehensive bioinformatics training with currently existing free video resources. This article pre-sents such a bioinformatics curric-ulum in the form of a virtual course catalog, together with editorial commentary, and an assessment of strengths, weaknesses, and likely future directions for open online learning in this field. Online Learning Comes of Age Online academic ‘‘courseware’ ’ at the university level has now been available to the public for a decade, the earliest concerted effort having originated in 2002 with the Massachusetts Institute of Technology (MIT) and their OpenCour-seWare initiative
Title of Document: QUANTUM MECHANICS AND QUANTUM INFORMATION THEORY
"... The principle aim of this dissertation is to investigate the philosophical application of quantum information theory to interpretational issues regarding the theory of quantum mechanics. Recently, quantum information theory has emerged as a potential source for such an interpretation. The main quest ..."
Abstract
- Add to MetaCart
The principle aim of this dissertation is to investigate the philosophical application of quantum information theory to interpretational issues regarding the theory of quantum mechanics. Recently, quantum information theory has emerged as a potential source for such an interpretation. The main