In this talk, we discuss the problem of data transmission in a single input, multiple output wireless communication system with channel estimation at both transmitter and receiver, from a Diversity- Multiplexing gain Trade-off (DMT) perspective.

Sensors of various modalities and capabilities, especially cameras, have become ubiquitous in our environment.

I will talk about our efforts to create a living library of observation and method.

We propose a logic of interactive proofs as the first and main step towards an intuitionistic foundation for interactive computation to be obtained via an interactive analog of the Godel Kolmogorov-Artemov definition of intuitionistic logic as emb