English | 繁體

Search in the results

UM

Browse/Search Results:  1-10 of 14 Help

Selected(0)Clear Items/Page:    Sort:
Modeling and Verifying PSO Memory Model Using CSP Journal article
Xiao, Lili, Zhu, Huibiao, Xu, Qiwen, Vinh, Phan Cong. Modeling and Verifying PSO Memory Model Using CSP[J]. MOBILE NETWORKS & APPLICATIONS, 2022, 27(5), 2068–2083.
Authors:  Xiao, Lili;  Zhu, Huibiao;  Xu, Qiwen;  Vinh, Phan Cong
Favorite | TC[WOS]:4 TC[Scopus]:5  IF:2.3/2.6 | Submit date：2022/08/05
Formal Methods  Modeling  Partial Store Order (Pso)  Process Algebra Csp  Verification  Weak Memory Model  
A simple proof of data-race freedom and coherence for simpson's 4-slot algorithm Conference paper
Wang, Xu, Xu, Qiwen. A simple proof of data-race freedom and coherence for simpson's 4-slot algorithm[C]:Association for Computing Machinery, 2022, 1853-1856.
Authors:  Wang, Xu;  Xu, Qiwen
Favorite | TC[WOS]:0 TC[Scopus]:0 | Submit date：2022/05/31
The role of melatonin in the treatment of type 2 diabetes mellitus and Alzheimer’s disease Review article
2022
Authors:  Shen, Shengnan;  Liao, Qiwen;  Wong, Yin Kwan;  Chen, Xiao;  Yang, Chuanbin; et al.
Favorite | TC[WOS]:35 TC[Scopus]:36  IF:8.2/8.3 | 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
Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu. Formal Modelling and Verification of the RTPS Behavior Module[C]:IEEE, 2021, 127-134.
Authors:  Jiaqi Yin;  Huibiao Zhu;  Yuan Fei;  Qiwen Xu
Favorite | TC[WOS]:1 TC[Scopus]:2 | Submit date：2021/12/08
Csp  Rtps Behavior Module  Modeling  Verification  
A process calculus BigrTiMo of mobile systems and its formal semantics Journal article
Xie, Wanling, Zhu, Huibiao, Xu, Qiwen. A process calculus BigrTiMo of mobile systems and its formal semantics[J]. Formal Aspects of Computing, 2021, 33(2), 207-249.
Authors:  Xie, Wanling;  Zhu, Huibiao;  Xu, Qiwen
Favorite | TC[WOS]:1 TC[Scopus]:4  IF:1.4/1.3 | Submit date：2021/12/07
Bigrtimo  Mobile Systems  Formal Semantics  Unifying Theories Programming  Semantics Linking  
Erratum: Comparative Research of Swarm Intelligence Clustering Algorithms for Analyzing Medical Data (IEEE Access (2019) 7 (137560-137569) DOI: 10.1109/Access.6287639) Other
2020-06-22
Authors:  XUEYUAN GONG;  LIANSHENG LIU;  SIMON FONG;  QIWEN XU;  TINGXI WEN; et al.
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
XUEYUAN GONG, LIANSHENG LIU, SIMON FONG, QIWEN XU, TINGXI WEN, ZHIHUA LIU. Comparative research of swam intelligence clustering algorithms for analyzing medical data[J]. IEEE Access, 2019, 7, 137560-137569.
Authors:  XUEYUAN GONG;  LIANSHENG LIU;  SIMON FONG;  QIWEN XU;  TINGXI WEN; et al.
Favorite | TC[WOS]:13 TC[Scopus]:20  IF:3.4/3.7 | 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
Yin, Jiaqi, Zhu, Huibiao, Fei, Yuan, Xu, Qiwen, Wu, Ruobiao. Formalization and verification of RTPS StatefulWriter module using CSP[C], Pittsburgh:KSI Research Inc. and Knowledge Systems Institute Graduate School, 2019, 147-152.
Authors:  Yin, Jiaqi;  Zhu, Huibiao;  Fei, Yuan;  Xu, Qiwen;  Wu, Ruobiao
Favorite | TC[Scopus]:4 | Submit date：2022/05/23
Csp  Modeling  Pat  Rtps Statefulwriter Module  Verification  
Some remarks on the deterministic particle swarm optimization algorithm Journal article
Wang, Jinxun, Xu, Qiwen, Li, Qin. Some remarks on the deterministic particle swarm optimization algorithm[J]. MATHEMATICAL METHODS IN THE APPLIED SCIENCES, 2018, 41(5), 1870-1875.
Authors:  Wang, Jinxun;  Xu, Qiwen;  Li, Qin
Favorite | TC[WOS]:1 TC[Scopus]:1  IF:2.1/2.0 | Submit date：2018/10/30
Convergence  Deterministic Pso  Spectral Radius  
BigrTiMo-A Process Algebra for Structure-aware Mobile Systemst Conference paper
Xie, Wanting, Zhu, Huibiao, Xu, Qiwen, IEEE. BigrTiMo-A Process Algebra for Structure-aware Mobile Systemst[C], 345 E 47TH ST, NEW YORK, NY 10017 USA:IEEE, 2017, 50-59.
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