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
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（6）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Determinacy and Subsumption of Single-Valued Bottom-Up Tree Transducers
  • DOI：
    10.1587/transinf.2015fcp0015
  • 发表时间：
    2016-03
  • 期刊：
    IEICE Trans. Inf. Syst.
  • 影响因子：
    0
  • 作者：
    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
确定性线性自顶向下树传感器的节点查询保留
Query Rewriting for Nondeterministic Tree Transducers
非确定性树传感器的查询重写
非線形トップダウン木変換器において問合せ保存が決定可能であるための十分条件
在非线性自顶向下树变换器中可确定查询保留的充分条件
  • DOI：
  • 发表时间：
    2017
  • 期刊：
  • 影响因子：
    0
  • 作者：
    石原鷹;橋本健二;関浩之
  • 通讯作者：
    関浩之
線形マルチボトムアップ木変換器の関数性の決定可能性
线性多自下而上树形变压器功能的可判定性
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Kazuki Miyahara;Kenji Hashimoto;and Hiroyuki Seki;田端 浩明，橋本 健二
  • 通讯作者：
    田端 浩明，橋本 健二
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Hashimoto Kenji其他文献

Investigation of Parallel Connection Circuit by Hydraulic Direct-Drive System for Biped Humanoid Robot Focusing on Human Running Motion
以人体跑步运动为重点的双足仿人机器人液压直驱系统并联回路研究
ニコライ・コポソフ教授連続セミナー
Nikolai Koposov教授系列研讨会
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Ma Min;Ren Qian;Yang Jun;Zhang Kai;Xiong Zhongwei;Ishima Tamaki;Pu Yaoyu;Hwang Sung Hee;Toyoshima Manabu;Iwayama Yoshimi;Hisano Yasuko;Yoshikawa Takeo;Hammock Bruce D.;Hashimoto Kenji;橋本伸也（オーガナイザー）
  • 通讯作者：
    橋本伸也（オーガナイザー）
Period map of a certain family of K3 surfaces with an S_5 action
具有 S_5 作用的某一族 K3 表面的周期图
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Hashimoto Kenji;Ueda Kazushi;Laurent Demonet;Laurent Demonet;Yusuke Nakajima;Carnahan Scott;Shouhei Ma;Yusuke Nakajima;Kenji Hashimoto
  • 通讯作者：
    Kenji Hashimoto
Catheter ablation improves outcomes and quality of life in Japanese patients with early-stage atrial fibrillation: A retrospective cohort study
导管消融可改善日本早期房颤患者的预后和生活质量：一项回顾性队列研究
  • DOI：
    10.1016/j.hrthm.2022.02.017
  • 发表时间：
    2022
  • 期刊：
    Heart Rhythm
  • 影响因子：
    5.5
  • 作者：
    Seki Yuta;Fujisawa Taishi;Ikemura Nobuhiro;Ibe Susumu;Tsuzuki Ippei;Hashimoto Kenji;Yamashita Terumasa;Miyama Hiroshi;Niimi Nozomi;Suzuki Masahiro;Negishi Koji;Katsumata Yoshinori;Kimura Takehiro;Fukuda Keiichi;Kohsaka Shun;Takatsuki Seiji
  • 通讯作者：
    Takatsuki Seiji
Effects of Anesthesia-ECT Time Interval on Seizure Quality and Clinical Outcome: An Interim Report on a Prospective Randomized Trial of AETI 150 sec vs. 240 sec
麻醉-ECT 时间间隔对癫痫发作质量和临床结果的影响：AETI 150 秒与 240 秒前瞻性随机试验的中期报告
  • DOI：
    10.1016/j.brs.2023.01.667
  • 发表时间：
    2023
  • 期刊：
    BRAIN STIMULATION
  • 影响因子：
    7.7
  • 作者：
    Sasaki Tsuyoshi;Hashimoto Kenji;Niitsu Tomihisa;Hosoda Yutaka;Oda Yasunori;Shiko Yuki;Ozawa Yoshihito;Kawasaki Yohei;Kanahara Nobuhisa;Shiina Akihiro;Hashimoto Tasuku;Suzuki Takaaki;Sugawara Takeshi;Hanaoka Hideki;Iyo Masaomi;Nobuatsu Aoki Yoshiteru Takekita Taro Suwa Daiki Nishimoto Toshiyuki Kinoshita Colleen Loo
  • 通讯作者：
    Nobuatsu Aoki Yoshiteru Takekita Taro Suwa Daiki Nishimoto Toshiyuki Kinoshita Colleen Loo

Hashimoto Kenji的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Hashimoto Kenji', 18)}}的其他基金

Prevention of schizophrenia based on Keap1-Nrf2 system
基于Keap1-Nrf2系统预防精神分裂症
  • 批准号：
    17H04243
  • 财政年份：
    2017
  • 资助金额：
    $ 2.5万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
Automorphisms and periods of K3 surfaces
K3 曲面的自同构和周期
  • 批准号：
    17K14156
  • 财政年份：
    2017
  • 资助金额：
    $ 2.5万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
Projected Model Counters for Quantitative Information Flow Analysis
用于定量信息流分析的投影模型计数器
  • 批准号：
    17K00098
  • 财政年份：
    2017
  • 资助金额：
    $ 2.5万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Study on the processes of disparity expansion and their social consequences, in Tokyo Metropolitan Area
东京都地区贫富差距扩大过程及其社会后果研究
  • 批准号：
    15H01970
  • 财政年份：
    2015
  • 资助金额：
    $ 2.5万
  • 项目类别：
    Grant-in-Aid for Scientific Research (A)
Geographical study on the situation of unutilized real estates in the city center of Japanese local cities.
日本地方城市市中心未利用房地产状况的地理研究
  • 批准号：
    25284170
  • 财政年份：
    2013
  • 资助金额：
    $ 2.5万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
Bipedal Sprint Robot Having Superhuman Mobility Capabilities
具有超人移动能力的双足冲刺机器人
  • 批准号：
    25709019
  • 财政年份：
    2013
  • 资助金额：
    $ 2.5万
  • 项目类别：
    Grant-in-Aid for Young Scientists (A)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了