Studies in Nondeterminism and Relative Computability

非决定论和相对可计算性研究

基本信息

  • 批准号:
    7724098
  • 负责人:
  • 金额:
    $ 1.25万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1977
  • 资助国家:
    美国
  • 起止时间:
    1977-12-15 至 1979-05-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 }}

Theodore Baker其他文献

Theodore Baker的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Theodore Baker', 18)}}的其他基金

CSR--EHS: Next-Generation Real-Time Device Driver Architecture: Integrating Schedulability Theory with Driver Implementation Practices
CSR--EHS:下一代实时设备驱动程序架构:将可调度性理论与驱动程序实现实践相集成
  • 批准号:
    0509131
  • 财政年份:
    2005
  • 资助金额:
    $ 1.25万
  • 项目类别:
    Continuing Grant
Studies in Computational Complexity
计算复杂性研究
  • 批准号:
    7924583
  • 财政年份:
    1980
  • 资助金额:
    $ 1.25万
  • 项目类别:
    Standard Grant

相似海外基金

SHF: Medium: Collaborative Research: ANACIN-X: Analysis and modeling of Nondeterminism and Associated Costs in eXtreme scale applications
SHF:中:协作研究:ANACIN-X:极端规模应用中的非确定性和相关成本的分析和建模
  • 批准号:
    1900765
  • 财政年份:
    2019
  • 资助金额:
    $ 1.25万
  • 项目类别:
    Continuing Grant
SHF: Medium: Collaborative Research: ANACIN-X: Analysis and modeling of Nondeterminism and Associated Costs in eXtreme scale applications
SHF:中:协作研究:ANACIN-X:极端规模应用中的非确定性和相关成本的分析和建模
  • 批准号:
    1900888
  • 财政年份:
    2019
  • 资助金额:
    $ 1.25万
  • 项目类别:
    Continuing Grant
Automata with limited nondeterminism and applications of automata
有限非确定性自动机及其应用
  • 批准号:
    217321-2013
  • 财政年份:
    2017
  • 资助金额:
    $ 1.25万
  • 项目类别:
    Discovery Grants Program - Individual
Automata with limited nondeterminism and applications of automata
有限非确定性自动机及其应用
  • 批准号:
    217321-2013
  • 财政年份:
    2016
  • 资助金额:
    $ 1.25万
  • 项目类别:
    Discovery Grants Program - Individual
Automata with limited nondeterminism and applications of automata
有限非确定性自动机及其应用
  • 批准号:
    217321-2013
  • 财政年份:
    2015
  • 资助金额:
    $ 1.25万
  • 项目类别:
    Discovery Grants Program - Individual
Quantifying Nondeterminism in Finite State Machines
量化有限状态机中的不确定性
  • 批准号:
    476202-2015
  • 财政年份:
    2015
  • 资助金额:
    $ 1.25万
  • 项目类别:
    Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Automata with limited nondeterminism and applications of automata
有限非确定性自动机及其应用
  • 批准号:
    217321-2013
  • 财政年份:
    2014
  • 资助金额:
    $ 1.25万
  • 项目类别:
    Discovery Grants Program - Individual
Automata with limited nondeterminism and applications of automata
有限非确定性自动机及其应用
  • 批准号:
    217321-2013
  • 财政年份:
    2013
  • 资助金额:
    $ 1.25万
  • 项目类别:
    Discovery Grants Program - Individual
SHF: Medium: Collaborative Research: Extending Declarative Parallel Programming with State and Nondeterminism
SHF:媒介:协作研究:使用状态和非确定性扩展声明式并行编程
  • 批准号:
    1065002
  • 财政年份:
    2011
  • 资助金额:
    $ 1.25万
  • 项目类别:
    Continuing Grant
SHF: Medium: Collaborative Research: Extending Declarative Parallel Programming with State and Nondeterminism
SHF:媒介:协作研究:使用状态和非确定性扩展声明式并行编程
  • 批准号:
    1065099
  • 财政年份:
    2011
  • 资助金额:
    $ 1.25万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了