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

Overview

cited authors

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

authors

Chang, Chung-Che Jeff, MD, PhD, FCAP

Publication Date

January 1, 2017

webpage

Web of Science

published in

BMC BIOINFORMATICS Journal

Research

keywords

Automated synthesis
Biomedical informatics
Flow cytometry
High-dimensional data
High-fidelity visualization
Symbolic decision procedures

301 E Princeton St., Orlando, FL 32804 | FH.RAS@AdventHealth.com | 407-200-2901

The information on this website is not a substitute for examination, diagnosis, and medical care provided by a licensed and qualified health professional. Please consult your physician before undertaking any form of medical treatment and/or adopting any exercise program or dietary guidelines. If you think you may have a medical emergency, call your physician or 911 immediately. AdventHealth Research Institute reserves the right to add, remove or edit content on this page at its sole discretion.