刷新
{{item.name}}会员
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）
Vers la formalisation en Coq des transformateurs de monades modulaires
与模块化单子变换器的 Coq 形式化相比
- DOI：
- 发表时间：2020
- 期刊：
- 影响因子：0
- 作者：Celestine Sauvage;Reynald Affeldt;David Nowak
- 通讯作者：David Nowak
A trustful monad for axiomatic reasoning with probability and nondeterminism
具有概率和非确定性的公理推理的可信单子
- DOI：10.1017/s0956796821000137
- 发表时间：2021
- 期刊：
- 影响因子：1.1
- 作者：AFFELDT REYNALD;GARRIGUE JACQUES;NOWAK DAVID;SAIKAWA TAKAFUMI
- 通讯作者：SAIKAWA TAKAFUMI
Extending equational monadic reasoning with monad transformers
使用单子转换器扩展等式单子推理
- DOI：
- 发表时间：2021
- 期刊：
- 影响因子：0
- 作者：Reynald Affeldt;David Nowak
- 通讯作者：David Nowak
Formalization of the Lebesgue measure in MathComp-Analysis
MathComp-Analysis 中勒贝格测度的形式化
- DOI：
- 发表时间：2021
- 期刊：
- 影响因子：0
- 作者：Reynald Affeldt;Cyril Cohen
- 通讯作者：Cyril Cohen
Porting the Mathematical Components library to Hierarchy Builder
将数学组件库移植到 Hierarchy Builder
- DOI：
- 发表时间：2021
- 期刊：
- 影响因子：0
- 作者：Reynald Affeldt;Xavier Allamigeon;Yves Bertot;Quentin Canu;Cyril Cohen;Pierre Roux;Kazuhiko Sakaguchi;Enrico Tassi;Laurent Thery;Anton Trunov
- 通讯作者：Anton Trunov
{{
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其他文献
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
プラットフォーム労働 その光と影
平台劳动力：它的光与影
- DOI：
- 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
Affeldt Reynald;Cohen Cyril;Saito Ayumu;加藤隆弘;沼田雅之 - 通讯作者：
沼田雅之
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
ひきこもりの多面的理解：文化社会モデルから最新医学・心理学・生物学の融合モデルへ
对蛰居族的多层面理解：从文化社会模式到融合最新医学、心理学和生物学的模式
- DOI：
- 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
Affeldt Reynald;Cohen Cyril;Saito Ayumu;加藤隆弘 - 通讯作者：
加藤隆弘
Fully Analog Noise-Resilient Dynamical Systems Storing Binary Sequence
存储二进制序列的全模拟抗噪声动力系统
- DOI：
- 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
Affeldt Reynald;Cohen Cyril;Saito Ayumu;加藤隆弘;沼田雅之;Tadashi Wadayama - 通讯作者：
Tadashi Wadayama
Affeldt Reynald的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Affeldt Reynald', 18)}}的其他基金
Formal Foundations for Verification of Physical and Probabilistic Systems
物理和概率系统验证的形式基础
- 批准号：
22H00520 - 财政年份：2022
- 资助金额：
$ 5.66万 - 项目类别：
Grant-in-Aid for Scientific Research (A)
相似国自然基金
TRANK1联合CoQ10介导调控神经可塑性在糖尿病中枢神经病变中的作用及机制研究
- 批准号：2025JJ70598
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
7-DHC调控UBIAD1/CoQ10/TFR1参与内质网-高尔基体磷脂过氧化减轻AKI肾小管上皮细胞铁死亡的机制研究
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
母系遗传糖尿病线粒体突变位点的功能及CoQ10治疗的作用机制研究
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
FSP1-COQ10-NADPH抑制铁死亡保护铁过载性心肌病心肌线粒体的机制研究
- 批准号：
- 批准年份：2024
- 资助金额：0 万元
- 项目类别：地区科学基金项目
DHODH/CoQ10调控铁死亡在ZEN诱导的猪卵巢颗粒细胞损伤中的作用机制
- 批准号：
- 批准年份：2024
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于Nrf2/DHODH/CoQ10抑制细胞铁死亡途径探索补阳壮通饮对脑缺血再灌注损伤的神经保护机制
- 批准号：82360870
- 批准年份：2023
- 资助金额：32 万元
- 项目类别：地区科学基金项目
鸡腿蘑多糖MPCC1通过Nrf2/FSP1-CoQ10-NADH通路抑制酒精诱导的肝细胞铁死亡的机制研究
- 批准号：82304113
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
COQ10缺乏通过ROS介导的线粒体功能障碍促内皮损伤在AS发生中的作用及机制研究
- 批准号：2023JJ30522
- 批准年份：2023
- 资助金额：0.0 万元
- 项目类别：省市级项目
辅酶Q合成途径关键酶Coq1决定辅酶Q侧链长度机制的研究
- 批准号：32370274
- 批准年份：2023
- 资助金额：50 万元
- 项目类别：面上项目
COQ10介导Nrf2/HO-1调控铁死亡途径参与多系统萎缩发病的机制研究
- 批准号：
- 批准年份：2022
- 资助金额：30 万元
- 项目类别：青年科学基金项目
相似海外基金
FMitF: Track II: Strengthening the integration of the CVC4 SMT solver in the Coq proof assistant
FMITF：轨道 II：加强 Coq 证明助手中 CVC4 SMT 求解器的集成
- 批准号：
2019348 - 财政年份：2020
- 资助金额：
$ 5.66万 - 项目类别：
Standard Grant
Quantification for Parametric Judgments used by Logical Frameworks in Coq
Coq 中逻辑框架使用的参数判断的量化
- 批准号：
504099-2017 - 财政年份：2019
- 资助金额：
$ 5.66万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Quantification for Parametric Judgments used by Logical Frameworks in Coq
Coq 中逻辑框架使用的参数判断的量化
- 批准号：
504099-2017 - 财政年份：2018
- 资助金额：
$ 5.66万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
The phenotypes of the fission yeast which contains trace amounts of CoQ and the significance of existence of CoQ
含微量CoQ的裂殖酵母的表型及其存在的意义
- 批准号：
18K05393 - 财政年份：2018
- 资助金额：
$ 5.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Quantification for Parametric Judgments used by Logical Frameworks in Coq
Coq 中逻辑框架使用的参数判断的量化
- 批准号：
504099-2017 - 财政年份：2017
- 资助金额：
$ 5.66万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Mitochondrial-targeted CoQ: Metabolic and Redox Effects and role in Diabetes
线粒体靶向 CoQ：代谢和氧化还原效应及其在糖尿病中的作用
- 批准号：
8262625 - 财政年份：2010
- 资助金额：
$ 5.66万 - 项目类别：
Mitochondrial-targeted CoQ: Metabolic and Redox Effects and role in Diabetes
线粒体靶向 CoQ：代谢和氧化还原效应及其在糖尿病中的作用
- 批准号：
8195611 - 财政年份：2010
- 资助金额：
$ 5.66万 - 项目类别：