Cargando…
A theorem proving approach for automatically synthesizing visualizations of flow cytometry data
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 plott...
Autores principales: | Raj, Sunny, Hussain, Faraz, Husein, Zubir, Torosdagli, Neslisah, Turgut, Damla, Deo, Narsingh, Pattanaik, Sumanta, Chang, Chung-Che (Jeff), Jha, Sumit Kumar |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
BioMed Central
2017
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5471952/ https://www.ncbi.nlm.nih.gov/pubmed/28617220 http://dx.doi.org/10.1186/s12859-017-1662-4 |
Ejemplares similares
-
Symbolic logic and mechanical theorem proving
por: Chang, Chin-Liang, et al.
Publicado: (1969) -
Automated theorem proving: theory and practice
por: Newborn, Monty
Publicado: (2001) -
Symbolic logic and mechanical theorem proving
por: Chang Chin Liang, et al.
Publicado: (1973) -
First-order logic and automated theorem proving
por: Gries, David, et al.
Publicado: (1990) -
Learning-assisted theorem proving with millions of lemmas()
por: Kaliszyk, Cezary, et al.
Publicado: (2015)