Integrating COSY concurrency theory with algebraic specification of data types and functional programming
将 COSY 并发理论与数据类型的代数规范和函数式编程相结合
基本信息
- 批准号:913-1992
- 负责人:
- 金额:$ 1.09万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:1993
- 资助国家:加拿大
- 起止时间:1993-01-01 至 1994-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 }}
Lauer, Peter其他文献
Safety and preliminary immunogenicity of JNJ-64041809, a live-attenuated, double-deleted Listeria monocytogenes-based immunotherapy, in metastatic castration-resistant prostate cancer.
- DOI:
10.1038/s41391-021-00402-8 - 发表时间:
2022-03 - 期刊:
- 影响因子:4.8
- 作者:
Drake, Charles G.;Pachynski, Russell K.;Subudhi, Sumit K.;McNeel, Douglas G.;Antonarakis, Emmanuel S.;Bauer, Todd M.;Lauer, Peter;Brockstedt, Dirk;Patricia, Daniel;Wade, Mark;Zudaire, Enrique;Bandyopadhyay, Nibedita;Parasrampuria, Dolly A.;Girgis, Suzette;Mason, Gary E.;Knoblauch, Roland E.;Stone, Nicole;Infante, Jeffrey R.;Gottardis, Marco M.;Fong, Lawrence - 通讯作者:
Fong, Lawrence
Operation of Marine Diesel Engines on Biogenic Fuels: Modification of Emissions and Resulting Climate Effects
- DOI:
10.1021/es2021439 - 发表时间:
2011-12-15 - 期刊:
- 影响因子:11.4
- 作者:
Petzold, Andreas;Lauer, Peter;Fleischer, Fritz - 通讯作者:
Fleischer, Fritz
Tumor-Specific T Cell Dysfunction Is a Dynamic Antigen-Driven Differentiation Program Initiated Early during Tumorigenesis.
- DOI:
10.1016/j.immuni.2016.07.011 - 发表时间:
2016-08-16 - 期刊:
- 影响因子:32.4
- 作者:
Schietinger, Andrea;Philip, Mary;Krisnawan, Varintra E.;Chiu, Edison Y.;Delrow, Jeffrey J.;Basom, Ryan S.;Lauer, Peter;Brockstedt, Dirk G.;Knoblaugh, Sue E.;Haemmerling, Guenter J.;Schell, Todd D.;Garbi, Natalio;Greenberg, Philip D. - 通讯作者:
Greenberg, Philip D.
Glutathione activates virulence gene expression of an intracellular pathogen.
- DOI:
10.1038/nature14029 - 发表时间:
2015-01-08 - 期刊:
- 影响因子:64.8
- 作者:
Reniere, Michelle L.;Whiteley, Aaron T.;Hamilton, Keri L.;John, Sonya M.;Lauer, Peter;Brennan, Richard G.;Portnoy, Daniel A. - 通讯作者:
Portnoy, Daniel A.
Constitutive activation of the PrfA regulon enhances the potency of vaccines based on live-attenuated and killed but metabolically active Listeria monocytogenes strains
- DOI:
10.1128/iai.00390-08 - 发表时间:
2008-08-01 - 期刊:
- 影响因子:3.1
- 作者:
Lauer, Peter;Hanson, Bill;Dubensky, Thomas W., Jr. - 通讯作者:
Dubensky, Thomas W., Jr.
Lauer, Peter的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Lauer, Peter', 18)}}的其他基金
Integrating COSY concurrency theory with algebraic specification of data types and functional programming
将 COSY 并发理论与数据类型的代数规范和函数式编程相结合
- 批准号:
913-1992 - 财政年份:1994
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Integrating COSY concurrency theory with algebraic specification of data types and functional programming
将 COSY 并发理论与数据类型的代数规范和函数式编程相结合
- 批准号:
913-1992 - 财政年份:1992
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Computer based enviroment for rigorous development of non-sequential and decentralized systems
基于计算机的环境,用于严格开发非顺序和分散系统
- 批准号:
913-1989 - 财政年份:1991
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
相似国自然基金
基于2D-COSY为中心的多模态MRI联合影像组学预测IDH突变型胶质瘤术后无进展生存预后研究
- 批准号:81901714
- 批准年份:2019
- 资助金额:21.0 万元
- 项目类别:青年科学基金项目
相似海外基金
HYDROGEN EXCHANGE BEHAVIOR OF PRESSURE DENATURED RIBONUCLEASE BY 2D COSY NMR
2D Cosy NMR 测定压力变性核糖核酸酶的氢交换行为
- 批准号:
6253376 - 财政年份:1997
- 资助金额:
$ 1.09万 - 项目类别:
Integrating COSY concurrency theory with algebraic specification of data types and functional programming
将 COSY 并发理论与数据类型的代数规范和函数式编程相结合
- 批准号:
913-1992 - 财政年份:1994
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
Integrating COSY concurrency theory with algebraic specification of data types and functional programming
将 COSY 并发理论与数据类型的代数规范和函数式编程相结合
- 批准号:
913-1992 - 财政年份:1992
- 资助金额:
$ 1.09万 - 项目类别:
Discovery Grants Program - Individual
HYDROGEN EXCHANGE BEHAVIOR OF PRESSURE DENATURED RIBONUCLEASE ABY 2D COSY NMR
二维 COSY NMR 测定压力变性核糖核酸酶的氢交换行为
- 批准号:
5225194 - 财政年份:
- 资助金额:
$ 1.09万 - 项目类别: