刷新
{{item.name}}会员
Resource-safe Programming for Trusted Execution Environments
可信执行环境的资源安全编程
基本信息
- 批准号：576896-2022
- 负责人：
- 金额：$ 0.44万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：University Undergraduate Student Research Awards
- 财政年份：2022
- 资助国家：加拿大
- 起止时间：2022-01-01 至 2023-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 }}
Chin, AndrewAC其他文献
Chin, AndrewAC的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似国自然基金
基于深穿透拉曼光谱的安全光照剂量的深层病灶无创检测与深度预测
- 批准号：82372016
- 批准年份：2023
- 资助金额：48.00 万元
- 项目类别：面上项目
叶绿体蛋白SAFE1和SAFE2介导单线态氧信号转导的机理研究
- 批准号：32170284
- 批准年份：2021
- 资助金额：60 万元
- 项目类别：面上项目
基于Safe screening的多任务稀疏学习理论与算法的研究
- 批准号：
- 批准年份：2020
- 资助金额：51 万元
- 项目类别：面上项目
醛糖还原酶（AR）激活SAFE（JAKs/STATs）通路在抵抗下颌下腺缺血再灌注损伤中的作用
- 批准号：
- 批准年份：2019
- 资助金额：10.0 万元
- 项目类别：省市级项目
基于Safe screening 的支持向量机的稀疏理论及其快速求解方法
- 批准号：11671010
- 批准年份：2016
- 资助金额：48.0 万元
- 项目类别：面上项目
Notch1与RISK/SAFE/HIF-1α信号通路整合在I-postC保护中的作用及其机制
- 批准号：81260024
- 批准年份：2012
- 资助金额：50.0 万元
- 项目类别：地区科学基金项目
氙气延迟后处理对兔脊髓缺血再灌注损伤的保护作用及SAFE细胞信号机制研究
- 批准号：81271387
- 批准年份：2012
- 资助金额：70.0 万元
- 项目类别：面上项目
相似海外基金
Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)
安全可靠的高级架构并发编程 (COVERT)
- 批准号：
EP/X015149/1 - 财政年份：2023
- 资助金额：
$ 0.44万 - 项目类别：
Research Grant
Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)
安全可靠的高级架构并发编程 (COVERT)
- 批准号：
EP/X015076/1 - 财政年份：2023
- 资助金额：
$ 0.44万 - 项目类别：
Research Grant
Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)
安全可靠的高级架构并发编程 (COVERT)
- 批准号：
EP/X015114/1 - 财政年份：2023
- 资助金额：
$ 0.44万 - 项目类别：
Research Grant
Fast and Furious(ly) Safe: Predicting Intent of Agents on the Road Using Probabilistic Programming and Reinforcement Learning
《速度与激情》安全：使用概率编程和强化学习预测道路上智能体的意图
- 批准号：
559891-2021 - 财政年份：2022
- 资助金额：
$ 0.44万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Moebius: Logical Principles for Type-Safe Meta-Programming
Moebius：类型安全元编程的逻辑原理
- 批准号：
RGPIN-2022-03224 - 财政年份：2022
- 资助金额：
$ 0.44万 - 项目类别：
Discovery Grants Program - Individual
Fast and Furious(ly) Safe: Predicting Intent of Agents on the Road Using Probabilistic Programming and Reinforcement Learning
《速度与激情》安全：使用概率编程和强化学习预测道路上智能体的意图
- 批准号：
559891-2021 - 财政年份：2021
- 资助金额：
$ 0.44万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
SHF: Small: Probabilistic Programming and Statistical Verification for Safe Autonomy
SHF：小：安全自治的概率编程和统计验证
- 批准号：
2008883 - 财政年份：2020
- 资助金额：
$ 0.44万 - 项目类别：
Standard Grant
CSR: Small: Delegation Systems for Efficient and Safe Multi-Core Programming
CSR：小型：用于高效、安全多核编程的委派系统
- 批准号：
1816714 - 财政年份：2018
- 资助金额：
$ 0.44万 - 项目类别：
Standard Grant
Overall study of safe learning-Programming and class development by judgment paper utilization of teaching materials
安全学习整体研究——教材运用评判题编程与班级发展
- 批准号：
17K04877 - 财政年份：2017
- 资助金额：
$ 0.44万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
CAREER: Generative Programming and DSLs for Safe Performance Critical Systems
职业：用于安全性能关键系统的生成式编程和 DSL
- 批准号：
1553471 - 财政年份：2016
- 资助金额：
$ 0.44万 - 项目类别：
Continuing Grant