×
验证码:
换一张
忘记密码?
记住我
切换中国科技网通行证登录
×
切换中国科技网通行证登录
登录
中文版
|
English
中国科学院数学与系统科学研究院机构知识库
KMS Of Academy of mathematics and systems sciences, CAS
登录
注册
ALL
ORCID
题名
作者
发表日期
学科领域
关键词
文献类型
出处
存缴日期
收录类别
出版者
资助项目
学科门类
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
新闻&公告
在结果中检索
研究单元&专题
数学所 [4]
应用数学研究所 [2]
作者
张松懋 [3]
陆汝钤 [1]
吴凌云 [1]
张世华 [1]
章祥荪 [1]
文献类型
期刊论文 [16]
发表日期
2023 [1]
2020 [1]
2019 [1]
2018 [1]
2017 [1]
2010 [1]
更多...
语种
英语 [16]
出处
EXPERT SYS... [2]
SCIENCE IN... [2]
ARTIFICIAL... [1]
BMC SYSTEM... [1]
CURRENT BI... [1]
EXPERT SYS... [1]
更多...
资助项目
Natural Sc... [2]
Chinese Ac... [1]
Foundation... [1]
Institute ... [1]
Key Projec... [1]
Key Projec... [1]
更多...
收录类别
SCI [2]
资助机构
×
知识图谱
CSpace
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共16条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
提交时间升序
提交时间降序
发表日期升序
发表日期降序
作者升序
作者降序
WOS被引频次升序
WOS被引频次降序
题名升序
题名降序
期刊影响因子升序
期刊影响因子降序
A graph-based method for interactive mapping revision in DL-Lite
期刊论文
EXPERT SYSTEMS WITH APPLICATIONS, 2023, 卷号: 211, 页码: 24
作者:
Li, Weizhuo
;
Ji, Qiu
;
Zhang, Songmao
;
Fu, Xuefeng
;
Qi, Guilin
收藏
  |  
浏览/下载:91/0
  |  
提交时间:2023/02/07
Semantic Web
Ontology mappings
Interactive revision
Graph representation
A stratified system of knowledge and knowledge icebergs in cross-cultural business models: Synthesising ontological and epistemological views
期刊论文
JOURNAL OF INTERNATIONAL MANAGEMENT, 2020, 卷号: 26, 期号: 4, 页码: 13
作者:
Wang, Shouyang
;
Chin, Tachia
收藏
  |  
浏览/下载:127/0
  |  
提交时间:2021/04/26
Business model
Cross-cultural knowledge
Ecosystem
Ontology
Epistemology
Knowledge iceberg
Brief Survey of Biological Network Alignment and a Variant with Incorporation of Functional Annotations
期刊论文
CURRENT BIOINFORMATICS, 2019, 卷号: 14, 期号: 1, 页码: 4-10
作者:
Jing, Fang
;
Zhang, Shao-Wu
;
Zhang, Shihua
收藏
  |  
浏览/下载:182/0
  |  
提交时间:2019/04/02
Biological network
network alignment
gene ontology
alignment graph
optimization
Matching biomedical ontologies based on formal concept analysis
期刊论文
JOURNAL OF BIOMEDICAL SEMANTICS, 2018, 卷号: 9, 页码: 27
作者:
Zhao, Mengyi
;
Zhang, Songmao
;
Li, Weizhuo
;
Chen, Guowei
收藏
  |  
浏览/下载:159/0
  |  
提交时间:2018/07/30
Ontology matching
Formal concept analysis
Concept lattice
NetGen: a novel network-based probabilistic generative model for gene set functional enrichment analysis
期刊论文
BMC SYSTEMS BIOLOGY, 2017, 卷号: 11, 页码: 14
作者:
Sun, Duanchen
;
Liu, Yinliang
;
Zhang, Xiang-Sun
;
Wu, Ling-Yun
收藏
  |  
浏览/下载:134/0
  |  
提交时间:2018/07/30
Gene ontology
Enrichment analysis
Network-based probabilistic generative model
Integer programming
Complex diseases
Capability description and discovery of Internetware entity
期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2010, 卷号: 53, 期号: 4, 页码: 685-703
作者:
Wang PuWei
;
Jin Zhi
;
Liu HongYan
收藏
  |  
浏览/下载:91/0
  |  
提交时间:2018/07/30
Internetware
capability description
domain environment ontology
tree-like hierarchical state machine
Using ontology to improve precision of terminology extraction from documents
期刊论文
EXPERT SYSTEMS WITH APPLICATIONS, 2009, 卷号: 36, 期号: 5, 页码: 9333-9339
作者:
Zhang, Wen
;
Yoshida, Taketoshi
;
Tang, Xijin
收藏
  |  
浏览/下载:94/0
  |  
提交时间:2018/07/30
Terminology extraction
Ontology
Semantic dependency
WordNet
Building toward capability specifications of Web services based on an environment ontology
期刊论文
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2008, 卷号: 20, 期号: 4, 页码: 547-561
作者:
Wang, Puwei
;
Jin, Zhi
;
Liu, Lin
;
Cai, Guangjun
收藏
  |  
浏览/下载:107/0
  |  
提交时间:2018/07/30
Web services
capability specification
environment ontology
hierarchical state machine
Comparing two approaches for aligning representations of anatomy
期刊论文
ARTIFICIAL INTELLIGENCE IN MEDICINE, 2007, 卷号: 39, 期号: 3, 页码: 227-236
作者:
Zhang, Songmao
;
Mork, Peter
;
Bodenreider, Olivier
;
Bernstein, Philip A.
收藏
  |  
浏览/下载:82/0
  |  
提交时间:2018/07/30
ontology
anatomy
Foundational Model Anatomy (FMA)
GALEN
ontology alignment
Modeling and verifying Web services driven by requirements: An ontology-based approach
期刊论文
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 卷号: 49, 期号: 6, 页码: 792-820
作者:
Hou Lishan
;
Jin Zhi
;
Wu Budan
收藏
  |  
浏览/下载:102/0
  |  
提交时间:2018/07/30
web service
environment ontology
automatic composition
pi calculus
formal verification