Compilers that Preserve and Enforce Invariants and Proofs
保留并强制执行不变量和证明的编译器
基本信息
- 批准号：DGECR-2019-00061
- 负责人：
- 金额：$ 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 }}
Bowman, William其他文献
Atomic-resolution Observations of Grain Boundary Segregation in Multiphase Ceramics by Aberration-corrected STEM
通过像差校正 STEM 对多相陶瓷中的晶界偏析进行原子分辨率观察
- DOI：
10.1017/s1431927620017432 - 发表时间：
2020 - 期刊：
- 影响因子：2.8
- 作者：
Syed, Komal;Xu, Mingjie;Kok, David;Ohtaki, Kenta;Bowman, William;Mecartney, Martha - 通讯作者：
Mecartney, Martha
Bowman, William的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Bowman, William', 18)}}的其他基金
Compilers that Preserve and Enforce Invariants and Proofs
保留并强制执行不变量和证明的编译器
- 批准号：
RGPIN-2019-04207 - 财政年份：2022
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual
Compilers that Preserve and Enforce Invariants and Proofs
保留并强制执行不变量和证明的编译器
- 批准号：
RGPIN-2019-04207 - 财政年份：2021
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual
Compilers that Preserve and Enforce Invariants and Proofs
保留并强制执行不变量和证明的编译器
- 批准号：
RGPIN-2019-04207 - 财政年份：2020
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual
Compilers that Preserve and Enforce Invariants and Proofs
保留并强制执行不变量和证明的编译器
- 批准号：
RGPIN-2019-04207 - 财政年份：2019
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
基于水岩作用数值模拟的膏盐岩-碳酸盐岩体系储层保存机制研究——以鄂尔多斯盆地奥陶系马家沟组为例
- 批准号：42302139
- 批准年份：2023
- 资助金额：20 万元
- 项目类别：青年科学基金项目
光热导电高分子-抗冻多肽二维纳米冷冻剂用于类器官冷冻保存的研究
- 批准号：22305141
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
上扬子地区震旦系灯影组巨厚组构保存型白云岩形成过程及模式
- 批准号：42372140
- 批准年份：2023
- 资助金额：53 万元
- 项目类别：面上项目
超低浓度甘油下人红细胞大体积高压积的低温保存研究
- 批准号：82300261
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
磷酸戊糖途径在改善血小板保存寿命中的作用机制研究
- 批准号：82370229
- 批准年份：2023
- 资助金额：48 万元
- 项目类别：面上项目
相似海外基金
ポンペイ遺跡壁画における無機物を主体とした保存修復材料による補強技法の確立
以无机材料为主的庞贝遗址壁画保护修复材料加固技术的建立
- 批准号：
23K20124 - 财政年份：2024
- 资助金额：
$ 0.91万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
超瞬間レーザー解凍による次世代細胞凍結保存技術の確立とバイオバンキングへの展開
新一代超瞬时激光解冻细胞冻存技术的建立及其在生物样本库中的应用
- 批准号：
23K21071 - 财政年份：2024
- 资助金额：
$ 0.91万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
パリティ非保存測定を目指した極低温超高精度分子分光システムの構築
构建用于无宇称测量的低温超高精度分子光谱系统
- 批准号：
23K22520 - 财政年份：2024
- 资助金额：
$ 0.91万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
歴史文化遺産の保存と活用に資するイコモス「遺産影響評価」の拡張と実装に関する研究
研究扩大和实施ICOMOS“遗产影响评估”，有助于历史文化遗产的保护和利用
- 批准号：
23K22937 - 财政年份：2024
- 资助金额：
$ 0.91万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
野生コムギの生存戦略としての特異的休眠機構の解明と遺伝資源保全への応用
阐明野生小麦生存策略的特定休眠机制及其在遗传资源保护中的应用
- 批准号：
23K26927 - 财政年份：2024
- 资助金额：
$ 0.91万 - 项目类别：
Grant-in-Aid for Scientific Research (B)