刷新
{{item.name}}会员
Denotational Semantics for Weak Memory
弱记忆的指称语义
基本信息
- 批准号：488064-2016
- 负责人：
- 金额：$ 1.53万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Postgraduate Scholarships - Doctoral
- 财政年份：2017
- 资助国家：加拿大
- 起止时间：2017-01-01 至 2018-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 }}
Kavanagh, Ryan其他文献
Kavanagh, Ryan的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Kavanagh, Ryan', 18)}}的其他基金
Denotational Semantics for Dependently Typed Communicating Processes
依赖类型通信过程的指称语义
- 批准号：
558194-2021 - 财政年份：2021
- 资助金额：
$ 1.53万 - 项目类别：
Postdoctoral Fellowships
Denotational Semantics for Weak Memory
弱记忆的指称语义
- 批准号：
488064-2016 - 财政年份：2018
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral
Math in Moscow
莫斯科的数学
- 批准号：
468342-2014 - 财政年份：2014
- 资助金额：
$ 1.53万 - 项目类别：
University Undergraduate Student Research Awards
相似海外基金
SAFER - Secure Foundations: Verified Systems Software Above Full-Scale Integrated Semantics
SAFER - 安全基础：高于全面集成语义的经过验证的系统软件
- 批准号：
EP/Y035976/1 - 财政年份：2024
- 资助金额：
$ 1.53万 - 项目类别：
Research Grant
SHF: SMALL: A New Semantics for Type-Level Programming in Haskell
SHF：SMALL：Haskell 中类型级编程的新语义
- 批准号：
2345580 - 财政年份：2024
- 资助金额：
$ 1.53万 - 项目类别：
Standard Grant
The theory of meaning via dependent type semantics and its automatic verification
基于依赖类型语义的意义理论及其自动验证
- 批准号：
23H03452 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Relaxed Semantics Across the Data Analytics Stack
整个数据分析堆栈的宽松语义
- 批准号：
EP/X029174/1 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
Research Grant
Collaborative Research: FMitF: Track I: Knitting Semantics
合作研究：FMitF：第一轨：针织语义
- 批准号：
2319182 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
Standard Grant
Doctoral Dissertation Research: The Semantics, Pragmatics, and Social Meaning of Additive Expressions
博士论文研究：附加表达的语义、语用和社会意义
- 批准号：
2235062 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
Standard Grant
Categorical Duality and Semantics Across Mathematics, Informatics and Physics and their Applications to Categorical Machine Learning and Quantum Computing
数学、信息学和物理领域的分类对偶性和语义及其在分类机器学习和量子计算中的应用
- 批准号：
23K13008 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Collaborative Research: SHF: Medium: Learning Semantics of Code To Automate Software Assurance Tasks
协作研究：SHF：媒介：学习代码语义以自动化软件保障任务
- 批准号：
2313054 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
Standard Grant
A study on the semantics-prosody interface
语义-韵律接口研究
- 批准号：
23K00478 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
The Semantics of Mandarin Decomposition Adverbs
普通话分解副词的语义
- 批准号：
2885599 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
Studentship