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）
Answer Set Programming as a Modeling Language for Course Timetabling
答案集编程作为课程时间表的建模语言
- DOI：
- 发表时间：2014
- 期刊：
- 影响因子：0
- 作者：Mutsunori Banbara; Takehide Soh; Naoyuki Tamura; Katsumi Inoue; Torsten Schaub
- 通讯作者：Torsten Schaub
分子ネットワーク上の状態推定とその可視化による知識発見支援
通过分子网络的状态估计和可视化支持知识发现
- DOI：
- 发表时间：2016
- 期刊：
- 影响因子：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 }}
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)
相似海外基金
Constraint Acquisition and Compositional Verification of Large and Complex Cyber-Physical Systems
大型复杂信息物理系统的约束获取和组成验证
- 批准号：
22K11969 - 财政年份：2022
- 资助金额：
$ 1.5万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Research and Development of a New SAT Solving Technologies for Constraint Satisfaction Problems
约束满足问题新型SAT求解技术的研究与开发
- 批准号：
22K11973 - 财政年份：2022
- 资助金额：
$ 1.5万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Programming with Constraints and Events for Information Visualization
使用约束和事件进行编程以实现信息可视化
- 批准号：
21K11836 - 财政年份：2021
- 资助金额：
$ 1.5万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Acceleration of SAT-based CSP Solvers using MDD
使用 MDD 加速基于 SAT 的 CSP 求解器
- 批准号：
20K11748 - 财政年份：2020
- 资助金额：
$ 1.5万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Interval constraint programming techniques for large and complex hybrid systems
大型复杂混合系统的区间约束规划技术
- 批准号：
18K11240 - 财政年份：2018
- 资助金额：
$ 1.5万 - 项目类别：
Grant-in-Aid for Scientific Research (C)