中文版 | English

在结果中检索

CASIA OpenIR

浏览/检索结果: 共4条，第1-4条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Utility of Hepatic Transporters as Multimodal Gene Reporters for Cell-Based Medicine 期刊论文
SMALL METHODS, 2020, 页码: 13
作者:  Padhiar, Arshad Ahmed;  Faqeer, Abdullah;  Sun, Shimin;  Hamid, Md Rana;  Liao, Jinqi;  Yan Zhou;  Ahmmed, Bulbul;  Qin, Xialing;  Tie Changjun;  Gao, Shuping;  Shan Yu;  Ming Song;  Wang, Jiachuan;  Zhen Chai;  Jiang Tianzi;  Chen Zhang;  Zhou, Guangqian
收藏  |  浏览/下载：236/0  |  提交时间：2021/01/07
hepatic transporters  magnetic resonance imaging  mesenchymal stem cells  near-infrared region  non-invasive multimodality imaging  
Deep learning Radiomics of shear wave elastography significantly improved diagnostic performance for assessing liver fibrosis in chronic hepatitis B: a prospective multicentre study 期刊论文
GUT, 2019, 卷号: 68, 期号: 4, 页码: 729-741
作者:  Wang, Kun;  Lu, Xue;  Zhou, Hui;  Gao, Yongyan;  Zheng, Jian;  Tong, Minghui;  Wu, Changjun;  Liu, Changzhu;  Huang, Liping;  Jiang, Tian'an;  Meng, Fankun;  Lu, Yongping;  Ai, Hong;  Xie, Xiao-Yan;  Yin, Li-Ping;  Liang, Ping;  Tian, Jie;  Zheng, Rongqin
浏览  |  Adobe PDF(4798Kb)  |  收藏  |  浏览/下载：329/74  |  提交时间：2019/09/26
A Petri-net-based correctness analysis of Internet stock trading systems 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 卷号: 38, 期号: 1, 页码: 93-99
作者:  Du, YuYue;  Jiang, ChangJun;  Zhou, MengChu
收藏  |  浏览/下载：232/0  |  提交时间：2015/11/08
Correctness  Formal Verification  Petri Nets (Pns)  Stock Trading Systems  Temporal Logic  
A Petri-net-based correctness analysis of Internet stock trading systems 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2008, 卷号: 38, 期号: 1, 页码: 93-99
作者:  Du, YuYue;  Jiang, ChangJun;  Zhou, MengChu
收藏  |  浏览/下载：190/0  |  提交时间：2015/11/08
Correctness  Formal Verification  Petri Nets (Pns)  Stock Trading Systems  Temporal Logic