Software Templates (Computer Research)
软件模板(计算机研究)
基本信息
- 批准号:8303927
- 负责人:
- 金额:$ 10.99万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:1983
- 资助国家:美国
- 起止时间:1983-08-01 至 1986-01-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
项目成果
期刊论文数量(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 }}
Richard Kieburtz其他文献
Richard Kieburtz的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Richard Kieburtz', 18)}}的其他基金
13th International Conference on Theorem Proving in Higher Order Logics
第十三届高阶逻辑定理证明国际会议
- 批准号:
0072763 - 财政年份:2000
- 资助金额:
$ 10.99万 - 项目类别:
Standard Grant
Refining Program Specifications by Automatic Transformation
通过自动转换细化程序规范
- 批准号:
9803880 - 财政年份:1998
- 资助金额:
$ 10.99万 - 项目类别:
Standard Grant
Constructing Software From Specifications
根据规范构建软件
- 批准号:
9101721 - 财政年份:1991
- 资助金额:
$ 10.99万 - 项目类别:
Continuing grant
Experimental Evaluation of the G-Machine
G 机的实验评估
- 批准号:
8611374 - 财政年份:1987
- 资助金额:
$ 10.99万 - 项目类别:
Continuing grant
Parallel, Programmed Graph-Reduction On An MIMD Computer
MIMD 计算机上的并行编程图形缩减
- 批准号:
8513572 - 财政年份:1986
- 资助金额:
$ 10.99万 - 项目类别:
Continuing grant
The G-Machine: a Fast Graph-Reduction Processor
G-Machine:快速图形缩减处理器
- 批准号:
8405247 - 财政年份:1984
- 资助金额:
$ 10.99万 - 项目类别:
Standard Grant
相似海外基金
Collaborative Research: Protein engineering and processing of plant viral templates for controlled nanoparticle synthesis
合作研究:用于受控纳米颗粒合成的植物病毒模板的蛋白质工程和加工
- 批准号:
2426065 - 财政年份:2024
- 资助金额:
$ 10.99万 - 项目类别:
Continuing Grant
Creation of metallic nano solenoids using supramolecular nano coils as templates
使用超分子纳米线圈作为模板创建金属纳米螺线管
- 批准号:
23K19237 - 财政年份:2023
- 资助金额:
$ 10.99万 - 项目类别:
Grant-in-Aid for Research Activity Start-up
Preparation of crystalline porous silica using inorganic oxide molecules as templates
以无机氧化物分子为模板制备结晶多孔二氧化硅
- 批准号:
23KJ2037 - 财政年份:2023
- 资助金额:
$ 10.99万 - 项目类别:
Grant-in-Aid for JSPS Fellows
RUI: Promoting Through-Space Charge Transfer via Arylene Ethynylene Templates
RUI:通过亚芳基乙炔模板促进空间电荷转移
- 批准号:
2303822 - 财政年份:2023
- 资助金额:
$ 10.99万 - 项目类别:
Standard Grant
Design of protein crystal templates with multiple binding sites for tracking metal complex reactions.
设计具有多个结合位点的蛋白质晶体模板,用于跟踪金属络合物反应。
- 批准号:
23K04928 - 财政年份:2023
- 资助金额:
$ 10.99万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Transition Templates: Pathways to Net Zero
过渡模板:实现净零排放的途径
- 批准号:
AH/X005186/1 - 财政年份:2023
- 资助金额:
$ 10.99万 - 项目类别:
Research Grant
Tailor-made synthesis of hollow transition metal oxide nanoparticles by using water-soluble sacrificing templates
使用水溶性牺牲模板定制合成空心过渡金属氧化物纳米颗粒
- 批准号:
23K04894 - 财政年份:2023
- 资助金额:
$ 10.99万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Synthesis and characterization of copper oxide micro/nanoparticle templates for micro/nanocarbon for
微/纳米碳氧化铜微/纳米粒子模板的合成与表征
- 批准号:
574031-2022 - 财政年份:2022
- 资助金额:
$ 10.99万 - 项目类别:
University Undergraduate Student Research Awards
Marine peptides as templates for the design of novel antimicrobials
海洋肽作为新型抗菌药物设计的模板
- 批准号:
RGPIN-2019-06076 - 财政年份:2022
- 资助金额:
$ 10.99万 - 项目类别:
Discovery Grants Program - Individual
Substituted polyhydroquinolines from amino acids as templates for medicinal chemistry applications
氨基酸取代的聚氢喹啉作为药物化学应用的模板
- 批准号:
543675-2019 - 财政年份:2021
- 资助金额:
$ 10.99万 - 项目类别:
Collaborative Research and Development Grants