Search Results for author: Weijun Zhu

Found 4 papers, 0 papers with code

Auxiliary Diagnosing Coronary Stenosis Using Machine Learning

no code implementations16 Jul 2020 Weijun Zhu, Fengyuan LU, Xiaoyu Yang, En Li

How to accurately classify and diagnose whether an individual has Coronary Stenosis (CS) without invasive physical examination?

BIG-bench Machine Learning

Experimental Study on CTL model checking using Machine Learning

no code implementations23 Feb 2019 Weijun Zhu

The existing core methods, which are employed by the popular CTL model checking tools, are facing the famous state explode problem.

BIG-bench Machine Learning

Predicting the Results of LTL Model Checking using Multiple Machine Learning Algorithms

no code implementations23 Jan 2019 Weijun Zhu, Mingliang Xu, Jianwei Wang

In this paper, we study how to predict the results of LTL model checking using some machine learning algorithms.

BIG-bench Machine Learning

Analyzing DNA Hybridization via machine learning

no code implementations27 Mar 2018 Weijun Zhu

In DNA computing, it is impossible to decide whether a specific hybridization among complex DNA molecules is effective or not within acceptable time.

BIG-bench Machine Learning General Classification

Cannot find the paper you are looking for? You can Submit a new open access paper.