×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
数学与系统科学研究院 [7]
软件研究所 [7]
厦门大学 [6]
清华大学 [4]
自动化研究所 [4]
北京大学 [3]
更多...
内容类型
期刊论文 [35]
会议论文 [4]
学位论文 [4]
发表日期
2023 [2]
2016 [4]
2015 [1]
2014 [1]
2012 [1]
2011 [1]
更多...
学科主题
Physics [2]
Astronomy ... [1]
Astronomy ... [1]
计算机科学技术 [1]
计算机科学技术::计... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共43条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Synergetic learning for unknown nonlinear
H.
control using neural networks
期刊论文
NEURAL NETWORKS, 2023, 卷号: 168, 页码: 287-299
作者:
Zhu, Liao
;
Guo, Ping
;
Wei, Qinglai
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2023/12/21
H. control
Nonlinear systems
Adaptive dynamic programming
Temporal difference
Neural network
Data-driven
New remarks on the factorization and equivalence problems for a class of multivariate polynomial matrices
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2023, 卷号: 115, 页码: 266-284
作者:
Lu, Dong
;
Wang, Dingkang
;
Xiao, Fanghui
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2023/02/07
Multivariate polynomial matrices
Matrix factorization
Matrix equivalence
Column reduced minors
Gr?bner basis
基于 TPM 2.0 的协议设计与分析研究
学位论文
博士, 北京: 中国科学院研究生院, 2019
作者:
王微谨
收藏
  |  
浏览/下载:192/0
  |  
提交时间:2019/07/03
可信计算
TPM 2.0
API 分析
形式化方法
匿名认证协议
Correct-by-construction specification to verified code
期刊论文
JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2018, 卷号: 30
作者:
Ge, Ning
;
Dieumegard, Arnaud
;
Jenn, Eric
;
Voisin, Laurent
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
C
code generation
equivalence proof
Event-B
formal methods
property proof
A Link Between the Log-Sobolev Inequality and Lyapunov Condition
期刊论文
POTENTIAL ANALYSIS, 2016, 卷号: 44, 期号: 4, 页码: 629-637
作者:
Liu, Yuan
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2018/07/30
Log-Sobolev inequality
Log-concave measure
Heat flow
Symmetric diffusion
Lyapunov condition
On three-term recurrence and Christoffel-Darboux identity for orthogonal rational functions on the real line
期刊论文
INTEGRAL TRANSFORMS AND SPECIAL FUNCTIONS, 2016, 卷号: 27, 期号: 4, 页码: 268-280
作者:
Sun, Ye-Peng
;
Chang, Xiang-Ke
;
He, Yi
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2018/07/30
33C45
11C20
three-term recurrence
Christoffel-Darboux relation
Orthogonal rational functions
On three-term recurrence and Christoffel-Darboux identity for orthogonal rational functions on the real line
期刊论文
INTEGRAL TRANSFORMS AND SPECIAL FUNCTIONS, 2016, 卷号: 27, 期号: 4, 页码: 268-280
作者:
Sun, Ye-Peng
;
Chang, Xiang-Ke
;
He, Yi
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2016/05/03
33C45
11C20
three-term recurrence
Christoffel-Darboux relation
Orthogonal rational functions
同步数据流语言时态消去的可信翻译
期刊论文
2016, 2016
张玲波
;
甘元科
;
石刚
;
王生原
;
董渊
;
张智慧
;
王沿海
;
ZHANG Ling-bo
;
GAN Yuan-ke
;
SHI Gang
;
WANG Sheng-yuan
;
DONG Yuan
;
ZHANG Zhi-hui
;
WANG Yan-hai
收藏
  |  
浏览/下载:9/0
On Equivalence of l1 Norm Based Basic Sparse Representation Problems
会议论文
IEEE Conference of Signal Processing, Communications and Computing (ICSPCC), 2015, Ningbo, Zhejiang, China, September 19-22, 2015
作者:
Jiang, Rui
;
Qiao, Hong
;
Zhang, Bo
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2016/10/27
Equivalence
l1 norm regularization problem
l1 norm minimization problem
l1 norm constraint problem
Charge-Shift Bonding Emerges as a Distinct Electron-Pair Bonding Family from Both Valence Bond and Molecular Orbital Theories
期刊论文
http://dx.doi.org/10.1021/ct500367s, 2014
Zhang, Huaiyu
;
Danovich, David
;
Wu, Wei
;
Braida, Benoit
;
Hiberty, Philippe C.
;
Shaik, Sason
;
吴玮
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2015/07/22
CONSISTENT-FIELD METHOD
CONFIGURATION-INTERACTION
DYNAMIC CORRELATION
LOCALIZATION
DISSOCIATION
ENERGIES
COMPACT
F2
©版权所有 ©2017 CSpace - Powered by
CSpace