×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
华南理工大学 [6]
内容类型
会议论文 [5]
会议 [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共6条,第1-6条
帮助
限定条件
专题:华南理工大学
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
提交时间升序
提交时间降序
题名升序
题名降序
作者升序
作者降序
Quantifier elimination for quartics (EI收录)
会议论文
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Beijing, China, September 20, 2006 - September 22, 2006
作者:
Yang, Lu[1]
;
Xia, Bican[2]
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2019/04/18
Computer programming
Polynomials
Problem solving
Generating polynomial invariants with DISCOVERER and QEPCAD (EI收录)
会议论文
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Macao, China, September 24, 2007 - September 27, 2007
作者:
Chen, Yinghua[1]
;
Xia, Bican[1]
;
Yang, Lu[2]
;
Zhan, Naijun[3]
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/04/17
Algorithms
Computational complexity
Computer programming
Problem solving
Computing reachable sets of linear vector fields revisited (EI收录)
会议
Aalborg, Denmark,
作者:
Gan, Ting[1]
;
Chen, Mingshuai[2]
;
Li, Yangjia[2]
;
Xia, Bican[1]
;
Zhan, Naijun[2]
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2019/04/11
Abstracting
Computability and decidability
Dynamical systems
Eigenvalues and eigenfunctions
Exponential functions
Hybrid systems
Linear control systems
Stream flow
Generating non-linear interpolants by semidefinite programming (EI收录)
会议论文
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Saint Petersburg, Russia, July 13, 2013 - July 19, 2013
作者:
Dai, Liyun[1,3]
;
Xia, Bican[1]
;
Zhan, Naijun[2]
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/04/15
Computer aided analysis
Interpolation
Model checking
Non-termination sets of simple linear loops (EI收录)
会议论文
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bangalore, India, September 24, 2012 - September 27, 2012
作者:
Dai, Liyun[1]
;
Xia, Bican[1]
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2019/04/15
Artificial intelligence
Hierarchical comprehensive triangular decomposition (EI收录)
会议论文
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Seoul, Korea, Republic of, August 5, 2014 - August 9, 2014
作者:
Chen, Zhenghong[1]
;
Tang, Xiaoxian[1]
;
Xia, Bican[1]
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2019/04/12
Polynomials
Software testing
©版权所有 ©2017 CSpace - Powered by
CSpace