刷新
{{item.name}}会员
Computability and Decision Procedures for Number Theory and Combinatorics
数论和组合学的可计算性和决策程序
基本信息
- 批准号：RGPIN-2018-04118
- 负责人：
- 金额：$ 3.5万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2021
- 资助国家：加拿大
- 起止时间：2021-01-01 至 2022-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
additive number theory; automated theorem-proving; automatic sequence; combinatorics on words; decidable theory; decision procedure; finite automata; formal languages; logical theory
加法数论;自动定理证明;自动排序词的组合学;可判定理论;决策程序;有限自动机;形式语言;逻辑理论
项目成果
期刊论文数量（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 }}
Shallit, Jeffrey其他文献
Avoiding squares and overlaps over the natural numbers
- DOI：
10.1016/j.disc.2009.06.004 - 发表时间：
2009-11-06 - 期刊：
- 影响因子：0.8
- 作者：
Guay-Paquet, Mathieu;Shallit, Jeffrey - 通讯作者：
Shallit, Jeffrey
Avoiding 3/2-powers over the natural numbers
- DOI：
10.1016/j.disc.2011.12.019 - 发表时间：
2012-03-28 - 期刊：
- 影响因子：0.8
- 作者：
Rowland, Eric;Shallit, Jeffrey - 通讯作者：
Shallit, Jeffrey
A pattern sequence approach to Stern's sequence
- DOI：
10.1016/j.disc.2011.07.029 - 发表时间：
2011-11-28 - 期刊：
- 影响因子：0.8
- 作者：
Coons, Michael;Shallit, Jeffrey - 通讯作者：
Shallit, Jeffrey
Efficient enumeration of words in regular languages
- DOI：
10.1016/j.tcs.2009.03.018 - 发表时间：
2009-09-01 - 期刊：
- 影响因子：1.1
- 作者：
Ackerman, Margareta;Shallit, Jeffrey - 通讯作者：
Shallit, Jeffrey
Decidability of Sturmian Words
Sturmian 单词的可判定性
- DOI：
- 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
Hieronymi, Philipp;Ma, Dun;Oei, Reed;Schaeffer, Luke;Schulz, Christian;Shallit, Jeffrey - 通讯作者：
Shallit, Jeffrey
Shallit, Jeffrey的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Shallit, Jeffrey', 18)}}的其他基金
Computability and Decision Procedures for Number Theory and Combinatorics
数论和组合学的可计算性和决策程序
- 批准号：
RGPIN-2018-04118 - 财政年份：2022
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Computability and Decision Procedures for Number Theory and Combinatorics
数论和组合学的可计算性和决策程序
- 批准号：
RGPIN-2018-04118 - 财政年份：2020
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Computability and Decision Procedures for Number Theory and Combinatorics
数论和组合学的可计算性和决策程序
- 批准号：
RGPIN-2018-04118 - 财政年份：2019
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Computability and Decision Procedures for Number Theory and Combinatorics
数论和组合学的可计算性和决策程序
- 批准号：
RGPIN-2018-04118 - 财政年份：2018
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Avoidability and Decidability in Formal Languages and Automata
形式语言和自动机中的可避免性和可判定性
- 批准号：
105829-2013 - 财政年份：2017
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Avoidability and Decidability in Formal Languages and Automata
形式语言和自动机中的可避免性和可判定性
- 批准号：
105829-2013 - 财政年份：2016
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Avoidability and Decidability in Formal Languages and Automata
形式语言和自动机中的可避免性和可判定性
- 批准号：
105829-2013 - 财政年份：2015
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Avoidability and Decidability in Formal Languages and Automata
形式语言和自动机中的可避免性和可判定性
- 批准号：
105829-2013 - 财政年份：2014
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Avoidability and Decidability in Formal Languages and Automata
形式语言和自动机中的可避免性和可判定性
- 批准号：
105829-2013 - 财政年份：2013
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Descriptional complexity, combinatorics on words, formal languages and number theory
描述复杂性、单词组合学、形式语言和数论
- 批准号：
105829-2008 - 财政年份：2012
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
- 批准号：
- 批准年份：2024
- 资助金额：万元
- 项目类别：合作创新研究团队
相似海外基金
CAREER: Robust Online Decision Procedures for Societal Scale CPS
职业：社会规模 CPS 的稳健在线决策程序
- 批准号：
2238815 - 财政年份：2023
- 资助金额：
$ 3.5万 - 项目类别：
Continuing Grant
EC1 is a mobile 360-degree point-of-view learning and gamification tool integrating a VR scenario, APIE response procedures and assessment to test and improve firefighter decision-making and response.
EC1是一款移动360度视角学习和游戏化工具，集成了VR场景、APIE响应程序和评估，以测试和改进消防员的决策和响应。
- 批准号：
10459708 - 财政年份：2022
- 资助金额：
$ 3.5万 - 项目类别：
Computability and Decision Procedures for Number Theory and Combinatorics
数论和组合学的可计算性和决策程序
- 批准号：
RGPIN-2018-04118 - 财政年份：2022
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
Collaborative Research: Experiments on Procedures and Prediction in Economic Decision Making
合作研究：经济决策过程和预测的实验
- 批准号：
2049748 - 财政年份：2021
- 资助金额：
$ 3.5万 - 项目类别：
Continuing Grant
Collaborative Research: Experiments on Procedures and Prediction in Economic Decision Making
合作研究：经济决策过程和预测的实验
- 批准号：
2049749 - 财政年份：2021
- 资助金额：
$ 3.5万 - 项目类别：
Continuing Grant
Applying Decision Procedures to Synthesis Problems
将决策程序应用于综合问题
- 批准号：
2444465 - 财政年份：2020
- 资助金额：
$ 3.5万 - 项目类别：
Studentship
Computability and Decision Procedures for Number Theory and Combinatorics
数论和组合学的可计算性和决策程序
- 批准号：
RGPIN-2018-04118 - 财政年份：2020
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual
CAREER: Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems
职业：高可信度、人工智能控制、网络物理系统的决策程序
- 批准号：
1845194 - 财政年份：2019
- 资助金额：
$ 3.5万 - 项目类别：
Continuing Grant
CAREER: Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems
职业：高可信度、人工智能控制、网络物理系统的决策程序
- 批准号：
2002405 - 财政年份：2019
- 资助金额：
$ 3.5万 - 项目类别：
Continuing Grant
Computability and Decision Procedures for Number Theory and Combinatorics
数论和组合学的可计算性和决策程序
- 批准号：
RGPIN-2018-04118 - 财政年份：2019
- 资助金额：
$ 3.5万 - 项目类别：
Discovery Grants Program - Individual