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))

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)

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

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

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

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)

会员权益说明：