CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
Multiphase until formulas over Markov reward models: An algebraic approach 期刊论文
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 611, 页码: 116-135
Xu, M; Zhang, LJ; Jansen, DN; Zhu, HB; Yang, ZY
收藏  |  浏览/下载：12/0  |  提交时间：2016/12/13
面向移动终端用户的服务组合关键技术研究 学位论文
博士, 北京: 中国科学院大学, 2014
白琳
收藏  |  浏览/下载：17/0  |  提交时间：2014/05/30
支持安全转码的图像加密与认证方法研究 学位论文
博士, 北京: 中国科学院大学, 2014
易小伟
收藏  |  浏览/下载：35/0  |  提交时间：2014/05/27
The typical Turing degree 期刊论文
PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 2014, 卷号: 109, 页码: 1-39
Barmpalias, George; Day, Adam R.; Lewis-Pye, Andy E. M.
收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16
DAA-related APIs in TPM 2.0 revisited 会议论文
7th International Conference on Trust and Trustworthy Computing, TRUST 2014, Heraklion, Crete, Greece, June 30, 2014 - July 2, 2014
Xi, Li (1); Yang, Kang (1); Zhang, Zhenfeng (1); Feng, Dengguo (1)
收藏  |  浏览/下载：20/0  |  提交时间：2014/12/16
基于特征融合聚类的JPEG盲隐写分析 期刊论文
计算机应用与软件, 2013, 卷号: 30, 期号: 3, 页码: 7-9,34
周楠; 赵险峰; 黄炜; 盛任农
收藏  |  浏览/下载：13/0  |  提交时间：2013/09/17
Animating turbulent water by vortex shedding in PIC/FLIP 期刊论文
Science China Information Sciences, 2013, 卷号: 56, 期号: 3, 页码: 1-11
Zhu, Jian (1); Liu, YouQuan (3); Chang, YuanZhang (1); Wu, EnHua (1)
收藏  |  浏览/下载：21/0  |  提交时间：2014/12/16
A framework for key-frame selection based on relevance feedback 会议论文
12th ACM SIGGRAPH International Conference on Virtual-Reality Continuum and Its Applications in Industry, VRCAI 2013, Hong Kong, Hong kong, November 17, 2013 - November 19, 2013
Ma, Cuixia (1); Wen, Ruri (1); Zeng, Dejun (1); Wang, Hongan (1); Dai, Guozhong (1)
收藏  |  浏览/下载：21/0  |  提交时间：2014/12/16
不动点逻辑中的模型构造与推演系统的完备性 学位论文
博士, 北京: 中国科学院研究生院, 2012
屈楠
收藏  |  浏览/下载：22/0  |  提交时间：2012/07/06
multiparty quantum key agreement with single particles 期刊论文
Quantum Information Processing, 2012, 页码: 40917
Liu Bin; Gao Fei; Huang Wei; Wen Qiao-yan
收藏  |  浏览/下载：13/0  |  提交时间：2012/11/12

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