CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
Geometry of reduced density matrices for symmetry-protected topological phases 期刊论文
PHYSICAL REVIEW A, 2016, 卷号: 93, 期号: 1
Chen, JY; Ji, ZF; Liu, ZX; Shen, Y; Zeng, B
收藏  |  浏览/下载：8/0  |  提交时间：2016/12/13
finding orthogonal latin squares using finite model searching tools 期刊论文
Science China Information Sciences, 2013, 卷号: 56, 期号: 3, 页码: 1-9
Ma FeiFei; Zhang Jian
收藏  |  浏览/下载：13/0  |  提交时间：2013/09/17
on the probability distribution of the carry cells of stream ciphers f-fcsr-h v2 and f-fcsr-h v3 会议论文
7th China International Conference on Information Security and Cryptography, Inscrypt 2011, Beijing, China, November 30, 2011 - December 3, 2011
Song Haixin; Fan Xiubin; Wu Chuankun; Feng Dengguo
收藏  |  浏览/下载：12/0  |  提交时间：2013/09/22
solving global unconstrained optimization problems by symmetry-breaking 会议论文
8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009, Shanghai, China, 43983
Ji Xiaohui; Ma Fei Fei; Zhang Jian
收藏  |  浏览/下载：18/0  |  提交时间：2011/03/20
entropy codec based on evolutionary mht and its application in video encryption 会议论文
11th ACM Multimedia and Security Workshop, Princeton, NJ, SEP 07-08,
Cao Yun; Zhao Xianfeng; Feng Dengguo
收藏  |  浏览/下载：12/0  |  提交时间：2011/03/20
finding orthogonal arrays using satisfiability checkers and symmetry breaking constraints 会议论文
10th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2008), Hanoi, VIETNAM, DEC 15-19,
Ma Feifei; Zhang Jian
收藏  |  浏览/下载：11/0  |  提交时间：2011/06/13
a backtracking search tool for constructing combinatorial test suites 期刊论文
Journal of Systems and Software, 2008, 卷号: 81, 期号: 10, 页码: 1681-1693
Jun Yan; Zhang Jian
收藏  |  浏览/下载：11/0  |  提交时间：2010/08/11
backtracking algorithms and search heuristics to generate test suites for combinatorial testing 会议论文
30th Annual International Computer Software and Applications Conference, Chicago, IL, SEP 17-21,
Yan Jun; Zhang Jian
收藏  |  浏览/下载：5/0  |  提交时间：2011/07/28
backtracking algorithms and search heuristics to generate test suites for combinatorial testing 会议论文
30th Annual International Computer Software and Applications Conference, Chicago, IL, SEP 17-21,
Yan Jun; Zhang Jian
收藏  |  浏览/下载：8/0  |  提交时间：2011/07/28
a powerful technique to eliminate isomorphism in finite model search 会议论文
3rd International Joint Conference on Automated Reasoning, Seattle, WA, AUG 17-20,
Jia Xiangxue; Zhang Jian
收藏  |  浏览/下载：7/0  |  提交时间：2011/07/28

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