Developing an integrated institutional repository at Imperial College London.

Accepted versio

Non-linear transmission lines for pulse shaping in silicon

Non-linear transmission limes (NLTL) are used for pulse shaping. We developed the theory of pulse propagation through the NLTL. The problem of a wide pulse degenerating into multiple pulses rather than a single pulse is solved by using a novel gradually scaled NLTL. We exploit certain favorable properties of accumulation mode MOS varactors to design an NLTL that can sharpen both rising and falling edges, simultaneously. There is a good agreement among the theory, simulations, and measurements

Nonlinear transmission lines for pulse shaping in silicon

Nonlinear transmission lines (NLTL) are used for pulse shaping. We developed the theory of pulse propagation through the NLTL. The problem of a wide pulse degenerating into multiple pulses rather than a single pulse is solved by using a gradually scaled NLTL. We exploit certain favorable properties of accumulation-mode MOS varactors to design an NLTL that can simultaneously sharpen both rising and falling edges. There is a good agreement among the theory, simulations, and measurements

On the Herbrand content of LK

We present a structural representation of the Herbrand content of LK-proofs with cuts of complexity prenex Sigma-2/Pi-2. The representation takes the form of a typed non-deterministic tree grammar of order 2 which generates a finite language of first-order terms that appear in the Herbrand expansions obtained through cut-elimination. In particular, for every Gentzen-style reduction between LK-proofs we study the induced grammars and classify the cases in which language equality and inclusion hold.Comment: In Proceedings CL&C 2016, arXiv:1606.0582

Ultrafast Analog Fourier Transform Using 2-D LC Lattice

We describe how a 2-D rectangular lattice of inductors and capacitors can serve as an analog Fourier transform device, generating an approximate discrete Fourier transform (DFT) of an arbitrary input vector of fixed length. The lattice displays diffractive and refractive effects and mimics the combined optical effects of a thin-slit aperture and lens. Diffraction theories in optics are usually derived for 3-D media, whereas our derivations proceed in 2-D. Analytical and numerical results show agreement between lattice output and the true DFT. Potentially, this lattice can be used for an extremely low latency and high throughput analog signal processing device. The lattice can be fabricated on-chip with frequency of operation of more than 10 GHz

On Probability of Support Recovery for Orthogonal Matching Pursuit Using Mutual Coherence

In this paper we present a new coherence-based performance guarantee for the Orthogonal Matching Pursuit (OMP) algorithm. A lower bound for the probability of correctly identifying the support of a sparse signal with additive white Gaussian noise is derived. Compared to previous work, the new bound takes into account the signal parameters such as dynamic range, noise variance, and sparsity. Numerical simulations show significant improvements over previous work and a closer match to empirically obtained results of the OMP algorithm.Comment: Submitted to IEEE Signal Processing Letters. arXiv admin note: substantial text overlap with arXiv:1608.0038