中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
Enforcing Access Control in Information-Centric Edge Networking 期刊论文
IEEE TRANSACTIONS ON COMMUNICATIONS, 2021, 卷号: 69, 期号: 1, 页码: 353-364
作者:  Wu, Danye;  Xu, Zhiwei;  Chen, Bo;  Zhang, Yujun;  Han, Zhu
收藏  |  浏览/下载：35/0  |  提交时间：2021/12/01
Edge computing  in-network caching  access control  confidentiality-enhanced network coding  
Towards privacy preserving social recommendation under personalized privacy settings 期刊论文
WORLD WIDE WEB-INTERNET AND WEB INFORMATION SYSTEMS, 2019, 卷号: 22, 期号: 6, 页码: 2853-2881
作者:  Meng, Xuying;  Wang, Suhang;  Shu, Kai;  Li, Jundong;  Chen, Bo;  Liu, Huan;  Zhang, Yujun
收藏  |  浏览/下载：51/0  |  提交时间：2020/12/10
Differential privacy  Social recommendation  Ranking  Personalized privacy settings  
针对层次化名字路由的聚合机制 期刊论文
软件学报, 2019, 卷号: 30.0, 期号: 002, 页码: 381
作者:  许志伟;  陈波;  张玉军
收藏  |  浏览/下载：6/0  |  提交时间：2023/12/04
层次化名字路由的聚合  可合并计数布隆过滤器  高效计数布隆过滤器查询  可合并压缩表示  动态路由聚合  命名数据网络  
生物芯概念计算——生物信息计算的新概念 期刊论文
中国科学：生命科学, 2018, 卷号: 48.0, 期号: 003, 页码: 341
作者:  刘翟;  卜东波;  石铁流;  权建校;  汪德鹏;  师咏勇;  伯晓晨;  韩文报
收藏  |  浏览/下载：7/0  |  提交时间：2023/12/04
生物技术  信息计算  Center  生物信息学  基因组测序  生命科学  测序技术  信息中心  
Contrary description logic: Gentzen deduction system 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2017, 卷号: 60, 期号: 11, 页码: 9
作者:  Li, Wei;  Sui, Yuefei;  Luo, Jie;  Chen, Bo
收藏  |  浏览/下载：55/0  |  提交时间：2019/12/10
description logics  contradictory  contrary  soundness  completeness  
Contrary description logic： Gentzen deduction system 期刊论文
中国科学：信息科学（英文版）, 2017, 卷号: 60.0, 期号: 011, 页码: 112103
作者:  Li Wei;  Sui Yuefei;  Luo Jie;  Chen Bo
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
描述逻辑  演绎系统  构造函数  金  语义  
无权访问的条目 学位论文
作者:  陈博
Adobe PDF(1537Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2016/01/19
无权访问的条目 学位论文
作者:  陈波
Adobe PDF(2605Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2015/07/03
The B-4-valued propositional Belnap-Dunn logic 期刊论文
JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2015, 卷号: 28, 期号: 6, 页码: 2705-2713
作者:  Cao Cungen;  Chen Bo;  Sul Yuefei
收藏  |  浏览/下载：38/0  |  提交时间：2019/12/13
The Belnap-Dunn logic  unary connective  the soundness  the completeness  
基于布尔语义的Gentzen推导模型 期刊论文
计算机科学与探索, 2015, 卷号: 9.0, 期号: 002, 页码: 221
作者:  陈博;  眭跃飞
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
布尔代数  命题逻辑  不等式  完备性