中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共10条，第1-10条 帮助

条数/页： 排序方式：
SONC optimization and exact nonnegativity certificates via second-order cone programming 期刊论文  OAI收割
JOURNAL OF SYMBOLIC COMPUTATION, 2023, 卷号: 115, 页码: 346-370
作者:  Magron, Victor;  Wang, Jie
  |  收藏  |  
Nonnegative Polynomials and Circuit Polynomials 期刊论文  OAI收割
SIAM JOURNAL ON APPLIED ALGEBRA AND GEOMETRY, 2022, 卷号: 6, 期号: 2, 页码: 111-133
作者:  Wang, Jie
  |  收藏  |  
A tighter relation between sensitivity complexity and certificate complexity 期刊论文  OAI收割
THEORETICAL COMPUTER SCIENCE, 2019, 卷号: 762, 页码: 1-12
作者:  He, Kun;  Li, Qian;  Sun, Xiaoming
  |  收藏  |  
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates 期刊论文  OAI收割
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017, 卷号: 16, 页码: 19
作者:  Huang, Chao;  Chen, Xin;  Lin, Wang;  Yang, Zhengfeng;  Li, Xuandong
  |  收藏  |  
Barrier certificates revisited 期刊论文  OAI收割
JOURNAL OF SYMBOLIC COMPUTATION, 2017, 卷号: 80, 页码: 62-86
作者:  Dai, Liyun;  Gan, Ting;  Xia, Bican;  Zhan, Naijun
收藏  |  
Authenticated key exchange with entities from different settings and varied groups 期刊论文  OAI收割
SECURITY AND COMMUNICATION NETWORKS, 2016, 卷号: 9, 期号: 12, 页码: 1843-1863
Guo, YF; Zhang, ZF
  |  收藏  |  
The role of certificate issuer on consumers' willingness-to-pay for milk traceability in China SCI/SSCI论文  OAI收割
2013
Bai J. F.; Zhang C. P.; Jiang J.
收藏  |  
一种无证书的家庭基站认证方案 期刊论文  OAI收割
中国科学院研究生院学报, 2012, 卷号: 29, 期号: 1, 页码: 141-144
谢涛; 武传坤
收藏  |  
Efficient on-line/off-line signature schemes based on multiple-collision trapdoor hash families 期刊论文  iSwitch采集
Computer journal, 2010, 卷号: 53, 期号: 9, 页码: 1478-1484
作者:  Harn, Lein;  Hsin, Wen-Jung;  Lin, Changlu
收藏  |  
一种基于属性证书和角色的访问控制模型 期刊论文  OAI收割
微电子学与计算机, 2006, 卷号: 23, 期号: 11, 页码: 143-145,148
张可翔; 谢冬青; 冷健
  |  收藏  |