A theorem proving approach for automatically synthesizing visualizations of flow cytometry data
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1471-2105
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
A theorem proving approach for automatically synthesizing visualizations of flow cytometry data ; volume:18 ; number:8 ; day:7 ; month:6 ; year:2017 ; pages:1-11 ; date:6.2017
BMC bioinformatics ; 18, Heft 8 (7.6.2017), 1-11, 6.2017
- Keyword
-
Diagnose
Diagnostik
Differentialdiagnose
Pflegediagnose
- Creator
-
Raj, Sunny
- Contributor
-
Hussain, Faraz
Husein, Zubir
Torosdagli, Neslisah
Turgut, Damla
Deo, Narsingh
Pattanaik, Sumanta
Chang, Chung-Che (Jeff)
Jha, Sumit Kumar
SpringerLink (Online service)
- DOI
-
10.1186/s12859-017-1662-4
- URN
-
urn:nbn:de:1111-201710184805
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 15.08.2025, 7:30 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Raj, Sunny
- Hussain, Faraz
- Husein, Zubir
- Torosdagli, Neslisah
- Turgut, Damla
- Deo, Narsingh
- Pattanaik, Sumanta
- Chang, Chung-Che (Jeff)
- Jha, Sumit Kumar
- SpringerLink (Online service)
Other Objects (12)
Abstract Execution: Automatically Proving Infinitely Many Programs
An algorithm for automatically generating gas, bone and foreign body visualizations from postmortem computed tomography data
Visual Proving
Synthesizing human motions
Synthesizing stream control
Synthesizing Human Motions
Automated theorem proving
Automated theorem proving
Proving hypersafety compositionally
Fluency of visualizations: linking spatiotemporal visualizations to improve cybersecurity visual analytics
Layout of graph visualizations
Template-first Data Visualizations
Abstract Execution: Automatically Proving Infinitely Many Programs
An algorithm for automatically generating gas, bone and foreign body visualizations from postmortem computed tomography data
Visual Proving
Synthesizing human motions
Synthesizing stream control
Synthesizing Human Motions
Automated theorem proving
Automated theorem proving
Proving hypersafety compositionally
Fluency of visualizations: linking spatiotemporal visualizations to improve cybersecurity visual analytics
Layout of graph visualizations
Template-first Data Visualizations
Abstract Execution: Automatically Proving Infinitely Many Programs
An algorithm for automatically generating gas, bone and foreign body visualizations from postmortem computed tomography data
Visual Proving
Synthesizing human motions
Synthesizing stream control
Synthesizing Human Motions
Automated theorem proving
Automated theorem proving
Proving hypersafety compositionally
Fluency of visualizations: linking spatiotemporal visualizations to improve cybersecurity visual analytics
Layout of graph visualizations