课题基金 / 基金详情

Probabilistic systems and applications

Probabilistic systems and applications
概率系统和应用
批准号：
104873-2010
负责人：
Panangaden, Prakash
金额：
$3.72万
依托单位：
McGill University
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2013
资助国家：
加拿大
项目状态：
已结题
起止时间：
2013-01-01 至 2014-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=521895
关键词：
Probabilisticsystemsapplications

项目摘要

项目成果

Panangaden, Prakash的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Probabilistic systems are becoming more common as we move towards a world in which embedded real-time systems, process control systems, flight management systems and communication systems become more common. Establishing the correctness of such systems poses new challenges for verification technology especially when we combine continuous space and real-time aspects with probability. The purpose of this proposal is to develop the mathematical framework for reasoning about such systems. This project is not about randomized algorithms but rather about reasoning in the presence of uncertainty with a view towards verification.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Probabilistic reasoning and machine learning
  • 批准号：
    RGPIN-2020-05070
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $4.66万
  • 财政年份：
    2022
  • 负责人：
    Panangaden, Prakash
  • 依托单位：
    McGill University
Probabilistic reasoning and machine learning
  • 批准号：
    RGPIN-2020-05070
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $4.66万
  • 财政年份：
    2021
  • 负责人：
    Panangaden, Prakash
  • 依托单位：
    McGill University
Probabilistic reasoning and machine learning
  • 批准号：
    RGPIN-2020-05070
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $4.66万
  • 财政年份：
    2020
  • 负责人：
    Panangaden, Prakash
  • 依托单位：
    McGill University
Reasoning About Probabilistic and Concurrent Systems
  • 批准号：
    RGPIN-2015-05508
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $3.64万
  • 财政年份：
    2019
  • 负责人：
    Panangaden, Prakash
  • 依托单位：
    McGill University
国内基金
海外基金
Graphon mean field games with partial observation and application to failure detection in distributed systems
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
    MATHIEULOUROCHLAURIERE
  • 依托单位：
    上海纽约大学
EstimatingLarge Demand Systems with MachineLearning Techniques
  • 批准号：
    --
  • 项目类别：
    外国学者研究基金
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    IoshuaAlex
  • 依托单位：
    西南财经大学经济学院
基于“阳化气、阴成形”理论探讨龟鹿二仙胶调控 HIF-1α/Systems Xc-通路抑制铁死亡治疗少弱精子症的作用机理
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    15.0万元
  • 批准年份：
    2024
  • 负责人：
    丁劲
  • 依托单位：
    深圳市宝安区中医院
Understanding complicated gravitational physics by simple two-shell systems
  • 批准号：
    12005059
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    24.0万元
  • 批准年份：
    2020
  • 负责人：
    国分隆文
  • 依托单位：
    湖南师范大学