• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 8 of 8

unknown title

by Vincent X. Genest, Luc Vinet, Alexei Zhedanov
"... ar ..."
Abstract - Add to MetaCart
Abstract not found

1Shannon Meets Nyquist: Capacity Limits of Sampled Analog Channels

by Yuxin Chen, Yonina C. Eldar, Andrea J. Goldsmith
"... 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

by Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski , 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

Composition du Jury

by Eric Chaumette, Cédric Richard, Professeur Universités, Yannick Berthoumieu, Professeur Universités, Pascal Chevalier Professeur, Pascal Larzabal, Professeur Universités
"... Caractérisation des problèmes conjoints de détection et d'estimation ..."
Abstract - Add to MetaCart
Caractérisation des problèmes conjoints de détection et d'estimation

Scenario Generation and Reduction for Long-term and Short-term Power System Generation Planning under Uncertainties

by Yonghan Feng, James D. Mccalley, William Q. Meeker, Jo Min, Lizhi Wang
"... ii ..."
Abstract - Add to MetaCart
Abstract not found

Perspective An Online Bioinformatics Curriculum

by David B. Searls
"... 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

by unknown authors
"... 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

L THE PRODUCTION OF PSYCHOLOGICAL KNOWLEDGE AS COMMUNICATIVE INTERACTION

by unknown authors
"... ..."
Abstract - Add to MetaCart
Abstract not found
Results 1 - 8 of 8
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University