消息
×
loading..
中文版 | English

在结果中检索

KMS

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

已选(0)清除 条数/页：   排序方式：
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks 预印本
2022
作者:  Liu, Jiaxiang;  Xing, Yunhan;  Shi, Xiaomu;  Song, Fu;  Xu, Zhiwu
Adobe PDF(1810Kb)  |  收藏  |  浏览/下载：53/0  |  提交时间：2024/01/09
人工智能系统的形式化验证技术研究进展与趋势 科技报告
报告类型: 进展报告, , 2020
作者:  卜磊;  陈立前;  董云卫;  黄小炜;  李建霖
收藏  |  浏览/下载：618/0  |  提交时间：2020/12/14
Android Malware Family Classification and Characterization Using CFG and DFG 会议论文
2019 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), Guilin, China, 29-31 July 2019
作者:  Zhiwu XU;  Kerong Ren;  Fu Song
Adobe PDF(1066Kb)  |  收藏  |  浏览/下载：319/0  |  提交时间：2019/12/02
Probabilistic Alternating-Time mu-Calculus 会议论文
PROCEEDINGS OF THE 33RD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI 2019
作者:  Song, Fu;  Zhang, Yedi;  Chen, Taolue;  Tang, Yu;  Xu, Zhiwu
Adobe PDF(293Kb)  |  收藏  |  浏览/下载：607/2  |  提交时间：2018/12/19
In Vitro Expansion of Primary Human Hepatocytes with Efficient Liver Repopulation Capacity 期刊论文
CELL STEM CELL, 2018, 卷号: 23, 期号: 6, 页码: 806-+
作者:  Zhang, Kun;  Zhang, Ludi;  Liu, Wenming;  Ma, Xiaolong;  Cen, Jin
Adobe PDF(9953Kb)  |  收藏  |  浏览/下载：778/35  |  提交时间：2018/11/13
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页