×
验证码:
换一张
忘记密码?
记住我
×
登录
中文版
|
English
中国科学院计算技术研究所机构知识库
Institute of Computing Technology, Chinese Academy IR
登录
注册
ALL
ORCID
题名
作者
学科领域
关键词
文献类型
出处
收录类别
出版者
发表日期
存缴日期
资助项目
学科门类
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
新闻&公告
在结果中检索
研究单元&专题
中国科学院计算技... [102]
信息技术快报 [13]
作者
李华伟 [59]
李晓维 [51]
李华 [16]
韩银和 [14]
吕涛 [11]
沈华伟 [8]
更多...
文献类型
期刊论文 [118]
发表日期
2023 [5]
2021 [2]
2020 [2]
2019 [1]
2018 [4]
2017 [3]
更多...
语种
英语 [84]
中文 [34]
出处
计算机辅助设计与图... [28]
计算机学报 [14]
信息技术快报 [13]
计算机研究与发展 [10]
JOURNAL OF... [6]
同济大学学报:自然科... [4]
更多...
资助项目
National B... [2]
National H... [2]
National H... [2]
National N... [2]
National N... [2]
100 Talent... [1]
更多...
收录类别
其他 [36]
SCI [13]
资助机构
×
知识图谱
CSpace
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共118条,第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被引频次降序
提交时间升序
提交时间降序
期刊影响因子升序
期刊影响因子降序
题名升序
题名降序
发表日期升序
发表日期降序
Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip
期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2023, 卷号: 38, 期号: 2, 页码: 405-421
作者:
Zhang, Ying
;
Ji, Peng-Fei
;
Zhu, Pan-Wei
;
Peng, Zebo
;
Li, Hua-Wei
;
Jiang, Jian-Hui
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2023/12/04
software-based self-testing (SBST)
parallel test
kilo-core networks-on-chip (NoCs)
online testing
LMM: A Fixed-Point Linear Mapping Based Approximate Multiplier for IoT
期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2023, 卷号: 38, 期号: 2, 页码: 298-308
作者:
Qian, Wei-Kang
;
Chen, Ke
;
Liu, Wei-Qiang
;
Li, Hua-Wei
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2023/12/04
approximate computing
fixed-point
linear mapping
multiplier
Internet of Things (IoT)
社交知识图谱研究综述
期刊论文
计算机学报, 2023, 卷号: 46, 期号: 2, 页码: 304
作者:
江旭晖
;
沈英汉
;
李子健
;
王元卓
;
尹芷仪
;
沈华伟
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2024/05/20
social knowledge graph
social network
knowledge graph
knowledge reasoning
graph representation learning
knowledge extraction
graph integration
社交知识图谱
社交网络
知识图谱
知识推理
图表示学习
知识抽取
网络融合
香山开源高性能RISC-V处理器设计与实现
期刊论文
计算机研究与发展, 2023, 卷号: 60, 期号: 3, 页码: 476
作者:
王凯帆
;
徐易难
;
余子濠
;
唐丹
;
陈国凯
;
陈熙
;
勾凌睿
;
胡轩
;
金越
;
李乾若
;
李昕
;
蔺嘉炜
;
刘彤
;
刘志刚
;
王华强
;
王诲喆
;
张传奇
;
张发旺
;
张林隽
;
张紫飞
;
张梓悦
;
赵阳洋
;
周耀阳
;
邹江瑞
;
蔡晔
;
郇丹丹
;
李祖松
;
赵继业
;
何伟
;
孙凝晖
;
包云岗
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2024/05/20
RISC-V
high performance processor
open source
chip design
agile development
RISC-V
高性能处理器
开源
芯片设计
敏捷开发
智能新能源汽车车载控制基础软硬件关键技术研究进展
期刊论文
汽车工程, 2023, 卷号: 45, 期号: 9, 页码: 1530
作者:
李兆麟
;
李华伟
;
郑四发
;
王文伟
;
邹广才
;
张创
;
刘英
;
张永昌
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2024/05/20
vehicle core control chip
vehicle control operating system
vehicle network
reliable design
safety design
车载核心控制芯片
车控操作系统
车载网络
可靠设计
安全设计
O-GlcNAcylation Quantification Based on Electron-Transfer/Higher-Energy Collisional Dissociation and Its Application in O-GlcNAcylation Site Mapping of Liver Proteomics in High Fat Diet-fed Mice
期刊论文
CHINESE JOURNAL OF ANALYTICAL CHEMISTRY, 2021, 卷号: 49, 期号: 12, 页码: 11
作者:
Shao Wen-Ya
;
Liang Yu
;
Liu Jian-Xi
;
Liu Hong-Tao
;
Wang Zhao-Wei
;
Sui Zhi-Gang
;
Zhao Bao-Feng
;
Zhang Xiao-Dan
;
Liang Zhen
;
Zhang Li-Hua
;
Zhang Yu-Kui
收藏
  |  
浏览/下载:25/0
  |  
提交时间:2022/12/07
O-linked beta-N-acetylglucosaminylation
Quantitative proteomics
Electron transfer/higher energy collision dissociation
Database Resources of the National Genomics Data Center, China National Center for Bioinformation in 2021
期刊论文
NUCLEIC ACIDS RESEARCH, 2021, 卷号: 49, 期号: D1, 页码: D18-D28
作者:
Xue, Yongbiao
;
Bao, Yiming
;
Zhang, Zhang
;
Zhao, Wenming
;
Xiao, Jingfa
;
He, Shunmin
;
Zhang, Guoqing
;
Li, Yixue
;
Zhao, Guoping
;
Chen, Runsheng
;
Song, Shuhui
;
Ma, Lina
;
Zou, Dong
;
Tian, Dongmei
;
Li, Cuiping
;
Zhu, Junwei
;
Gong, Zheng
;
Chen, Meili
;
Wang, Anke
;
Ma, Yingke
;
Li, Mengwei
;
Teng, Xufei
;
Cui, Ying
;
Duan, Guangya
;
Zhang, Mochen
;
Jin, Tong
;
Shi, Chengmin
;
Du, Zhenglin
;
Zhang, Yadong
;
Liu, Chuandong
;
Li, Rujiao
;
Zeng, Jingyao
;
Hao, Lili
;
Jiang, Shuai
;
Chen, Hua
;
Han, Dali
;
Yongbiao, Xue
;
Zhang, Tao
;
Kang, Wang
;
Qu, Jing
;
Zhang, Weiqi
;
Liu, Guang-Hui
;
Liu, Lin
;
Zhang, Yang
;
Niu, Guangyi
;
Zhu, Tongtong
;
Feng, Changrui
;
Liu, Xiaonan
;
Zhang, Yuansheng
;
Li, Zhao
;
Chen, Ruru
;
Li, Qianpeng
;
Hua, Zhongyi
;
Jiang, Chao
;
Chen, Ziyuan
;
He, Fangshu
;
Zhao, Yuyang
;
Jin, Yan
;
Huang, Luqi
;
Yuan, Yuan
;
Zhou, Chenfen
;
Xu, Qingwei
;
He, Sheng
;
Ye, Wei
;
Cao, Ruifang
;
Wang, Pengyu
;
Ling, Yunchao
;
Yan, Xing
;
Wang, Qingzhong
;
Du, Qiang
;
Zong, Wenting
;
Kang, Hongen
;
Xiong, Zhuang
;
Huan, Wendi
;
Zhang, Sirui
;
Xia, Qiguang
;
Fan, Xiaojuan
;
Wang, Zefeng
;
Chen, Xu
;
Chen, Tingting
;
Zhang, Sisi
;
Tang, Bixia
;
Dong, Lili
;
Zhang, Zhewen
;
Wang, Zhonghuang
;
Kang, Hailong
;
Wang, Yanqing
;
Wu, Song
;
Wang, Honggen
;
Chen, Ming
;
Liu, Chang
;
Xiong, Yujia
;
Shao, Xueying
;
Li, Yanyan
;
Zhou, Honghong
;
Chen, Xiaomin
;
Zheng, Yu
;
Kang, Quan
;
Hao, Di
;
Zhang, Lili
;
Luo, Huaxia
;
Hao, Yajing
;
Zhang, Peng
;
Nie, Zhi
;
Yu, Shuhuan
;
Yang, Fei
;
Sang, Jian
;
Li, Zhaohua
;
Zhang, Xiangquan
;
Zhou, Qing
;
Zhai, Shuang
;
Zhang, Yaping
;
Wang, Guodong
;
Zhu, Qianghui
;
Li, Xin
;
Li, Menghua
;
Yan, Jun
;
Li, Chen
;
Wang, Zhennan
;
Wang, Xiangfeng
;
Liu, Yuanming
;
Luo, Hong
;
Wu, Xiaoyuan
;
Jing, HaiChun
;
Song, Tinrui
;
Zhao, Yi
;
Mehmood, Furrukh
;
Ali, Shahid
;
Ali, Amjad
;
Saleem, Shoaib
;
Hussain, Irfan
;
Abbasi, Amir A.
;
Zuo, Zhixiang
;
Ren, Jian
;
Zhang, Xinxin
;
Xiao, Yun
;
Li, Xia
;
Tu, Yiran
;
Xue, Yu
;
Wu, Wanying
;
Ji, Peifeng
;
Zhao, Fangqing
;
Meng, Xianwen
;
Peng, Di
;
Luo, Hao
;
Gao, Feng
;
Ning, Wanshan
;
Lin, Shaofeng
;
Liu, Teng
;
Guo, An-Yuan
;
Yuan, Hao
;
Zhang, Yong E.
;
Tan, Xiaodan
;
Zhang, Weizhi
;
Xie, Yubin
;
Wang, Chenwei
;
Liu, Chun-Jie
;
Yang, De-Chang
;
Tian, Feng
;
Gao, Ge
;
Tang, Dachao
;
Yao, Lan
;
Cui, Qinghua
;
An, Ni A.
;
Li, Chuan-Yun
;
Luo, XiaoTong
收藏
  |  
浏览/下载:91/0
  |  
提交时间:2021/12/01
Evaluating and Constraining Hardware Assertions with Absent Scenarios
期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2020, 卷号: 35, 期号: 5, 页码: 1198-1216
作者:
Chao, Hui-Na
;
Li, Hua-Wei
;
Song, Xiaoyu
;
Wang, Tian-Cheng
;
Li, Xiao-Wei
收藏
  |  
浏览/下载:36/0
  |  
提交时间:2021/12/01
hardware formal verification
assertion generation
data mining
assertion evaluation
assertion coverage
DEEP LEARNING-BASED IMMUNOFLUORESCENCE ASSESSMENT OF GLOMERULAR DISEASES
期刊论文
NEPHROLOGY DIALYSIS TRANSPLANTATION, 2020, 卷号: 35, 页码: 388-388
作者:
Xia, Peng
;
Lv, Zhilong
;
Wen, Yu-bing
;
Zhao, XueSong
;
Wang, ChuanPeng
;
Zheng, Hua
;
Ye, Wei
;
Qin, Yan
;
Li, Xuemei
;
Ren, Fei
;
Chen, Limeng
收藏
  |  
浏览/下载:58/0
  |  
提交时间:2020/12/10
Anomaly detection in Bitcoin market via price return analysis
期刊论文
PLOS ONE, 2019, 卷号: 14, 期号: 6, 页码: 11
作者:
Shi, Fa-Bin
;
Sun, Xiao-Qian
;
Gao, Jin-Hua
;
Xu, Li
;
Shen, Hua-Wei
;
Cheng, Xue-Qi
收藏
  |  
浏览/下载:81/0
  |  
提交时间:2019/12/10