刷新
{{item.name}}会员
From "proof"+"inference" to "query-answering problems" + "equivalent transformation"
从“证明”“推理”到“问答题”“等价变换”
基本信息
- 批准号：26540110
- 负责人：
- 金额：$ 2.33万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Challenging Exploratory Research
- 财政年份：2014
- 资助国家：日本
- 起止时间：2014-04-01 至 2017-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（11）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Unfolding Existentially Quantified Sets of Extended Clauses
展开存在量化的扩展子句集
- DOI：
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：H. Ishibuchi;H. Masuda;Y. Tanigaki;and Y. Nojima;H. Ishibuchi;Kiyoshi Akama and Ekawit Nantajeewarawat;Kiyoshi Akama and Ekawit Nantajeewarawat
- 通讯作者：Kiyoshi Akama and Ekawit Nantajeewarawat
Equivalent Transformation in an Extended Space for Solving Query-Answering Problems
解决查询回答问题的扩展空间中的等价变换
- DOI：
- 发表时间：2014
- 期刊：
- 影响因子：0
- 作者：Kiyoshi Akama;Ekawit Nantajeewarawat
- 通讯作者：Ekawit Nantajeewarawat
Model-Intersection Problems with Existentially Quantified Function Variables: Formalization and a Solution Schema
- DOI：10.5220/0006056800520063
- 发表时间：2016-11
- 期刊：
- 影响因子：0
- 作者：K. Akama;Ekawit Nantajeewarawat
- 通讯作者：K. Akama;Ekawit Nantajeewarawat
Function-variable Elimination and Its Limitations
函数变量消元法及其局限性
- DOI：
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：H. Ishibuchi;H. Masuda;Y. Tanigaki;and Y. Nojima;H. Ishibuchi;Kiyoshi Akama and Ekawit Nantajeewarawat;Kiyoshi Akama and Ekawit Nantajeewarawat;Kiyoshi Akama and Ekawit Nantajeewarawat;Kiyoshi Akama and Ekawit Nantajeewarawat
- 通讯作者：Kiyoshi Akama and Ekawit Nantajeewarawat
{{
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 }}
Akama Kiyoshi其他文献
コーヒーに対する無機膜センサの応答特性
无机膜传感器对咖啡的响应特性
- DOI：
- 发表时间：
2010 - 期刊：
- 影响因子：0
- 作者：
Bang Minyoung;Omar Abdul-Rahman;Munetomo Masaharu;Akama Kiyoshi;小島洋一郎;棟朝雅晴;立野靖大,長谷川有貴,内田秀和,谷治環,勝部昭明,小島洋一郎 - 通讯作者：
立野靖大,長谷川有貴,内田秀和,谷治環,勝部昭明,小島洋一郎
ロバストかつスケーラブルな確率的最適化アルゴリズムの実現に向けて
实现稳健且可扩展的随机优化算法
- DOI：
- 发表时间：
2010 - 期刊：
- 影响因子：0
- 作者：
Bang Minyoung;Omar Abdul-Rahman;Munetomo Masaharu;Akama Kiyoshi;小島洋一郎;棟朝雅晴 - 通讯作者：
棟朝雅晴
各種センサによる食品の品質評価に関する基礎研究
利用各种传感器评价食品质量的基础研究
- DOI：
- 发表时间：
2010 - 期刊：
- 影响因子：0
- 作者：
Bang Minyoung;Omar Abdul-Rahman;Munetomo Masaharu;Akama Kiyoshi;小島洋一郎 - 通讯作者：
小島洋一郎
A Mathematical Model for Optimal Resource Allocation in Cloud Systems
云系统资源优化分配的数学模型
- DOI：
- 发表时间：
2010 - 期刊：
- 影响因子：0
- 作者：
Bang Minyoung;Omar Abdul-Rahman;Munetomo Masaharu;Akama Kiyoshi - 通讯作者：
Akama Kiyoshi
化学成分データと統計的情報解析による食品分類に関する基礎検討
利用化学成分数据和统计信息分析进行食品分类的基础研究
- DOI：
- 发表时间：
2012 - 期刊：
- 影响因子：0
- 作者：
Mohamed Wahib;Asim Munawar;Masaharu Munetomo;Akama Kiyoshi;小島洋一郎,木村祐太 - 通讯作者：
小島洋一郎,木村祐太
Akama Kiyoshi的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Akama Kiyoshi', 18)}}的其他基金
Research on Construction Technology of Semantic Web
语义网构建技术研究
- 批准号：
25280078 - 财政年份：2013
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
相似海外基金
ソフトウェア発展を高度化するための等価変換ルールの自動生成法の研究
改进软件开发的等价转换规则自动生成研究
- 批准号：
10139202 - 财政年份：1998
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas (A)
ソフトウェアの発展を可能にする等価変換に基づくシステム構築法の研究
基于等价变换的软件开发系统构建方法研究
- 批准号：
09245202 - 财政年份：1997
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
等価変換に基づく知識処理システム構築方法の研究
基于等价变换构建知识处理系统的研究
- 批准号：
08878045 - 财政年份：1996
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Exploratory Research
質問の等価変換と反駁を用いた優先順位付きサーカムスクリプションの計算手法
利用问题等价变换和反驳的优先限制计算方法
- 批准号：
03858005 - 财政年份：1991
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
質問の等価変換に基づくサーカムスクリプションの計算手法
基于问题等价变换的界线计算方法
- 批准号：
02858005 - 财政年份：1990
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
グラフ等価変換による新しいマイクロ波D区間の統一的導出に関する研究
图等效变换统一推导新微波D区间研究
- 批准号：
X00210----275209 - 财政年份：1977
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
回路網のあるクラスの等価変換のもとにおける素子感度の最小化問題に関する
关于某类电路网络等效变换下元件灵敏度最小化的问题。
- 批准号：
X44210------5088 - 财政年份：1969
- 资助金额：
$ 2.33万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)