Mo Xia

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 5

Top Topics

Frequency Modulation

Pspace Complete

Top Venues

Publications

Hongxi Xue, Mo Xia, Rui Deng, Jianting Cao
EEGNet Classification of Two Channels Sleep EEG for IndividualSpecialization Based on Data Augmentation. CACML (2024)
Ruixuan Chen, Linfeng Sui, Mo Xia, Jianting Cao
Deep Sleep Recognition Based on CNNs and Data Augmentation. AIAI (4) (2024)
Wenlin Zhou, Kun Xie, Junzhang Qian, Mo Xia, Yi Pu, Jinlong Huang, Xin Li
A Tanh Control Method for the Third Mirror's Z Axis of Large Optical Telescope. IEEE Access 11 (2023)
Wenlin Zhou, Xin Li, Junzhang Qian, Mo Xia, Yi Pu, Ping Jiang, Jinlong Huang
Frequency Modulation Based on Hyperbolic Tangent Function for Position Closed Loop Control of Stepper Motor. IEEE Access 11 (2023)
Mo Xia, Linfeng Sui, Xuyang Zhao, Toshihisa Tanaka, Jianting Cao
Convolution Neural Network Recognition of Epileptic Foci Based on Composite Signal Processing of Electroencephalograph Data. KES (2021)
Mo Xia, Guiming Luo, Mian Sun
Modeling and model checking by modular approach. ICSE Companion (2014)
Mo Xia, Mian Sun, Guiming Luo, Xibin Zhao
Design and implementation of automatic verification for PLC systems. ICCI*CC (2013)
Mo Xia, Kueiming Lo, Shuangjia Shao, Mian Sun
Formal Modeling and Verification for MVB. J. Appl. Math. 2013 (2013)
Mo Xia, Ming Jin, Guiming Luo
Automatic verification of transition systems with unspecified components. ISCAS (2013)
Jian Luo, Guiming Luo, Mo Xia
An Algorithm for Satisfiability Degree Computation. IJCCI (ECTA-FCTA) (2011)
Jian Luo, Guiming Luo, Mo Xia
Satisfiability Degree Theory for Temporal Logic. IJCCI (ECTA-FCTA) (2011)