Formal verification of probabilistic graphical models and its application to artificial intelligence
概率图模型的形式化验证及其在人工智能中的应用
基本信息
- 批准号：18H03204
- 负责人：
- 金额：$ 5.66万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Scientific Research (B)
- 财政年份：2018
- 资助国家：日本
- 起止时间：2018-04-01 至 2021-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Formal Adventures in Convex and Conical Spaces
凸面和圆锥空间的正式冒险
- DOI：10.1007/978-3-030-53518-6_2
- 发表时间：2020
- 期刊：
- 影响因子：0
- 作者：Affeldt Reynald;Garrigue Jacques;Saikawa Takafumi
- 通讯作者：Saikawa Takafumi
Extending Monae to formalize quicksort using monads in Coq
在 Coq 中使用 monad 扩展 Monae 以形式化快速排序
- DOI：
- 发表时间：2021
- 期刊：
- 影响因子：0
- 作者：Ayumu Saito; Reynald Affeldt
- 通讯作者：Reynald Affeldt
Proving Tree Algorithms for Succinct Data Structures
证明简洁数据结构的树算法
- DOI：
- 发表时间：2019
- 期刊：
- 影响因子：0
- 作者：Reynald Affeldt; Jacques Garrigue; Xuanrui Qi; Kazunari Tanaka
- 通讯作者：Kazunari Tanaka
Practical Aspects of Monadic Equational Reasoning in Coq
Coq 中一元方程推理的实用方面
- DOI：
- 发表时间：2022
- 期刊：
- 影响因子：0
- 作者：Ayumu Saito; Reynald Affeldt
- 通讯作者：Reynald Affeldt
{{
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 }}
Affeldt Reynald其他文献
Semantics of Probabilistic Programs using s-Finite Kernels in Coq
在 Coq 中使用 s-有限核的概率程序语义
- DOI：
10.1145/3573105.3575691 - 发表时间：
2023 - 期刊：
- 影响因子：0
- 作者：
Affeldt Reynald;Cohen Cyril;Saito Ayumu - 通讯作者：
Saito Ayumu
Safe Low-level Code Generation in Coq Using Monomorphization and Monadification
使用单态化和单体化在 Coq 中安全地生成低级代码
- DOI：
10.2197/ipsjjip.26.54 - 发表时间：
2018 - 期刊：
- 影响因子：0
- 作者：
Tanaka Akira;Affeldt Reynald;Garrigue Jacques - 通讯作者：
Garrigue Jacques
Semantics of Probabilistic Programs using s-Finite Kernels in Coq
在 Coq 中使用 s-有限核的概率程序语义
- DOI：
10.1145/3573105.3575691 - 发表时间：
2023 - 期刊：
- 影响因子：0
- 作者：
Affeldt Reynald;Cohen Cyril;Saito Ayumu - 通讯作者：
Saito Ayumu
形式的な暗号学的安全性証明によるアセンブリプログラムの安全性検証:BBSの事例
使用形式密码安全证明对汇编程序进行安全验证：以 BBS 为例
- DOI：
- 发表时间：
2009 - 期刊：
- 影响因子：0
- 作者：
Affeldt Reynald; Nowak David; 山田聖 - 通讯作者：
山田聖
Certifying assembly with formal cryptographic proofs : the case of BBS
用正式的密码学证明来验证程序集：BBS 的案例
- DOI：
- 发表时间：
2009 - 期刊：
- 影响因子：0
- 作者：
Affeldt Reynald; Nowak David; Yamada Kiyoshi - 通讯作者：
Yamada Kiyoshi
Affeldt Reynald的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似国自然基金
辅酶Q合成途径关键酶Coq1决定辅酶Q侧链长度机制的研究
- 批准号：32370274
- 批准年份：2023
- 资助金额：50 万元
- 项目类别：面上项目
鸡腿蘑多糖MPCC1通过Nrf2/FSP1-CoQ10-NADH通路抑制酒精诱导的肝细胞铁死亡的机制研究
- 批准号：82304113
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
基于Nrf2/DHODH/CoQ10抑制细胞铁死亡途径探索补阳壮通饮对脑缺血再灌注损伤的神经保护机制
- 批准号：82360870
- 批准年份：2023
- 资助金额：32 万元
- 项目类别：地区科学基金项目
贝氏柯克斯体体内生存必需基因的鉴定
- 批准号：32370203
- 批准年份：2023
- 资助金额：50 万元
- 项目类别：面上项目
COQ10介导Nrf2/HO-1调控铁死亡途径参与多系统萎缩发病的机制研究
- 批准号：
- 批准年份：2022
- 资助金额：30 万元
- 项目类别：青年科学基金项目
相似海外基金
Study on relationship among ring theoretic invariants for non Cohen-Macaulay rings
非Cohen-Macaulay环环理论不变量关系的研究
- 批准号：
20K03550 - 财政年份：2020
- 资助金额：
$ 5.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
トポロジーの形式化における深層学習の適用の研究
深度学习在拓扑形式化中的应用研究
- 批准号：
20K20340 - 财政年份：2020
- 资助金额：
$ 5.66万 - 项目类别：
Grant-in-Aid for Challenging Research (Pioneering)