Quantifying Nondeterminism in Finite State Machines

量化有限状态机中的不确定性

基本信息

  • 批准号：
    476202-2015
  • 负责人：
    Goc, Daniel
  • 金额：
    $ 2.55万
  • 依托单位：
    Queen's University
  • 依托单位国家：
    加拿大
  • 项目类别：
    Alexander Graham Bell Canada Graduate Scholarships - Doctoral
  • 财政年份：
    2015
  • 资助国家：
    加拿大
  • 起止时间：
    2015-01-01 至 2016-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.journal_name }}
  • 影响因子：
    {{ 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 }}

Goc, Daniel其他文献

AUTOMATIC THEOREM-PROVING IN COMBINATORICS ON WORDS
ON THE NUMBER OF ABELIAN BORDERED WORDS (WITH AN EXAMPLE OF AUTOMATIC THEOREM-PROVING)

Goc, Daniel的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

相似海外基金

SHF: Medium: Collaborative Research: ANACIN-X: Analysis and modeling of Nondeterminism and Associated Costs in eXtreme scale applications
SHF：中：协作研究：ANACIN-X：极端规模应用中的非确定性和相关成本的分析和建模
  • 批准号：
    1900765
  • 财政年份：
    2019
  • 资助金额：
    $ 2.55万
  • 项目类别：
    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
  • 资助金额：
    $ 2.55万
  • 项目类别：
    Continuing Grant
Automata with limited nondeterminism and applications of automata
有限非确定性自动机及其应用
  • 批准号：
    217321-2013
  • 财政年份：
    2017
  • 资助金额：
    $ 2.55万
  • 项目类别：
    Discovery Grants Program - Individual
Automata with limited nondeterminism and applications of automata
有限非确定性自动机及其应用
  • 批准号：
    217321-2013
  • 财政年份：
    2016
  • 资助金额：
    $ 2.55万
  • 项目类别：
    Discovery Grants Program - Individual
Automata with limited nondeterminism and applications of automata
有限非确定性自动机及其应用
  • 批准号：
    217321-2013
  • 财政年份：
    2015
  • 资助金额：
    $ 2.55万
  • 项目类别：
    Discovery Grants Program - Individual
Automata with limited nondeterminism and applications of automata
有限非确定性自动机及其应用
  • 批准号：
    217321-2013
  • 财政年份：
    2014
  • 资助金额：
    $ 2.55万
  • 项目类别：
    Discovery Grants Program - Individual
Automata with limited nondeterminism and applications of automata
有限非确定性自动机及其应用
  • 批准号：
    217321-2013
  • 财政年份：
    2013
  • 资助金额：
    $ 2.55万
  • 项目类别：
    Discovery Grants Program - Individual
SHF: Medium: Collaborative Research: Extending Declarative Parallel Programming with State and Nondeterminism
SHF：媒介：协作研究：使用状态和非确定性扩展声明式并行编程
  • 批准号：
    1065002
  • 财政年份：
    2011
  • 资助金额：
    $ 2.55万
  • 项目类别：
    Continuing Grant
SHF: Medium: Collaborative Research: Extending Declarative Parallel Programming with State and Nondeterminism
SHF：媒介：协作研究：使用状态和非确定性扩展声明式并行编程
  • 批准号：
    1065099
  • 财政年份：
    2011
  • 资助金额：
    $ 2.55万
  • 项目类别：
    Continuing Grant
Semantics of Nondeterminism: Functions, Strategies and Bisimulation
非决定论的语义：函数、策略和互模拟
  • 批准号：
    EP/E056091/1
  • 财政年份：
    2008
  • 资助金额：
    $ 2.55万
  • 项目类别：
    Fellowship
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了