Gravar-mail: The spike-and-slab lasso Cox model for survival prediction and associated genes detection