×
验证码:
换一张
忘记密码？
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [11]
数学与系统科学研究院 [4]
兰州理工大学 [2]
深圳先进技术研究院 [2]
地质与地球物理研究所 [2]
自动化研究所 [2]
更多...
内容类型
期刊论文 [16]
其他 [8]
会议论文 [3]
学位论文 [1]
发表日期
2021 [1]
2017 [5]
2016 [10]
2015 [1]
2014 [3]
2013 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共28条，第1-10条
帮助
已选(
0
)
清除
条数/页：
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式：
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Fast Stochastic Ordinal Embedding With Variance Reduction and Adaptive Step Size
期刊论文
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2021, 卷号: 33, 期号: 6, 页码: 2467-2478
作者:
Ma, Ke
;
Zeng, Jinshan
;
Xiong, Jiechao
;
Xu, Qianqian
;
Cao, Xiaochun
收藏
|
浏览/下载：17/0
|
提交时间：2021/12/01
Ordinal embedding
SVRG
non-convex optimization
barzilai-borwein (BB) step size
Convex optimization learning of faithful Euclidean distance representations in nonlinear dimensionality reduction
期刊论文
MATHEMATICAL PROGRAMMING, 2017, 卷号: 164, 期号: 1-2, 页码: 341-381
作者:
Ding, Chao
;
Qi, Hou-Duo
收藏
|
浏览/下载：25/0
|
提交时间：2018/07/30
Euclidean distance matrix
Convex matrix optimization
Multidimensional scaling
Nonlinear dimensionality reduction
Low-rank matrix
Error bounds
Random graph models
Barrier certificates revisited
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2017, 卷号: 80, 页码: 62-86
作者:
Dai, Liyun
;
Gan, Ting
;
Xia, Bican
;
Zhan, Naijun
收藏
|
浏览/下载：34/0
|
提交时间：2017/02/16
Hybrid system
Barrier certificate
Formal verification
Invariant
Nonlinear system
Semi-definite programming
Sum of squares
Convex Euclidean distance embedding for collaborative position localization with NLOS mitigation
期刊论文
COMPUTATIONAL OPTIMIZATION AND APPLICATIONS, 2017, 卷号: 66, 期号: 1, 页码: 187-218
作者:
Ding, Chao
;
Qi, Hou-Duo
收藏
|
浏览/下载：21/0
|
提交时间：2018/07/30
Euclidean distance matrix
Collaborative localization
Non-line of sight (NLOS)
Augmented Lagrangian
Alternating direction method of multipliers (ADMM)
Barrier certificates revisited
其他
2017-01-01
Dai, Liyun
;
Gan, Ting
;
Xia, Bican
;
Zhan, Naijun
收藏
|
浏览/下载：5/0
|
提交时间：2017/12/03
Hybrid system
Barrier certificate
Formal verification
Invariant
Nonlinear system
Semi-definite programming
Sum of squares
HYBRID SYSTEMS
ALGORITHMIC ANALYSIS
SAFETY VERIFICATION
INVARIANTS
Barrier certificates revisited
其他
2017-01-01
Dai, Liyun
;
Gan, Ting
;
Xia, Bican
;
Zhan, Naijun
收藏
|
浏览/下载：7/0
|
提交时间：2017/12/03
Hybrid system
Barrier certificate
Formal verification
Invariant
Nonlinear system
Semi-definite programming
Sum of squares
HYBRID SYSTEMS
ALGORITHMIC ANALYSIS
SAFETY VERIFICATION
INVARIANTS
A feasible direction algorithm for solving 3D sensor network localization
期刊论文
Beijing Youdian Daxue Xuebao/Journal of Beijing University of Posts and Telecommunications, 2016, 卷号: 39, 期号: 2, 页码: 98-102
作者:
Chang, Xiao-Kai
;
Zhu, Wan-Jie
;
Li, De-Kui
收藏
|
浏览/下载：2/0
|
提交时间：2020/11/14
Computational efficiency
Nonlinear programming
Sensor nodes
3D sensor networks
Algorithm for solving
Change of variables
Feasible directions
Higher-dimensional
Interior point algorithm
Semi-definite programming
Sensor network localization
Robust Linear Estimation Fusion With Allowable Unknown Cross-Covariance
期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2016, 卷号: 46, 期号: [db:dc_citation_issue], 页码: 1314-1325
作者:
Gao, Yongxin
;
Li, X. Rong
;
Song, Enbin
收藏
|
浏览/下载：2/0
|
提交时间：2019/12/02
robust fusion
estimation fusion
Covariance intersection (CI)
minimax
semi-definite programming (SDP)
运用栅栏函数验证连续系统的有界时间安全性
其他
2016-01-01
甘庭
;
夏壁灿
收藏
|
浏览/下载：5/0
|
提交时间：2017/12/03
连续系统
安全性验证
栅栏函数
半定规划
平方和
continuous system
safety verification
barrier certificate
SDP (semi-definite programming)
SOS (sum of squares)
Interpolant synthesis for quadratic polynomial inequalities and combination with EUF
其他
2016-01-01
Gan, Ting
;
Dai, Liyun
;
Xia, Bican
;
Zhan, Naijun
;
Kapur, Deepak
;
Chen, Mingshuai
收藏
|
浏览/下载：9/0
|
提交时间：2017/12/03
©版权所有 ©2017 CSpace - Powered by
CSpace
