您的位置： 专家智库 > >

国家教育部博士点基金(20120061120059)

作品数：16 被引量：31H指数：4
相关作者：刘磊吕帅张鹏李壮王强更多>>
相关机构：吉林大学中国科学院更多>>
发文基金：国家教育部博士点基金国家自然科学基金吉林省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 18个自动化与计算...
  • 6个文化科学
  • 3个经济管理
  • 3个天文地球
  • 3个政治法律
  • 3个自然科学总论
  • 3个理学
  • 2个机械工程
  • 2个电子电信
  • 2个轻工技术与工...
  • 2个医药卫生
  • 1个生物学
  • 1个化学工程
  • 1个金属学及工艺
  • 1个电气工程
  • 1个建筑科学
  • 1个水利工程
  • 1个交通运输工程
  • 1个航空宇航科学...
  • 1个环境科学与工...

主题

  • 9个计算机
  • 8个语义
  • 8个搜索
  • 8个网络
  • 7个文档
  • 7个TABULA...
  • 6个形式化
  • 6个形式语义
  • 6个元建模
  • 6个局部搜索
  • 5个形式化方法
  • 5个语法树
  • 5个语义分析
  • 5个语义网
  • 5个指称语义
  • 4个信号
  • 4个语义研究
  • 4个云计算
  • 4个知识库
  • 4个指称

机构

  • 18个吉林大学
  • 1个北京大学
  • 1个长春邮电学院
  • 1个大连大学
  • 1个吉林大学中日...
  • 1个新疆农业大学
  • 1个浙江财经学院
  • 1个延边大学
  • 1个新疆畜牧科学...
  • 1个浙江财经大学
  • 1个吉林化建安装...
  • 1个吉林省电力有...

资助

  • 18个国家自然科学...
  • 18个国家教育部博...
  • 14个吉林省自然科...
  • 12个吉林省科技发...
  • 11个中国博士后科...
  • 11个吉林省青年科...
  • 11个吉林省重大科...
  • 6个中央高校基本...
  • 5个吉林大学研究...
  • 5个国家高技术研...
  • 5个国家重点基础...
  • 5个教育部“新世...
  • 2个高等学校骨干...
  • 2个浙江省自然科...
  • 2个国家大学生创...
  • 2个博士科研启动...
  • 2个教育部重点实...
  • 1个国家科技支撑...
  • 1个教育部科学技...
  • 1个内蒙古自治区...

传媒

  • 11个软件学报
  • 10个吉林大学学报...
  • 9个吉林大学学报...
  • 8个计算机科学
  • 8个吉林大学学报...
  • 6个计算机研究与...
  • 6个电子学报
  • 6个计算机学报
  • 5个华南理工大学...
  • 5个计算机应用研...
  • 5个哈尔滨工程大...
  • 5个计算机教育
  • 4个仪器仪表学报
  • 4个计算机工程
  • 4个东北大学学报...
  • 4个计算机工程与...
  • 4个2005全国...
  • 3个华中科技大学...
  • 2个吉林大学自然...
  • 2个通信学报

地区

  • 18个吉林省
共 18 条 记 录，以下是 1-10
刘磊
供职机构：吉林大学
研究主题：程序设计 本体 检定装置 汽车 营运汽车
发表作品相关人物供职机构所获资助研究领域
吕帅
供职机构：吉林大学
研究主题：规划方法 知识编译 可满足性 公理 触觉
发表作品相关人物供职机构所获资助研究领域
张鹏
供职机构：吉林大学计算机科学与技术学院
研究主题：本体 TABULAR 程序切片 形式语义 基于梯度
发表作品相关人物供职机构所获资助研究领域
王强
供职机构：吉林大学计算机科学与技术学院
研究主题：极大项 数据副本 数据放置 数据传输 任务调度算法
发表作品相关人物供职机构所获资助研究领域
李壮
供职机构：吉林大学计算机科学与技术学院
研究主题：DPLL 子句 局部搜索 知识编译 网络语言
发表作品相关人物供职机构所获资助研究领域
杨洋
供职机构：吉林大学计算机科学与技术学院
研究主题：局部搜索 海量数据 公理系统 技术效率
发表作品相关人物供职机构所获资助研究领域
徐玥
供职机构：吉林大学计算机科学与技术学院
研究主题：字符串匹配算法 字符串匹配 异构 虚拟机 计算机软件
发表作品相关人物供职机构所获资助研究领域
金英
供职机构：吉林大学
研究主题：ACTION演算 SEAL演算 程序设计 教学方法研究 实践课程
发表作品相关人物供职机构所获资助研究领域
张鹏
供职机构：吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室
研究主题：形式语义 工作流模型 交互行为 操作语义 TABULAR
发表作品相关人物供职机构所获资助研究领域
何丽莉
供职机构：吉林大学
研究主题：糖尿病 网络 无线传感器网络 图形处理器 偏好
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0