Integrating hybrid logics into concurrent program logic

将混合逻辑集成到并发程序逻辑中

基本信息

  • 批准号：
    23K11051
  • 负责人：
    安部 達也
  • 金额：
    $ 3万
  • 依托单位：
    Chiba Institute of Technology
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 财政年份：
    2023
  • 资助国家：
    日本
  • 起止时间：
    2023-04-01 至 2026-03-31
  • 项目状态：
    未结题

项目摘要

暂无数据

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）

暂无数据

数据更新时间：2024-06-01

安部 達也其他文献

アルカリホスファターゼを発現する線維芽細胞シートのラット歯周組織欠損部への移植
将表达碱性磷酸酶的成纤维细胞片移植到大鼠牙周组织缺损中
  • DOI：
  • 发表时间：
    2006
    2006
  • 期刊：
  • 影响因子：
    0
  • 作者：
    中嶋 香;安部 達也;田中 麻弥;原 宜興
    中嶋 香;安部 達也;田中 麻弥;原 宜興
  • 通讯作者：
    原 宜興
    原 宜興
共 1 条
  • 1
前往
页

安部 達也的其他基金

歯周組織の再生における線維芽細胞の表現型の変化に関する研究
牙周组织再生过程中成纤维细胞表型变化的研究
  • 批准号：
    09771623
    09771623
  • 财政年份：
    1997
  • 资助金额：
    $ 3万
    $ 3万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
    Grant-in-Aid for Encouragement of Young Scientists (A)
歯周組織の再生におけるアルカリホスファターゼ陽性線維芽細胞の機能解析
碱性磷酸酶阳性成纤维细胞在牙周组织再生中的功能分析
  • 批准号：
    08771703
    08771703
  • 财政年份：
    1996
  • 资助金额：
    $ 3万
    $ 3万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
    Grant-in-Aid for Encouragement of Young Scientists (A)

相似海外基金

量子・古典ハイブリッド理論計算によるOECTモデルの構造探索と電気化学特性の研究
使用量子经典混合理论计算进行 OECT 模型的结构搜索和电化学性质研究
  • 批准号：
    24K08182
    24K08182
  • 财政年份：
    2024
  • 资助金额：
    $ 3万
    $ 3万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
    Grant-in-Aid for Scientific Research (C)
ブラックボックスなパラメータフリー非変分的量子-古典ハイブリッド理論の創出と応用
黑箱无参数非变分量子经典混合理论的创建与应用
  • 批准号：
    23K17303
    23K17303
  • 财政年份：
    2023
  • 资助金额：
    $ 3万
    $ 3万
  • 项目类别：
    Grant-in-Aid for Challenging Research (Pioneering)
    Grant-in-Aid for Challenging Research (Pioneering)
現代制御と動物規範制御のハイブリッド理論の創成：手応えに基づくアプローチ
创建现代控制和动物规范控制的混合理论：基于响应的方法
  • 批准号：
    22KJ2098
    22KJ2098
  • 财政年份：
    2023
  • 资助金额：
    $ 3万
    $ 3万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
    Grant-in-Aid for JSPS Fellows
Study of the legal doctrines on the insurance contracts to cover non-mass risks
非群体性风险保险合同的法律原则研究
  • 批准号：
    23H00765
    23H00765
  • 财政年份：
    2023
  • 资助金额：
    $ 3万
    $ 3万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
    Grant-in-Aid for Scientific Research (B)
Heavy right-handed neutrino search through gravitational waves from hybrid topological defects
重右手中微子通过混合拓扑缺陷的引力波进行搜索
  • 批准号：
    22K20365
    22K20365
  • 财政年份：
    2022
  • 资助金额：
    $ 3万
    $ 3万
  • 项目类别：
    Grant-in-Aid for Research Activity Start-up
    Grant-in-Aid for Research Activity Start-up