刷新
{{item.name}}会员
A proof development environment for proof-carrying code
携带证明代码的证明开发环境
基本信息
- 批准号：227798-2000
- 负责人：
- 金额：$ 2.04万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2002
- 资助国家：加拿大
- 起止时间：2002-01-01 至 2003-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 }}
Felty, Amy其他文献
Felty, Amy的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Felty, Amy', 18)}}的其他基金
A Higher-Order Abstract Syntax Approach to Reasoning about Programs and Programming Languages
推理程序和编程语言的高阶抽象语法方法
- 批准号：
RGPIN-2015-04158 - 财政年份：2022
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
A Higher-Order Abstract Syntax Approach to Reasoning about Programs and Programming Languages
推理程序和编程语言的高阶抽象语法方法
- 批准号：
RGPIN-2015-04158 - 财政年份：2021
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
A Higher-Order Abstract Syntax Approach to Reasoning about Programs and Programming Languages
推理程序和编程语言的高阶抽象语法方法
- 批准号：
RGPIN-2015-04158 - 财政年份：2020
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
A Higher-Order Abstract Syntax Approach to Reasoning about Programs and Programming Languages
推理程序和编程语言的高阶抽象语法方法
- 批准号：
RGPIN-2015-04158 - 财政年份：2019
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
A Higher-Order Abstract Syntax Approach to Reasoning about Programs and Programming Languages
推理程序和编程语言的高阶抽象语法方法
- 批准号：
RGPIN-2015-04158 - 财政年份：2018
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
A Higher-Order Abstract Syntax Approach to Reasoning about Programs and Programming Languages
推理程序和编程语言的高阶抽象语法方法
- 批准号：
RGPIN-2015-04158 - 财政年份：2017
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
A Higher-Order Abstract Syntax Approach to Reasoning about Programs and Programming Languages
推理程序和编程语言的高阶抽象语法方法
- 批准号：
RGPIN-2015-04158 - 财政年份：2016
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
A Higher-Order Abstract Syntax Approach to Reasoning about Programs and Programming Languages
推理程序和编程语言的高阶抽象语法方法
- 批准号：
RGPIN-2015-04158 - 财政年份：2015
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
Machine-assisted theorem proving: Proof techniques and applications
机器辅助定理证明：证明技术和应用
- 批准号：
227798-2009 - 财政年份：2014
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
Machine-assisted theorem proving: Proof techniques and applications
机器辅助定理证明：证明技术和应用
- 批准号：
227798-2009 - 财政年份：2013
- 资助金额：
$ 2.04万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
损伤线粒体传递机制介导成纤维细胞/II型肺泡上皮细胞对话在支气管肺发育不良肺泡发育阻滞中的作用
- 批准号：82371721
- 批准年份：2023
- 资助金额：49.00 万元
- 项目类别：面上项目
增强子在小鼠早期胚胎细胞命运决定中的功能和调控机制研究
- 批准号：82371668
- 批准年份：2023
- 资助金额：52.00 万元
- 项目类别：面上项目
MAP2的m6A甲基化在七氟烷引起SST神经元树突发育异常及精细运动损伤中的作用机制研究
- 批准号：82371276
- 批准年份：2023
- 资助金额：47.00 万元
- 项目类别：面上项目
"胚胎/生殖细胞发育特性激活”促进“神经胶质瘤恶变”的机制及其临床价值研究
- 批准号：82372327
- 批准年份：2023
- 资助金额：49.00 万元
- 项目类别：面上项目
Irisin通过整合素调控黄河鲤肌纤维发育的分子机制研究
- 批准号：32303019
- 批准年份：2023
- 资助金额：30.00 万元
- 项目类别：青年科学基金项目
TMEM30A介导的磷脂酰丝氨酸外翻促进毛细胞-SGN突触发育成熟的机制研究
- 批准号：82371172
- 批准年份：2023
- 资助金额：49.00 万元
- 项目类别：面上项目
HER2特异性双抗原表位识别诊疗一体化探针研制与临床前诊疗效能研究
- 批准号：82372014
- 批准年份：2023
- 资助金额：48.00 万元
- 项目类别：面上项目
水稻边界发育缺陷突变体abnormal boundary development(abd)的基因克隆与功能分析
- 批准号：32070202
- 批准年份：2020
- 资助金额：58 万元
- 项目类别：面上项目
Development of a Linear Stochastic Model for Wind Field Reconstruction from Limited Measurement Data
- 批准号：
- 批准年份：2020
- 资助金额：40 万元
- 项目类别：
细胞核分布基因NudCL2在细胞迁移及小鼠胚胎发育过程中的作用及机制研究
- 批准号：31701214
- 批准年份：2017
- 资助金额：25.0 万元
- 项目类别：青年科学基金项目
相似海外基金
Targeting T cell dysfunction in glioblastoma: A proof-of-concept Phase 0/I trial of anti-TIGIT antibody AB154 in combination with anti-PD1 antibody AB122
靶向胶质母细胞瘤中的 T 细胞功能障碍：抗 TIGIT 抗体 AB154 与抗 PD1 抗体 AB122 联合的概念验证 0/I 期试验
- 批准号：
10346649 - 财政年份：2022
- 资助金额：
$ 2.04万 - 项目类别：
Targeting T cell dysfunction in glioblastoma: A proof-of-concept Phase 0/I trial of anti-TIGIT antibody AB154 in combination with anti-PD1 antibody AB122
靶向胶质母细胞瘤中的 T 细胞功能障碍：抗 TIGIT 抗体 AB154 与抗 PD1 抗体 AB122 联合的概念验证 0/I 期试验
- 批准号：
10573141 - 财政年份：2022
- 资助金额：
$ 2.04万 - 项目类别：
Targeting Clostridioides difficile with microbiome-sparing, resistant-proof anti-toxins
使用保留微生物组、抗耐药性的抗毒素来靶向艰难梭菌
- 批准号：
10376809 - 财政年份：2021
- 资助金额：
$ 2.04万 - 项目类别：
Targeting Clostridioides difficile with microbiome-sparing, resistant-proof anti-toxins
使用保留微生物组、抗耐药性的抗毒素来靶向艰难梭菌
- 批准号：
10115406 - 财政年份：2021
- 资助金额：
$ 2.04万 - 项目类别：
Targeting Clostridioides difficile with microbiome-sparing, resistant-proof anti-toxins
使用保留微生物组、抗耐药性的抗毒素来靶向艰难梭菌
- 批准号：
10656160 - 财政年份：2021
- 资助金额：
$ 2.04万 - 项目类别：
Proof-of-Concept Clinical Trial of Lamotrigine as a Candidate Pharmacotherapy for Adolescent Alcohol Use Disorder
拉莫三嗪作为青少年酒精使用障碍候选药物疗法的概念验证临床试验
- 批准号：
10192619 - 财政年份：2020
- 资助金额：
$ 2.04万 - 项目类别：
Coronavirus RNA synthesis by multicomponent protein machines
多组分蛋白质机器合成冠状病毒RNA
- 批准号：
10669608 - 财政年份：2020
- 资助金额：
$ 2.04万 - 项目类别：
Proof of concept study to treat negative affect in chronic low back pain
治疗慢性腰痛负面影响的概念验证研究
- 批准号：
10258046 - 财政年份：2019
- 资助金额：
$ 2.04万 - 项目类别：
Proof of concept study to treat negative affect in chronic low back pain
治疗慢性腰痛负面影响的概念验证研究
- 批准号：
10216519 - 财政年份：2019
- 资助金额：
$ 2.04万 - 项目类别：
Research and development of learning environment of operative proof that promotes exploratory learning activities
促进探索性学习活动的操作证明学习环境的研究与开发
- 批准号：
16K04647 - 财政年份：2016
- 资助金额：
$ 2.04万 - 项目类别：
Grant-in-Aid for Scientific Research (C)