Research and Development of Experiment Candidate Recommendation System with Reasoning and Learning

推理学习实验候选人推荐系统的研究与开发

基本信息

  • 批准号：
    16K00304
  • 负责人：
    Koshimura Miyuki
  • 金额：
    $ 2.91万
  • 依托单位：
    Kyushu University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 财政年份：
    2016
  • 资助国家：
    日本
  • 起止时间：
    2016-04-01 至 2019-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
機械学習を用いた電流データに基づく異常判定システム
使用机器学习基于当前数据的异常判定系统
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    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 编码
  • DOI：
    10.1007/s10601-018-9299-0
  • 发表时间：
    2019
  • 期刊：
    Constraints
  • 影响因子：
    1.6
  • 作者：
    Aolong Zha;Miyuki Koshimura;Hiroshi Fujita
  • 通讯作者：
    Hiroshi Fujita
SATとラムゼー数 ~数学の未解決問題への挑戦~
SAT和拉姆齐数~挑战数学中未解决的问题~
  • DOI：
  • 发表时间：
    2016
  • 期刊：
    情報処理
  • 影响因子：
    0
  • 作者：
    藤田 博;越村 三幸
  • 通讯作者：
    越村 三幸
A Hybrid Encoding of Pseudo-Boolean Constraints into CNF
伪布尔约束到 CNF 的混合编码
  • DOI：
  • 发表时间：
    2017
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Aolong Zha;Miyuki Koshimura;and Hiroshi Fujita
  • 通讯作者：
    and Hiroshi Fujita
MC-netsを用いた提携構造形成問題のMaxSAT符号化の改良と評価
使用 MC-nets 解决联盟结构形成问题的 MaxSAT 编码的改进和评估
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    越村 三幸，廖 暁鵑，野本 一貴，上田 俊;櫻井 祐子，横尾 真
  • 通讯作者：
    櫻井 祐子，横尾 真
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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 }}

Koshimura Miyuki其他文献

Robust Weighted Partial Maximum Satisfiability Problem: Challenge to Σ2P-Complete Problem
鲁棒加权部分最大可满足性问题：对Σ2P完全问题的挑战
A Simple yet Efficient MCSes Enumeration with SAT Oracles
使用 SAT Oracle 进行简单而高效的 MCS 枚举
Modeling and Solving Scheduling in Overloaded Situations with Weighted Partial MaxSAT
使用加权部分 MaxSAT 对过载情况下的调度进行建模和求解
  • DOI：
    10.1155/2021/9615463
  • 发表时间：
    2021-07
  • 期刊：
    Mathematical Problems in Engineering
  • 影响因子：
    0
  • 作者：
    Liao Xiaojuan;Zhang Hui;Koshimura Miyuki;Huang Rong;Yu Wenxin;Li Fagen
  • 通讯作者：
    Li Fagen

Koshimura Miyuki的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Koshimura Miyuki', 18)}}的其他基金

Problem Solving with SAT Oracles
使用 SAT Oracle 解决问题
  • 批准号：
    19H04175
  • 财政年份：
    2019
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
A Study on Extending SAT Solvers with Cardinality Constraints and its Applications
基数约束扩展SAT求解器及其应用研究
  • 批准号：
    25330085
  • 财政年份：
    2013
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)

相似海外基金

解再構築型の組合せ最適化問題に対する計算容易性および計算困難性の解明
解重构型组合优化问题的可计算性和难度的阐明
  • 批准号：
    24K02902
  • 财政年份：
    2024
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
現実に現れる組合せ最適化問題の暗黙知を反映するメタヒューリスティクスの開発
元启发法的发展反映了现实中出现的组合优化问题的隐性知识
  • 批准号：
    24K17472
  • 财政年份：
    2024
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
組合せ最適化問題に対する解の唯一化における計算複雑さの研究
组合优化问题统一解的计算复杂度研究
  • 批准号：
    24K02898
  • 财政年份：
    2024
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
多面体的手法と離散構造を用いた組合せ最適化問題の解法
使用多面体方法和离散结构解决组合优化问题
  • 批准号：
    24K02901
  • 财政年份：
    2024
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
イジングマシンと古典計算機を併用した組合せ最適化ハイブリッドシステムの構築
使用伊辛机和经典计算机构建组合优化混合系统
  • 批准号：
    24KJ2102
  • 财政年份：
    2024
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
不確実性をもつ組合せ最適化モデルに対する理論基盤の構築
为不确定性组合优化模型奠定理论基础
  • 批准号：
    23K21646
  • 财政年份：
    2024
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
エンドツーエンド組合せ最適化に向けた基礎理論の構築
建立端到端组合优化的基础理论
  • 批准号：
    24K14844
  • 财政年份：
    2024
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
汎化性能を高めた深層強化学習に基づく組合せ最適化法
提高泛化性能的基于深度强化学习的组合优化方法
  • 批准号：
    23K11263
  • 财政年份：
    2023
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
制約充足確率に基づく強化学習による組合せ最適化問題の解法に関する基礎的研究
基于约束满足概率的强化学习求解组合优化问题的基础研究
  • 批准号：
    22K12158
  • 财政年份：
    2022
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
行列集中不等式による組合せ最適化アルゴリズムの設計
利用矩阵浓度不等式的组合优化算法设计
  • 批准号：
    19K20212
  • 财政年份：
    2022
  • 资助金额：
    $ 2.91万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了