刷新
{{item.name}}会员
Benchmarks for Probabilistic Model Checking
概率模型检查的基准
基本信息
- 批准号：542243-2019
- 负责人：
- 金额：$ 1.27万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Alexander Graham Bell Canada Graduate Scholarships - Master's
- 财政年份：2019
- 资助国家：加拿大
- 起止时间：2019-01-01 至 2020-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
无摘要- Aucun sommaire
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
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 }}
Fatmi, Syyeda其他文献
Fatmi, Syyeda的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Fatmi, Syyeda', 18)}}的其他基金
Benchmarks for Probabilistic Model Checking
概率模型检查的基准
- 批准号：
539700-2019 - 财政年份：2019
- 资助金额：
$ 1.27万 - 项目类别：
University Undergraduate Student Research Awards
Development of a Wearable Wireless Brain Neural Interface
可穿戴无线脑神经接口的开发
- 批准号：
525334-2018 - 财政年份：2018
- 资助金额：
$ 1.27万 - 项目类别：
University Undergraduate Student Research Awards
相似海外基金
Integration of a deep probabilistic model and an outlier detection method with an attention mechanism and its application to super-high dimensional time series data
深度概率模型与带有注意力机制的异常值检测方法的集成及其在超高维时间序列数据中的应用
- 批准号：
23H03357 - 财政年份：2023
- 资助金额：
$ 1.27万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Improvement of X-ray phase imaging method using diffusion probabilistic model
利用扩散概率模型改进X射线相位成像方法
- 批准号：
23K11700 - 财政年份：2023
- 资助金额：
$ 1.27万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
The dual strategy model of reason: Integrating counterexample and probabilistic reasoning
推理的双重策略模型：反例推理与概率推理的结合
- 批准号：
RGPIN-2022-03310 - 财政年份：2022
- 资助金额：
$ 1.27万 - 项目类别：
Discovery Grants Program - Individual
CAREER: Model-based compression and probabilistic analysis of non-Markovian sequences
职业：非马尔可夫序列的基于模型的压缩和概率分析
- 批准号：
2144974 - 财政年份：2022
- 资助金额：
$ 1.27万 - 项目类别：
Continuing Grant
A Probabilistic Model to Predict Metacarpophalangeal Fractures in Horses
预测马掌指骨骨折的概率模型
- 批准号：
576070-2022 - 财政年份：2022
- 资助金额：
$ 1.27万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Master's
A test of a novel non-probabilistic model of 3D cue integration
3D 线索整合的新型非概率模型的测试
- 批准号：
2120610 - 财政年份：2021
- 资助金额：
$ 1.27万 - 项目类别：
Standard Grant
EAGER: CAS-Climate: AI-driven Probabilistic Technique, Quantile Regression based Artificial Neural Network Model, for Bias Correction and Downscaling of CMIP6 Projections
EAGER：CAS-Climate：人工智能驱动的概率技术、基于分位数回归的人工神经网络模型，用于 CMIP6 投影的偏差校正和缩小
- 批准号：
2151651 - 财政年份：2021
- 资助金额：
$ 1.27万 - 项目类别：
Standard Grant
Soft Robotics Control Engineering by Combining Probabilistic Model-Based Control and Sensor Feedback
结合基于概率模型的控制和传感器反馈的软机器人控制工程
- 批准号：
20H00610 - 财政年份：2020
- 资助金额：
$ 1.27万 - 项目类别：
Grant-in-Aid for Scientific Research (A)
Model Theory and proof theory of probabilistic logic in propositional and modal team semantics
命题和模态团队语义中概率逻辑的模型理论和证明理论
- 批准号：
19F19797 - 财政年份：2019
- 资助金额：
$ 1.27万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Probabilistic graph-to-graph model for reaction prediction and retrosynthetic route prediction
用于反应预测和逆合成路线预测的概率图到图模型
- 批准号：
2276922 - 财政年份：2019
- 资助金额：
$ 1.27万 - 项目类别：
Studentship