刷新
{{item.name}}会员
Semantics-directed design of programming languages and logics
编程语言和逻辑的语义导向设计
基本信息
- 批准号：8990-1996
- 负责人：
- 金额：$ 1.97万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：1996
- 资助国家：加拿大
- 起止时间：1996-01-01 至 1997-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.97万 - 项目类别：
Discovery Grants Program - Individual
Paramatricity and possible worlds
副母性和可能的世界
- 批准号：
8990-2007 - 财政年份：2008
- 资助金额：
$ 1.97万 - 项目类别：
Discovery Grants Program - Individual
Paramatricity and possible worlds
副母性和可能的世界
- 批准号：
8990-2007 - 财政年份：2007
- 资助金额：
$ 1.97万 - 项目类别：
Discovery Grants Program - Individual
Semantics analysis of programming languages
编程语言的语义分析
- 批准号：
8990-2001 - 财政年份：2006
- 资助金额：
$ 1.97万 - 项目类别：
Discovery Grants Program - Individual
Semantics analysis of programming languages
编程语言的语义分析
- 批准号：
8990-2001 - 财政年份：2005
- 资助金额：
$ 1.97万 - 项目类别：
Discovery Grants Program - Individual
Semantics analysis of programming languages
编程语言的语义分析
- 批准号：
8990-2001 - 财政年份：2004
- 资助金额：
$ 1.97万 - 项目类别：
Discovery Grants Program - Individual
Semantics analysis of programming languages
编程语言的语义分析
- 批准号：
8990-2001 - 财政年份：2003
- 资助金额：
$ 1.97万 - 项目类别：
Discovery Grants Program - Individual
Semantics analysis of programming languages
编程语言的语义分析
- 批准号：
8990-2001 - 财政年份：2001
- 资助金额：
$ 1.97万 - 项目类别：
Discovery Grants Program - Individual
Semantics-directed design of programming languages and logics
编程语言和逻辑的语义导向设计
- 批准号：
8990-1996 - 财政年份：2000
- 资助金额：
$ 1.97万 - 项目类别：
Discovery Grants Program - Individual
Semantics-directed design of programming languages and logics
编程语言和逻辑的语义导向设计
- 批准号：
8990-1996 - 财政年份：1999
- 资助金额：
$ 1.97万 - 项目类别：
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.97万 - 项目类别：
Targeting the mutant promoter of Telomerase Reverse Transcriptase (TERT)
靶向端粒酶逆转录酶 (TERT) 的突变启动子
- 批准号：
10677899 - 财政年份：2023
- 资助金额：
$ 1.97万 - 项目类别：
In vivo delivery of Ab-directed CRISPR ribonucleoproteins for anal cancer immunotherapy
用于肛门癌免疫治疗的 Ab 定向 CRISPR 核糖核蛋白的体内递送
- 批准号：
10821884 - 财政年份：2023
- 资助金额：
$ 1.97万 - 项目类别：
Regulation of erythroid iron metabolism by the CLPX unfoldase
CLPX 解折叠酶对红细胞铁代谢的调节
- 批准号：
10716494 - 财政年份：2023
- 资助金额：
$ 1.97万 - 项目类别：
In vivo prime editing for precision cancer mouse models
精准癌症小鼠模型的体内 Prime 编辑
- 批准号：
10735971 - 财政年份：2023
- 资助金额：
$ 1.97万 - 项目类别：
ModRNA-based Direct Programming of Universal Donor hiPSCs into Immune Evasive Beta Cells
基于 ModRNA 的通用供体 hiPSC 直接编程至免疫逃避型 β 细胞
- 批准号：
10774361 - 财政年份：2023
- 资助金额：
$ 1.97万 - 项目类别：
EFFICIENT DIFFERENTIATION, SCALE-UP, AND MATURATION OF IPS DERIVED CARDIOMYOCYTES
IPS 来源的心肌细胞的有效分化、放大和成熟
- 批准号：
10761485 - 财政年份：2023
- 资助金额：
$ 1.97万 - 项目类别：
Emerging mechanisms of viral gene regulation from battles between host and SARS-CoV-2
宿主与 SARS-CoV-2 之间的战斗中病毒基因调控的新机制
- 批准号：
10725416 - 财政年份：2023
- 资助金额：
$ 1.97万 - 项目类别：