刷新
{{item.name}}会员
Verification and repair of faulty software systems
故障软件系统的验证和修复
基本信息
- 批准号：475593-2015
- 负责人：
- 金额：$ 2.55万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Alexander Graham Bell Canada Graduate Scholarships - Doctoral
- 财政年份：2015
- 资助国家：加拿大
- 起止时间：2015-01-01 至 2016-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 }}
Amy, Matthew其他文献
On the controlled-NOT complexity of controlled-NOT-phase circuits
- DOI：
10.1088/2058-9565/aad8ca - 发表时间：
2019-01-01 - 期刊：
- 影响因子：6.7
- 作者：
Amy, Matthew;Azimzadeh, Parsiad;Mosca, Michele - 通讯作者：
Mosca, Michele
Art by firelight? Using experimental and digital techniques to explore Magdalenian engraved plaquette use at Montastruc (France).
- DOI：
10.1371/journal.pone.0266146 - 发表时间：
2022 - 期刊：
- 影响因子：3.7
- 作者：
Needham, Andy;Wisher, Izzy;Langley, Andrew;Amy, Matthew;Little, Aimee - 通讯作者：
Little, Aimee
Polynomial-Time T-Depth Optimization of Clifford plus T Circuits Via Matroid Partitioning
- DOI：
10.1109/tcad.2014.2341953 - 发表时间：
2014-10-01 - 期刊：
- 影响因子：2.9
- 作者：
Amy, Matthew;Maslov, Dmitri;Mosca, Michele - 通讯作者：
Mosca, Michele
A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits
- DOI：
10.1109/tcad.2013.2244643 - 发表时间：
2013-06-01 - 期刊：
- 影响因子：2.9
- 作者：
Amy, Matthew;Maslov, Dmitri;Roetteler, Martin - 通讯作者：
Roetteler, Martin
Amy, Matthew的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Amy, Matthew', 18)}}的其他基金
Formal methods for reliable, high-performance quantum computing
可靠、高性能量子计算的形式化方法
- 批准号：
RGPIN-2022-03319 - 财政年份：2022
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Grants Program - Individual
Formal methods for reliable, high-performance quantum computing
可靠、高性能量子计算的形式化方法
- 批准号：
DGECR-2022-00363 - 财政年份：2022
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Launch Supplement
Static Analysis of Concurrent Programs
并发程序的静态分析
- 批准号：
415729-2011 - 财政年份：2011
- 资助金额：
$ 2.55万 - 项目类别：
University Undergraduate Student Research Awards
相似国自然基金
酶响应的中性粒细胞外泌体载药体系在眼眶骨缺损修复中的作用及机制研究
- 批准号：82371102
- 批准年份：2023
- 资助金额：49.00 万元
- 项目类别：面上项目
NPM1表观重塑巨噬细胞代谢及修复表型在心肌缺血损伤中的调控作用
- 批准号：82371825
- 批准年份：2023
- 资助金额：49.00 万元
- 项目类别：面上项目
间皮细胞衰老在腹膜透析后腹膜适应不良修复和纤维化发病中的作用及机制研究
- 批准号：82370743
- 批准年份：2023
- 资助金额：49.00 万元
- 项目类别：面上项目
衰老抑制脊髓损伤修复的CXCL13依赖性CD8+T细胞通讯机制研究
- 批准号：82371585
- 批准年份：2023
- 资助金额：49.00 万元
- 项目类别：面上项目
铜募集微纳米网片上调LOX活性稳定胶原网络促进盆底修复的研究
- 批准号：82371638
- 批准年份：2023
- 资助金额：49.00 万元
- 项目类别：面上项目
靶向PARylation介导的DNA损伤修复途径在恶性肿瘤治疗中的作用与分子机制研究
- 批准号：82373145
- 批准年份：2023
- 资助金额：49.00 万元
- 项目类别：面上项目
运用3D打印和生物反应器构建仿生尿道模型探索Hippo-YAP信号通路调控尿道损伤修复的机制研究
- 批准号：82370684
- 批准年份：2023
- 资助金额：49.00 万元
- 项目类别：面上项目
槲皮素控释系统调控Mettl3/Per1修复氧化应激损伤促牙周炎骨再生及机制研究
- 批准号：82370921
- 批准年份：2023
- 资助金额：48.00 万元
- 项目类别：面上项目
解码精母细胞特异5’UTR元件调控DNA损伤修复基因MSH5翻译挽救减数分裂障碍的研究
- 批准号：82371607
- 批准年份：2023
- 资助金额：46.00 万元
- 项目类别：面上项目
基于AMPK/PGC-1α信号轴的工程化外泌体靶向调控BMSCs能量代谢重编程在老年机体骨修复中的作用及其机制研究
- 批准号：82370920
- 批准年份：2023
- 资助金额：48.00 万元
- 项目类别：面上项目
相似海外基金
Resilient and Equitable Nature-based Pathways in Southern African Rangelands (REPAiR)
南部非洲牧场弹性且公平的基于自然的途径 (REPAiR)
- 批准号：
NE/Z503459/1 - 财政年份：2024
- 资助金额：
$ 2.55万 - 项目类别：
Research Grant
SBIR Phase I: Novel Self-Closing, Transcatheter, Edge-to-Edge Repair Device to Percutaneously Treat Tricuspid Valve Regurgitation Using Jugular or Femoral Vein Access
SBIR 第一阶段：新型自闭合、经导管、边对边修复装置，利用颈静脉或股静脉通路经皮治疗三尖瓣反流
- 批准号：
2322197 - 财政年份：2024
- 资助金额：
$ 2.55万 - 项目类别：
Standard Grant
Understanding the coordination of DNA mismatch repair using live-cell single-molecule imaging
使用活细胞单分子成像了解 DNA 错配修复的协调
- 批准号：
BB/Y001567/1 - 财政年份：2024
- 资助金额：
$ 2.55万 - 项目类别：
Research Grant
The role of RNA repair in bacterial responses to translation-inhibiting antibiotics
RNA修复在细菌对翻译抑制抗生素的反应中的作用
- 批准号：
BB/Y004035/1 - 财政年份：2024
- 资助金额：
$ 2.55万 - 项目类别：
Research Grant
Care and Repair: Rethinking Contemporary Curation for Conditions of Crisis
护理与修复：重新思考危机条件下的当代策展
- 批准号：
DP240102206 - 财政年份：2024
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Projects
Role of Natural Antibodies and B1 cells in Fibroproliferative Lung Disease
天然抗体和 B1 细胞在纤维增生性肺病中的作用
- 批准号：
10752129 - 财政年份：2024
- 资助金额：
$ 2.55万 - 项目类别：
Potential of cadaveric neuronal stem cells for tissue repair and assembly.
尸体神经元干细胞用于组织修复和组装的潜力。
- 批准号：
23K27813 - 财政年份：2024
- 资助金额：
$ 2.55万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Bioactive fragments of the extracellular matrix orchestrate lung epithelial cell repair.
细胞外基质的生物活性片段协调肺上皮细胞修复。
- 批准号：
BB/Y004183/1 - 财政年份：2024
- 资助金额：
$ 2.55万 - 项目类别：
Research Grant
DNA glycosylases involved in interstrand crosslink repair and antibiotic self-resistance
DNA糖基化酶参与链间交联修复和抗生素自身抗性
- 批准号：
2341288 - 财政年份：2024
- 资助金额：
$ 2.55万 - 项目类别：
Standard Grant
DNA repair pathway coordination during damage processing
损伤处理过程中 DNA 修复途径的协调
- 批准号：
10748479 - 财政年份：2024
- 资助金额：
$ 2.55万 - 项目类别：