您的位置： 专家智库 > >

国家自然科学基金(61300049)

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

领域

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

主题

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

机构

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

资助

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

传媒

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

地区

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