课题基金 / 基金详情

Formal verification of probabilistic graphical models and its application to artificial intelligence

Formal verification of probabilistic graphical models and its application to artificial intelligence
概率图模型的形式化验证及其在人工智能中的应用
批准号：
18H03204
负责人：
Affeldt Reynald
金额：
$5.66万
依托单位：
National Institute of Advanced Industrial Science and Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-04-01 至 2021-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18H03204/
关键词：
形式検証Coq条件付き独立情報理論graphoid確率プログラミングモナド測度論ルベーグ積分確率論

项目摘要

项目成果

Affeldt Reynald的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Vers la formalisation en Coq des transformateurs de monades modulaires
与模块化单子变换器的 Coq 形式化相比
DOI： --
发表时间： 2020
期刊： 31st Journees Francophones des Langages Applicatifs (JFLA 2020)
影响因子： --
作者： [Celestine Sauvage, Reynald Affeldt, David Nowak]
通讯作者： David Nowak
A trustful monad for axiomatic reasoning with probability and nondeterminism
具有概率和非确定性的公理推理的可信单子
DOI： 10.1017/s0956796821000137
发表时间： 2021
期刊： Journal of Functional Programming
影响因子： 1.1
作者： [AFFELDT REYNALD, GARRIGUE JACQUES, NOWAK DAVID, SAIKAWA TAKAFUMI]
通讯作者： SAIKAWA TAKAFUMI
Extending equational monadic reasoning with monad transformers
使用单子转换器扩展等式单子推理
DOI： --
发表时间： 2021
期刊： 26th International Conference on Types for Proofs and Programs (TYPES 2020), Leibniz International Proceedings in Informatics (LIPIcs)
影响因子： --
作者： [Reynald Affeldt, David Nowak]
通讯作者： David Nowak
Formalization of the Lebesgue measure in MathComp-Analysis
MathComp-Analysis 中勒贝格测度的形式化
DOI： --
发表时间： 2021
期刊： The Coq Workshop 2021, July 2, 2021, Jul 2021
影响因子： --
作者： [Reynald Affeldt, Cyril Cohen]
通讯作者： Cyril Cohen
共 21 条
    Formal Foundations for Verification of Physical and Probabilistic Systems
    国内基金
    海外基金
    TRANK1联合CoQ10介导调控神经可塑性在糖尿病中枢神经病变中的作用及机制研究
    • 批准号：
      2025JJ70598
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2025
    • 负责人：
      向穷
    • 依托单位：
      吉首大学
    7-DHC调控UBIAD1/CoQ10/TFR1参与内质网-高尔基体磷脂过氧化减轻AKI肾小管上皮细胞铁死亡的机制研究
    • 批准号：
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2025
    • 负责人：
      沈子妍
    • 依托单位：
      复旦大学附属中山医院
    母系遗传糖尿病线粒体突变位点的功能及CoQ10治疗的作用机制研究
    • 批准号：
    • 项目类别：
      省市级项目
    • 资助金额：
      --
    • 批准年份：
      2025
    • 负责人：
      徐江婷
    • 依托单位：
    FSP1-COQ10-NADPH抑制铁死亡保护铁过载性心肌病心肌线粒体的机制研究