Research and Development on Multi-objective Optimization Solver based on Advanced Knowledge Representation and Reasoning Techniques
基于先进知识表示与推理技术的多目标优化求解器研究与开发
基本信息
- 批准号:18K11242
- 负责人:
- 金额:$ 2.83万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (C)
- 财政年份:2018
- 资助国家:日本
- 起止时间:2018-04-01 至 2021-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
项目成果
期刊论文数量(19)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
正規制約に対するSAT符号化手法の提案と評価 (ポスター)
正则约束的SAT编码方法的提出和评估(海报)
- DOI:
- 发表时间:2020
- 期刊:
- 影响因子:0
- 作者:生田哲也;田村直之;宋剛秀;番原睦則
- 通讯作者:番原睦則
CEGARと反例の共有を用いたSAT型CSPソルバーの並列化方法の考察
利用CEGAR的SAT型CSP求解器并行化方法思考及反例分享
- DOI:
- 发表时间:2020
- 期刊:
- 影响因子:0
- 作者:宋剛秀;鍋島英知;番原睦則;田村直之;井上克巳
- 通讯作者:井上克巳
SATソルバーを用いた一層平面配置配線問題の解法に関する考察
利用SAT求解器求解单层平面布局布线问题的思考
- DOI:
- 发表时间:2020
- 期刊:
- 影响因子:0
- 作者:三嶋哲平;宋剛秀;田村直之
- 通讯作者:田村直之
A SAT-based CSP Solver sCOP and its Results on 2018 XCSP3 Competition
基于 SAT 的 CSP 求解器 sCOP 及其在 2018 XCSP3 竞赛中的结果
- DOI:
- 发表时间:2019
- 期刊:
- 影响因子:0
- 作者:Takehide Soh;Daniel Le Berre;Mutsunori Banbara;Naoyuki Tamura
- 通讯作者:Naoyuki Tamura
{{
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 }}
Banbara Mutsunori其他文献
Banbara Mutsunori的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
相似海外基金
Real Versus Digital: Sustainability optimization for cultural heritage preservation in national libraries
真实与数字:国家图书馆文化遗产保护的可持续性优化
- 批准号:
AH/Z000041/1 - 财政年份:2024
- 资助金额:
$ 2.83万 - 项目类别:
Research Grant
脳梗塞リハビリテーションの最適化に向けたマルチオミックス解析
多组学分析优化脑梗死康复
- 批准号:
24K14269 - 财政年份:2024
- 资助金额:
$ 2.83万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
アナログ回路に基づく進化計算手法による深層学習モデルの最適化
基于模拟电路的进化计算方法优化深度学习模型
- 批准号:
24K15115 - 财政年份:2024
- 资助金额:
$ 2.83万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
メタヒューリスティクスを用いた藻場生態系モデルの最適化と沿岸域での実証実験
沿海地区海藻床生态系统模型的元启发法优化及示范实验
- 批准号:
24K15381 - 财政年份:2024
- 资助金额:
$ 2.83万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
CAREER: Resilient and Efficient Automatic Control in Energy Infrastructure: An Expert-Guided Policy Optimization Framework
职业:能源基础设施中的弹性和高效自动控制:专家指导的政策优化框架
- 批准号:
2338559 - 财政年份:2024
- 资助金额:
$ 2.83万 - 项目类别:
Standard Grant
CAREER: From Dynamic Algorithms to Fast Optimization and Back
职业:从动态算法到快速优化并返回
- 批准号:
2338816 - 财政年份:2024
- 资助金额:
$ 2.83万 - 项目类别:
Continuing Grant
CAREER: Structured Minimax Optimization: Theory, Algorithms, and Applications in Robust Learning
职业:结构化极小极大优化:稳健学习中的理论、算法和应用
- 批准号:
2338846 - 财政年份:2024
- 资助金额:
$ 2.83万 - 项目类别:
Continuing Grant
Collaborative Research: An Integrated Framework for Learning-Enabled and Communication-Aware Hierarchical Distributed Optimization
协作研究:支持学习和通信感知的分层分布式优化的集成框架
- 批准号:
2331710 - 财政年份:2024
- 资助金额:
$ 2.83万 - 项目类别:
Standard Grant
Collaborative Research: An Integrated Framework for Learning-Enabled and Communication-Aware Hierarchical Distributed Optimization
协作研究:支持学习和通信感知的分层分布式优化的集成框架
- 批准号:
2331711 - 财政年份:2024
- 资助金额:
$ 2.83万 - 项目类别:
Standard Grant
CAS: Optimization of CO2 to Methanol Production through Rapid Nanoparticle Synthesis Utilizing MOF Thin Films and Mechanistic Studies.
CAS:利用 MOF 薄膜和机理研究,通过快速纳米粒子合成优化 CO2 生产甲醇。
- 批准号:
2349338 - 财政年份:2024
- 资助金额:
$ 2.83万 - 项目类别:
Continuing Grant