刷新
{{item.name}}会员
Research and Development of Constraint Programming Systems for Metabolic Pathway Analysis
代谢途径分析约束编程系统的研究与开发
基本信息
- 批准号：25730042
- 负责人：
- 金额：$ 1.5万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Young Scientists (B)
- 财政年份：2013
- 资助国家：日本
- 起止时间：2013-04-01 至 2016-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（46）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
SATソルバーとそのアプリケーション開発について (SAT型制約ソルバー)
关于SAT求解器及其应用开发（SAT型约束求解器）
- DOI：
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：兼行大将;番原睦則;宋剛秀;田村直之;井上克巳;沖本天太;宋剛秀;宋剛秀
- 通讯作者：宋剛秀
分子ネットワーク上の状態推定とその可視化による知識発見支援
通过分子网络的状态估计和可视化支持知识发现
- DOI：
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：平沼祐人;山本泰生;守屋央朗;宋剛秀;岩沼宏治
- 通讯作者：岩沼宏治
解集合プログラミングを用いた制約組合せテストケース生成
使用解决方案集编程生成约束组合测试用例
- DOI：
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：兼行大将;番原睦則;宋剛秀;田村直之;井上克巳;沖本天太
- 通讯作者：沖本天太
SATソルバーと密に結合された制約プログラミングシステムScarabとハミルトン閉路問題への応用
Scarab，一种与 SAT 求解器紧密耦合的约束编程系统，及其在哈密顿循环问题中的应用
- DOI：
- 发表时间：2014
- 期刊：
- 影响因子：0
- 作者：宋剛秀;Daniel Le Berre;Stéphanie Roussel;番原睦則;田村直之
- 通讯作者：田村直之
{{
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 }}
Soh Takehide其他文献
Soh Takehide的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Soh Takehide', 18)}}的其他基金
Acceleration of SAT-based CSP Solvers using MDD
使用 MDD 加速基于 SAT 的 CSP 求解器
- 批准号：
20K11748 - 财政年份：2020
- 资助金额：
$ 1.5万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
High Performance SAT-based Constraint Programming System using Hybrid Encoding
使用混合编码的高性能基于 SAT 的约束编程系统
- 批准号：
16K16036 - 财政年份：2016
- 资助金额：
$ 1.5万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
相似海外基金
非線形ハイブリッドシステムのための区間制約プログラミングにもとづくモデル検査技術
基于区间约束规划的非线性混合系统模型检验技术
- 批准号：
11J03810 - 财政年份：2011
- 资助金额：
$ 1.5万 - 项目类别：
Grant-in-Aid for JSPS Fellows
制約プログラミングによる視覚化モデルの形式化と実現
使用约束规划的可视化模型的形式化和实现
- 批准号：
16016286 - 财政年份：2004
- 资助金额：
$ 1.5万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
大規模グラフィカルユーザーインターフェースのための軽量制約プログラミング技術
大规模图形用户界面的轻量级约束编程技术
- 批准号：
12780252 - 财政年份：2000
- 资助金额：
$ 1.5万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
制約プログラミングによる幾何学制約充足問題の一般的解法の研究
基于约束规划的几何约束满足问题通用解研究
- 批准号：
07780345 - 财政年份：1995
- 资助金额：
$ 1.5万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
制約プログラミング言語による統合ロボットプログラミング
使用约束编程语言进行集成机器人编程
- 批准号：
06780339 - 财政年份：1994
- 资助金额：
$ 1.5万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
並行制約プログラミング言語の表示的手法を用いた意味論に関する研究
使用指示方法研究并发约束编程语言的语义
- 批准号：
04750343 - 财政年份：1992
- 资助金额：
$ 1.5万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)