刷新
{{item.name}}会员
Semantics-directed design of programming languages and programming logics
编程语言和编程逻辑的语义导向设计
基本信息
- 批准号：8990-1992
- 负责人：
- 金额：$ 1.75万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：1994
- 资助国家：加拿大
- 起止时间：1994-01-01 至 1995-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 }}
Tennent, Robert其他文献
Tennent, Robert的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Tennent, Robert', 18)}}的其他基金
Paramatricity and possible worlds
副母性和可能的世界
- 批准号：
8990-2007 - 财政年份：2009
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Grants Program - Individual
Paramatricity and possible worlds
副母性和可能的世界
- 批准号：
8990-2007 - 财政年份：2008
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Grants Program - Individual
Paramatricity and possible worlds
副母性和可能的世界
- 批准号：
8990-2007 - 财政年份：2007
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Grants Program - Individual
Semantics analysis of programming languages
编程语言的语义分析
- 批准号：
8990-2001 - 财政年份：2006
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Grants Program - Individual
Semantics analysis of programming languages
编程语言的语义分析
- 批准号：
8990-2001 - 财政年份：2005
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Grants Program - Individual
Semantics analysis of programming languages
编程语言的语义分析
- 批准号：
8990-2001 - 财政年份：2004
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Grants Program - Individual
Semantics analysis of programming languages
编程语言的语义分析
- 批准号：
8990-2001 - 财政年份：2003
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Grants Program - Individual
Semantics analysis of programming languages
编程语言的语义分析
- 批准号：
8990-2001 - 财政年份：2001
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Grants Program - Individual
Semantics-directed design of programming languages and logics
编程语言和逻辑的语义导向设计
- 批准号：
8990-1996 - 财政年份：2000
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Grants Program - Individual
Semantics-directed design of programming languages and logics
编程语言和逻辑的语义导向设计
- 批准号：
8990-1996 - 财政年份：1999
- 资助金额：
$ 1.75万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
晶态桥联聚倍半硅氧烷的自导向组装（self-directed assembly）及其发光性能
- 批准号：21171046
- 批准年份：2011
- 资助金额：55.0 万元
- 项目类别：面上项目
TAP26磷酸化调控SP-B基因表达的研究
- 批准号：81070059
- 批准年份：2010
- 资助金额：32.0 万元
- 项目类别：面上项目
hCLP46启动子"CpG island"甲基化模式及其对骨髓CD34+细胞分化的作用
- 批准号：30771193
- 批准年份：2007
- 资助金额：10.0 万元
- 项目类别：面上项目
相似海外基金
Discovery-Driven Mathematics and Artificial Intelligence for Biosciences and Drug Discovery
用于生物科学和药物发现的发现驱动数学和人工智能
- 批准号：
10551576 - 财政年份：2023
- 资助金额：
$ 1.75万 - 项目类别：
EFFICIENT DIFFERENTIATION, SCALE-UP, AND MATURATION OF IPS DERIVED CARDIOMYOCYTES
IPS 来源的心肌细胞的有效分化、放大和成熟
- 批准号：
10761485 - 财政年份：2023
- 资助金额：
$ 1.75万 - 项目类别：
ModRNA-based Direct Programming of Universal Donor hiPSCs into Immune Evasive Beta Cells
基于 ModRNA 的通用供体 hiPSC 直接编程至免疫逃避型 β 细胞
- 批准号：
10774361 - 财政年份：2023
- 资助金额：
$ 1.75万 - 项目类别：
Regulation of erythroid iron metabolism by the CLPX unfoldase
CLPX 解折叠酶对红细胞铁代谢的调节
- 批准号：
10716494 - 财政年份：2023
- 资助金额：
$ 1.75万 - 项目类别：
Emerging mechanisms of viral gene regulation from battles between host and SARS-CoV-2
宿主与 SARS-CoV-2 之间的战斗中病毒基因调控的新机制
- 批准号：
10725416 - 财政年份：2023
- 资助金额：
$ 1.75万 - 项目类别：
Peripherally-restricted non-addictive cannabinoids for cancer pain treatment
用于癌症疼痛治疗的外周限制性非成瘾大麻素
- 批准号：
10726405 - 财政年份：2023
- 资助金额：
$ 1.75万 - 项目类别：
In vivo prime editing for precision cancer mouse models
精准癌症小鼠模型的体内 Prime 编辑
- 批准号：
10735971 - 财政年份：2023
- 资助金额：
$ 1.75万 - 项目类别：
Engineering Receptors to Control Platelet Activation and Therapeutic Release
工程受体来控制血小板激活和治疗释放
- 批准号：
10607886 - 财政年份：2023
- 资助金额：
$ 1.75万 - 项目类别：
Establishing and Optimizing a Prime Editing Method in Neurons for Treatment of Rett Syndrome
建立和优化用于治疗 Rett 综合征的神经元素数编辑方法
- 批准号：
10607549 - 财政年份：2023
- 资助金额：
$ 1.75万 - 项目类别：
Vesicle Epitope Transcript sequencing (VET-seq): Droplet-based Multiomic Profiling Platform for Single Vesicle Analysis
囊泡表位转录本测序 (VET-seq)：用于单囊泡分析的基于液滴的多组学分析平台
- 批准号：
10613257 - 财政年份：2023
- 资助金额：
$ 1.75万 - 项目类别：