Browse/Search Results:  1-10 of 14 Help

Selected(0)Clear Items/Page:    Sort:
A simple proof of data-race freedom and coherence for simpson's 4-slot algorithm Conference paper
Proceedings of the ACM Symposium on Applied Computing
Authors:  Wang, Xu;  Xu, Qiwen
Favorite |  | TC[WOS]:0 TC[Scopus]:0 | Submit date:2022/05/31
Modeling and Verifying PSO Memory Model Using CSP Journal article
Mobile Networks and Applications, 2022
Authors:  Xiao, Lili;  Zhu, Huibiao;  Xu, Qiwen;  Vinh, Phan Cong
Favorite |  | TC[WOS]:1 TC[Scopus]:0 | Submit date:2022/08/05
Formal Methods  Modeling  Partial Store Order (Pso)  Process Algebra Csp  Verification  Weak Memory Model  
The role of melatonin in the treatment of type 2 diabetes mellitus and Alzheimer’s disease Journal article
International Journal of Biological Sciences, 2022,Volume: 18,Issue: 3,Page: 983-994
Authors:  Shen, Shengnan;  Liao, Qiwen;  Wong, Yin Kwan;  Chen, Xiao;  Yang, Chuanbin;  Xu, Chengchao;  Sun, Jichao;  Wang, Jigang
Favorite |  | TC[WOS]:1 TC[Scopus]:1 | Submit date:2022/05/17
Alzheimer’s Disease  Anti-inflammatory  Insulin Resistance  Melatonin  Mitochondria  Type 2 Diabetes  
Formal Modelling and Verification of the RTPS Behavior Module Conference paper
Proceedings - 2021 International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, ELECTR NETWORK, AUG 25-27, 2021
Authors:  Yin, Jiaqi;  Zhu, Huibiao;  Fei, Yuan;  Xu, Qiwen
Favorite |  | TC[WOS]:0 TC[Scopus]:0 | Submit date:2021/12/08
Csp  Modeling  Rtps Behavior Module  Verification  
A process calculus BigrTiMo of mobile systems and its formal semantics Journal article
Formal Aspects of Computing, 2021,Volume: 33,Issue: 2,Page: 207-249
Authors:  Xie, Wanling;  Zhu, Huibiao;  Xu, Qiwen
Favorite |  | TC[WOS]:1 TC[Scopus]:2 | Submit date:2021/12/07
Erratum: Comparative Research of Swarm Intelligence Clustering Algorithms for Analyzing Medical Data (IEEE Access (2019) 7 (137560-137569) DOI: 10.1109/Access.6287639) Journal article
IEEE Access, 2020,Volume: 8
Authors:  Gong, Xueyuan;  Liu, Liansheng;  Fong, Simon;  Xu, Qiwen;  Wen, Tingxi;  Liu, Zhihua
Favorite |  | TC[WOS]:0 TC[Scopus]:0 | Submit date:2022/09/30
Comparative research of swam intelligence clustering algorithms for analyzing medical data Journal article
IEEE Access, 2019,Volume: 7,Page: 137560-137569
Favorite |  | TC[WOS]:6 TC[Scopus]:9 | Submit date:2021/03/09
Medical Data Analysis  Data Mining  Swarm Intelligence  Clustering Algorithms  
Formalization and verification of RTPS StatefulWriter module using CSP Conference paper
Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE
Authors:  Yin, Jiaqi;  Zhu, Huibiao;  Fei, Yuan;  Xu, Qiwen;  Wu, Ruobiao
Favorite |  | TC[WOS]:0 TC[Scopus]:3 | Submit date:2022/05/23
CSP  Modeling  PAT  RTPS statefulwriter module  Verification  
Some remarks on the deterministic particle swarm optimization algorithm Journal article
MATHEMATICAL METHODS IN THE APPLIED SCIENCES, 2018,Volume: 41,Issue: 5,Page: 1870-1875
Authors:  Wang, Jinxun;  Xu, Qiwen;  Li, Qin
Favorite |  | TC[WOS]:0 TC[Scopus]:0 | Submit date:2018/10/30
Convergence  Deterministic Pso  Spectral Radius  
BigrTiMo-A Process Algebra for Structure-aware Mobile Systemst Conference paper
Kyushu Univ, Fukuoka, JAPAN, NOV 05-08, 2017
Authors:  Xie, Wanting;  Zhu, Huibiao;  Xu, Qiwen;  IEEE
Favorite |  | TC[WOS]:3 TC[Scopus]:4 | Submit date:2018/10/30
Bigrtimo Calculus  Mobile Systems  Operational Semantics  Algebraic Properties