×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [5]
内容类型
其他 [5]
发表日期
2015 [5]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共5条,第1-5条
帮助
限定条件
发表日期:2015
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Smaller SDP for SOS decomposition
其他
2015-01-01
Dai, Liyun
;
Xia, Bican
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2017/12/03
SOS
SDP
Newton polytope
Convex cover polynomial
Split polynomial
POLYNOMIAL OPTIMIZATION PROBLEMS
SQUARES
SUMS
RELAXATIONS
FORMS
ALGORITHM
SPARSITY
Proving inequalities and solving global optimization problems via simplified CAD projection
其他
2015-01-01
Han, Jingjun
;
Jin, Zhi
;
Xia, Bican
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2017/12/03
CAD projection
Global optimization
Semi-definiteness
Polynomials
CYLINDRICAL ALGEBRAIC DECOMPOSITION
POLYNOMIAL INEQUALITIES
QUANTIFIER ELIMINATION
EXISTENTIAL THEORY
SETS
COEFFICIENTS
COMPLEXITY
SYSTEMS
THEOREM
SQUARES
Special algorithm for stability analysis of multistable biological regulatory systems
其他
2015-01-01
Hong, Hoon
;
Tang, Xiaoxian
;
Xia, Bican
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2017/12/03
Quantifier elimination
Root classification
Biological regulation system
Stability
CYLINDRICAL ALGEBRAIC DECOMPOSITION
APPLYING QUANTIFIER ELIMINATION
COMPUTATIONAL-COMPLEXITY
1ST-ORDER THEORY
3-DIMENSIONAL SPACE
IMPROVED PROJECTION
DECISION PROBLEM
GEOMETRY
REALS
PRELIMINARIES
Decidability of the Reachability for a Family of Linear Vector Fields
其他
2015-01-01
Gan, Ting
;
Chen, Mingshuai
;
Dai, Liyun
;
Xia, Bican
;
Zhan, Naijun
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2017/12/03
Tarski&apos
Polynomial-exponential function
Reachability
Real root isolation
Cylindrical Algebraic Decomposition (CAD)
CYLINDRICAL ALGEBRAIC DECOMPOSITION
QUANTIFIER ELIMINATION
HYBRID SYSTEMS
IMPROVED PROJECTION
AUTOMATA
s algebra
Generic Regular Decompositions for Parametric Polynomial Systems
其他
2015-01-01
CHEN Zhenghong
;
TANG Xiaoxian
;
XIA Bican
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2017/12/03
Generic regular decomposition
parametric polynomial system
regular-decompositionunstable variety
©版权所有 ©2017 CSpace - Powered by
CSpace