您的位置: 专家智库 > >

王海波

作品数:3 被引量:6H指数:2
供职机构:中国科学技术大学计算机科学与技术学院更多>>
发文基金:中国博士后科学基金江苏省自然科学基金国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

领域

  • 5个自动化与计算...
  • 5个文化科学
  • 4个电子电信
  • 3个医药卫生
  • 2个经济管理
  • 2个电气工程
  • 1个化学工程
  • 1个环境科学与工...
  • 1个自然科学总论

主题

  • 5个软件开发
  • 5个计算机
  • 4个遗传算法
  • 4个移动计算
  • 4个教学
  • 3个代理
  • 3个点定位算法
  • 3个点覆盖
  • 3个电子教务
  • 3个定理
  • 3个多播
  • 3个多播路由
  • 3个多播路由协议
  • 3个课程
  • 2个代理环签名
  • 2个代理环签名方...
  • 2个代理签名
  • 2个顶级
  • 2个顶级域
  • 2个定位技术

机构

  • 5个中国科学技术...
  • 1个中国矿业大学
  • 1个中国矿业大学...
  • 1个中国科学院软...
  • 1个安徽省计算与...

资助

  • 5个国家自然科学...
  • 4个安徽省自然科...
  • 4个国家高技术研...
  • 4个中国科学技术...
  • 3个中国博士后科...
  • 3个中科院创新基...
  • 3个国家科技重大...
  • 2个安徽省科技攻...
  • 2个江苏省自然科...
  • 2个国家大学生创...
  • 2个华为科技基金...
  • 2个安徽省“十五...
  • 2个安徽省高校省...
  • 2个中国科学院知...
  • 1个北京市自然科...
  • 1个国家科技支撑...
  • 1个国家重点基础...
  • 1个教育部科学技...
  • 1个中国科学技术...
  • 1个安徽省优秀青...

传媒

  • 5个计算机工程
  • 5个计算机应用与...
  • 5个小型微型计算...
  • 4个计算机应用
  • 4个计算机仿真
  • 4个教育与现代化
  • 4个计算机科学
  • 3个电子学报
  • 3个计算机应用研...
  • 3个计算机工程与...
  • 3个中国科学院研...
  • 3个信息安全与通...
  • 2个中国科学技术...
  • 2个计算机研究与...
  • 2个自动化与仪表
  • 2个软件学报
  • 2个计算机辅助设...
  • 2个计算机系统应...
  • 2个系统仿真学报
  • 2个中兴通讯技术

地区

  • 5个安徽省
5 条 记 录,以下是 1-5
郭宇
供职机构:中国科学技术大学
研究主题:形式化验证 COQ 高可信软件 编译原理课程 编程语言
发表作品相关人物供职机构所获资助研究领域
熊焰
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:无线传感器网络 形式化验证 移动自组网 移动代理 WSN
发表作品相关人物供职机构所获资助研究领域
苗付友
供职机构:中国科学技术大学
研究主题:秘密共享 无线传感器网络 移动自组网 可信第三方 网络
发表作品相关人物供职机构所获资助研究领域
王行甫
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:无线传感器网络 移动自组网 粒子群算法 网络 移动终端
发表作品相关人物供职机构所获资助研究领域
陈意云
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:HOARE逻辑 指针逻辑 代码迷惑 出具证明编译器 面向对象
发表作品相关人物供职机构所获资助研究领域
共1页<1>
聚类工具0