QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 限定条件 发表日期：2020    专题：数学与系统科学研究院    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Repairing mappings across biomedical ontologies by probabilistic reasoning and belief revision 期刊论文 KNOWLEDGE-BASED SYSTEMS, 2020, 卷号: 209, 页码: 21 作者:  Li, Weizhuo;  Zhang, Songmao 收藏  |  浏览/下载：19/0  |  提交时间：2021/01/14 Mapping validation and repair  Biomedical ontologies  Probabilistic description logics  Belief revision   HIGH ORDER EXPLICIT LOCAL TIME STEPPING METHODS FOR HYPERBOLIC CONSERVATION LAWS 期刊论文 MATHEMATICS OF COMPUTATION, 2020, 卷号: 89, 期号: 324, 页码: 1807-1842 作者:  Thi-Thao-Phuong Hoang;  Ju, Lili;  Leng, Wei;  Wang, Zhu 收藏  |  浏览/下载：28/0  |  提交时间：2020/05/24 A NOTE ON STEADY VORTEX FLOWS IN TWO DIMENSIONS 期刊论文 PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2020, 卷号: 148, 期号: 3, 页码: 1153-1159 作者:  Cao, Daomin;  Wang, Guodong 收藏  |  浏览/下载：25/0  |  提交时间：2020/05/24 Euler equations  steady vortex flow  semilinear elliptic equation  stream function