课题基金 / 基金详情

Circuits algébriques et arbres de preuve

Circuits algébriques et arbres de preuve
电路代数和预加工
批准号：
383852-2009
负责人：
Blondin, Michael
金额：
$0.33万
依托单位：
Université de Montréal
依托单位国家：
加拿大
项目类别：
University Undergraduate Student Research Awards
财政年份：
2009
资助国家：
加拿大
项目状态：
已结题
起止时间：
2009-01-01 至 2010-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=440989
关键词：
Circuitsalgbriquesetarbres

项目摘要

项目成果

Blondin, Michael的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Efficient verification of concurrent and distributed infinite-state systems
  • 批准号：
    RGPIN-2019-06039
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.68万
  • 财政年份：
    2022
  • 负责人：
    Blondin, Michael
  • 依托单位：
    Université de Sherbrooke
Efficient verification of concurrent and distributed infinite-state systems
  • 批准号：
    RGPIN-2019-06039
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.68万
  • 财政年份：
    2021
  • 负责人：
    Blondin, Michael
  • 依托单位：
    Université de Sherbrooke
Efficient verification of concurrent and distributed infinite-state systems
  • 批准号：
    RGPIN-2019-06039
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.68万
  • 财政年份：
    2020
  • 负责人：
    Blondin, Michael
  • 依托单位：
    Université de Sherbrooke
Efficient verification of concurrent and distributed infinite-state systems
  • 批准号：
    DGECR-2019-00034
  • 项目类别：
    Discovery Launch Supplement
  • 资助金额：
    $0.91万
  • 财政年份：
    2019
  • 负责人：
    Blondin, Michael
  • 依托单位：
    Université de Sherbrooke
国内基金
海外基金
构建靶向类风湿性关节炎炎症-骨代谢失衡的PSO/Alg-Sr水凝胶及其治疗机制研究
环二鸟苷酸-Alg44信号通路在铜绿假单胞菌生物膜形成与消毒剂耐药性中的作用机制研究
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
    鲁晓庆
  • 依托单位：
基于cAMP/CREB3-Egr1/ALG2介导的N-糖基化探究绿原酸诱导NIS细胞膜定位增强放射性碘难治性甲状腺癌I131摄取的作用及机制
  • 批准号：
    --
  • 项目类别：
    地区科学基金项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    陈万志
  • 依托单位：
    南昌大学第二附属医院
ALG基因介导的N-糖基化修饰对链格孢菌致病力的调控机制研究
  • 批准号：
    32302160
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    30.00万元
  • 批准年份：
    2023
  • 负责人：
    杜雅珉
  • 依托单位：
    齐鲁工业大学