Invariants play a key role in verifying properties of imperative programs. Inductive reasoning is essential to verifying properties of recursive programs.
Compressed sensing is a novel paradigm for signal acquisition, proposed recently by Candes et al, Donoho. As the dust around the initial rapid developments settles, a more simple and unified structure emerges, which is surprisingly linear.
Entanglement is one of the most striking features of quantum mechanics. The EPR paradox and Bell's inequality are some of the famous examples where it manifests itself.
We consider a system of linear constraints over any finite abelian group $G$ of the following form: $\\ell_i(x_1,\\ldots,x_n) \\equiv \\ell_{i,1}x_1+\\cdots+\\ell_{i,n}x_n \\in A_i$ for $i=1,\\ldots,t$ and each $A_i \\subset G$, $\\ell_{i,j}$ is a
The study of Gaussian mixture distributions goes back to the late 19th century, when Pearson introduced the method of moments to analyze the statistics of a crab population.
Reducing the energy consumption of a wireless cellular network is an important and urgent problem. We studied the effect of cell sizes on the energy consumed by the network, assuming base station technologies of today and the future.
I will talk about a simple and interesting way to link Évariste Galois(1811-1832) and John Nash(1928- ). I will also present some issues that I encountered during my explorations while establishing this link.
