刷新
{{item.name}}会员
Application of perfect sampling with SAT/SMT solvers
SAT/SMT 求解器完美采样的应用
基本信息
- 批准号：23K10998
- 负责人：
- 金额：$ 2.91万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (C)
- 财政年份：2023
- 资助国家：日本
- 起止时间：2023-04-01 至 2026-03-31
- 项目状态：未结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
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 }}
岡村 寛之其他文献
岡村 寛之的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('岡村 寛之', 18)}}的其他基金
脆弱性データを利用した高精度なインターネットワーム繁殖予測モデルの構築
利用漏洞数据构建高精度互联网蠕虫传播预测模型
- 批准号：
18700064 - 财政年份：2006
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
情報通信におけるインテリジェント・ディペンダビリティ・マネジメントモデルの開発
信息通信领域智能可靠性管理模型的开发
- 批准号：
15700060 - 财政年份：2003
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
コンピュータネットワークにおけるPower Managementモデルの構築
构建计算机网络中的电源管理模型
- 批准号：
11780332 - 财政年份：1999
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
相似海外基金
テンソルネットワーク表現によるマルコフ連鎖モンテカルロ法とその展開
使用张量网络表示的马尔可夫链蒙特卡罗方法及其发展
- 批准号：
24K00543 - 财政年份：2024
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
初期の量子計算機を用いた新たなマルコフ連鎖モンテカルロ法の開発
使用早期量子计算机开发新的马尔可夫链蒙特卡罗方法
- 批准号：
24KJ1606 - 财政年份：2024
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
神経回路網におけるマルコフ連鎖モンテカルロ法の非平衡熱力学
神经网络中马尔可夫链蒙特卡罗方法的非平衡热力学
- 批准号：
23KJ0576 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
大規模MIMOのためのマルコフ連鎖モンテカルロ法の並列多次元最適化法の研究
大规模MIMO马尔可夫链蒙特卡罗并行多维优化方法研究
- 批准号：
22K04108 - 财政年份：2022
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
マルコフ連鎖における統計学と情報理論の新展開
马尔可夫链统计和信息论的新进展
- 批准号：
21F20378 - 财政年份：2021
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
外れ値に頑丈で適応的な高次元でのマルコフ連鎖モンテカルロ法
高维马尔可夫链蒙特卡罗方法具有鲁棒性和自适应异常值的能力
- 批准号：
21K17713 - 财政年份：2021
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
マルコフ連鎖における定常分布の不等式系に基づく数値計算法と待ち行列モデルへの応用
基于马尔可夫链平稳分布不等式系统的数值计算方法及其在排队模型中的应用
- 批准号：
19K11841 - 财政年份：2019
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
レベル依存型のブロック構造を持つマルコフ連鎖の数値計算法
具有级依赖块结构的马尔可夫链数值计算方法
- 批准号：
18K04622 - 财政年份：2018
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
状態空間モデルにおけるマルコフ連鎖モンテカルロ法を用いた逐次的な推定手法
状态空间模型中使用马尔可夫链蒙特卡罗方法的序贯估计方法
- 批准号：
17J03957 - 财政年份：2017
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
次世代型マルコフ連鎖モンテカルロ法の数理的枠組みとその脳型計算モデルへの応用
下一代马尔可夫链蒙特卡罗方法的数学框架及其在类脑计算模型中的应用
- 批准号：
17J02174 - 财政年份：2017
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows