您的位置: 专家智库 > >

岳伟亚

作品数:6 被引量:35H指数:3
供职机构:中山大学信息科学与技术学院信息技术教育部重点实验室更多>>
发文基金:国家自然科学基金广东省自然科学基金国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

领域

  • 10个自动化与计算...
  • 9个电子电信
  • 8个理学
  • 6个文化科学
  • 3个经济管理
  • 3个机械工程
  • 3个交通运输工程
  • 2个电气工程
  • 2个建筑科学
  • 2个核科学技术
  • 2个医药卫生
  • 2个农业科学
  • 2个自然科学总论
  • 1个哲学宗教
  • 1个生物学
  • 1个天文地球
  • 1个石油与天然气...
  • 1个金属学及工艺
  • 1个轻工技术与工...
  • 1个一般工业技术

主题

  • 9个网络
  • 6个形式化
  • 6个图像
  • 5个递推
  • 5个递推公式
  • 5个有界模型检测
  • 5个认证性
  • 5个图表示
  • 4个形式化方法
  • 4个知识
  • 3个电机
  • 3个电路
  • 3个电子商务
  • 3个定理证明
  • 3个形式化验证
  • 3个英文
  • 3个用户
  • 3个语义
  • 3个语义模型
  • 3个知识结构

机构

  • 7个中山大学
  • 3个广东工业大学
  • 2个清华大学
  • 2个仲恺农业工程...
  • 2个仲恺农业技术...
  • 1个北京大学
  • 1个桂林电子科技...
  • 1个南京大学
  • 1个华侨大学
  • 1个吉林大学
  • 1个暨南大学
  • 1个河南科技大学
  • 1个华南师范大学
  • 1个北京工业大学
  • 1个广东技术师范...
  • 1个华南理工大学
  • 1个汕头大学
  • 1个五邑大学
  • 1个浙江师范大学
  • 1个邮电科学研究...

资助

  • 10个广东省自然科...
  • 10个国家自然科学...
  • 7个国家重点基础...
  • 7个广东省科技计...
  • 5个广东省科技攻...
  • 5个教育部留学回...
  • 5个国家杰出青年...
  • 5个德国研究基金
  • 4个广东省教育部...
  • 3个中国博士后科...
  • 3个广州市科技计...
  • 3个中央高校基本...
  • 2个广东省大学生...
  • 2个广东省高等教...
  • 2个广东省高校优...
  • 2个广西青年科学...
  • 2个教育部“新世...
  • 1个北京市自然科...
  • 1个福建省自然科...
  • 1个国家高技术研...

传媒

  • 6个计算机学报
  • 6个小型微型计算...
  • 6个软件学报
  • 6个计算机工程与...
  • 5个中山大学学报...
  • 4个微计算机信息
  • 4个计算机科学
  • 4个2004年全...
  • 3个计算机研究与...
  • 3个计算机工程
  • 3个计算机应用与...
  • 3个现代计算机
  • 3个影像技术
  • 3个中国科学(E...
  • 3个计算机科学与...
  • 2个电子测试
  • 2个制造业自动化
  • 2个现代制造工程
  • 2个安徽农业科学
  • 2个模式识别与人...

地区

  • 7个广东省
  • 1个北京市
  • 1个福建省
  • 1个浙江省
10 条 记 录,以下是 1-10
陈清亮
供职机构:暨南大学
研究主题:SPV 最短路径 认知逻辑 安全协议 语义模型
发表作品相关人物供职机构所获资助研究领域
苏开乐
供职机构:浙江师范大学数理与信息工程学院
研究主题:开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
发表作品相关人物供职机构所获资助研究领域
吕关锋
供职机构:北京工业大学计算机学院
研究主题:BDD OBDD SPV 最短路径 知识结构
发表作品相关人物供职机构所获资助研究领域
李扬
供职机构:广东工业大学
研究主题:虚拟仪器 LABVIEW 光学层析成像 漆包机 图像重建
发表作品相关人物供职机构所获资助研究领域
肖茵茵
供职机构:广东技术师范学院计算机科学学院
研究主题:实例化 安全协议验证 有界模型检测 认证性 自动化验证
发表作品相关人物供职机构所获资助研究领域
蔡肯
供职机构:仲恺农业工程学院
研究主题:机器人 农田信息 机器视觉 稻飞虱 手术器械
发表作品相关人物供职机构所获资助研究领域
岳洪伟
供职机构:五邑大学
研究主题:羽毛 存储介质 制动性能 立体视觉 折痕
发表作品相关人物供职机构所获资助研究领域
林瀚
供职机构:中山大学
研究主题:数据序列 关注度 卷积神经网络 卷积 句子
发表作品相关人物供职机构所获资助研究领域
杨晋吉
供职机构:华南师范大学
研究主题:存储介质 图像 形式化验证 染色体 概率模型检测
发表作品相关人物供职机构所获资助研究领域
骆翔宇
供职机构:华侨大学计算机科学与技术学院
研究主题:WEB服务 多智能体系统 时态认知逻辑 WEB服务组合 有界模型检测
发表作品相关人物供职机构所获资助研究领域
共1页<1>
聚类工具0