刷新
{{item.name}}会员
SACRED-MA: Safe And seCure REmote Direct Memory Access
SACRED-MA：安全可靠的远程直接内存访问
基本信息
- 批准号：EP/X037029/1
- 负责人：
- 金额：$ 57.67万
- 依托单位：
- 依托单位国家：英国
- 项目类别：Research Grant
- 财政年份：2023
- 资助国家：英国
- 起止时间：2023 至 无数据
- 项目状态：未结题
- 来源：
- 关键词：
项目摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
目前GtR中并没有所有资助研究的摘要。这通常是因为在提交提案时不需要摘要，但也可能是因为摘要中包含个人详细信息等敏感信息。
项目成果
期刊论文数量（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 }}
Azalea Raad其他文献
Abstraction, refinement and concurrent reasoning
抽象、细化和并发推理
- DOI：
- 发表时间：
2016 - 期刊：
- 影响因子：0
- 作者：
Azalea Raad - 通讯作者：
Azalea Raad
Verifying Concurrent Graph Algorithms
验证并发图算法
- DOI：
- 发表时间：
2016 - 期刊：
- 影响因子：0
- 作者：
Azalea Raad;Aquinas Hobor;Jules Villard;Philippa Gardner - 通讯作者：
Philippa Gardner
Specifying and Verifying Persistent Libraries
指定和验证持久性库
- DOI：
- 发表时间：
2023 - 期刊：
- 影响因子：0
- 作者：
Léo Stefanesco;Azalea Raad;Viktor Vafeiadis - 通讯作者：
Viktor Vafeiadis
Mechanic Miner: Reflection-Driven Game Mechanic Discovery and Level Design
Mechanic Miner：反射驱动的游戏机制发现和关卡设计
- DOI：
- 发表时间：
2013 - 期刊：
- 影响因子：0
- 作者：
Michael Cook;S. Colton;Azalea Raad;J. Gow - 通讯作者：
J. Gow
Effective Lock Handling in Stateless Model Checking 173 : 3 Amongst POR techniques , Dynamic Partial Order Reduction ( DPOR ) [ Flanagan and Godefroid 2005
无状态模型检查中的有效锁处理 173：3 在 POR 技术中，动态偏序减少 (DPOR) [Flanagan 和 Godefroid 2005
- DOI：
- 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
Michalis Kokologiannakis;MPI;Azalea Raad - 通讯作者：
Azalea Raad
Azalea Raad的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Azalea Raad', 18)}}的其他基金
PERSEVERE: A Rigorous Foundation for Persistent Verification
PERSEVERE：持久验证的严格基础
- 批准号：
MR/V024299/1 - 财政年份：2021
- 资助金额：
$ 57.67万 - 项目类别：
Fellowship
相似国自然基金
二维MA2Z4异质结中多体效应的理论研究
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
ALKBH1通过6mA去甲基化调控mtDNA释放在急性胰腺炎中的作用与机制
- 批准号：2025JJ60542
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
新型氟[18F]标记的MA0-B分子探针的合成及其用于帕金森病发病机制的探索研究
- 批准号：
- 批准年份：2024
- 资助金额：0 万元
- 项目类别：青年科学基金项目
基因组6mA甲基化调控无乳链球菌抗巨噬细胞吞噬的分子机制
- 批准号：
- 批准年份：2024
- 资助金额：15.0 万元
- 项目类别：省市级项目
DNA甲基转移酶及其介导的6mA修饰增强铜绿假单胞菌抗吞噬能力的分子机制
- 批准号：
- 批准年份：2024
- 资助金额：15.0 万元
- 项目类别：省市级项目
Akt3 DNA 6mA修饰调控BMSCs铁死亡在镉致骨质疏中的作用及机制研究
- 批准号：
- 批准年份：2024
- 资助金额：15.0 万元
- 项目类别：省市级项目
巨噬细胞线粒体DNA-6mA在动脉粥样硬化中的作用及机制研究
- 批准号：
- 批准年份：2024
- 资助金额：0.0 万元
- 项目类别：省市级项目
扭转双层MA2Z4中等离激元及其调控
- 批准号：
- 批准年份：2024
- 资助金额：15.0 万元
- 项目类别：省市级项目
糖尿病心肌病心室重构的新机制：高糖诱导巨噬细胞脂质代谢重编程通过活性脂质MA调控心脏成纤维细胞向肌成纤维细胞转分化的机制研究
- 批准号：82300404
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
中晚寒武纪至早奥陶纪(约520-480 Ma)生物演化“低谷期”的环境变化
- 批准号：42373056
- 批准年份：2023
- 资助金额：54 万元
- 项目类别：面上项目
相似海外基金
NSF Engines Development Award: Accelerating A Just Energy Transition Through Innovative Nature-Inclusive Offshore Wind Farms (CT,DE,MA,MD,NJ,RI,VA)
NSF 发动机开发奖：通过创新的自然包容性海上风电场加速公正的能源转型（康涅狄格州、特拉华州、马里兰州、马里兰州、新泽西州、罗德岛州、弗吉尼亚州）
- 批准号：
2315558 - 财政年份：2024
- 资助金额：
$ 57.67万 - 项目类别：
Cooperative Agreement
mA級出力可変空芯型高温超伝導サイクロトロンの開発
mA级变输出空芯高温超导回旋加速器研制
- 批准号：
24KJ1595 - 财政年份：2024
- 资助金额：
$ 57.67万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Mindfulness according to the rNying ma School of Tibetan Buddhism: Philological Research on Its Scriptures, Exegesis, and Philosophy of Self-Awareness
藏传佛教宁玛派的正念：其经典、训诂和自我意识哲学的文字学研究
- 批准号：
23K00048 - 财政年份：2023
- 资助金额：
$ 57.67万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Conference: 2023 AEESP Research and Education Conference in Boston, MA
会议：2023 年 AEESP 研究与教育会议，马萨诸塞州波士顿
- 批准号：
2319675 - 财政年份：2023
- 资助金额：
$ 57.67万 - 项目类别：
Standard Grant
Assessing Zika virus infection during pregnancy and adverse fetal, infant, and child outcomes: The Zika virus (ZIKV) Individual Participant Data (IPD) Meta-analyses (MA) Phase II and the analysis of surveillance-based IPD data. (ZIKV-IPD-MA-2S)
评估怀孕期间的寨卡病毒感染和不良胎儿、婴儿和儿童结局：寨卡病毒 (ZIKV) 个体参与者数据 (IPD) 荟萃分析 (MA) II 期和基于监测的 IPD 数据分析。
- 批准号：
495081 - 财政年份：2023
- 资助金额：
$ 57.67万 - 项目类别：
Operating Grants
Promoting Youth-Centric Disaster Mental Health Preparedness (DMHP) in Higher Education: A Cross-National Exploratory Study of Out-of-Province/State and International College Students (17-24 Years of Age) in Halifax, NS, Canada and Boston, MA, U.S.A.
促进高等教育中以青少年为中心的灾难心理健康准备 (DMHP)：针对加拿大新斯科舍省哈利法克斯、新斯科舍省和波士顿的省外/州和国际大学生（17-24 岁）的跨国探索性研究，
- 批准号：
495257 - 财政年份：2023
- 资助金额：
$ 57.67万 - 项目类别：
Operating Grants
SACRED-MA: Safe And seCure REmote Direct Memory Access
SACRED-MA：安全可靠的远程直接内存访问
- 批准号：
EP/X037142/1 - 财政年份：2023
- 资助金额：
$ 57.67万 - 项目类别：
Research Grant
Super-traits of Ediacaran organisms ~ (580-560 Ma)
埃迪卡拉生物的超级特征 ~ (580-560 Ma)
- 批准号：
2889755 - 财政年份：2023
- 资助金额：
$ 57.67万 - 项目类别：
Studentship