A theorem proving approach for automatically synthesizing visualizations of flow cytometry data
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1471-2105
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
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
- Schlagwort
-
Diagnose
Diagnostik
Differentialdiagnose
Pflegediagnose
- Urheber
-
Raj, Sunny
- Beteiligte Personen und Organisationen
-
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
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 15.08.2025, 07:30 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Raj, Sunny
- Hussain, Faraz
- Husein, Zubir
- Torosdagli, Neslisah
- Turgut, Damla
- Deo, Narsingh
- Pattanaik, Sumanta
- Chang, Chung-Che (Jeff)
- Jha, Sumit Kumar
- SpringerLink (Online service)
Ähnliche Objekte (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