A theorem proving approach for automatically synthesizing visualizations of flow cytometry data Article

Raj, Sunny, Hussain, Faraz, Husein, Zubir et al. (2017). A theorem proving approach for automatically synthesizing visualizations of flow cytometry data . BMC BIOINFORMATICS, 18 10.1186/s12859-017-1662-4

Open Access

cited authors

  • Raj, Sunny; Hussain, Faraz; Husein, Zubir; Torosdagli, Neslisah; Turgut, Damla; Deo, Narsingh; Pattanaik, Sumanta; Chang, Chung-Che Jeff; Jha, Sumit Kumar

sustainable development goals

authors

publication date

  • January 1, 2017

published in

keywords

  • Automated synthesis
  • Biochemical Research Methods
  • Biochemistry & Molecular Biology
  • Biomedical informatics
  • Biotechnology & Applied Microbiology
  • COMMUNITY STRUCTURE
  • Flow cytometry
  • High-dimensional data
  • High-fidelity visualization
  • Life Sciences & Biomedicine
  • Mathematical & Computational Biology
  • Science & Technology
  • Symbolic decision procedures

Location

  • FL, Miami

Digital Object Identifier (DOI)

publisher

  • BMC

volume

  • 18