Specification Mining and Reasoning about Programs for Verifying Systems with Infinite Structures

无限结构系统验证程序规范挖掘与推理

基本信息

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

项目摘要

项目成果

期刊论文数量（11）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Mining Non-Redundant Recurrent Rules from a Sequence Database

从序列数据库中挖掘非冗余循环规则

DOI：
发表时间：
2018
期刊：
International Journal of Computational Intelligence Studies
影响因子：
0
作者：
SeungYong Yoon;H. Seki
通讯作者：
H. Seki

テキスト分類のための文書拡張法の評価

用于文本分类的文档增强方法的评估

DOI：
发表时间：
2019
期刊：
影响因子：
0
作者：
Takumi Kurokawa;Atsuhiko Kai;鳥山修平世木博久
通讯作者：
鳥山修平世木博久

A Parallel Algorithm for Mining Non-Redundant Recurrent Rules from a Sequence Database

一种从序列数据库中挖掘非冗余循环规则的并行算法

DOI：
发表时间：
2019
期刊：
Journal of Advanced Computational Intelligence and Intelligent Informatics
影响因子：
0.7
作者：
S.-Y. Yoon; H. Seki
通讯作者：
H. Seki

使用术语相似性度量对短文档数据进行分类

DOI：
发表时间：
2021
期刊：
International Journal of Computational Intelligence Studies
影响因子：
0
作者：
Hirohisa Seki; Shuhei Toriyama
通讯作者：
Shuhei Toriyama

使用区间模式从多关系数据中挖掘相关关联规则

DOI：
发表时间：
2018
期刊：
影响因子：
0
作者：
H. Seki ;M. Nagao
通讯作者：
M. Nagao

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

Seki Hirohisa其他文献

Seki Hirohisa的其他文献

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

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

Study on Software Verification Methods Using Program Transformation Handling Infinite Terms

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

批准号：
24500171
财政年份：
2012
资助金额：
$ 2.58万
项目类别：
Grant-in-Aid for Scientific Research (C)

相似海外基金

大腸腫瘍発見率向上を目指した視線移動パターン指図システムの開発

开发眼动模式指导系统旨在提高结直肠肿瘤检出率

批准号：
23K11902
财政年份：
2023
资助金额：
$ 2.58万
项目类别：
Grant-in-Aid for Scientific Research (C)

Collaboration on endogenous development and institutionalization of mathematics curriculum in Afirica

非洲数学课程内生发展和制度化合作

批准号：
21KK0038
财政年份：
2021
资助金额：
$ 2.58万
项目类别：
Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))

miRNA発現パターンと病理所見に基づく機械学習による冠動脈硬化症のクラスター化

基于 miRNA 表达模式和病理结果的机器学习对冠状动脉粥样硬化进行聚类

批准号：
21K10533
财政年份：
2021
资助金额：
$ 2.58万
项目类别：
Grant-in-Aid for Scientific Research (C)

The effects of "building blocks" and "rhythm play" on young children's development of the pattern recognition ability

“积木”和“节奏游戏”对幼儿模式识别能力发展的影响

批准号：
21K18487
财政年份：
2021
资助金额：
$ 2.58万
项目类别：
Grant-in-Aid for Challenging Research (Exploratory)

Development of Discriminative Pattern Mining Techniques as a Foundation of Human-Centric Machine Learning

判别模式挖掘技术的发展作为以人为中心的机器学习的基础

批准号：
20K11941
财政年份：
2020
资助金额：
$ 2.58万
项目类别：
Grant-in-Aid for Scientific Research (C)

会员权益说明：