可计算性论文

概率可验证明（PCP）系统研究
论文摘要计算复杂性是计算机理论中极其重要的一个领域。它不但包含了一个完整独立而且内容丰富的理论，同时也对许多其它相关的计算机和应用数学领域产生了重大影响。1994年，普林斯顿大...
单体分型和单体型频率估计 ——复杂性及算法
论文摘要计算机和网络技术的飞速发展，为分子生物学研究提供了新的强大手段。单体型信息因其在医学特别是遗传疾病研究方面具有重要意义，引起生物与医学工作者的极大关注。但绝大多数所研究...
隐通道可计算性的研究
论文摘要作为一项重要的评估指标,美国国防部的TCSEC准则和ISO的CC标准都对隐通道做出了明确地规定,即软件要获得B2或EAL5及以上级的安全认证,必须要通过不同强度的隐通道...
交互可计算性和拓扑方法的研究
论文题目:交互可计算性和拓扑方法的研究论文类型:博士论文论文专业:计算机系统结构作者:刘兴武导师:徐志伟关键词:交互,可计算性,复杂度,拓扑文献来源:中国科学院研究生院（计算技...