中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 48)

Items/Page:    Sort:
Optimal asymptotic bounds on the oracle use in computations from Chaitin's Omega [期刊论文]
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2016-01-01, 卷号: 82, 期号: 8, 页码: 1283-1299
Barmpalias, G; Fang, N; Lewis-Pye, A
  |  
 
Universal computably enumerable sets and initial segment prefix-free complexity [期刊论文]
INFORMATION AND COMPUTATION, 2013-01-01, 卷号: 233, 页码: 41-59
Barmpalias, George

 
State succinctness of two-way finite automata with quantum and classical states [期刊论文]
Theoretical Computer Science, 2013-01-01, 卷号: 499, 页码: 98-112
Zheng, Shenggen (1); Qiu, Daowen (1); Gruska, Jozef (3); Li, Lvzhou (1); Mateus, Paulo (2)

 
Kolmogorov complexity and computably enumerable sets [期刊论文]
ANNALS OF PURE AND APPLIED LOGIC, 2013-01-01, 卷号: 164, 期号: 12, 页码: 1187-1200
Barmpalias, George; Li, Angsheng

 
the complexity of weighted boolean #csp modulo k [会议论文]
28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, Dortmund, Germany, March 10, 2011 - March 12, 2011
Guo Heng; Huang Sangxia; Lu Pinyan; Xia Mingji

 
fast verification of memory consistency for chip multi-processor [会议论文]
2011 7th International Conference on Computational Intelligence and Security, CIS 2011, Sanya, Hainan, China, December 3, 2011 - December 4, 2011
Zheng Lv; Chen Hao; Chen Feng; Yi Lv

 
the research of extracting minimal decision rules from the decision table in rough sets [会议论文]
2010 International Conference on Frontiers of Manufacturing and Design Science, ICFMD2010, Chongqing, China, December 11, 2010 - December 12, 2010
Pan Wei; Huang Yijia; Wang Yangsheng; Yang Hongji

 
a covert timing channel via algorithmic complexity attacks: design and analysis [会议论文]
2011 IEEE International Conference on Communications, ICC 2011, Kyoto, Japan, 5-Jun-20
Sun Xiaoshan; Cheng Liang; Zhang Yang
  |  
 
the complexity and approximability of minimum contamination problems [会议论文]
Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo Japan, 2011
Li Angsheng; Tang Linqing
  |  
 
对Bivium流密码的变元猜测代数攻击 [期刊论文]
电子学报, 2011-01-01, 卷号: 39, 期号: 8, 页码: 1727-1732
李昕; 林东岱
  |  
 

1 2 3 4 5 next

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace