×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [19]
厦门大学 [2]
内容类型
其他 [21]
发表日期
2016 [2]
2015 [2]
2014 [2]
2013 [3]
2012 [1]
2011 [2]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共21条,第1-10条
帮助
限定条件
内容类型:其他
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Early Telychian (Silurian) marine siliciclastic red beds in the Eastern Yangtze Platform, South China: distribution pattern and controlling factors
其他
2016-01-01
Liu, Jianbo
;
Wang, Yi
;
Zhang, Xiaole
;
Rong, Jiayu
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2017/12/04
NORTH-AMERICA
SEDIMENTARY
TRANSITION
EVOLUTION
EXPANSION
RESPONSES
GONDWANA
EVENTS
ORIGIN
MEXICO
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
Toward domain knowledge model for smart city: The core conceptual model
其他
2015-01-01
Zhao, Junfeng
;
Wang, Yasha
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2017/12/03
Optimization design of a low power asynchronous des for security applications based on Balsa and synchronous tools
其他
2015-01-01
Zhang, Qihui
;
Cao, Jian
;
Cao, Xixin
;
Zhang, Xing
;
Ye, Yin
;
Zhao, Yanguang
;
Chen, Botao
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2015/11/13
Stability of solitary waves in the nonlinear Dirac equation with arbitrary nonlinearity
其他
2014-01-01
Shao Sihong
;
Quintero Niurka R
;
Mertens Franz G
;
Cooper Fred
;
Khare Avinash
;
Saxena Avadh
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2015/11/13
Seismic analysis of a water release integrated structure part II: Time history analysis of service bridge pier structure
其他
2014-01-01
Wang, Yong
;
Xuan, Jun Chang
;
Sun, Ming
;
Dong, Bo Ya
;
董博雅
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2015/07/22
Civil engineering
Finite element method
Materials science
Mechanical engineering
Seismology
Water levels
Geometric quantifier elimination heuristics for automatically generating octagonal and max-plus invariants
其他
2013-01-01
Kapur, Deepak
;
Zhang, Zhihai
;
Horbach, Matthias
;
Zhao, Hengjun
;
Lu, Qi
;
Nguyen, ThanhVu
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2015/11/13
On invariant checking
其他
2013-01-01
Zhang Zhihai
;
Kapur, Deepak
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2015/11/10
Assertion
Floyd-Hoare logic
invariant
invariant generation
SEMI-ALGEBRAIC SYSTEMS
POLYNOMIAL INVARIANTS
RANKING FUNCTIONS
VERIFICATION
GENERATION
MODIFIED SCATTERING OPERATOR FOR THE DERIVATIVE NONLINEAR SCHRODINGER EQUATION
其他
2013-01-01
Guo, Zihua
;
Hayashi, Nakao
;
Lin, Yiquan
;
Naumkin, Pavel I.
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2015/11/13
modified scatttering operator
derivative nonlinear Schrodinger equation
INTEGRABILITY
POSEDNESS
RANGE
Supercritical super-Brownian motion with a general branching mechanism and travelling waves
其他
2012-01-01
Kyprianou, A. E.
;
Liu, R.L.
;
Murillo-Salas, A.
;
Ren, Y.X.
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2015/11/16
Superprocesses
N-measure
Spine decomposition
Additive martingale
Derivative martingale
Travelling waves
EXIT MARKOV SYSTEMS
DIFFERENTIAL-EQUATIONS
NONLINEAR DIFFUSION
EXPONENTIAL-GROWTH
PARTICLE-SYSTEMS
SUPERPROCESSES
MARTINGALES
EXTINCTION
KOLMOGOROV
BEHAVIOR
©版权所有 ©2017 CSpace - Powered by
CSpace