×
验证码:
换一张
忘记密码?
记住我
×
登录
中文版
|
English
中国科学院计算技术研究所机构知识库
Institute of Computing Technology, Chinese Academy IR
登录
注册
ALL
ORCID
题名
作者
学科领域
关键词
文献类型
出处
收录类别
出版者
发表日期
存缴日期
资助项目
学科门类
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
新闻&公告
在结果中检索
研究单元&专题
中国科学院计算技术... [16]
作者
Sun, Xiaom... [7]
Zhang, Jia... [6]
Li, Qian [2]
Liu, Xingw... [2]
Sui, Yuefe... [2]
Bu, Dongbo [1]
更多...
文献类型
期刊论文 [16]
发表日期
2024 [1]
2022 [1]
2021 [1]
2020 [4]
2019 [1]
2016 [3]
更多...
语种
英语 [16]
出处
THEORETIC... [16]
资助项目
973 Progra... [5]
National N... [4]
National N... [4]
K. C. Wong... [3]
National N... [3]
National N... [3]
更多...
收录类别
SCI [16]
资助机构
×
知识图谱
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被引频次降序
提交时间升序
提交时间降序
期刊影响因子升序
期刊影响因子降序
题名升序
题名降序
发表日期升序
发表日期降序
Improved deterministic algorithms for non-monotone submodular maximization
期刊论文
THEORETICAL COMPUTER SCIENCE, 2024, 卷号: 984, 页码: 17
作者:
Sun, Xiaoming
;
Zhang, Jialin
;
Zhang, Shuo
;
Zhang, Zhijie
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2024/05/20
Submodular maximization
Deterministic algorithms
Derandomization
Twin greedy
Multiplicative updates
Online scheduling of time-critical tasks to minimize the number of calibrations
期刊论文
THEORETICAL COMPUTER SCIENCE, 2022, 卷号: 914, 页码: 1-13
作者:
Chen, Zuzhi
;
Zhang, Jialin
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2022/12/07
Online scheduling
Calibration
Time-critical
Special Issue on the International Conference on Algorithmic Aspects in Information and Management 2019 (AAIM'19) Preface
期刊论文
THEORETICAL COMPUTER SCIENCE, 2021, 卷号: 853, 页码: 1-1
作者:
Sun, Xiaoming
;
Zhang, Jialin
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2021/12/01
Facility location games with optional preference
期刊论文
THEORETICAL COMPUTER SCIENCE, 2020, 卷号: 847, 页码: 185-197
作者:
Chen, Zhihuai
;
Fong, Ken C. K.
;
Li, Minming
;
Wang, Kai
;
Yuan, Hongning
;
Zhang, Yong
收藏
  |  
浏览/下载:36/0
  |  
提交时间:2021/12/01
Game theory
Facility location game
Algorithmic mechanism design
Approximation
The one-round multi-player discrete Voronoi game on grids and trees
期刊论文
THEORETICAL COMPUTER SCIENCE, 2020, 卷号: 838, 页码: 143-159
作者:
Sun, Xiaoming
;
Sun, Yuan
;
Xia, Zhiyu
;
Zhang, Jialin
收藏
  |  
浏览/下载:53/0
  |  
提交时间:2020/12/10
Game theory
Nash equilibrium
Location game
Graph theory
Coreness of cooperative games with truncated submodular profit functions
期刊论文
THEORETICAL COMPUTER SCIENCE, 2020, 卷号: 822, 页码: 49-60
作者:
Chen, Wei
;
Shan, Xiaohan
;
Sun, Xiaoming
;
Zhang, Jialin
收藏
  |  
浏览/下载:48/0
  |  
提交时间:2020/12/10
Cooperative game
Core
Submodular function
Social network
On the modulo degree complexity of Boolean functions
期刊论文
THEORETICAL COMPUTER SCIENCE, 2020, 卷号: 818, 页码: 32-40
作者:
Li, Qian
;
Sun, Xiaoming
收藏
  |  
浏览/下载:36/0
  |  
提交时间:2020/12/10
Boolean function
Degree complexity
Polynomial
Decision tree complexity
Hypergraph property
A tighter relation between sensitivity complexity and certificate complexity
期刊论文
THEORETICAL COMPUTER SCIENCE, 2019, 卷号: 762, 页码: 1-12
作者:
He, Kun
;
Li, Qian
;
Sun, Xiaoming
收藏
  |  
浏览/下载:256/0
  |  
提交时间:2019/04/03
Sensitivity conjecture
Sensitivity
Block sensitivity
Certificate complexity
Boolean functions
Maximum bipartite matchings with low rank data: Locality and perturbation analysis
期刊论文
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 621, 页码: 82-91
作者:
Liu, Xingwu
;
Teng, Shang-Hua
收藏
  |  
浏览/下载:50/0
  |  
提交时间:2019/12/13
Bipartite graphs
Maximum matching
Matrix decomposition
Permutation
Completeness of Hoare logic with inputs over the standard model
期刊论文
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28
作者:
Xu, Zhaowei
;
Sui, Yuefei
;
Zhang, Wenhui
收藏
  |  
浏览/下载:46/0
  |  
提交时间:2019/12/13
Hoare logic
Peano arithmetic
The standard model
Computation
Arithmetical definability
Logical completeness