CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
A two-dimensional electron gas based on a 5s oxide with high room-temperature mobility and strain sensitivity 期刊论文
ACTA MATERIALIA, 2021, 卷号: 204
作者:  Feng, Zexin;  Qin, Peixin;  Yang, Yali;  Yan, Han;  Guo, Huixin
收藏  |  浏览/下载：39/0  |  提交时间：2021/03/15
Rule-based hidden relation recognition for large scale knowledge graphs 期刊论文
PATTERN RECOGNITION LETTERS, 2019, 卷号: 125, 页码: 13-20
作者:  Luo, Jie;  Wang, Yifei;  Jiang, Dongchen
收藏  |  浏览/下载：14/0  |  提交时间：2019/12/30
The verification of conversion algorithms between finite automata 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2018, 卷号: 61
作者:  Jiang, Dongchen;  Li, Wei
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30
A Chinese New Word Detection Approach Based on Independence Testing 会议论文
ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION (AISC 2018), 2018-01-01
作者:  Jiang, Dongchen;  Chen, Xiaoyu;  Yang, Xin
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30
Revision with probability 期刊论文
Workshop on Program Verification, Automated Debugging and Symbolic Computation (PAS), 2017, 卷号: 80, 页码: 87-100
作者:  Jiang, Dongchen;  Li, Wei
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30
Revision with probability 会议论文
Workshop on Program Verification, Automated Debugging and Symbolic Computation (PAS), Beihang Univ, Beijing, PEOPLES R CHINA, 2017-05-01
作者:  Jiang, Dongchen;  Li, Wei
收藏  |  浏览/下载：6/0  |  提交时间：2019/12/30
广西鸟类新记录:火冠雀 期刊论文
广西科学, 2013, 期号: 2, 页码: 181-182
作者:  吴映环;  韦鸿岸;  韦东辰;  蒋爱伍
收藏  |  浏览/下载：1/0  |  提交时间：2016/08/20
A decomposition based algorithm for maximal contractions 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2013, 卷号: 7, 页码: 801-811
作者:  Jiang, Dongchen;  Li, Wei;  Luo, Jie;  Lou, Yihua;  Liao, Zhengzhong
收藏  |  浏览/下载：2/0  |  提交时间：2020/01/06
A representative model based algorithm for maximal contractions 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2013, 卷号: 56
作者:  Jiang DongChen;  Lou YiHua;  Jin Yi;  Luo Jie;  Li Wei
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06
Proof pearl: The marriage theorem 会议论文
1st International Conference on Certified Programs and Proofs, CPP 2011, Kenting, Taiwan, 2011-12-07
作者:  Jiang, Dongchen;  Nipkow, Tobias
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06

©版权所有 ©2017 CSpace - Powered by CSpace