刷新
{{item.name}}会员
A logical foundation for authorizing code execution
授权代码执行的逻辑基础
基本信息
- 批准号：378615-2009
- 负责人：
- 金额：$ 1.27万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Alexander Graham Bell Canada Graduate Scholarships - Master's
- 财政年份：2009
- 资助国家：加拿大
- 起止时间：2009-01-01 至 2010-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 }}
Frydrychowicz, Maja其他文献
Frydrychowicz, Maja的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Frydrychowicz, Maja', 18)}}的其他基金
Domain-specific language extensions for a dynamic scientific programming language
动态科学编程语言的特定领域语言扩展
- 批准号：
409201-2011 - 财政年份：2011
- 资助金额：
$ 1.27万 - 项目类别：
Postgraduate Scholarships - Doctoral
Functional programming with linear higher-order data
使用线性高阶数据的函数编程
- 批准号：
367673-2008 - 财政年份：2008
- 资助金额：
$ 1.27万 - 项目类别：
University Undergraduate Student Research Awards
Statically enforcing access control in programming languages
在编程语言中静态实施访问控制
- 批准号：
354379-2007 - 财政年份：2007
- 资助金额：
$ 1.27万 - 项目类别：
University Undergraduate Student Research Awards
相似海外基金
2024 - 2025 National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Research Experiences for Undergraduates (REU) Principal Investigator Workshops
2024 - 2025 美国国家科学基金会 (NSF) 计算机与信息科学与工程 (CISE) 本科生研究经验 (REU) 首席研究员研讨会
- 批准号：
2407231 - 财政年份：2024
- 资助金额：
$ 1.27万 - 项目类别：
Continuing Grant
What Works Policy Fellowship - Youth Futures Foundation Understanding What Makes for Quality Work Fellowship UKRI Policy Fellowship
什么有效的政策奖学金 - 青年未来基金会 了解什么是高质量工作奖学金 UKRI 政策奖学金
- 批准号：
ES/Y005007/1 - 财政年份：2024
- 资助金额：
$ 1.27万 - 项目类别：
Fellowship
Aston University and Aston Villa Foundation KTP23_24R3
阿斯顿大学和阿斯顿维拉基金会 KTP23_24R3
- 批准号：
10084135 - 财政年份：2024
- 资助金额：
$ 1.27万 - 项目类别：
Knowledge Transfer Network
Open Access Block Award 2024 - Kings College Hospital NHS Foundation Trust
2024 年开放访问区块奖 - 国王学院医院 NHS 基金会信托
- 批准号：
EP/Z532940/1 - 财政年份：2024
- 资助金额：
$ 1.27万 - 项目类别：
Research Grant
Conference: A Virtual Workshop for Two-Year College Geoscience Faculty to Develop National Science Foundation Grant Proposals
会议：两年制大学地球科学教师制定国家科学基金会拨款提案的虚拟研讨会
- 批准号：
2349758 - 财政年份：2024
- 资助金额：
$ 1.27万 - 项目类别：
Standard Grant
FMSG: Cyber: Learning Foundation Models for Manufacturing Design Automation
FMSG：网络：制造设计自动化的学习基础模型
- 批准号：
2328032 - 财政年份：2024
- 资助金额：
$ 1.27万 - 项目类别：
Standard Grant
SBIR Phase I: An Artificial Intelligence System to Accelerate Semiconductor Production using Physics-embedded Lithographic Foundation Model
SBIR 第一阶段：使用物理嵌入式光刻基础模型加速半导体生产的人工智能系统
- 批准号：
2336079 - 财政年份：2024
- 资助金额：
$ 1.27万 - 项目类别：
Standard Grant
Manchester Metropolitan University and Northern Care Alliance NHS Foundation Trust KTP 23_24 R2
曼彻斯特城市大学和北方护理联盟 NHS 基金会信托 KTP 23_24 R2
- 批准号：
10076811 - 财政年份：2024
- 资助金额：
$ 1.27万 - 项目类别：
Knowledge Transfer Partnership
Laying the Scientific and Engineering Foundation for Sustainable Cultivated Meat Production
为可持续养殖肉类生产奠定科学和工程基础
- 批准号：
2320899 - 财政年份：2023
- 资助金额：
$ 1.27万 - 项目类别：
Continuing Grant
Collaborative Research: Assembling the foundation of modern mammal community structure in the first 7 million years after the K/Pg mass extinction
合作研究：为 K/Pg 大规模灭绝后的前 700 万年建立现代哺乳动物群落结构的基础
- 批准号：
2321344 - 财政年份：2023
- 资助金额：
$ 1.27万 - 项目类别：
Standard Grant