A Model Transformation Method Based on Simulink/Stateflow for Validation of UML Statechart Diagrams by Runfang Wu, Ye Du, Meihong Li

Get full text

Locality-guided based optimization method for bounded model checker by Shun WANG, Ye DU, Zhen HAN, Jiqiang LIU

Get full text

Improved FastICA algorithm for data optimization processing in intrusion detection by Ye DU, dan ZHANGYa, hong LIMei, wei ZHANGDa

Get full text

Predictive value of circulating fibroblast growth factor-23 and Klotho on protein-energy wasting in patients undergoing hemodialysis by Xiaoling Zhou, Yang Luo, Yidan Guo, Meng Jia, Chunxia Zhang, Zhihua Shi, Ye Du

Get full text

Optimization of the Loess Plateau of the China Ecological Network Pattern Based on a PLUS Model by Xiaoyan Luo, Xun Luo, Xianhua Yang, Jian Wang, Jialing Liao, Yu He, Ye Du, Ye Yang

Get full text

The Clinical Application of Raman Spectroscopy for Breast Cancer Detection by Pin Gao, Bing Han, Ye Du, Gang Zhao, Zhigang Yu, Weiqing Xu, Chao Zheng, Zhimin Fan

Get full text

Additions to the saprobic fungi (Ascomycota) associated with macadamia trees from the Greater Mekong Subregion by Xian Zhang, Saowaluck Tibpromma, Samantha C. Karunarathna, Tian-Ye Du, Li-Su Han, Abdallah M. Elgorban, Jaturong Kumla, Chanokned Senwanna, Dong-Qin Dai, Nakarin Suwannarach, Hao-Han Wang

Get full text

New Aquilariomyces and Mangifericomes species (Pleosporales, Ascomycota) from Aquilaria spp. in China by Tian-Ye Du, Samantha C. Karunarathna, Kevin D. Hyde, Somrudee Nilthong, Ausana Mapook, Dong-Qin Dai, Kunhiraman C. Rajeshkumar, Abdallah M. Elgorban, Li-Su Han, Hao-Han Wang, Saowaluck Tibpromma

Get full text