您的位置： 专家智库 > >

国家自然科学基金(61070226)

作品数：8 被引量：16H指数：2
相关作者：杨宗源谢瑾奎窦亮张家利盛枫更多>>
相关机构：华东师范大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 11个自动化与计算...
  • 3个文化科学
  • 1个经济管理
  • 1个哲学宗教
  • 1个语言文字
  • 1个理学

主题

  • 6个网络
  • 6个COQ
  • 5个UML
  • 4个信任
  • 4个形式规约
  • 4个语意
  • 4个元模型
  • 3个代码
  • 3个点击率
  • 3个定理证明
  • 3个定理证明器
  • 3个堆栈
  • 3个语言编译
  • 3个语言编译器
  • 3个在线广告
  • 2个代码编译
  • 2个定理
  • 2个心理
  • 2个心理学
  • 2个信息抽取

机构

  • 11个华东师范大学
  • 1个上海交通大学

资助

  • 11个国家自然科学...
  • 2个上海市自然科...
  • 2个国家教育部博...
  • 1个国家高技术研...
  • 1个国家社会科学...
  • 1个国家杰出青年...
  • 1个上海高校本科...
  • 1个上海市“科技...
  • 1个上海市哲学社...

传媒

  • 8个小型微型计算...
  • 7个计算机应用与...
  • 3个华东师范大学...
  • 3个计算机工程
  • 3个计算机科学
  • 3个计算机教育
  • 2个微型电脑应用
  • 1个教育探索
  • 1个黑龙江科技信...
  • 1个计算机学报
  • 1个计算机工程与...
  • 1个心理科学
  • 1个全球教育展望
  • 1个大众心理学
  • 1个现代计算机
  • 1个计算机应用
  • 1个计算机应用研...
  • 1个计算机系统应...
  • 1个语言文字应用
  • 1个世界教育信息

地区

  • 11个上海市
共 11 条 记 录，以下是 1-10
杨宗源
供职机构：华东师范大学信息科学技术学院计算机科学技术系
研究主题：软件工程 面向对象 COQ 软件测试 社交网络
发表作品相关人物供职机构所获资助研究领域
谢瑾奎
供职机构：华东师范大学
研究主题：社交网络 并行计算 线程通信 线程 点击率
发表作品相关人物供职机构所获资助研究领域
窦亮
供职机构：华东师范大学
研究主题：COQ 定理证明器 网络数据包 UML 精化
发表作品相关人物供职机构所获资助研究领域
张家利
供职机构：华东师范大学信息科学技术学院计算机科学技术系
研究主题：信任 抗攻击性 社交网络 复杂网络 亲密度
发表作品相关人物供职机构所获资助研究领域
盛枫
供职机构：华东师范大学信息科学技术学院
研究主题：COQ UML类图 形式规约 精化 模型精化
发表作品相关人物供职机构所获资助研究领域
王婷婷
供职机构：华东师范大学对外汉语学院
研究主题：中学生 学习动机 高中生 性别差异 课程改革
发表作品相关人物供职机构所获资助研究领域
刘英南
供职机构：华东师范大学信息科学技术学院计算机科学技术系
研究主题：信任 抗攻击性 社交网络 动态信任 在线社会网络
发表作品相关人物供职机构所获资助研究领域
王博文
供职机构：华东师范大学信息科学技术学院
研究主题：UML类图 形式规约 精化 模型精化 语意
发表作品相关人物供职机构所获资助研究领域
李超
供职机构：华东师范大学
研究主题：UML 子图 元模型 COQ
发表作品相关人物供职机构所获资助研究领域
尹敏
供职机构：华东师范大学
研究主题：UML 子图 元模型 COQ
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0