CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Programmable Live-Cell CRISPR Imaging with Toehold-Switch-Mediated Strand Displacement 期刊论文
ANGEWANDTE CHEMIE-INTERNATIONAL EDITION, 2020, 卷号: 59, 期号: 46, 页码: 20612-20618
作者:  Hao, YY;  Li, J;  Li, Q;  Zhang, LH;  Shi, JY
收藏  |  浏览/下载：24/0  |  提交时间：2021/09/06
An Artificial Intelligent Signal Amplification System for in vivo Detection of miRNA 期刊论文
FRONTIERS IN BIOENGINEERING AND BIOTECHNOLOGY, 2019, 卷号: 7, 页码: 15
作者:  Ma, Xibo;  Chen, Lei;  Yang, Yingcheng;  Zhang, Weiqi;  Wang, Peixia
收藏  |  浏览/下载：7/0  |  提交时间：2020/03/30
AR-Maze: A Tangible Programming Tool for Children Based on AR Technology 会议论文
Trondheim, Norway, 2018-6
作者:  Qiao Jin;  Danli Wang;  Xiaozhou Deng;  Nan Zheng;  Steve Chiu
收藏  |  浏览/下载：17/0  |  提交时间：2019/05/06
基于运行时模型的混合云管理方法 期刊论文
软件学报, 2017
陈星; 兰兴土; 李隘鹏; 郭文忠; 黄罡
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03
Learning disjunctive logic programs from interpretation transition 会议论文
London, United kingdom, September 4, 2016 - September 6, 2016
作者:  Huang, Yi;  Wang, Yisong;  Zhang, Ying;  Zhang, Mingyi
收藏  |  浏览/下载：2/0  |  提交时间：2020/01/02
The M-computations induced by accessibility relations in nonstandard models M of Hoare logic 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2016, 卷号: 10, 期号: 4, 页码: 717-725
作者:  Cao, Cungen;  Sui, Yuefei;  Zhang, Zaiyue
收藏  |  浏览/下载：16/0  |  提交时间：2019/12/13
Completeness of Hoare logic with inputs over the standard model 期刊论文
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28
作者:  Xu, Zhaowei;  Sui, Yuefei;  Zhang, Wenhui
收藏  |  浏览/下载：20/0  |  提交时间：2019/12/13
Design of mineral deposit prediction expert system based on GIS and answer set programming 其他
2016-01-01
Zhao, Zengyu; Chen, Huogen; Pan, Mao; Zhang, Zhihu
收藏  |  浏览/下载：8/0  |  提交时间：2017/12/03
Restricted Four-Valued Semantics for Answer Set Programming 其他
2016-01-01
Chen, Chen; Lin, Zuoquan
收藏  |  浏览/下载：1/0  |  提交时间：2017/12/03
LOGIC  
Coq Implementation of OO Verification Framework VeriJ 其他
2016-01-01
Zhang, Ke; Qiu, Zongyan
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03

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