QQ客服 官方微博 反馈留言

浏览/检索结果: 共8条，第1-8条 帮助 限定条件 学科主题：Computer Science     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 holographic reduction, interpolation and hardness 期刊论文 COMPUTATIONAL COMPLEXITY, 2012, 卷号: 21, 期号: 4, 页码: 573-604 Cai Jin-Yi; Lu Pinyan; Xia Mingji 收藏  |  浏览/下载：11/0  |  提交时间：2013/09/17 Holographic reduction  polynomial interpolation  #P-hard  counting complexity   characterizations of locally testable linear- and affine-invariant families 期刊论文 Theoretical Computer Science, 2011, 卷号: 414, 期号: 1, 页码: 55-75 Angsheng Li; Yicheng Pan 收藏  |  浏览/下载：10/0  |  提交时间：2013/10/08 Error correcting codes  Locally testable codes  (Algebraic) property tests   computational complexity of holant problems 期刊论文 SIAM Journal on Computing, 2011, 卷号: 40, 期号: 4, 页码: 1101-1132 Cai Jin-Yi; Lu Pinyan; Xia Mingji 收藏  |  浏览/下载：11/0  |  提交时间：2013/10/08 Boolean functions  Interpolation  Real variables   lower bounds on the second order nonlinearity of boolean functions 期刊论文 INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2011, 卷号: 22, 期号: 6, 页码: 1331-1349 Li Xuelian; Hu Yupu; Gao Juntao 收藏  |  浏览/下载：10/0  |  提交时间：2013/10/08 工程热物理  碳纳米管  关联式  核态池沸腾  润滑油  制冷剂   on the nonexistence of bent functions 期刊论文 INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2011, 卷号: 22, 期号: 6, 页码: 1431-1438 Zhang Yin; Liu Meicheng; Lin Dongdai 收藏  |  浏览/下载：13/0  |  提交时间：2013/10/08 Boolean function  bent function  nonlinearity  d-upper Boolean function   new disturbance vector for sha-0 collision 期刊论文 JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2010, 卷号: 26, 期号: 6, 页码: 2143-2157 Wu Shuang; Feng Deng-Guo; Wu Wen-Ling 收藏  |  浏览/下载：9/0  |  提交时间：2011/05/23 hash function  collision search attack  disturbance vector  differential path  message modification  SHA-0   基于Yices对时间自动机的有界模型检测 期刊论文 计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 126-129 王晓亮 收藏  |  浏览/下载：27/0  |  提交时间：2011/05/23 有界模型检测  时间自动机  SMT工具  可达性  安全性  逻辑公式bounded model checking  timed automata  SMT tools  reaehability  safety  logic formula   construction and enumeration of boolean functions with maximum algebraic immunity 期刊论文 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2009, 卷号: 52, 期号: 1, 页码: 32-40 Zhang WenYing; Wu ChuanKun; Liu XiangZhong 收藏  |  浏览/下载：12/0  |  提交时间：2011/03/18 cryptography  algebraic attack  algebraic immunity  Boolean function