刷新
{{item.name}}会员
Establishing Trust in Formal Systems by Automatic Verification
通过自动验证建立对正式系统的信任
基本信息
- 批准号：565952-2021
- 负责人：
- 金额：$ 1.27万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Alexander Graham Bell Canada Graduate Scholarships - Master's
- 财政年份：2021
- 资助国家：加拿大
- 起止时间：2021-01-01 至 2022-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 }}
Schwartzentruber, Johanna其他文献
Schwartzentruber, Johanna的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Schwartzentruber, Johanna', 18)}}的其他基金
HOL Light QE
HOL 轻量级量化
- 批准号：
552513-2020 - 财政年份：2020
- 资助金额：
$ 1.27万 - 项目类别：
University Undergraduate Student Research Awards
相似海外基金
TRUST2 - Improving TRUST in artificial intelligence and machine learning for critical building management
TRUST2 - 提高关键建筑管理的人工智能和机器学习的信任度
- 批准号：
10093095 - 财政年份：2024
- 资助金额：
$ 1.27万 - 项目类别：
Collaborative R&D
Trust in forensic science evidence in the criminal justice system: The experience of marginalised groups
刑事司法系统中对法医科学证据的信任：边缘群体的经历
- 批准号：
ES/Y010639/1 - 财政年份：2024
- 资助金额：
$ 1.27万 - 项目类别：
Research Grant
Haptic Shared Control Systems And A Neuroergonomic Approach To Measuring System Trust
触觉共享控制系统和测量系统信任的神经工学方法
- 批准号：
EP/Y00194X/1 - 财政年份：2024
- 资助金额：
$ 1.27万 - 项目类别：
Research Grant
SBIR Phase II: Zero Trust Solution for Precision Medicine and Precision Health Data Exchanges
SBIR 第二阶段：精准医疗和精准健康数据交换的零信任解决方案
- 批准号：
2226026 - 财政年份：2024
- 资助金额：
$ 1.27万 - 项目类别：
Cooperative Agreement
Doctoral Dissertation Research: Trust-Building Communication and Climate Decision Making
博士论文研究：建立信任的沟通与气候决策
- 批准号：
2343706 - 财政年份：2024
- 资助金额：
$ 1.27万 - 项目类别：
Standard Grant
Trust in Pacific Healthcare: Transforming research, policy and practice
对太平洋医疗保健的信任：改变研究、政策和实践
- 批准号：
DP230102606 - 财政年份：2024
- 资助金额：
$ 1.27万 - 项目类别：
Discovery Projects
A Person-Centred Approach to Understanding Trust in Moral Machines
以人为本的方法来理解道德机器的信任
- 批准号：
EP/Y00440X/1 - 财政年份：2024
- 资助金额：
$ 1.27万 - 项目类别：
Research Grant
Trust Matrix: A blockchain-driven system for business identity verification, increasing business efficiency and reducing fraud.
Trust Matrix：区块链驱动的企业身份验证系统，可提高业务效率并减少欺诈。
- 批准号：
10099958 - 财政年份：2024
- 资助金额：
$ 1.27万 - 项目类别：
Collaborative R&D
Open Access Block Award 2024 - Bradford Teaching Hosp NHS Found Trust
2024 年开放访问区块奖 - 布拉德福德教学医院 NHS 赢得信任
- 批准号：
EP/Z53139X/1 - 财政年份：2024
- 资助金额：
$ 1.27万 - 项目类别：
Research Grant
Open Access Block Award 2024 - Kings College Hospital NHS Foundation Trust
2024 年开放访问区块奖 - 国王学院医院 NHS 基金会信托
- 批准号：
EP/Z532940/1 - 财政年份：2024
- 资助金额：
$ 1.27万 - 项目类别：
Research Grant