Sparse redundant formulations and non-negativity in Blind Source Separation | IEEE Conference Publication | IEEE Xplore