Towards a Unified Theory of Proof and Circuit Complexity
走向证明和电路复杂性的统一理论
基本信息
- 批准号：DGECR-2021-00110
- 负责人：
- 金额：$ 0.91万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Launch Supplement
- 财政年份：2021
- 资助国家：加拿大
- 起止时间：2021-01-01 至 2022-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.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 }}
Robere, Robert其他文献
Stabbing Planes
刺击飞机
- DOI：
10.48550/arxiv.1710.03219 - 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
Beame, Paul;Fleming, Noah;Impagliazzo, Russell;Pankratov, Denis;Pitassi, Toniann;Robere, Robert - 通讯作者：
Robere, Robert
Strongly Exponential Lower Bounds for Monotone Computation
- DOI：
10.1145/3055399.3055478 - 发表时间：
2017-01-01 - 期刊：
- 影响因子：0
- 作者：
Pitassi, Toniann;Robere, Robert - 通讯作者：
Robere, Robert
Robere, Robert的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Robere, Robert', 18)}}的其他基金
Towards a Unified Theory of Proof and Circuit Complexity
走向证明和电路复杂性的统一理论
- 批准号：
RGPIN-2021-03036 - 财政年份：2022
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual
Towards a Unified Theory of Proof and Circuit Complexity
走向证明和电路复杂性的统一理论
- 批准号：
RGPAS-2021-00032 - 财政年份：2022
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Accelerator Supplements
Towards a Unified Theory of Proof and Circuit Complexity
走向证明和电路复杂性的统一理论
- 批准号：
RGPAS-2021-00032 - 财政年份：2021
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Accelerator Supplements
Towards a Unified Theory of Proof and Circuit Complexity
走向证明和电路复杂性的统一理论
- 批准号：
RGPIN-2021-03036 - 财政年份：2021
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual
Hardness Escalation: A New and Powerful Tool in Computational Complexity Theory
硬度升级：计算复杂性理论中的一个新的强大工具
- 批准号：
517234-2018 - 财政年份：2019
- 资助金额：
$ 0.91万 - 项目类别：
Postdoctoral Fellowships
Hardness Escalation: A New and Powerful Tool in Computational Complexity Theory
硬度升级：计算复杂性理论中的一个新的强大工具
- 批准号：
517234-2018 - 财政年份：2018
- 资助金额：
$ 0.91万 - 项目类别：
Postdoctoral Fellowships
A New Perspective on Computational Complexity
计算复杂性的新视角
- 批准号：
460219-2014 - 财政年份：2016
- 资助金额：
$ 0.91万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
A New Perspective on Computational Complexity
计算复杂性的新视角
- 批准号：
460219-2014 - 财政年份：2015
- 资助金额：
$ 0.91万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
A New Perspective on Computational Complexity
计算复杂性的新视角
- 批准号：
460219-2014 - 财政年份：2014
- 资助金额：
$ 0.91万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Analytical approach to combinatorial characterizations of computational dichotomies.
计算二分法组合表征的分析方法。
- 批准号：
415305-2011 - 财政年份：2011
- 资助金额：
$ 0.91万 - 项目类别：
University Undergraduate Student Research Awards
相似国自然基金
面向高阶谐振网络与复杂调制方式的谐振变换器统一多频率小信号建模理论研究
- 批准号：52307196
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
字典设计理论统一下的广义正交线性调频复用信号应用于水声探测通信一体化的波形设计方法研究
- 批准号：52371352
- 批准年份：2023
- 资助金额：51 万元
- 项目类别：面上项目
基于物理模型的薄云雾检测及去除统一理论与方法研究
- 批准号：42301372
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
多形式GNSS码偏差的非差非组合统一估计理论及系统误差传递模型
- 批准号：42274041
- 批准年份：2022
- 资助金额：56 万元
- 项目类别：面上项目
气动声学和粘性气体动力学融合的统一理论与数值研究
- 批准号：
- 批准年份：2022
- 资助金额：55 万元
- 项目类别：面上项目
相似海外基金
Towards a Unified Theory of Proof and Circuit Complexity
走向证明和电路复杂性的统一理论
- 批准号：
RGPIN-2021-03036 - 财政年份：2022
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual
Towards a Unified Theory of Proof and Circuit Complexity
走向证明和电路复杂性的统一理论
- 批准号：
RGPAS-2021-00032 - 财政年份：2022
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Accelerator Supplements
Sound in Space: towards a unified theory of auditory localization
空间声音：迈向听觉定位的统一理论
- 批准号：
RGPIN-2019-06121 - 财政年份：2022
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual
Towards a unified theory for element uptake by minerals over the full range of element concentrations
建立矿物在整个元素浓度范围内吸收元素的统一理论
- 批准号：
RGPIN-2020-04173 - 财政年份：2022
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual
Towards a unified theory for element uptake by minerals over the full range of element concentrations
建立矿物在整个元素浓度范围内吸收元素的统一理论
- 批准号：
RGPIN-2020-04173 - 财政年份：2021
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual