中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共24条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
RIVL: A Low-Cost SoC Agile Development Platform for Multiple RISC-V Processors Design and Verification 期刊论文
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS, 2024, 页码: 11
作者:  Xu, Lida;  Cao, Zewen;  Zhao, Hualong;  Peng, Zhuo;  Miao, Yuchi;  Zhuang, Chunan;  Ruan, Hongrui;  Dong, Yuying;  Zeng, Chuanbin;  Li, Bo;  Luo, Jiajun
收藏  |  浏览/下载：5/0  |  提交时间：2025/06/25
Program processors  Hardware  Chip scale packaging  Design methodology  Costs  Object oriented modeling  Complexity theory  Testing  Registers  Prototypes  Agile methodology  object-oriented hardware  RISC-V  low-cost  integration  verification  open source  
Improved localization precision via restricting confined biomolecule stochastic motion in singlemolecule localization microscopy 期刊论文
NANOPHOTONICS, 2022, 卷号: 11, 期号: 1, 页码: 53-65
作者:  Ni, Jielei;  Cao, Bo;  Niu, Gang;  Chen, Danni;  Liang, Guotao;  Xia, Tingying;  Li, Heng;  Xu, Chen;  Wang, Jingyu;  Zhang, Wanlong;  Zhang, Yilin;  Yuan, Xiaocong;  Ni, Yanxiang
收藏  |  浏览/下载：45/0  |  提交时间：2023/07/12
confined stochastic motion  localization precision  single-molecule localization microscopy  
Unlocking Author Power: On the Exploitation of Auxiliary Author-Retweeter Relations for Predicting Key Retweeters 期刊论文
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2020, 卷号: 32, 期号: 3, 页码: 547-559
作者:  Wu, Bo;  Cheng, Wen-Huang;  Zhang, Yongdong;  Cao, Juan;  Li, Jintao;  Mei, Tao
收藏  |  浏览/下载：76/0  |  提交时间：2020/12/10
Social network services  Predictive models  Prediction algorithms  Computers  Technological innovation  Information processing  Task analysis  Microblogging  key retweeter prediction  information propagation  user behavior  
A high-speed search engine pLink 2 with systematic evaluation for proteome-scale identification of cross-linked peptides 期刊论文
NATURE COMMUNICATIONS, 2019, 卷号: 10, 页码: 12
作者:  Chen, Zhen-Lin;  Meng, Jia-Ming;  Cao, Yong;  Yin, Ji-Li;  Fang, Run-Qian;  Fan, Sheng-Bo;  Liu, Chao;  Zeng, Wen-Feng;  Ding, Yue-He;  Tan, Dan;  Wu, Long;  Zhou, Wen-Jing;  Chi, Hao;  Sun, Rui-Xiang;  Dong, Meng-Qiu;  He, Si-Min
收藏  |  浏览/下载：123/0  |  提交时间：2019/12/10
The B-4-valued propositional Belnap-Dunn logic 期刊论文
JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2015, 卷号: 28, 期号: 6, 页码: 2705-2713
作者:  Cao Cungen;  Chen Bo;  Sul Yuefei
收藏  |  浏览/下载：57/0  |  提交时间：2019/12/13
The Belnap-Dunn logic  unary connective  the soundness  the completeness  
具有模态词□φ=□1φ∨□2φ且可靠与完备的公理系统 期刊论文
软件学报, 2015, 卷号: 26.0, 期号: 009, 页码: 2286
作者:  邓少波;  黎敏;  曹存根;  眭跃飞
收藏  |  浏览/下载：21/0  |  提交时间：2023/12/04
命题模态逻辑  模态词  公理系统  
公式分层的谓词模态逻辑 期刊论文
软件学报, 2014, 卷号: 25.0, 期号: 005, 页码: 1014
作者:  孙梅莹;  邓少波;  陈博;  曹存根;  眭跃飞
收藏  |  浏览/下载：22/0  |  提交时间：2023/12/04
跨可能世界相等  谓词模态逻辑  可变论域语义  Ⅴ-性质  可靠性  完备性  
网络维吾尔文判别及其文本长度下界的探讨 期刊论文
中文信息学报, 2012, 卷号: 26.0, 期号: 006, 页码: 109
作者:  倪耀群;  曹鹏;  许洪波;  唐慧丰;  程学旗
收藏  |  浏览/下载：19/0  |  提交时间：2023/12/04
老维文  语种识别  最大公共子串  
基于多模态概念关联图的视频检索 期刊论文
计算机辅助设计与图形学学报, 2010, 卷号: 000, 期号: 005, 页码: 827
作者:  冯柏岚;  包蕾;  曹娟;  张勇东;  林守勋
收藏  |  浏览/下载：24/0  |  提交时间：2023/12/04
基于概念的视频检索  概念关联图  流形排序  
无权访问的条目 期刊论文
作者:  廖祥文;  曹冬林;  方滨兴;  许洪波;  程学旗
Adobe PDF(830Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/09/29