PURLTL: Mining LTL Specification from Imperfect Traces in Testing by Peng, Bo, Liang, Pingjia, Han, Tingchen, Luo, Weilin, Du, Jianfeng, Wan, Hai, Ye, Rongzhen, Zheng, Yuhang

Request full text

SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning by Luo, Weilin, Zheng, Yuhang, Ye, Rongzhen, Wan, Hai, Du, Jianfeng, Liang, Pingjia, Chen, Polong

Request full text

Blind space-time multiuser channel estimation in time-varying DS-CDMA systems by Tugnait, J.K., Luo, W.

Get full text

Experimental study on pressure and aeration characteristics in stepped chute flows by Xu, WeiLin, Luo, ShuJing, Zheng, QiuWen, Luo, Jing

Get full text

How to Identify Boundary Conditions with Contrasty Metric? by Luo, Weilin, Wan, Hai, Song, Xiaotong, Yang, Binhao, Zhong, Hongzhen, Chen, Yin

Request full text

An Approach of Multidisciplinary Optimization to Underwater Vehicle Profile Design by Weilin, Luo, Taichun, Rao

Request full text

Robust fin control for ship roll stabilization based on L2-gain design by Hinostroza, M.A., Luo, Weilin, Guedes Soares, C.

Get full text

An Efficient Two-phase Method for Prime Compilation of Non-clausal Boolean Formulae by Luo, Weilin, Want, Hai, Zhong, Hongzhen, Wei, Ou, Fang, Biqing, Song, Xiaotong

Request full text

Effects on water quality after water transfer in the Yinxi Watershed, Ningbo, China by Zhou, Hong, Liu, Jun, Pan, Ningxia, Zhang, Zhi, Gao, Cheng, Bao, Ruiling, Wang, Xuesong, Wu, Yawen, Luo, Weilin, Xu, Jian, Zhou, Yantan

Get full text

Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification by Zhong, Hongzhen, Wan, Hai, Luo, Weilin, Xiao, Zhanhao, Li, Jia, Fang, Biqing

Request full text

Parameter Sensitivity Analysis of Cylindrical LiFePO 4 Battery Performance Using Multi-Physics Modeling by Zhang, Liqiang, Lyu, Chao, Hinds, Gareth, Wang, Lixin, Luo, Weilin, Zheng, Jun, Ma, Kehua

Get full text

An approximate solution for electrolyte concentration distribution in physics-based lithium-ion cell models : ADVANCES IN BATTERY RELIABILITY by WEILIN LUO, CHAO LYU, LIXIN WANG, LIQIANG ZHANG

Get full text

Study on impedance model of Li-ion battery by Weilin Luo, Chao Lv, Lixin Wang, Chao Liu

Request full text

Nonsingular Terminal Sliding Mode and NN Based Control of Underactuated AUV by Luo, Weilin, Wang, Yuanjing, Yao, Ligang

Request full text

Thermal-Electrochemical Modeling and Parameter Sensitivity Analysis of Lithium-ion Battery by L. Zhang, C. Lyu, L. Wang, W. Luo, K. Ma

Get full text

Responses of ephemeral plant germination and growth to water and heat conditions in the southern part of Gurbantunggut Desert by Wang, Xueqing, Jiang, Jin, Wang, Yuanchao, Luo, Weilin, Song, Chunwu, Chen, Junjie

Get full text

Support Vector Machine based parameter identification and diminishment of parametric drift by Weilin Luo, Zaojian Zou

Request full text

Identification of the Li+ initial inserted rate of electrode materials in Li-ion batteries: Based on Multi-Objective Genetic Algorithm by Liqiang Zhang, Chao Lyu, Weilin Luo, Lixin Wang

Request full text

On blind identification of S.I.M.O. time-varying channels using second-order statistics by Tugnait, J.K., Weilin Luo

Request full text

The validation of approximate model for lithiumion solid phase diffusion under operating conditions by Sun Ting, Lv Chao, Luo Weilin, Deng Chenhua, Mei Kunpeng

Request full text