中文版 | English

在结果中检索

CASIA OpenIR

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

已选(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
收藏  |  浏览/下载：235/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  
离散事件动态系统的PN机理论与方法研究 学位论文
, 中国科学院自动化研究所: 中国科学院自动化研究所, 1995
作者:  蒋昌俊
收藏  |  浏览/下载：162/0  |  提交时间：2015/09/02
离散事件动态系统  Petri网  Pn机  形式语言  并发行为  并发模型  Discrete Event Dynamic System  Petri Net  Pn Machine  Formal Language  Concurrent Babavior  Concurrent Model