Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Narsingh Deo
A Theorem Proving Approach for Automatically Synthesizing Visualizations of Flow Cytometry Data
BMC Bioinformatics
Biochemistry
Applied Mathematics
Computer Science Applications
Structural Biology
Molecular Biology
Parallel Computers in Signal Processing
Defence Science Journal
Electronic Engineering
Mechanical Engineering
Physics
Computer Science Applications
Electrical
Chemical Engineering
Astronomy
Biomedical Engineering
Related publications
Automatically Proving Program Termination
FlowCal: A User-Friendly, Open Source Software Tool for Automatically Converting Flow Cytometry Data From Arbitrary to Calibrated Units
SMTtoTPTP – A Converter for Theorem Proving Formats
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Data S15: Flow Cytometry Raw Data
Data Analysis in Flow Cytometry
Türk Mikrobiyoloji Cemiyeti Dergisi
Cryptographically Sound Theorem Proving
PolarFCS: A Multi-Parametric Data Visualisation Aid for Flow Cytometry Assessment
EMBnet.journal
Automated Theorem Proving in a Chat Environment
EasyChair Preprints
The Complexity of Theorem-Proving Procedures
