Study on Software Verification Methods Using Program Transformation Handling Infinite Terms

利用程序变换处理无限项的软件验证方法研究

基本信息

  • 批准号：
    24500171
  • 负责人：
    Seki Hirohisa
  • 金额：
    $ 3.08万
  • 依托单位：
    Nagoya Institute of Technology
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 财政年份：
    2012
  • 资助国家：
    日本
  • 起止时间：
    2012-04-01 至 2016-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Merging Closed Pattern Sets in Distributed Multi-Relational Data
  • DOI：
  • 发表时间：
    2014
  • 期刊：
  • 影响因子：
    0
  • 作者：
    H. Seki;Yohei Kamiya
  • 通讯作者：
    H. Seki;Yohei Kamiya
Towards Efficient Closed Pattern Mining from Distributed Multi-Relational Data
从分布式多关系数据中实现高效的封闭模式挖掘
  • DOI：
  • 发表时间：
    2014
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Yohei Kamiya;Hirohisa Seki
  • 通讯作者：
    Hirohisa Seki
Distributed Mining of Closed Patterns from Multi-Relational Data
多关系数据中封闭模式的分布式挖掘
分散関係データベースからの飽和パターンマイニングにおけるマージ演算の効率化
提高分布式关系数据库饱和模式挖掘中合并操作的效率
  • DOI：
  • 发表时间：
    2014
  • 期刊：
  • 影响因子：
    0
  • 作者：
    谷本　翔一;神谷　洋平;世木　博久
  • 通讯作者：
    世木　博久
Proving Properties of Co-logic Programs with Negation by Program Transformations
通过程序变换证明带有否定的协逻辑程序的性质
  • DOI：
  • 发表时间：
    2013
  • 期刊：
    Lecture Notes in Computer Science
  • 影响因子：
    0
  • 作者：
    丸谷和史;渡邊淳司;安藤英由樹;植月美希;世木 博久
  • 通讯作者：
    世木 博久
{{ 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 }}

Seki Hirohisa其他文献

Seki Hirohisa的其他文献

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

{{ truncateString('Seki Hirohisa', 18)}}的其他基金

Specification Mining and Reasoning about Programs for Verifying Systems with Infinite Structures
无限结构系统验证程序规范挖掘与推理
  • 批准号：
    18K11432
  • 财政年份：
    2018
  • 资助金额：
    $ 3.08万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)

相似海外基金

Extension and demonstration of two-particle-level computational theory based on dimensionality reduction to nonlocal electron correlation effects
基于降维非局域电子相关效应的双粒子级计算理论的推广与论证
  • 批准号：
    22KK0226
  • 财政年份：
    2023
  • 资助金额：
    $ 3.08万
  • 项目类别：
    Fund for the Promotion of Joint International Research (Fostering Joint International Research (A))
OPUS: A Computational Theory of Biodiversity
OPUS：生物多样性的计算理论
  • 批准号：
    2241353
  • 财政年份：
    2023
  • 资助金额：
    $ 3.08万
  • 项目类别：
    Standard Grant
PIPP Phase I: Computational Theory of the Co-evolution of Pandemics, (Mis)information, and Human Mindsets and Behavior
PIPP 第一阶段：流行病、（错误）信息以及人类心态和行为共同进化的计算理论
  • 批准号：
    2200112
  • 财政年份：
    2022
  • 资助金额：
    $ 3.08万
  • 项目类别：
    Standard Grant
Argumentation in scholarly biomedical literature: Computational theory, implementation, and supporting deep learning software
生物医学学术文献中的争论：计算理论、实现和支持深度学习软件
  • 批准号：
    RGPIN-2020-06463
  • 财政年份：
    2022
  • 资助金额：
    $ 3.08万
  • 项目类别：
    Discovery Grants Program - Individual
Argumentation in scholarly biomedical literature: Computational theory, implementation, and supporting deep learning software
生物医学学术文献中的争论：计算理论、实现和支持深度学习软件
  • 批准号：
    RGPIN-2020-06463
  • 财政年份：
    2021
  • 资助金额：
    $ 3.08万
  • 项目类别：
    Discovery Grants Program - Individual
A Mathematical and Computational Theory of Linguistic Inference
语言推理的数学和计算理论
  • 批准号：
    517852-2018
  • 财政年份：
    2021
  • 资助金额：
    $ 3.08万
  • 项目类别：
    Postgraduate Scholarships - Doctoral
Argumentation in scholarly biomedical literature: Computational theory, implementation, and supporting deep learning software
生物医学学术文献中的争论：计算理论、实现和支持深度学习软件
  • 批准号：
    RGPIN-2020-06463
  • 财政年份：
    2020
  • 资助金额：
    $ 3.08万
  • 项目类别：
    Discovery Grants Program - Individual
A Mathematical and Computational Theory of Linguistic Inference
语言推理的数学和计算理论
  • 批准号：
    517852-2018
  • 财政年份：
    2020
  • 资助金额：
    $ 3.08万
  • 项目类别：
    Postgraduate Scholarships - Doctoral
AF: Small: Collaborative Research: A Computational Theory of Brain Function
AF：小：协作研究：脑功能的计算理论
  • 批准号：
    1910473
  • 财政年份：
    2019
  • 资助金额：
    $ 3.08万
  • 项目类别：
    Standard Grant
A Mathematical and Computational Theory of Linguistic Inference
语言推理的数学和计算理论
  • 批准号：
    517852-2018
  • 财政年份：
    2019
  • 资助金额：
    $ 3.08万
  • 项目类别：
    Postgraduate Scholarships - Doctoral
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了