Amanote Research

Amanote Research

    RegisterSign In

A Theorem Proving Approach for Automatically Synthesizing Visualizations of Flow Cytometry Data

BMC Bioinformatics - United Kingdom
doi 10.1186/s12859-017-1662-4
Full Text
Open PDF
Abstract

Available in full text

Categories
BiochemistryApplied MathematicsComputer Science ApplicationsStructural BiologyMolecular Biology
Date

June 1, 2017

Authors
Sunny RajFaraz HussainZubir HuseinNeslisah TorosdagliDamla TurgutNarsingh DeoSumanta PattanaikChung-Che ChangSumit Kumar Jha
Publisher

Springer Science and Business Media LLC


Related search

Automatically Proving Program Termination

English

FlowCal: A User-Friendly, Open Source Software Tool for Automatically Converting Flow Cytometry Data From Arbitrary to Calibrated Units

English

SMTtoTPTP – A Converter for Theorem Proving Formats

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Data S15: Flow Cytometry Raw Data

English

Data Analysis in Flow Cytometry

Türk Mikrobiyoloji Cemiyeti Dergisi
2016English

Cryptographically Sound Theorem Proving

English

PolarFCS: A Multi-Parametric Data Visualisation Aid for Flow Cytometry Assessment

EMBnet.journal
2017English

Automated Theorem Proving in a Chat Environment

EasyChair Preprints
2018English

The Complexity of Theorem-Proving Procedures

1971English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy