Zobrazeno 1 - 10
of 198
pro vyhledávání: '"LI Haokun"'
Publikováno v:
Renmin Zhujiang, Vol 45, p (2024)
Exploring the coupling and coordination relationship among society, ecology, and water resources in central Yunnan is of significance to the sustainable development of central Yunnan and Yunnan.Based on emergy analysis and dual water resources sustai
Externí odkaz:
https://doaj.org/article/5efc2bed06fa4b34b8742a2928989e64
Autor:
Wen, Cheng, Cao, Jialun, Su, Jie, Xu, Zhiwu, Qin, Shengchao, He, Mengda, Li, Haokun, Cheung, Shing-Chi, Tian, Cong
Formal verification provides a rigorous and systematic approach to ensure the correctness and reliability of software systems. Yet, constructing specifications for the full proof relies on domain expertise and non-trivial manpower. In view of such ne
Externí odkaz:
http://arxiv.org/abs/2404.00762
End-to-end autonomous driving has witnessed remarkable progress. However, the extensive deployment of autonomous vehicles has yet to be realized, primarily due to 1) inefficient multi-modal environment perception: how to integrate data from multi-mod
Externí odkaz:
http://arxiv.org/abs/2403.12552
Autor:
Xie, Xiaoheng, Fan, Gang, Lin, Xiaojun, Zhou, Ang, Li, Shijie, Zheng, Xunjin, Liang, Yinan, Zhang, Yu, Yu, Na, Li, Haokun, Chen, Xinyu, Chen, Yingzhuang, Zhen, Yi, Dong, Dejun, Fu, Xianjin, Su, Jinzhou, Pan, Fuxiong, Luo, Pengshuai, Feng, Youzheng, Hu, Ruoxiang, Fan, Jing, Zhou, Jinguo, Xiao, Xiao, Di, Peng
In the domain of large-scale software development, the demands for dynamic and multifaceted static code analysis exceed the capabilities of traditional tools. To bridge this gap, we present CodeFuse-Query, a system that redefines static code analysis
Externí odkaz:
http://arxiv.org/abs/2401.01571
Satisfiability Modulo the Theory of Nonlinear Real Arithmetic, SMT(NRA) for short, concerns the satisfiability of polynomial formulas, which are quantifier-free Boolean combinations of polynomial equations and inequalities with integer coefficients a
Externí odkaz:
http://arxiv.org/abs/2303.09072
Mixed trigonometric-polynomials (MTPs) are functions of the form $f(x,\sin{x}, \cos{x})$ with $f\in\mathbb{Q}[x_1,x_2,x_3]$. In this paper, an algorithm ``isolating" all the real roots of an MTP is provided and implemented. It automatically divides t
Externí odkaz:
http://arxiv.org/abs/2301.05847
Autor:
Li, Chongwei, Chen, Guozhong, Zhang, Xingxiao, Zou, Nan, Zhang, Hongxia, Li, Haokun, Zhu, Ping, Bai, Xinfu, Zhao, Ying, Hou, Yuping
Publikováno v:
In Geoderma November 2024 451
Publikováno v:
In Applied Thermal Engineering 15 January 2025 258 Part C
Autor:
Niu, Shuaicheng, Wu, Jiaxiang, Zhang, Yifan, Xu, Guanghui, Li, Haokun, Zhao, Peilin, Huang, Junzhou, Wang, Yaowei, Tan, Mingkui
Conventional deep models predict a test sample with a single forward propagation, which, however, may not be sufficient for predicting hard-classified samples. On the contrary, we human beings may need to carefully check the sample many times before
Externí odkaz:
http://arxiv.org/abs/2203.10853
Triangular decomposition with different properties has been used for various types of problem solving, e.g. geometry theorem proving, real solution isolation of zero-dimensional polynomial systems, etc. In this paper, the concepts of strong chain and
Externí odkaz:
http://arxiv.org/abs/2202.06044