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
革新的な森林水循環モデルの開発・展開による水源涵養機能の機構論的解明
通过开发和部署创新的森林水循环模型来阐明水资源补给功能的机制
- 批准号：
22KJ0853 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows
深層ニューラルネットワークを用いた高精度で効率的な確率推論法の開発と応用
利用深度神经网络的高精度、高效概率推理方法的开发和应用
- 批准号：
22KJ0679 - 财政年份：2023
- 资助金额：
$ 2.91万 - 项目类别：
Grant-in-Aid for JSPS Fellows