Prestress truss structure von DING YI, GAO LIANG, WU GUOSONG, WANG LIU, ZHOU PENGYANG, YU QIXIAO, SHAO BING, LIU ZHONGHUA, LI HONGWEI, TONG SHUJING, WANG BAISEN, YAO FENG, WANG YINYA, FENG XIAODONG

Volltext bestellen

Large-span string truss coal shed structure system advantageously resisting strong wind von LIU ZHONGHUA, DING YI, LI HONGWEI, WANG BAISEN, JIANG TAO, GAO LIANG, WU GUOSONG, WANG YINYA, ZHOU PENGYANG, YU QIXIAO, FENG XIAODONG

Volltext bestellen

Optimal Geometry and Motion Coordination for Multisensor Target Tracking with Bearings-Only Measurements von Wang, Shen, Li, Yinya, Qi, Guoqing, Sheng, Andong

Volltext

Water saving potential for large-scale photovoltaic power generation in China: Based on life cycle assessment von Yang, Qing, Huang, Tianyue, Chen, Fuying, Uche, Javier, Wang, Yuxuan, Yuan, Peng, Zhang, Yinya, Li, Jianlan

Volltext

A Unified Degradation Model of Elevated-Metal Metal Oxide (EMMO) TFTs Under Positive Gate Bias With or Without an Illumination von Zhang, Yinya, Wang, Zening, Wang, Mingxiang, Zhang, Dongli, Wang, Huaisheng, Wong, Man

Volltext

Sensor selection and deployment for range-only target localization using optimal sensor-target geometry von Wang, Shen, Li, Yin-Ya, Qi, Guo-Qing, Sheng, An-Dong

Volltext

Distributed two‐stage state estimation with event‐triggered strategy for multirate sensor networks von Wang, Ning, Li, Yinya, Qi, Guoqing, Sheng, Andong

Volltext

Sequential covariance intersection-based Kalman consensus filter with intermittent observations von Wang, Ning, Li, Yinya, Cong, Jinliang, Sheng, Andong

Volltext

Synthesis of PID-type controllers without parametric models: A graphical approach von Li, Yinya, Sheng, Andong, Wang, Yuangang

Volltext

Gossip-Based Averaging Estimation and Optimization von Sheng, An Dong, Wang, Chang Cheng, Qi, Guo Qing, Li, Yin Ya

Volltext

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving von Lin, Xiaohan, Cao, Qingxing, Huang, Yinya, Wang, Haiming, Lu, Jianqiao, Liu, Zhengying, Song, Linqi, Liang, Xiaodan

Volltext bestellen

AlignedCoT: Prompting Large Language Models via Native-Speaking Demonstrations von Yang, Zhicheng, Huang, Yinya, Xiong, Jing, Feng, Liang, Liang, Xiaodan, Wang, Yiwei, Tang, Jing

Volltext bestellen

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data von Huang, Yinya, Lin, Xiaohan, Liu, Zhengying, Cao, Qingxing, Xin, Huajian, Wang, Haiming, Li, Zhenguo, Song, Linqi, Liang, Xiaodan

Volltext bestellen

Process-Driven Autoformalization in Lean 4 von Lu, Jianqiao, Wan, Yingjia, Liu, Zhengying, Huang, Yinya, Xiong, Jing, Liu, Chengwu, Shen, Jianhao, Jin, Hui, Zhang, Jipeng, Wang, Haiming, Yang, Zhicheng, Tang, Jing, Guo, Zhijiang

Volltext bestellen

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models von Xiong, Jing, Shen, Jianhao, Yuan, Ye, Wang, Haiming, Yin, Yichun, Liu, Zhengying, Li, Lin, Guo, Zhijiang, Cao, Qingxing, Huang, Yinya, Zheng, Chuanyang, Liang, Xiaodan, Zhang, Ming, Liu, Qun

Volltext bestellen

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data von Huang, Yinya, Lin, Xiaohan, Liu, Zhengying, Cao, Qingxing, Huajian Xin, Wang, Haiming, Li, Zhenguo, Song, Linqi, Liang, Xiaodan

Volltext

DAGN: Discourse-Aware Graph Network for Logical Reasoning von Huang, Yinya, Meng, Fang, Cao, Yu, Wang, Liwei, Liang, Xiaodan

Volltext

Process-Driven Autoformalization in Lean 4 von Lu, Jianqiao, Wan, Yingjia, Liu, Zhengying, Huang, Yinya, Xiong, Jing, Liu, Chengwu, Shen, Jianhao, Jin, Hui, Zhang, Jipeng, Wang, Haiming, Yang, Zhicheng, Tang, Jing, Guo, Zhijiang

Volltext

LEGO-Prover: Neural Theorem Proving with Growing Libraries von Wang, Haiming, Huajian Xin, Zheng, Chuanyang, Li, Lin, Liu, Zhengying, Cao, Qingxing, Huang, Yinya, Xiong, Jing, Shi, Han, Xie, Enze, Yin, Jian, Li, Zhenguo, Liao, Heng, Liang, Xiaodan

Volltext

Diversified target firepower autonomous collaborative decision-making method for distributed fire control system von LI YINYA, SHENG ANDONG, QI GUOQING, WANG CHANGCHENG, WANG YANXIA

Volltext bestellen