课题基金 / 基金详情

Verification of query preservation for tree and graph transformations

Verification of query preservation for tree and graph transformations
验证树和图转换的查询保留
批准号：
26870270
负责人：
Hashimoto Kenji
金额：
$2.5万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-04-01 至 2018-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-26870270/
关键词：
問合せ保存性木変換器木オートマトン関数性問合せ保存

项目摘要

项目成果

Hashimoto Kenji的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(6)
专著(0)
科研奖励(0)
会议论文
Determinacy and Subsumption of Single-Valued Bottom-Up Tree Transducers
DOI： 10.1587/transinf.2015fcp0015
发表时间： 2016-03
期刊： IEICE Trans. Inf. Syst.
影响因子： --
作者： [Kenji Hashimoto;R. Sawada;Yasunori Ishihara;H. Seki;T. Fujiwara]
通讯作者： Kenji Hashimoto;R. Sawada;Yasunori Ishihara;H. Seki;T. Fujiwara
Node Query Preservation for Deterministic Linear Top-Down Tree Transducers
确定性线性自顶向下树传感器的节点查询保留
DOI： 10.1587/transinf.2014fcp0014
发表时间： 2015
期刊： IEICE Transactions on Information and Systems
影响因子： 0.7
作者： [Kazuki Miyahara, Kenji Hashimoto, and Hiroyuki Seki]
通讯作者： and Hiroyuki Seki
Query Rewriting for Nondeterministic Tree Transducers
非确定性树传感器的查询重写
DOI： 10.1587/transinf.2015fop0007
发表时间： 2016
期刊： IEICE Transactions on Information and Systems
影响因子： 0.7
作者： [Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki]
通讯作者： Hiroyuki Seki
非線形トップダウン木変換器において問合せ保存が決定可能であるための十分条件
在非线性自顶向下树变换器中可确定查询保留的充分条件
DOI： --
发表时间： 2017
期刊：
影响因子： --
作者： [石原鷹, 橋本健二, 関浩之]
通讯作者： 関浩之
共 6 条
    Prevention of schizophrenia based on Keap1-Nrf2 system
    • 批准号：
      17H04243
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $10.15万
    • 财政年份：
      2017
    • 负责人：
      Hashimoto Kenji
    • 依托单位：
      Chiba University
    Automorphisms and periods of K3 surfaces
    • 批准号：
      17K14156
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $1.08万
    • 财政年份：
      2017
    • 负责人：
      Hashimoto Kenji
    • 依托单位：
      The University of Tokyo
    Projected Model Counters for Quantitative Information Flow Analysis
    • 批准号：
      17K00098
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.91万
    • 财政年份：
      2017
    • 负责人：
      Hashimoto Kenji
    • 依托单位：
      Nagoya University
    Study on the processes of disparity expansion and their social consequences, in Tokyo Metropolitan Area
    • 批准号：
      15H01970
    • 项目类别：
      Grant-in-Aid for Scientific Research (A)
    • 资助金额：
      $27.29万
    • 财政年份：
      2015
    • 负责人：
      Hashimoto Kenji
    • 依托单位：
      Waseda University