Normalization Analysis for Term Rewriting

术语重写的标准化分析

基本信息

  • 批准号：
    17K00011
  • 负责人：
    Hirokawa Nao
  • 金额：
    $ 2.91万
  • 依托单位：
    Japan Advanced Institute of Science and Technology
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 财政年份：
    2017
  • 资助国家：
    日本
  • 起止时间：
    2017-04-01 至 2021-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
合流性ツール Saigawa
Confluence 工具 西川
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
Infinite Runs in Abstract Completion
摘要完成中的无限运行
  • DOI：
  • 发表时间：
    2017
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Nao Hirokawa;Aart Middeldorp;Christian Sternagel;and Sarah Winkler
  • 通讯作者：
    and Sarah Winkler
Confluence Competition 2018
2018年汇流大赛
Abstract Completion, Formalized
抽象完成，形式化
Parallel Closedness Revisited
重新审视并行封闭性
  • DOI：
  • 发表时间：
    2020
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Dumas Jean-Guillaume;Lafourcade Pascal;Miyahara Daiki;Mizuki Takaaki;Sasaki Tatsuya;Sone Hideaki;Kiraku Shintani and Nao Hirokawa
  • 通讯作者：
    Kiraku Shintani and Nao Hirokawa
{{ 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 }}

Hirokawa Nao其他文献

Hirokawa Nao的其他文献

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

{{ truncateString('Hirokawa Nao', 18)}}的其他基金

Confluence Analysis for Term Rewriting and Its Applications
术语重写的融合分析及其应用
  • 批准号：
    25730004
  • 财政年份：
    2013
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)

相似海外基金

Collaborative Research: Apparatus for Normalization and Systematic Control of the MOLLER Experiment
合作研究：莫勒实验标准化和系统控制装置
  • 批准号：
    2421907
  • 财政年份：
    2024
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Continuing Grant
Quantitative Normalization of Spatial Metabolomics for Molecular Signatures of Tissue Heterogeneity
组织异质性分子特征的空间代谢组学定量标准化
  • 批准号：
    10603667
  • 财政年份：
    2023
  • 资助金额：
    $ 2.91万
  • 项目类别：
Metabolic and neural activity normalization by cerebral blood flow increase in AD/ADRD models
AD/ADRD 模型中脑血流量增加使代谢和神经活动正常化
  • 批准号：
    10657935
  • 财政年份：
    2023
  • 资助金额：
    $ 2.91万
  • 项目类别：
Profilin as a Novel Target for Vascular Normalization in Renal Cancer
Profilin 作为肾癌血管正常化的新靶点
  • 批准号：
    10525305
  • 财政年份：
    2022
  • 资助金额：
    $ 2.91万
  • 项目类别：
Prevention of progression early Alzheimer's disease and normalization by applying cognitive rehabilitation
通过认知康复预防早期阿尔茨海默病的进展并使其正常化
  • 批准号：
    22K03105
  • 财政年份：
    2022
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Normalization of Hybrid Instruction in English Language Education: Enhancing Oral Communication Skills in Language Ability Level-Based Classes
英语教育中混合式教学的常态化：提高语言能力等级课堂的口语交流能力
  • 批准号：
    22K00698
  • 财政年份：
    2022
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Normalization of Sickle Cell Disease bone marrow niche defects by RBC transfusion
通过红细胞输注使镰状细胞病骨髓生态位缺陷正常化
  • 批准号：
    10494383
  • 财政年份：
    2022
  • 资助金额：
    $ 2.91万
  • 项目类别：
Project 3: Normalization of Neuronal Excitability
项目 3：神经元兴奋性正常化
  • 批准号：
    10684091
  • 财政年份：
    2022
  • 资助金额：
    $ 2.91万
  • 项目类别：
Effects of US unconventional monetary policy and financial normalization on emerging economies
美国非常规货币政策和金融正常化对新兴经济体的影响
  • 批准号：
    22K01479
  • 财政年份：
    2022
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Normalization of Sickle Cell Disease bone marrow niche defects by RBC transfusion
通过红细胞输注使镰状细胞病骨髓生态位缺陷正常化
  • 批准号：
    10682593
  • 财政年份：
    2022
  • 资助金额：
    $ 2.91万
  • 项目类别：
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了