Mo Xia

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