当前位置： SCI文献检索 > BMC BIOINFORMATICS期刊下所有文献 > A theorem proving approach for automatically synthesizing visualizations of flow cytometry data.

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

Abstract：

BACKGROUND:Polychromatic flow cytometry is a popular technique that has wide usage in the medical sciences, especially for studying phenotypic properties of cells. The high-dimensionality of data generated by flow cytometry usually makes it difficult to visualize. The naive solution of simply plotting two-dimensional graphs for every combination of observables becomes impractical as the number of dimensions increases. A natural solution is to project the data from the original high dimensional space to a lower dimensional space while approximately preserving the overall relationship between the data points. The expert can then easily visualize and analyze this low-dimensional embedding of the original dataset. RESULTS:This paper describes a new method, SANJAY, for visualizing high-dimensional flow cytometry datasets. This technique uses a decision procedure to automatically synthesize two-dimensional and three-dimensional projections of the original high-dimensional data while trying to minimize distortion. We compare SANJAY to the popular multidimensional scaling (MDS) approach for visualization of small data sets drawn from a representative set of benchmarks, and our experiments show that SANJAY produces distortions that are 1.44 to 4.15 times smaller than those caused due to MDS. Our experimental results show that SANJAY also outperforms the Random Projections technique in terms of the distortions in the projections. CONCLUSIONS:We describe a new algorithmic technique that uses a symbolic decision procedure to automatically synthesize low-dimensional projections of flow cytometry data that typically have a high number of dimensions. Our algorithm is the first application, to our knowledge, of using automated theorem proving for automatically generating highly-accurate, low-dimensional visualizations of high-dimensional data.

journal_name

BMC Bioinformatics

journal_title

BMC bioinformatics

authors

Raj S,Hussain F,Husein Z,Torosdagli N,Turgut D,Deo N,Pattanaik S,Chang CJ,Jha SK

doi

10.1186/s12859-017-1662-4

subject

Has Abstract

pub_date

2017-06-07 00:00:00

pages

245

issue

Suppl 8

issn

1471-2105

pii

10.1186/s12859-017-1662-4

journal_volume

pub_type

杂志文章

在线工具

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