Research and Development of Experiment Candidate Recommendation System with Reasoning and Learning
Research and Development of Experiment Candidate Recommendation System with Reasoning and Learning
推理学习实验候选人推荐系统的研究与开发
批准号：
16K00304
负责人：
Koshimura Miyuki
金额：
$2.91万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-04-01 至 2019-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
機械学習を用いた電流データに基づく異常判定システム
使用机器学习基于当前数据的异常判定系统
使用机器学习基于当前数据的异常判定系统
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[Yuki Miyamoto, Taishun Kusaka, Yuki Okado, Kazunori Iwata, Noburhio Ito, 満尾 成亮，安部 竜太，橋下 司，越村 三幸，藤田 博]
通讯作者：
満尾 成亮，安部 竜太，橋下 司，越村 三幸，藤田 博
N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT
MaxSAT 伪布尔约束的 N 级基于模的 CNF 编码
MaxSAT 伪布尔约束的 N 级基于模的 CNF 编码
DOI：
10.1007/s10601-018-9299-0
发表时间：
2019
期刊：
Constraints
影响因子：
1.6
作者：
[Aolong Zha, Miyuki Koshimura, Hiroshi Fujita]
通讯作者：
Hiroshi Fujita
SATとラムゼー数 ~数学の未解決問題への挑戦~
SAT和拉姆齐数~挑战数学中未解决的问题~
SAT和拉姆齐数~挑战数学中未解决的问题~
DOI：
--
发表时间：
2016
期刊：
情報処理
影响因子：
--
作者：
[藤田 博, 越村 三幸]
通讯作者：
越村 三幸
A Hybrid Encoding of Pseudo-Boolean Constraints into CNF
伪布尔约束到 CNF 的混合编码
伪布尔约束到 CNF 的混合编码
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Aolong Zha, Miyuki Koshimura, and Hiroshi Fujita]
通讯作者：
and Hiroshi Fujita
MC-netsを用いた提携構造形成問題のMaxSAT符号化の改良と評価
使用 MC-nets 解决联盟结构形成问题的 MaxSAT 编码的改进和评估
使用 MC-nets 解决联盟结构形成问题的 MaxSAT 编码的改进和评估
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[越村 三幸，廖 暁鵑，野本 一貴，上田 俊, 櫻井 祐子，横尾 真]
通讯作者：
櫻井 祐子，横尾 真
共 19 条
Problem Solving with SAT Oracles
-
批准号：19H04175
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$6.24万
-
财政年份：2019
-
负责人：Koshimura Miyuki
-
依托单位：
A Study on Extending SAT Solvers with Cardinality Constraints and its Applications
-
批准号：25330085
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$3.16万
-
财政年份：2013
-
负责人：Koshimura Miyuki
-
依托单位：
海外基金