刷新
{{item.name}}会员
Study on Software Verification Methods Using Program Transformation Handling Infinite Terms
利用程序变换处理无限项的软件验证方法研究
基本信息
- 批准号：24500171
- 负责人：
- 金额：$ 3.08万
- 依托单位：
- 依托单位国家：日本
- 项目类别：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：
- 发表时间：2015
- 期刊：
- 影响因子：0.7
- 作者：Yohei Kamiya;Hirohisa Seki
- 通讯作者：Hirohisa Seki
分散関係データベースからの飽和パターンマイニングにおけるマージ演算の効率化
提高分布式关系数据库饱和模式挖掘中合并操作的效率
- DOI：
- 发表时间：2014
- 期刊：
- 影响因子：0
- 作者：谷本 翔一;神谷 洋平;世木 博久
- 通讯作者：世木 博久
Proving Properties of Co-logic Programs with Negation by Program Transformations
通过程序变换证明带有否定的协逻辑程序的性质
- DOI：
- 发表时间：2013
- 期刊：
- 影响因子：0
- 作者：丸谷和史;渡邊淳司;安藤英由樹;植月美希;世木 博久
- 通讯作者：世木 博久
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ 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.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)
相似海外基金
III: Small: Sampling Techniques in Computational Logic
III：小：计算逻辑中的采样技术
- 批准号：
1527668 - 财政年份：2015
- 资助金额：
$ 3.08万 - 项目类别：
Standard Grant
Computational Logic in Artificial Neural Networks
人工神经网络中的计算逻辑
- 批准号：
EP/F044046/2 - 财政年份：2010
- 资助金额：
$ 3.08万 - 项目类别：
Fellowship
Polyhedral Approaches to Selected Problems in Computational Logic
计算逻辑中选定问题的多面体方法
- 批准号：
0827397 - 财政年份：2009
- 资助金额：
$ 3.08万 - 项目类别：
Standard Grant
Study on Computational Logic-based Methodologies for Building Secure Systems
基于计算逻辑的安全系统构建方法研究
- 批准号：
21500136 - 财政年份：2009
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Computational Logic in Artificial Neural Networks
人工神经网络中的计算逻辑
- 批准号：
EP/F044046/1 - 财政年份：2008
- 资助金额：
$ 3.08万 - 项目类别：
Fellowship
Computational Logic of Euclidean Spaces
欧几里得空间的计算逻辑
- 批准号：
EP/E035248/1 - 财政年份：2007
- 资助金额：
$ 3.08万 - 项目类别：
Research Grant
Computational Logic of Euclidean Spaces
欧几里得空间的计算逻辑
- 批准号：
EP/E034942/1 - 财政年份：2007
- 资助金额：
$ 3.08万 - 项目类别：
Research Grant
Computational Logic for Social Abilities in Multiagent Systems
多智能体系统中社交能力的计算逻辑
- 批准号：
17500095 - 财政年份：2005
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
ITR/SY: Computational Logic Tools for Research and Education
ITR/SY：用于研究和教育的计算逻辑工具
- 批准号：
0121403 - 财政年份：2001
- 资助金额：
$ 3.08万 - 项目类别：
Continuing Grant
自己反映的プログラミングのための計算・論理体系
自反思编程的计算和逻辑系统
- 批准号：
09780241 - 财政年份：1997
- 资助金额：
$ 3.08万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)