Proof-carrying programs
携带证明的程序
基本信息
- 批准号：203416-2002
- 负责人：
- 金额：$ 1.6万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2004
- 资助国家：加拿大
- 起止时间：2004-01-01 至 2005-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
没有摘要-Aucun Sommaire
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
暂无数据
数据更新时间：2024-06-01
Sekerinski, Emil的其他基金
Theories and Tools for Sustainable Programming
可持续规划的理论和工具
- 批准号：RGPIN-2017-06692RGPIN-2017-06692
- 财政年份：2021
- 资助金额：$ 1.6万$ 1.6万
- 项目类别：Discovery Grants Program - IndividualDiscovery Grants Program - Individual
Theories and Tools for Sustainable Programming
可持续规划的理论和工具
- 批准号：RGPIN-2017-06692RGPIN-2017-06692
- 财政年份：2020
- 资助金额：$ 1.6万$ 1.6万
- 项目类别：Discovery Grants Program - IndividualDiscovery Grants Program - Individual
Theories and Tools for Sustainable Programming
可持续规划的理论和工具
- 批准号：RGPIN-2017-06692RGPIN-2017-06692
- 财政年份：2019
- 资助金额：$ 1.6万$ 1.6万
- 项目类别：Discovery Grants Program - IndividualDiscovery Grants Program - Individual
Theories and Tools for Sustainable Programming
可持续规划的理论和工具
- 批准号：RGPIN-2017-06692RGPIN-2017-06692
- 财政年份：2018
- 资助金额：$ 1.6万$ 1.6万
- 项目类别：Discovery Grants Program - IndividualDiscovery Grants Program - Individual
Theories and Tools for Sustainable Programming
可持续规划的理论和工具
- 批准号：RGPIN-2017-06692RGPIN-2017-06692
- 财政年份：2017
- 资助金额：$ 1.6万$ 1.6万
- 项目类别：Discovery Grants Program - IndividualDiscovery Grants Program - Individual
Programming Methodology for Multi-Core Concurrency and Adaptation
多核并发与适配的编程方法论
- 批准号：203416-2012203416-2012
- 财政年份：2015
- 资助金额：$ 1.6万$ 1.6万
- 项目类别：Discovery Grants Program - IndividualDiscovery Grants Program - Individual
Programming Methodology for Multi-Core Concurrency and Adaptation
多核并发与适配的编程方法论
- 批准号：203416-2012203416-2012
- 财政年份：2014
- 资助金额：$ 1.6万$ 1.6万
- 项目类别：Discovery Grants Program - IndividualDiscovery Grants Program - Individual
Programming Methodology for Multi-Core Concurrency and Adaptation
多核并发与适配的编程方法论
- 批准号：203416-2012203416-2012
- 财政年份：2013
- 资助金额：$ 1.6万$ 1.6万
- 项目类别：Discovery Grants Program - IndividualDiscovery Grants Program - Individual
Programming Methodology for Multi-Core Concurrency and Adaptation
多核并发与适配的编程方法论
- 批准号：203416-2012203416-2012
- 财政年份：2012
- 资助金额：$ 1.6万$ 1.6万
- 项目类别：Discovery Grants Program - IndividualDiscovery Grants Program - Individual
Languages and tools for the construction of verifiable programs
用于构建可验证程序的语言和工具
- 批准号：203416-2006203416-2006
- 财政年份：2010
- 资助金额：$ 1.6万$ 1.6万
- 项目类别：Discovery Grants Program - IndividualDiscovery Grants Program - Individual
相似国自然基金
基于靶向代谢组学对携带MYH7基因突变的肥厚型心肌病患者不完全外显的机制研究
- 批准号：82371974
- 批准年份：2023
- 资助金额：50 万元
- 项目类别：面上项目
肿瘤小泡携带circBBS9促进骨单核巨噬细胞免疫抑制性表型形成的机制研究
- 批准号：82371739
- 批准年份：2023
- 资助金额：49 万元
- 项目类别：面上项目
新疆旱獭等啮齿动物携带病毒的病原学与病原生态学研究
- 批准号：32300424
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
数据可携带权规制主导平台的理论基础、作用路径和政策建议
- 批准号：72373082
- 批准年份：2023
- 资助金额：41 万元
- 项目类别：面上项目
图们江流域中国边境地区候鸟-蜱-蜱携带病原流行病学数据库的建立及候鸟对蜱携带病原体多态性影响机制研究
- 批准号：32360886
- 批准年份：2023
- 资助金额：32 万元
- 项目类别：地区科学基金项目
相似海外基金
Molecular characterization of heme-carrying proteins targeted by S. pneumoniae-produced hydrogen peroxide to induce cell death
肺炎链球菌产生的过氧化氢诱导细胞死亡的血红素携带蛋白的分子特征
- 批准号：1055387010553870
- 财政年份：2023
- 资助金额：$ 1.6万$ 1.6万
- 项目类别：
The Role of Iron Deficiency in COPD Morbidity
缺铁在慢性阻塞性肺病发病中的作用
- 批准号：1075000310750003
- 财政年份：2023
- 资助金额：$ 1.6万$ 1.6万
- 项目类别：
Household air pollution, inflammation, and effects on hemoglobin concentration among pregnant women and infants
家庭空气污染、炎症以及对孕妇和婴儿血红蛋白浓度的影响
- 批准号：1065073110650731
- 财政年份：2022
- 资助金额：$ 1.6万$ 1.6万
- 项目类别：
Household air pollution, inflammation, and effects on hemoglobin concentration among pregnant women and infants
家庭空气污染、炎症以及对孕妇和婴儿血红蛋白浓度的影响
- 批准号：1043138010431380
- 财政年份：2022
- 资助金额：$ 1.6万$ 1.6万
- 项目类别：
Development of Technologies for Efficient In Vivo Prime Editing
高效体内 Prime 编辑技术的开发
- 批准号：1018420710184207
- 财政年份：2021
- 资助金额：$ 1.6万$ 1.6万
- 项目类别：