CORC

浏览/检索结果: 共18条,第1-10条 帮助

限定条件                
已选(0)清除 条数/页:   排序方式:
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
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
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
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
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
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
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
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
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