Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap sh...
David Aspinall, Robert Atkey, Kenneth MacKenzie, D...
In this paper, results on the mutual information of MIMO transmission over spatially correlated channels in slow fading environments are presented. Different receiver techniques su...