Zobrazeno 1 - 10
of 611
pro vyhledávání: '"Zhang Xiaokai"'
Publikováno v:
International Journal of Applied Mathematics and Computer Science, Vol 32, Iss 2, Pp 185-196 (2022)
Reliability and safety of an electro-hydraulic position servo system (EHPSS) can be greatly reduced for potential sensor and actuator faults. This paper proposes a novel reconfiguration control (RC) scheme that combines multi-model and adaptive contr
Externí odkaz:
https://doaj.org/article/4b91ad58e0f9468b9afaf8da555c5da3
Autor:
Zhang, Zeren, Cheng, Jo-Ku, Deng, Jingyang, Tian, Lu, Ma, Jinwen, Qin, Ziran, Zhang, Xiaokai, Zhu, Na, Leng, Tuo
Mathematical reasoning remains an ongoing challenge for AI models, especially for geometry problems that require both linguistic and visual signals. As the vision encoders of most MLLMs are trained on natural scenes, they often struggle to understand
Externí odkaz:
http://arxiv.org/abs/2409.04214
Geometric problem solving has always been a long-standing challenge in the fields of automated reasoning and artificial intelligence. We built a neural-symbolic system to automatically perform human-like geometric deductive reasoning. The symbolic pa
Externí odkaz:
http://arxiv.org/abs/2402.11461
The human-like automatic deductive reasoning has always been one of the most challenging open problems in the interdiscipline of mathematics and artificial intelligence. This paper is the third in a series of our works. We built a neural-symbolic sys
Externí odkaz:
http://arxiv.org/abs/2402.09051
The application of contemporary artificial intelligence techniques to address geometric problems and automated deductive proof has always been a grand challenge to the interdiscipline field of mathematics and artificial Intelligence. This is the four
Externí odkaz:
http://arxiv.org/abs/2402.09047
Autor:
Zhang, Xiaokai, Zhu, Na, He, Yiming, Zou, Jia, Huang, Qike, Jin, Xiaoxiao, Guo, Yanjun, Mao, Chenyang, Li, Yang, Zhu, Zhe, Yue, Dengfeng, Zhu, Fangzhen, Wang, Yifan, Huang, Yiwen, Wang, Runan, Qin, Cheng, Zeng, Zhenbing, Xie, Shaorong, Luo, Xiangfeng, Leng, Tuo
This is the first paper in a series of work we have accomplished over the past three years. In this paper, we have constructed a consistent formal plane geometry system. This will serve as a crucial bridge between IMO-level plane geometry challenges
Externí odkaz:
http://arxiv.org/abs/2310.18021
Autor:
Zhang, Xiaokai a, b, 1, Deng, Xiujiao c, d, 1, Tan, Jizhou e, 1, Liu, Haikuan b, Zhang, Hong f, Li, Chengzhi c, Li, Qingjun a, Zhou, Jinxue a, ⁎⁎, Xiao, Zeyu c, ⁎, Li, Jiaping b, ⁎⁎⁎
Publikováno v:
In Materials Today Bio December 2024 29
Autor:
Zhang, Zhaoda, Yan, Guanghan, Liu, Yu, Zhang, Xiaokai, Sun, Mingrui, Li, Shuai, Song, Yongchen
Publikováno v:
In International Communications in Heat and Mass Transfer December 2024 159 Part B
Challenges and opportunities in commercializing whole-cell bioreporters in environmental application
Autor:
Huang, Zefeng, Gustave, Williamson, Bai, Shanshan, Li, Yongshuo, Li, Boling, Elçin, Evrim, Jiang, Bo, Jia, Zhemin, Zhang, Xiaokai, Shaheen, Sabry M., He, Feng
Publikováno v:
In Environmental Research 1 December 2024 262 Part 1
Publikováno v:
In Industrial Crops & Products 15 November 2024 220