刷新
{{item.name}}会员
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
相似海外基金
Using Spatial Ethnography to Preserve the Legacy and Memory of Survivors from the Fukushima Nuclear Disaster
利用空间民族志保存福岛核灾难幸存者的遗产和记忆
- 批准号：
24K21050 - 财政年份：2024
- 资助金额：
$ 0.91万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Digital Archiving and its Use to Preserve Awa Ningyo Joruri for the Future
数字存档及其用于保护未来阿波人形净琉璃的用途
- 批准号：
23K11769 - 财政年份：2023
- 资助金额：
$ 0.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
CAREER: Does long-term topography preserve details of the seismic cycle? Seeing through, and exploiting, the diverse forcings influencing actively deforming landscapes.
职业：长期地形是否保留了地震周期的细节？
- 批准号：
2237437 - 财政年份：2023
- 资助金额：
$ 0.91万 - 项目类别：
Standard Grant
Equipment: Helium Recovery Equipment: Critical Helium Recycling System for CSUN to Preserve NMR Access for Research and Teaching
设备：氦气回收设备：CSUN 的关键氦气回收系统，以保留 NMR 用于研究和教学的通道
- 批准号：
2304705 - 财政年份：2023
- 资助金额：
$ 0.91万 - 项目类别：
Standard Grant
THE NIH NEUROBIOBANK BRAIN AND TISSUE REPOSITORY (NBTR) TO PROVIDE SERVICES THAT WILL ACTIVELY ACQUIRE, RECEIVE, STORE, CURATE, PRESERVE, AND DISTRIBU
NIH NEUROBIOBANK 大脑和组织存储库 (NBTR) 提供积极获取、接收、存储、管理、保存和分发的服务
- 批准号：
10916992 - 财政年份：2023
- 资助金额：
$ 0.91万 - 项目类别：
THE NIH NEUROBIOBANK BRAIN AND TISSUE REPOSITORY (NBTR) TO PROVIDE SERVICES THAT WILL ACTIVELY ACQUIRE, RECEIVE, STORE, CURATE, PRESERVE, AND DISTRIBUTE CNS AND RELATED BIOLOGICAL SPECIMENS TO QUALIFI
NIH NEUROBIOBANK 大脑和组织存储库 (NBTR) 提供积极获取、接收、存储、整理、保存和分发 CNS 及相关生物样本的服务，以确保符合资格
- 批准号：
10948523 - 财政年份：2023
- 资助金额：
$ 0.91万 - 项目类别：
Creatine supplementation and resistance training to preserve muscle mass and attenuate cancer progression: A double-blind randomized controlled trial
肌酸补充剂和阻力训练可保持肌肉质量并减缓癌症进展：一项双盲随机对照试验
- 批准号：
10712432 - 财政年份：2023
- 资助金额：
$ 0.91万 - 项目类别：
A novel genetic switch with an optimal ON/OFF ratio to preserve growth performance prior to Escherichia coli autolysis for enhanced plasmid release
一种具有最佳开/关比的新型基因开关，可在大肠杆菌自溶之前保持生长性能，从而增强质粒释放
- 批准号：
2881246 - 财政年份：2023
- 资助金额：
$ 0.91万 - 项目类别：
Studentship
Assessing the potential to transform our 'Just A Minute' of bone specific activity finding into a population level intervention to help preserve bone
评估将“只需一分钟”的骨特异性活动发现转化为人群水平干预措施以帮助保护骨骼的潜力
- 批准号：
ES/Y00793X/1 - 财政年份：2023
- 资助金额：
$ 0.91万 - 项目类别：
Research Grant
Publishing People – Investigating AI’s ability to preserve - and facilitate interaction with - the knowledge, experience and specialism of industry experts
出版人员 — 调查人工智能保存并促进与行业专家的知识、经验和专业知识互动的能力
- 批准号：
10079562 - 财政年份：2023
- 资助金额：
$ 0.91万 - 项目类别：
Collaborative R&D