中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共6条，第1-6条

帮助

条数/页：排序方式：
	Witness to non-termination of linear programs 期刊论文 OAI收割 THEORETICAL COMPUTER SCIENCE, 2017, 卷号: 681, 页码: 75-100 作者: Li, Yi \| 收藏 \| 浏览/下载：35/0 \| 提交时间：2018/03/05 Linear loops Program termination Semi-algebraic sets Witness to non-termination
	Computing real witness points of positive dimensional polynomial systems 期刊论文 OAI收割 THEORETICAL COMPUTER SCIENCE, 2017, 卷号: 681, 页码: 217-231 作者: Wu, Wenyuan; Reid, Greg; Feng, Yong \| 收藏 \| 浏览/下载：35/0 \| 提交时间：2018/03/05 Numerical algebraic geometry Real algebraic geometry Homotopy continuation Singular critical points Real witness points
	a two-round honest-verifier zero-knowledge protocol 期刊论文 OAI收割 SCIENCE CHINA-INFORMATION SCIENCES, 2010, 卷号: 53, 期号: 5, 页码: 954-963 Liu HanWu; Lin DongDai \| 收藏 \| 浏览/下载：26/0 \| 提交时间：2011/05/23 proof system argument system zero-knowledge witness indistinguishability black-box one-way permutation commitment scheme zap
	网络责任认定技术研究学位论文 OAI收割工学硕士, 中国科学院自动化研究所: 中国科学院研究生院, 2008 秦文广收藏 \| 浏览/下载：81/0 \| 提交时间：2015/09/02 网络责任认定电子见证电子证据见证协议 responsibility cognizance electronic witness electronic evidence protocol on witness
	Delegateable signatures based on non-interactive witness indistinguishable and non-interactive witness hiding proofs 期刊论文 OAI收割 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2008, 卷号: 51, 期号: 2, 页码: 128-144 作者: Tang ChunMing; Pei DingYi; Wang XiaoFeng; Liu ZhuoJun; LIU ZhuoJun \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2018/07/30 delegateable signature non-interactive zero-knowledge non-interactive witness indistinguishable non-interactive witness hiding Sigma-protocol
	传值进程模型检测中诊断信息的生成期刊论文 OAI收割软件学报, 2003, 卷号: 14, 期号: 1, 页码: 40186 刘剑; 林惠民 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2010/08/24 进程代数模型检测证明图示例诊断生成 process algebra model checking proof graph witness diagnosis generation