刷新
{{item.name}}会员
Probabilistic Checking against Non-Signaling Strategies
针对非信号策略的概率检查
基本信息
- 批准号：DGECR-2019-00399
- 负责人：
- 金额：$ 0.91万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Launch Supplement
- 财政年份：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 }}
Shinkar, Igor其他文献
Shinkar, Igor的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Shinkar, Igor', 18)}}的其他基金
Probabilistic Checking against Non-Signaling Strategies
针对非信号策略的概率检查
- 批准号：
RGPIN-2019-06236 - 财政年份：2022
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual
Probabilistic Checking against Non-Signaling Strategies
针对非信号策略的概率检查
- 批准号：
RGPIN-2019-06236 - 财政年份：2021
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual
Probabilistic Checking against Non-Signaling Strategies
针对非信号策略的概率检查
- 批准号：
RGPIN-2019-06236 - 财政年份：2020
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual
Probabilistic Checking against Non-Signaling Strategies
针对非信号策略的概率检查
- 批准号：
RGPIN-2019-06236 - 财政年份：2019
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual
相似海外基金
Development of model checking technology for dependable distributed systems
可靠分布式系统模型检测技术的开发
- 批准号：
23H03370 - 财政年份：2023
- 资助金额：
$ 0.91万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Proof Checking for SMT-solving and its application in the Railway domain
SMT求解的验证及其在铁路领域的应用
- 批准号：
2822973 - 财政年份：2023
- 资助金额：
$ 0.91万 - 项目类别：
Studentship
Effects of Political Ideology and News Consumption on the Public's Perception of Fact-Checking: The Case of the United Kingdom
政治意识形态和新闻消费对公众事实核查认知的影响：以英国为例
- 批准号：
2889835 - 财政年份：2023
- 资助金额：
$ 0.91万 - 项目类别：
Studentship
Securing Web-based Services by Policy Coherence and Proof-checking
通过策略一致性和验证检查来保护基于 Web 的服务
- 批准号：
DP230102828 - 财政年份：2023
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Projects
Semi-Automated Checking of Research Outputs
研究成果的半自动检查
- 批准号：
MC_PC_23006 - 财政年份：2023
- 资助金额：
$ 0.91万 - 项目类别：
Intramural
ImmunIGy: A Novel Pen-side Test for Checking Calf Immune Status, to increase the efficiency of beef production through supply chain feedback and improved management
ImmunIGy：一种用于检查小牛免疫状态的新型栏边测试，通过供应链反馈和改进管理来提高牛肉生产效率
- 批准号：
10052523 - 财政年份：2023
- 资助金额：
$ 0.91万 - 项目类别：
Collaborative R&D
A Tableau-based Approach to Model Checking Temporal Properties for Large-scale Systems
基于 Tableau 的大型系统时态属性模型检查方法
- 批准号：
23K19959 - 财政年份：2023
- 资助金额：
$ 0.91万 - 项目类别：
Grant-in-Aid for Research Activity Start-up
Towards reliable automated fact-checking in Public Health
在公共卫生领域实现可靠的自动事实核查
- 批准号：
2719172 - 财政年份：2022
- 资助金额：
$ 0.91万 - 项目类别：
Studentship
Integrating a low-barrier drug checking platform into public health responses to overdose
将低门槛药物检查平台纳入公共卫生应对过量用药的过程中
- 批准号：
549668-2020 - 财政年份：2022
- 资助金额：
$ 0.91万 - 项目类别：
Collaborative Health Research Projects