no code implementations • 16 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?
no code implementations • 23 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.
no code implementations • 23 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.
no code implementations • 27 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.