中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
计算技术研究所 [10]
数学与系统科学研究院 [7]
武汉物理与数学研究所 [6]
软件研究所 [5]
金属研究所 [4]
成都山地灾害与环境研... [3]
更多
采集方式
OAI收割 [45]
内容类型
期刊论文 [44]
学位论文 [1]
发表日期
2026 [1]
2025 [3]
2021 [2]
2018 [1]
2017 [2]
2016 [4]
更多
学科主题
Physics [3]
Computer S... [1]
筛选
浏览/检索结果:
共45条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
发表日期升序
发表日期降序
题名升序
题名降序
提交时间升序
提交时间降序
Rethinking domain-agnostic continual learning via frequency completeness learning
期刊论文
OAI收割
INFORMATION FUSION, 2026, 卷号: 129, 页码: 103961
作者:
Peng, Jian
;
Zhang, Haitao
;
Shen, Jing
;
Li, Zeyi
;
Ma, Jiayi
  |  
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2026/01/21
Continual learning
Catastrophic forgetting
Domain generalization
Frequency completeness learning
Linking forest coverage and fragmentation to the dark diversity of plant communities under different forest management practices
期刊论文
OAI收割
JOURNAL OF ENVIRONMENTAL MANAGEMENT, 2025, 卷号: 392, 页码: 11
作者:
Wan, Ji-Zhong
;
Wang, Xiaodan
  |  
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2025/11/12
Biodiversity indicator
Community completeness
Forest management
General linear mixed model
Observed diversity
Plantation forests
Environmental Heterogeneity Drives the Dark Diversity of Global Plant Communities
期刊论文
OAI收割
JOURNAL OF BIOGEOGRAPHY, 2025, 页码: 16
作者:
Wan, Ji-Zhong
;
Wang, Xiaodan
  |  
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2025/10/09
biome
community completeness
dark diversity
ecological management
habitat heterogeneity
multiple linear regression
species pool
Observed and Dark Diversity of Tree Species Are Driven by Historical and Current Forest Availability
期刊论文
OAI收割
JOURNAL OF BIOGEOGRAPHY, 2025, 页码: 11
作者:
Wan, Ji-Zhong
;
Wang, Chun-Jing
;
Wang, Xiao-Dan
  |  
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2025/09/15
community completeness
dark diversity
forest availability
hypergeometric method
spatiotemporal scale
species diversity
species pool
Variant quantifiers in L-3-valued first-order logic
期刊论文
OAI收割
FRONTIERS OF COMPUTER SCIENCE, 2021, 卷号: 15, 期号: 5, 页码: 9
作者:
Li, Wei
;
Sui, Yuefei
  |  
收藏
  |  
浏览/下载:30/0
  |  
提交时间:2022/06/21
L
(3)-valued (three-valued) first-order logic
sequent
quantifier
soundness theorem
completeness theorem
Kernels of conditional determinantal measures and the Lyons-Peres completeness conjecture
期刊论文
OAI收割
JOURNAL OF THE EUROPEAN MATHEMATICAL SOCIETY, 2021, 卷号: 23, 期号: 5, 页码: 1477-1519
作者:
Bufetov, Alexander, I
;
Qiu, Yanqi
;
Shamov, Alexander
  |  
收藏
  |  
浏览/下载:46/0
  |  
提交时间:2021/10/26
Determinantal point processes
Lyons-Peres completeness conjecture
conditional measures
tail triviality
measure-valued martingales
operator-valued martingales
Decomposition for a new kind of imprecise information system
期刊论文
OAI收割
FRONTIERS OF COMPUTER SCIENCE, 2018, 卷号: 12, 期号: 2, 页码: 376-395
作者:
Deng, Shaobo
;
Guan, Sujie
;
Li, Min
;
Wang, Lei
;
Sui, Yuefei
  |  
收藏
  |  
浏览/下载:45/0
  |  
提交时间:2019/12/10
imprecise information systems
decomposition
composition
soundness and completeness
Contrary description logic: Gentzen deduction system
期刊论文
OAI收割
SCIENCE CHINA-INFORMATION SCIENCES, 2017, 卷号: 60, 期号: 11, 页码: 9
作者:
Li, Wei
;
Sui, Yuefei
;
Luo, Jie
;
Chen, Bo
  |  
收藏
  |  
浏览/下载:28/0
  |  
提交时间:2019/12/10
description logics
contradictory
contrary
soundness
completeness
The B-4-valued propositional logic with unary logical connectives similar to(1) / similar to(2) /(sic)
期刊论文
OAI收割
FRONTIERS OF COMPUTER SCIENCE, 2017, 卷号: 11, 期号: 5, 页码: 887-894
作者:
Li, Wei
;
Sui, Yuefei
  |  
收藏
  |  
浏览/下载:41/0
  |  
提交时间:2019/12/12
the Belnap logic
modality
the soundness
the completeness
Completeness of Hoare logic with inputs over the standard model
期刊论文
OAI收割
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28
作者:
Xu, Zhaowei
;
Sui, Yuefei
;
Zhang, Wenhui
  |  
收藏
  |  
浏览/下载:32/0
  |  
提交时间:2019/12/13
Hoare logic
Peano arithmetic
The standard model
Computation
Arithmetical definability
Logical completeness