×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
数学与系统科学研究... [18]
内容类型
期刊论文 [18]
发表日期
2018 [1]
2016 [3]
2011 [1]
2010 [1]
2009 [2]
2008 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共18条,第1-10条
帮助
限定条件
专题:数学与系统科学研究院
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Matching biomedical ontologies based on formal concept analysis
期刊论文
JOURNAL OF BIOMEDICAL SEMANTICS, 2018, 卷号: 9, 页码: 27
作者:
Zhao, Mengyi
;
Zhang, Songmao
;
Li, Weizhuo
;
Chen, Guowei
收藏
  |  
浏览/下载:33/0
  |  
提交时间:2018/07/30
Ontology matching
Formal concept analysis
Concept lattice
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters
期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 7, 页码: 623-639
作者:
Su, Guoxin
;
Feng, Yuan
;
Chen, Taolue
;
Rosenblum, David S.
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2018/07/30
Asymptotic perturbation bound
discrete-time Markov chain
numerical iteration
optimization
parametric Markov chain
perturbation analysis
probabilistic model checking
quadratic programming
Convergence analysis of the formal energies of symplectic methods for Hamiltonian systems
期刊论文
SCIENCE CHINA-MATHEMATICS, 2016, 卷号: 59, 期号: 2, 页码: 379-396
作者:
Zhang RuiLi
;
Tang YiFa
;
Zhu BeiBei
;
Tu XiongBiao
;
Zhao Yue
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2018/07/30
convergence analysis
formal energy
symplectic method
Hamiltonian system
bushy tree
convergenceanalysisoftheformalenergiesofsymplecticmethodsforhamiltoniansystems
期刊论文
sciencechinamathematics, 2016, 卷号: 59, 期号: 2, 页码: 379
作者:
Zhang Ruili
;
Tang Yifa
;
Zhu Beibei
;
Tu Xiongbiao
;
Zhao Yue
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2020/01/10
Some remarks on Kahler differentials and ordinary differentials in nonlinear control theory
期刊论文
SYSTEMS & CONTROL LETTERS, 2011, 卷号: 60, 期号: 9, 页码: 699-703
作者:
Fu, Guofeng
;
Halas, Miroslav
;
Kotta, Uelle
;
Li, Ziming
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2018/07/30
Nonlinear systems
Algebraic methods
Kahler differentials
Differential one-forms
A framework to compute page importance based on user behaviors
期刊论文
INFORMATION RETRIEVAL, 2010, 卷号: 13, 期号: 1, 页码: 22-45
作者:
Liu, Yuting
;
Liu, Tie-Yan
;
Gao, Bin
;
Ma, Zhiming
;
Li, Hang
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2018/07/30
User browsing process
Continuous-time time-homogeneous Markov process
Staying time
BrowseRank
Multiscale asymptotic expansions and numerical algorithms for the wave equations of second order with rapidly oscillating coefficients
期刊论文
APPLIED NUMERICAL MATHEMATICS, 2009, 卷号: 59, 期号: 12, 页码: 3008-3032
作者:
Dong, Qiao-Li
;
Cao, Li-Qun
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2018/07/30
Homogenization
Multiscale asymptotic expansion
The wave equation with rapidly oscillating coefficients
Finite element method
Symplectic geometric scheme
Explicit Symplectic Methods for the Nonlinear Schrodinger Equation
期刊论文
COMMUNICATIONS IN COMPUTATIONAL PHYSICS, 2009, 卷号: 6, 期号: 3, 页码: 639-654
作者:
Guan, Hua
;
Jiao, Yandong
;
Liu, Ju
;
Tang, Yifa
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2018/07/30
Explicit symplectic method
L-L-N splitting
nonlinear Schrodinger equation
Error analysis for a fast numerical method to a boundary integral equation of the first kind
期刊论文
JOURNAL OF COMPUTATIONAL MATHEMATICS, 2008, 卷号: 26, 期号: 1, 页码: 56-68
作者:
Ma, Jingtang
;
Tang, Tao
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2018/07/30
boundary integral equation
collocation method
graded mesh
Symbolic computation of exact solutions expressible in rational formal hyperbolic and elliptic functions for nonlinear partial differential equations
期刊论文
CHAOS SOLITONS & FRACTALS, 2007, 卷号: 31, 期号: 2, 页码: 500-513
作者:
Wang, Qi
;
Chen, Yong
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2018/07/30
©版权所有 ©2017 CSpace - Powered by
CSpace