Abstract--Upcoming multi antenna systems such as 3GPPLTE employ code book based multi-mode precoding in order to adapt to a wide range of channel conditions. Link adaptation, which...
Abstract. The paper deals with the recursive identification of dynamic systems having noninvertible output characteristics, which can be represented by the Wiener model. A special ...
Abstract. An experimental system and interface that indicate the likelihood of deep venous thrombosis using objective measures was developed, based on ultrasound image processing u...
Julian Guerrero, S. E. Salcudean, James A. McEwen,...
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
Abstract— We show a statistical pruning approach for maximum likelihood (ML) detection of multiple-input multiple-output (MIMO) systems. We present a general pruning strategy for...