Software Templates (Computer Research)

软件模板(计算机研究)

基本信息

项目摘要

项目成果

期刊论文数量(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
Experiments in Distributed Computing
分布式计算实验
  • 批准号:
    8102285
  • 财政年份:
    1981
  • 资助金额:
    $ 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
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了