您的位置： 专家智库 > >

陈石坤

作品数：7 被引量：11H指数：2
供职机构：国防科学技术大学计算机学院更多>>
发文基金：国家教育部博士点基金国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 4个自动化与计算...
  • 1个经济管理
  • 1个生物学
  • 1个天文地球
  • 1个电子电信
  • 1个电气工程
  • 1个建筑科学
  • 1个交通运输工程
  • 1个航空宇航科学...
  • 1个医药卫生
  • 1个农业科学
  • 1个文化科学
  • 1个理学

主题

  • 3个形式化
  • 3个形式化描述
  • 3个图像
  • 2个等价
  • 1个代理
  • 1个代码
  • 1个代码检测
  • 1个代码注入
  • 1个单次
  • 1个蛋白
  • 1个蛋白质
  • 1个蛋白质功能
  • 1个蛋白质功能预...
  • 1个蛋白质相互作...
  • 1个刀片服务器
  • 1个等价关系
  • 1个地理定位
  • 1个地铁
  • 1个地铁2号线
  • 1个地图

机构

  • 2个国防科学技术...
  • 2个北京航空航天...
  • 1个长沙工学院
  • 1个湖南农业大学
  • 1个聊城大学
  • 1个中南林业科技...
  • 1个武汉理工大学
  • 1个中国信息安全...

资助

  • 4个国家自然科学...
  • 4个国家教育部博...
  • 3个国家高技术研...
  • 2个山东省软科学...
  • 2个山东省自然科...
  • 2个国家科技重大...
  • 2个中央高校基本...
  • 1个高等学校国家...
  • 1个国防科技技术...
  • 1个国家科技支撑...
  • 1个国家重点基础...
  • 1个中央级公益性...
  • 1个河南省基础与...
  • 1个博士研究生创...
  • 1个国家密码发展...
  • 1个国家重点实验...
  • 1个河北省科技计...
  • 1个河北省科技厅...
  • 1个河北省社会科...
  • 1个湖南省教育厅...

传媒

  • 3个计算机研究与...
  • 3个清华大学学报...
  • 3个计算机科学
  • 2个电子学报
  • 2个计算机工程与...
  • 2个软件学报
  • 2个计算机工程与...
  • 2个计算机与现代...
  • 2个科技信息
  • 1个计算机安全
  • 1个计算机集成制...
  • 1个林业科技
  • 1个电子与信息学...
  • 1个山西大学学报...
  • 1个通信学报
  • 1个东南大学学报...
  • 1个计算机学报
  • 1个计算机时代
  • 1个武汉大学学报...
  • 1个国防科技大学...

地区

  • 2个北京市
  • 1个湖南省
  • 1个山东省
共 4 条 记 录，以下是 1-4
李舟军
供职机构：北京航空航天大学
研究主题：安全协议 数据挖掘 网络安全 形式化验证 信息检索
发表作品相关人物供职机构所获资助研究领域
邢建英
供职机构：国防科学技术大学
研究主题：结点 飞腾 刀片服务器 感知 服务器
发表作品相关人物供职机构所获资助研究领域
黄永刚
供职机构：中国信息安全测评中心
研究主题：基于语言 化简 自动机 状态空间爆炸 等价关系
发表作品相关人物供职机构所获资助研究领域
贾仰理
供职机构：聊城大学计算机学院
研究主题：形式化描述 说话人识别 基于支持向量机 支持向量机 说话人
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0