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

Search Results

Help

Item hits: (Results 1-10 of 50)

Items/Page:    Sort:
Constant-round zero-knowledge proofs of knowledge with strict polynomial-time extractors for NP [期刊论文]
Science China Information Sciences, 2014-01-01, 卷号: 57, 期号: 1, 页码: 1-14
Li, HongDa (1); Feng, DengGuo (2)

 
Symbolic termination analysis of solvable loops [期刊论文]
JOURNAL OF SYMBOLIC COMPUTATION, 2013-01-01, 卷号: 50, 页码: 28-49
Xu, Ming; Li, Zhi-Bin

 
approximating linear order inference in owl 2 dl by horn compilation [会议论文]
2012 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2012, Macau, China, December 4, 2012 - December 7, 2012
Du Jianfeng; Qi Guilin; Pan Jeff Z.; Shen Yi-Dong

 
linear complexity of binary sequences derived from polynomial quotients [会议论文]
7th International Conference on Sequences and Their Applications, SETA 2012, Waterloo, ON, Canada, June 4, 2012 - June 8, 2012
Chen Zhixiong; G&#; mez-P&#; rez Domingo

 
on enumeration of polynomial equivalence classes [会议论文]
SCIENCE CHINA Mathematics
Wang TianZe; Lin DongDai

 
discrete fourier analysis and chebyshev polynomials with g(2) group [期刊论文]
SYMMETRY INTEGRABILITY AND GEOMETRY-METHODS AND APPLICATIONS, 2012-01-01, 卷号: 8, 页码: -
Li Huiyuan; Sun Jiachang; Xu Yuan

 
distinguishing attacks on generalized self-shrinking generators [期刊论文]
Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University, 2012-01-01, 卷号: 39, 期号: 4, 页码: 114-119
Li Xuelian; Gao Juntao; Hu Yupu; Zhang Fengrong

 
holographic reduction, interpolation and hardness [期刊论文]
COMPUTATIONAL COMPLEXITY, 2012-01-01, 卷号: 21, 期号: 4, 页码: 573-604
Cai Jin-Yi; Lu Pinyan; Xia Mingji

 
key management scheme of wireless sensor networks based on polynomial and ring-tree network topology [会议论文]
3rd International Conference on Multimedia Information Networking and Security, MINES 2011, Shanghai, China, November 4
Wei Hongru; Yang Kejia; Wu Rui; Chen Cui

 
computing semi-algebraic invariants for polynomial dynamical systems [会议论文]
Embedded Systems Week 2011, ESWEEK 2011 - 9th ACM International Conference on Embedded Software, EMSOFT'11, Taipei, Taiwan, October 9,
Liu Jiang; Zhan Naijun; Zhao Hengjun

 

1 2 3 4 5 next

 

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