Xiaorong Huang

34 papers A* 1A 5B 4Misc 2Journal 14Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Research on Life Attenuation of Lithium-Ion Batteries Based on IC Curves and Voltage Hybrid Evaluation Algorithm. IEEE Access Xiaorong Huang, Wanwei Wang, Zhijun Guo, Xiliang Dai, Maoquan Ye, Danyu Tian
2024	J	`jnl`	Enhanced Lithium-Ion Battery SOH Estimation Using Bayesian-Optimized CNN Deep Learning Approach. Int. J. Pattern Recognit. Artif. Intell. Xiaorong Huang, Jionghui Wei, Jieming Huang, Qingbo Zhang, Rongfu Zhong, Rijing Lai
2024	—	`conf`	May Generative AI Be a Reviewer on an Academic Paper? EEKE/AII@iConference Haichen Zhou, Xiaorong Huang, Hongjun Pu, Qi Zhang
2023	J	`jnl`	Vehicle vibro-acoustical comfort optimization using a multi-objective interval analysis method. Expert Syst. Appl. Haibo Huang, Xiaorong Huang, Weiping Ding, Mingliang Yang, Xiongying Yu, Jian Pang
2022	J	`jnl`	Non-Fragile Observer-Based Adaptive Integral Sliding Mode Control for a Class of T-S Fuzzy Descriptor Systems With Unmeasurable Premise Variables. Frontiers Neurorobotics Xiaorong Huang, Anca L. Ralescu, Yiqiang Peng, Hongli Gao, Shulei Sun
2022	J	`jnl`	Response of a Mesoscale Dipole Eddy to the Passage of a Tropical Cyclone: A Case Study Using Satellite Observations and Numerical Modeling. Remote. Sens. Xiaorong Huang, Guihua Wang
2020	J	`jnl`	Sound quality prediction and improving of vehicle interior noise based on deep convolutional neural networks. Expert Syst. Appl. Xiaorong Huang, Haibo Huang, Jiuhui Wu, Mingliang Yang, Weiping Ding
2019	J	`jnl`	A survey on the application of fuzzy systems for underactuated systems. J. Syst. Control. Eng. Xiaorong Huang, Anca L. Ralescu, Hongli Gao, Haibo Huang
2018	B	`conf`	adaptive hierarchical sliding mode control based on fuzzy neural network for an underactuated system. FUZZ-IEEE Xiaorong Huang, Anca L. Ralescu, Hongli Gao, Juan Wen
2016	—	`conf`	Adaptive back-stepping tracking control of robot manipulators considering actuator dynamic. AIM Xiaorong Huang, Hongli Gao, Jun Li, Run Mao, Juan Wen
2015	J	`jnl`	A Pareto supplier selection algorithm for minimum the life cycle cost of complex product system. Expert Syst. Appl. Baigang Du, Shunsheng Guo, Xiaorong Huang, Yibing Li, Jun Guo
2011	J	`jnl`	An extended support vector machine forecasting framework for customer churn in e-commerce. Expert Syst. Appl. Xiaobing Yu, Shunsheng Guo, Jun Guo, Xiaorong Huang
2011	J	`jnl`	Rank B2C e-commerce websites in e-alliance based on AHP and fuzzy TOPSIS. Expert Syst. Appl. Xiaobing Yu, Shunsheng Guo, Jun Guo, Xiaorong Huang
2009	—	`conf`	A Structure Analysis and Trend Prediction of the Population Development in China. BIFE Guizhi Wang, Jie Li, Jiacai Sun, Xiaorong Huang
1998	J	`jnl`	Adaptation of Declaratively Represented Methods in Proof Planning. Ann. Math. Artif. Intell. Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou
1997	A	`conf`	Omega: Towards a Mathematical Assistant. CADE Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge
1997	A*	`conf`	Planning Reference Choices for Argumentative Texts. ACL Xiaorong Huang
1997	—	`conf`	Proof Verbalization as an Application of NLG. IJCAI (2) Xiaorong Huang, Armin Fiedler
1996	J	`jnl`	Die Beweisentwicklungsumgebung Omega-MKRP. Inform. Forsch. Entwickl. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
1996	—	`—`	Human oriented proof presentation - a reconstructive approach. Xiaorong Huang
1996	—	`conf`	Paraphrasing and Aggregating Argumentative Texts Using Text Structure. INLG (1) Xiaorong Huang, Armin Fiedler
1996	A	`conf`	Presenting Machine-Found Proofs. CADE Xiaorong Huang, Armin Fiedler
1996	B	`conf`	Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level. PRICAI Xiaorong Huang
1994	Misc	`conf`	Adapting Methods to Novel Tasks in Proof Planning. KI Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts
1994	A	`conf`	KEIM: A Toolkit for Automated Deduction. CADE Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
1994	A	`conf`	Omega-MKRP: A Proof Development Environment. CADE Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
1994	B	`conf`	Planning Argumentative Texts. COLING Xiaorong Huang
1994	J	`jnl`	Planning Argumentative Texts. CoRR Xiaorong Huang
1994	J	`jnl`	Planning Mathematical Proofs with Methods. J. Inf. Process. Cybern. Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn
1994	B	`conf`	Planning Reference CHoices for Argumentative Texts. INLG Xiaorong Huang
1994	A	`conf`	Reconstruction Proofs at the Assertion Level. CADE Xiaorong Huang
1992	—	`conf`	An Explanatory Framework for Human Theorem Proving. GWAI Xiaorong Huang
1992	Misc	`conf`	Applications of Assertions as Elementary Tactics in Proof Planning. AIMSA Xiaorong Huang
1989	—	`conf`	Proof Transformation Towards Human Reasoning Style. GWAI Xiaorong Huang