Publications

Let G be a connected, undirected graph and X = X sub 0 X sub 1 X sub 2... and Y = Y sub 0 Y sub 1 Y sub 2... two simple random walks on G.

In this paper, we describe a compiler back end and library for web client application development in Agda, a dependently typed functional programming language.

The nonlinearity exhibited by the kinetic inductance of a superconducting stripline couples stripline resonator modes together in a manner suitable for quantum non-demolition measurement of the num

Theoretical and experimental work concerning damping in nonlinear quantum mechanical processes is reviewed.

A self-aligned a11-In.53Ga.47As epitaxial junction field-effect transistor structure grown by MBE is described, using p+ -InGaAs as the confinement layer for the n-channel.

Recent advances in automatic speech recognition (ASR) technology have spawned considerable interests and possibilities in new products and services that capitalize on the enhanced human-machine com

The study Lunar exploration architecture-deployable structures for a lunar base was performed within the Alcatel Alenia Space ``Lunar Exploration Architecture.{''} study for the European Space Agen

In this article, we consider the deployment of Wi-Fi extenders as a solution to the coverage hole problem in home networks.

An optimized and cost-effective wireless mesh network (WMN) deployment for ubiquitous broadband wireless access is known to be highly dependent on a number of key factors such as backhaul solution,

Massive MIMO has emerged as one technology enabler for the next generation mobile communications 5G.