Faraz Hussain
Orcid: 0000-0001-8971-1850Affiliations:
- Clarkson University, NY, USA
- University of Utah, Salt Lake City, Utah, USA (former)
- University of Central Florida, FL, USA (Ph.D.)
According to our database1,
Faraz Hussain
authored at least 27 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 13th International Conference on Pattern Recognition Applications and Methods, 2024
2023
Deep Learning-Based Approaches for Contactless Fingerprints Segmentation and Extraction.
CoRR, 2023
2022
2021
Pulmonary Disease Classification Using Globally Correlated Maximum Likelihood: an Auxiliary Attention mechanism for Convolutional Neural Networks.
CoRR, 2021
2020
Proceedings of the 2020 USENIX Conference on Operational Machine Learning, 2020
Proceedings of the 2020 IEEE Computer Society Annual Symposium on VLSI, 2020
Improving Explainability of Image Classification in Scenarios with Class Overlap: Application to COVID-19 and Pneumonia.
Proceedings of the 19th IEEE International Conference on Machine Learning and Applications, 2020
Proceedings of the 19th IEEE International Conference on Machine Learning and Applications, 2020
2017
A theorem proving approach for automatically synthesizing visualizations of flow cytometry data.
BMC Bioinform., 2017
2016
Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer vision.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
2015
Automated parameter estimation for biological models using Bayesian statistical model checking.
BMC Bioinform., December, 2015
SANJAY: Automatically synthesizing visualizations of flow cytometry data using decision procedures.
Proceedings of the 5th IEEE International Conference on Computational Advances in Bio and Medical Sciences, 2015
2014
Parameter discovery in stochastic biological models using simulated annealing and statistical model checking.
Int. J. Bioinform. Res. Appl., 2014
Discovering rare behaviours in stochastic differential equations using decision procedures: applications to a minimal cell cycle model.
Int. J. Bioinform. Res. Appl., 2014
Putting humpty-dumpty together: Mining causal mechanistic biochemical models from big data.
Proceedings of the IEEE 4th International Conference on Computational Advances in Bio and Medical Sciences, 2014
EpiSpec: A formal specification language for parameterized agent-based models against epidemiological ground truth.
Proceedings of the IEEE 4th International Conference on Computational Advances in Bio and Medical Sciences, 2014
Parameter discovery for stochastic computational models in systems biology using Bayesian model checking.
Proceedings of the IEEE 4th International Conference on Computational Advances in Bio and Medical Sciences, 2014
2012
Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing.
Proceedings of the IEEE 2nd International Conference on Computational Advances in Bio and Medical Sciences, 2012
Decision procedure based discovery of rare behaviors in Stochastic Differential Equation models of biological systems.
Proceedings of the IEEE 2nd International Conference on Computational Advances in Bio and Medical Sciences, 2012
A computational metabolic model of the NG108-15 cell for high content drug screening with electrophysiological readout.
Proceedings of the ACM International Conference on Bioinformatics, 2012
2010
temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010
The design of SafeJML, a specification language for SCJ with support for WCET specification.
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010