Mo Xia

According to our database, Mo Xia authored at least 11 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Deep Sleep Recognition Based on CNNs and Data Augmentation.

Ruixuan Chen, Linfeng Sui, Mo Xia, Jianting Cao

Proceedings of the Artificial Intelligence Applications and Innovations, 2024

EEGNet Classification of Two Channels Sleep EEG for IndividualSpecialization Based on Data Augmentation.

Hongxi Xue, Mo Xia, Rui Deng, Jianting Cao

Proceedings of the 2024 3rd Asia Conference on Algorithms, Computing and Machine Learning, 2024

2023

A Tanh Control Method for the Third Mirror's Z Axis of Large Optical Telescope.

Wenlin Zhou, Kun Xie, Junzhang Qian, Mo Xia, Yi Pu, Jinlong Huang, Xin Li

IEEE Access, 2023

Frequency Modulation Based on Hyperbolic Tangent Function for Position Closed Loop Control of Stepper Motor.

Wenlin Zhou, Xin Li, Junzhang Qian, Mo Xia, Yi Pu, Ping Jiang, Jinlong Huang

IEEE Access, 2023

2021

Convolution Neural Network Recognition of Epileptic Foci Based on Composite Signal Processing of Electroencephalograph Data.

Mo Xia, Linfeng Sui, Xuyang Zhao, Toshihisa Tanaka, Jianting Cao

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, 2021

2014

Modeling and model checking by modular approach.

Mo Xia, Guiming Luo, Mian Sun

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Formal Modeling and Verification for MVB.

Mo Xia, Kueiming Lo, Shuangjia Shao, Mian Sun

J. Appl. Math., 2013

Automatic verification of transition systems with unspecified components.

Mo Xia, Ming Jin, Guiming Luo

Proceedings of the 2013 IEEE International Symposium on Circuits and Systems (ISCAS2013), 2013

Design and implementation of automatic verification for PLC systems.

Mo Xia, Mian Sun, Guiming Luo, Xibin Zhao

Proceedings of the IEEE 12th International Conference on Cognitive Informatics and Cognitive Computing, 2013

2011

An Algorithm for Satisfiability Degree Computation.

Jian Luo, Guiming Luo, Mo Xia

Proceedings of the ECTA and FCTA 2011, 2011

Satisfiability Degree Theory for Temporal Logic.

Jian Luo, Guiming Luo, Mo Xia

Proceedings of the ECTA and FCTA 2011, 2011