课题基金 / 基金详情

"Duality, approximations and distances for probabilistic processes"

"Duality, approximations and distances for probabilistic processes"
“概率过程的对偶性、近似值和距离”
批准号：
239294-2012
负责人：
Desharnais, Josée
金额：
$2.04万
依托单位：
Université Laval
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2013
资助国家：
加拿大
项目状态：
已结题
起止时间：
2013-01-01 至 2014-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=524616
关键词：
Dualityapproximationsdistancesprobabilisticprocesses

项目摘要

项目成果

Desharnais, Josée的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
The general goal of the research project is to establish formal methods for reasoning about concurrent probabilistic processes. In particular, I am interested in processes that have a continuous state-space, but are observed in discrete time steps: a well-known model for these systems are Labelled Markov Processes (LMPs).
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Vers la vérification et certification d'algorithmes d'intelligence artificielle
  • 批准号：
    RGPIN-2019-06708
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.48万
  • 财政年份：
    2022
  • 负责人：
    Desharnais, Josée
  • 依托单位：
    Université Laval
Vers la vérification et certification d'algorithmes d'intelligence artificielle
  • 批准号：
    RGPIN-2019-06708
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.48万
  • 财政年份：
    2021
  • 负责人：
    Desharnais, Josée
  • 依托单位：
    Université Laval
Vers la vérification et certification d'algorithmes d'intelligence artificielle
  • 批准号：
    RGPIN-2019-06708
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.48万
  • 财政年份：
    2020
  • 负责人：
    Desharnais, Josée
  • 依托单位：
    Université Laval
Vers la vérification et certification d'algorithmes d'intelligence artificielle
  • 批准号：
    RGPIN-2019-06708
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.48万
  • 财政年份：
    2019
  • 负责人：
    Desharnais, Josée
  • 依托单位：
    Université Laval
海外基金