System-level modeling and analysis of multimedia-soc platforms

بواسطة LIU YANHONG
منشور في 2010

Colloidal clustering of protein-coated microspheres in evaporating droplets

بواسطة Miao, Yuanhua., Liu, Yanhong., Hu, Lanying., Helseth, Lars Egil.
منشور في 2013

Model checking linearizability via refinement

بواسطة LIU, Yang, CHEN, Wei, LIU, Yanhong A., SUN, Jun
منشور في 2009

Bio-catalyzed oxidation self-charging zinc-polymer batteries

بواسطة Pan, Jun, Liu, Yanhong, Yang, Jian, Wu, Jiawen, Fan, Hong Jin
منشور في 2024

Diagnosis of COVID-19 Pneumonia Based on Graph Convolutional Network

بواسطة Liang, Xiaoling, Zhang, Yuexin, Wang, Jiahong, Ye, Qing, Liu, Yanhong, Tong, Jinwu
منشور في 2022

Formal verification of scalable nonzero indicators

بواسطة SUN, Jun, LIU, Yang, SUN, Jun, DONG, Jin Song, CHEN, Wei, LIU, Yanhong A.
منشور في 2009

Verifying linearizability via optimized refinement checking

بواسطة Dong, Jin Song, Liu, Yanhong A., Zhang, Shao Jie, Sun, Jun, Liu, Yang, Chen, Wei
منشور في 2013

Verifying linearizability via optimized refinement checking

بواسطة LIU, Yang, CHEN, Wei, LIU, Yanhong A., SUN, Jun, ZHANG, Shao Jie, DONG, Jin Song Dong
منشور في 2013

Responsive exosome nano-bioconjugates for synergistic cancer therapy

بواسطة Nie, Weidong, Wu, Guanghao, Zhang, Jinfeng, Huang, Li-Li, Ding, Jingjing, Jiang, Anqi, Zhang, Yahui, Liu, Yanhong, Li, Jingchao, Pu, Kanyi, Xie, Hai-Yan
منشور في 2022