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

BMC Bioinformatics

Table 1 Distortions produced by the MDS approach and SANJAY when 10 randomly chosen high-dimensional data points from 30 flow cytometry datasets were projected onto two dimensions

Dataset	Maximum	Maximum	Ratio of	Dataset	Maximum	Maximum	Ratio of
ID	distortion	distortion	maximum distortions	ID	distortion	distortion	maximum distortions
	for MDS	for SANJAY	MDS/SANJAY		for MDS	for SANJAY	MDS/SANJAY
1	3197.8	1000	3.197	16	3150.4	1200	2.625
2	2711.1	1200	2.259	17	2497.2	1100	2.270
3	1953.0	1000	1.953	18	2925.5	1400	2.089
4	2917.2	1200	2.431	19	3813.3	1300	2.933
5	3483.5	1400	2.488	20	3700.8	1300	2.846
6	2925.9	1100	2.659	21	3011.8	1200	2.509
7	4233.0	1800	2.351	22	3252.4	1000	3.252
8	2898.0	1300	2.229	23	3381.4	1200	2.817
9	1876.7	1300	1.443	24	2963.9	1100	2.694
10	4314.1	1500	2.876	25	3428.3	1600	2.142
11	3543.6	1400	2.531	26	2712.2	1200	2.260
12	2449.8	1300	1.884	27	3679.7	1500	2.453
13	3835.2	1500	2.556	28	3286.0	1200	2.738
14	4153.3	1000	4.153	29	2449.7	1000	2.449
15	2858.6	1000	2.858	30	4160.0	1400	2.971

The maximum distortion produced by SANJAY was, on average, 2.56 times less than that produced by MDS

ISSN: 1471-2105