English | 繁體

Search in the results

UM

Browse/Search Results:  1-6 of 6 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  
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  
Mandarin Tone Classification in Spoken Speech with EEG Signals Conference paper
Mingtao Li, Sio Hang Pun, Fei Chen. Mandarin Tone Classification in Spoken Speech with EEG Signals[C], Piscataway, NJ:IEEE, 2021, 1163-1166.
Authors:  Mingtao Li;  Sio Hang Pun;  Fei Chen
Favorite | TC[WOS]:4 TC[Scopus]:4 | Submit date：2022/05/13
Common Spatial Pattern (Csp)  Electroencephalogram (Eeg)  Mandarin Tones  Riemannian Manifold  Spoken Speech  
The social value generation perspective of corporate performance measurement Review article
2020
Authors:  Ruopiao Zhang;  Carlos Noronha;  Jieqi Guan
Favorite | TC[WOS]:5 TC[Scopus]:9  IF:2.9/4.0 | Submit date：2022/07/15
Corporate Social Performance (Csp)  Measurement Of Corporate Social Performance (Mcsp)  Social Contribution Value Per Share (Scvps)  
Common Spatial Pattern Reformulated for Regularizations in Brain-Computer Interfaces Journal article
Wang, Boyu, Wong, Chi Man, Kang, Zhao, Liu, Feng, Shui, Changjian, Wan, Feng, Chen, C. L.Philip. Common Spatial Pattern Reformulated for Regularizations in Brain-Computer Interfaces[J]. IEEE Transactions on Cybernetics, 2020, 51(10), 5008-5020.
Authors:  Wang, Boyu;  Wong, Chi Man;  Kang, Zhao;  Liu, Feng;  Shui, Changjian; et al.
Favorite | TC[WOS]:38 TC[Scopus]:37  IF:9.4/10.3 | Submit date：2021/12/08
Brain-computer Interface (Bci)  Common Spatial Pattern (Csp)  Generalized Eigenvalue Problem (Gep)  Least Squares  Multitask Learning  Singular Value Decomposition (Svd)  Sparse Learning  Transfer Learning  
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