课题基金 / 基金详情

Learning by Molecular Robot Swarm

Learning by Molecular Robot Swarm
分子机器人群学习
批准号:
17K19961
负责人:
Hagiya Masami
金额:
$3.99万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Challenging Research (Exploratory)
财政年份:
2017
资助国家:
日本
项目状态:
已结题
起止时间:
2017-06-30 至 2021-03-31

项目摘要

项目成果

Hagiya Masami的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(9)
专著(0)
科研奖励(0)
会议论文
Self-stabilizing Distributed Algorithms by Gellular Automata
凝胶自动机的自稳定分布式算法
DOI: --
发表时间: 2021
期刊: Complex Systems
影响因子: 1.2
作者: [Taiga Hongu, Masami Hagiya]
通讯作者: Masami Hagiya
自己安定ゲルオートマトンについて
关于自稳定凝胶自动机
DOI: --
发表时间: 2019
期刊:
影响因子: --
作者: [萩谷昌己, 矢川晃, 本宮泰河]
通讯作者: 本宮泰河
From gellular automata to distributed algorithms
从凝胶自动机到分布式算法
DOI: --
发表时间: 2018
期刊:
影响因子: --
作者: [萩谷昌己, 矢川晃, 本宮泰河, Masami Hagiya]
通讯作者: Masami Hagiya
Self-stabilizing Gellular Automata
自稳定凝胶自动机
DOI: 10.1007/978-3-030-19311-9_21
发表时间: 2019
期刊: UCNC 2019: Unconventional Computation and Natural Computation, Lecture Notes in Computer Science
影响因子: --
作者: [Tatsuya Yamashita, Akira Yagawa, Masami Hagiya]
通讯作者: Masami Hagiya
7
    Automatic generation of programming questions by symbolic execution
    • 批准号:
      20K12106
    • 项目类别:
      Grant-in-Aid for Scientific Research (C)
    • 资助金额:
      $2.75万
    • 财政年份:
      2020
    • 负责人:
      Hagiya Masami
    • 依托单位:
    Testing and model checking of IoT protocols
    • 批准号:
      17H01719
    • 项目类别:
      Grant-in-Aid for Scientific Research (B)
    • 资助金额:
      $11.81万
    • 财政年份:
      2017
    • 负责人:
      Hagiya Masami
    • 依托单位:
    Software model checking methods for cloud computing middleware
    • 批准号:
      23240003
    • 项目类别:
      Grant-in-Aid for Scientific Research (A)
    • 资助金额:
      $30.95万
    • 财政年份:
      2011
    • 负责人:
      Hagiya Masami
    • 依托单位:
    海外基金