A Computational Approach to Study Ramsey Numbers
研究拉姆齐数的计算方法
基本信息
- 批准号:17K00307
- 负责人:
- 金额:$ 3万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (C)
- 财政年份:2017
- 资助国家:日本
- 起止时间:2017-04-01 至 2020-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Coalition Structure Generation for Partition Function Games Utilizing a Concise Graphical Representation
利用简明图形表示的配分函数博弈的联盟结构生成
- DOI:
- 发表时间:2019
- 期刊:
- 影响因子:0
- 作者:Miyuki Koshimura;Aolong Zha;Kazuki Nomoto;Suguru Ueda;Yuko Sakurai;Makoto Yokoo
- 通讯作者:Makoto Yokoo
A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets
MC-nets下联盟结构生成MaxSAT编码的比较分析与改进
- DOI:10.1093/logcom/exz017
- 发表时间:2019
- 期刊:
- 影响因子:0.7
- 作者:Xiaojuan Liao;Miyuki Koshimura
- 通讯作者:Miyuki Koshimura
N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT
MaxSAT 伪布尔约束的 N 级基于模的 CNF 编码
- DOI:10.1007/s10601-018-9299-0
- 发表时间:2019
- 期刊:
- 影响因子:1.6
- 作者:Aolong Zha;Miyuki Koshimura;Hiroshi Fujita
- 通讯作者:Hiroshi Fujita
Improved WPM encoding for coalition structure generation under MC-nets
改进了 MC-nets 下联盟结构生成的 WPM 编码
- DOI:10.1007/s10601-018-9295-4
- 发表时间:2018-09
- 期刊:
- 影响因子:1.6
- 作者:Liao Xiaojuan;Koshimura Miyuki;Nomoto Kazuki;Ueda Suguru;Sakurai Yuko;Yokoo Makoto
- 通讯作者:Yokoo Makoto
混合基数を用いた擬似ブール制約のSAT符号化
使用混合基数的伪布尔约束的 SAT 编码
- DOI:
- 发表时间:2017
- 期刊:
- 影响因子:0
- 作者:Takeshi KAMIO;Takahiro TANAKA;Kunihiko MITSUBORI;and Hisato FUJISAKA;上村 直輝,藤田 博,越村 三幸,査 澳龍
- 通讯作者:上村 直輝,藤田 博,越村 三幸,査 澳龍
{{
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 }}
Fujita Hiroshi其他文献
Patient-specific model generation by using 3D printing and its application to surgical planning of uterine fibroid removal
使用 3D 打印生成患者特异性模型及其在子宫肌瘤切除手术规划中的应用
- DOI:
- 发表时间:
2016 - 期刊:
- 影响因子:0
- 作者:
A. Sayed;Itou Hiroaki;Zhou Xiangrong;Kato Hiroki;Makino Hiroshi;Hara Takeshi;Matsuo Masayukii;Fujita Hiroshi - 通讯作者:
Fujita Hiroshi
Comparison of SUVs and Z-scores on torso FDG-PET/CT scans based on statistical image analysis method
基于统计图像分析方法的躯干 FDG-PET/CT 扫描 SUV 和 Z 分数比较
- DOI:
- 发表时间:
2014 - 期刊:
- 影响因子:0
- 作者:
Shimizu Miho;Hara Takeshi;Zhou Xiangrong;Muramatsu Chisako;Itoh Satoshi;Kumita Shin'ichiro;Ishihara Keiichi;Katafuchi Tetsuro;Fujita Hiroshi - 通讯作者:
Fujita Hiroshi
深層畳み込みニューラルネットワークを用いた眼底の血管抽出
使用深度卷积神经网络提取眼底血管
- DOI:
- 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
Hatanaka Yuji;Inoue Tsuyoshi;Ogohara Kazunori;Okumura Susumu;Muramatsu Chisako;Fujita Hiroshi;井川 響,畑中裕司,砂山 渡,小郷原一智,村松千左子,藤田広志 - 通讯作者:
井川 響,畑中裕司,砂山 渡,小郷原一智,村松千左子,藤田広志
Saya Horiuchi, Hon Yu, Toshimi Tando, Taiki Nozaki, and Hiroshi Yoahioka
堀内沙耶、Hon Yu、Toshimi Tando、Taiki Nozaki 和 Hiroshi Yoahioka
- DOI:
- 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
Suzuki Masataka;Toba Takayoshi;Izawa Yu;Fujita Hiroshi;Miwa Keisuke;Takahashi Yu;Toh Hiroyuki;Kawamori Hiroyuki;Otake Hiromasa;Tanaka Hidekazu;Fujiwara Sei;Watanabe Yoshiaki;Kono Atsushi K.;Okada Kenji;Hirata Ken‐ichi;High-resolution 3T MRI of the dorsal and volar radioulnar ligament of the wrist - 通讯作者:
High-resolution 3T MRI of the dorsal and volar radioulnar ligament of the wrist
A method to detect calcified region using grayscale top-hat filter on dental panoramic radiographs
牙科全景片上灰度顶帽滤光片钙化区域检测方法
- DOI:
- 发表时间:
2010 - 期刊:
- 影响因子:0
- 作者:
Hayashi Tatsuro;Sawagashira Tsuyoshi;Hara Takeshi;Katsumata Akitoshi;Zhou Xiangrong;Muramatsu Chisako;Iida Yukihiro;Fujishita Masami;Fujita Hiroshi - 通讯作者:
Fujita Hiroshi
Fujita Hiroshi的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Fujita Hiroshi', 18)}}的其他基金
Basic research on the construction of a database of diversity lung nodules and the development of a self-learning diagnostic imaging support system
肺结节多样性数据库构建及自学习诊断影像支持系统开发的基础研究
- 批准号:
19H03599 - 财政年份:2019
- 资助金额:
$ 3万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
A study on EPR method for solving large scale combinatorial optimization problems
求解大规模组合优化问题的EPR方法研究
- 批准号:
25330262 - 财政年份:2013
- 资助金额:
$ 3万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
相似国自然基金
参数复杂性、SAT求解器和树宽度
- 批准号:61373029
- 批准年份:2013
- 资助金额:76.0 万元
- 项目类别:面上项目
相似海外基金
Development of a SAT Solver Based on Extened Resolution
基于扩展分辨率的 SAT 求解器的开发
- 批准号:
17K12742 - 财政年份:2017
- 资助金额:
$ 3万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
Problem Structure and SAT Solver Performance: Relating Theory and Practice
问题结构和 SAT 求解器性能:理论与实践的联系
- 批准号:
511893-2017 - 财政年份:2017
- 资助金额:
$ 3万 - 项目类别:
University Undergraduate Student Research Awards
An Error Diagnosis Technique Combining BDD-based Approach and SAT-Solver and Its Application to Incremental Synthesis to Reduce Costs Needed for ECO's
结合基于 BDD 的方法和 SAT 求解器的错误诊断技术及其在增量综合中的应用,以降低 ECO 所需的成本
- 批准号:
24500064 - 财政年份:2012
- 资助金额:
$ 3万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
An Error Diagnosis Technique Based on SAT-Solver and Its Application to Incremental Synthesis to Reduce Costs Needed for ECO's
基于SAT-Solver的错误诊断技术及其在增量综合中的应用以降低ECO所需的成本
- 批准号:
21500054 - 财政年份:2009
- 资助金额:
$ 3万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Extended SAT solver
扩展 SAT 求解器
- 批准号:
353979-2007 - 财政年份:2007
- 资助金额:
$ 3万 - 项目类别:
University Undergraduate Student Research Awards