未登录AUTOVERUS: Automated Proof Generation for Rust CodeAUTOVERUS:Rust代码的自动化证明生成
Yang, Chenyuan; Li, Xuheng; Misu, Md Rakib Hossain; Yao, Jianan; Cui, Weidong; Gong, Yeyun; Hawblitzel, Chris; Lahiri, Shuvendu; Lorch, Jacob R.; Lu, Shuai; Yang, Fan; Zhou, Ziqiao; Lu, Shan
分享
收藏
分享
收藏
分享
收藏
分享
收藏Experimental study on co-combustion of domestic garbage and sewage sludge: Evaluation of synergistic effect and thermo-kinetic behavior
Ahmad, Muhammad Bilal; Embaye, Tedla Medhane; Meng, Zilan; Wang, Fengqin; Cui, Weidong; Bukhsh, Khuda; Deng, Shuanghui; Bai, Zongqing; Ruan, Renhui; Wang, Xuebin
分享
收藏
分享
收藏Intelligence Sparse Sensor Network for Automatic Early Evaluation of General Movements in Infants
Bao, Benkun; Zhang, Senhao; Li, Honghua; Cui, Weidong; Guo, Kai; Zhang, Yingying; Yang, Kerong; Liu, Shuai; Tong, Yao; Zhu, Jia; Lin, Yuan; Xu, Huanlan; Yang, Hongbo; Cheng, Xiankai; Cheng, Huanyu
分享
收藏
分享
收藏
分享
收藏
分享
收藏
分享
收藏
分享
收藏
分享
收藏
分享
收藏
分享
收藏Native Mass Spectrometry, Ion Mobility, Electron-Capture Dissociation, and Modeling Provide Structural Information for Gas-Phase Apolipoprotein E Oligomers
Wang, Hanliu; Eschweiler, Joseph; Cui, Weidong; Zhang, Hao; Frieden, Carl; Ruotolo, Brandon T.; Gross, Michael L.
分享
收藏
分享
收藏Three dimensional approach to investigating biological effects along energetic ion beam pathways
Li, Xinglin; Sun, Shuguang; Wang, Shanying; Li, Wenjian; Qu, Ying; Cui, Weidong; Sun, Tianren; Zhang, Jian; Wang, Jufang; Zhou, Guangming; Man, Shuli; Chen, Yi; Lu, Fuping; Wei, Zengquan; Jin, Genming
分享
收藏
分享
收藏Warfarin traps human vitamin K epoxide reductase in an intermediate state during electron transfer
Shen, Guomin; Cui, Weidong; Zhang, Hao; Zhou, Fengbo; Huang, Wei; Liu, Qian; Yang, Yihu; Li, Shuang; Bowman, Gregory R.; Sadler, J. Evan; Gross, Michael L.; Li, Weikai
分享
收藏