Minchao Wu

According to our database, Minchao Wu authored at least 8 papers between 2019 and 2024.

Collaborative distances:

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

2024

Research on Multimodal Emotion Recognition Based on Fusion of Electroencephalogram and Electrooculography.

Jialai Yin, Minchao Wu, Yan Yang, Ping Li, Fan Li, Wen Liang, Zhao Lv

IEEE Trans. Instrum. Meas., 2024

2023

Neural Network-Guided Synthesis of Recursive List Functions.

Naoki Kobayashi, Minchao Wu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Estimating the Legacy Effect of Post-Cutting Shelterbelt on Crop Yield Using Google Earth and Sentinel-2 Data.

Yage Liu, Huidong Li, Minchao Wu, Anzhi Wang, Jiabing Wu, Dexin Guan

Remote. Sens., 2022

A Bi-Directional Extensible Interface Between Lean and Mathematica.

Robert Y. Lewis, Minchao Wu

J. Autom. Reason., 2022

2021

A Comparative Experimental Study Between Instantaneous and Convolutional BSS Models for Saccadic EOG Signal Separation.

Wenhui Sun, Zhao Lv, Minchao Wu, Ning Bi, Shengli Zhang

IEEE Trans. Instrum. Meas., 2021

The novel entropy measurements of <i>Z</i>⁺-numbers and their application on multi-attribute decision making problem.

Minchao Wu, Junjun Mao, Ai-Ting Yao, Tao Wu

J. Intell. Fuzzy Syst., 2021

TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning.

Minchao Wu, Michael Norrish, Christian Walder, Amir Dezfouli

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

2019

Verified Decision Procedures for Modal Logics.

Minchao Wu, Rajeev Goré

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019