A theorem proving approach for automatically synthesizing visualizations of flow cytometry data
一种用于自动合成流式细胞术数据可视化结果的定理证明方法
期刊:BMC Bioinformatics
影响因子:3.3
doi:10.1186/s12859-017-1662-4
Raj, Sunny; Hussain, Faraz; Husein, Zubir; Torosdagli, Neslisah; Turgut, Damla; Deo, Narsingh; Pattanaik, Sumanta; Chang, Chung-Che Jeff; Jha, Sumit Kumar