Hardness Escalation: A New and Powerful Tool in Computational Complexity Theory
硬度升级：计算复杂性理论中的一个新的强大工具
基本信息
- 批准号：517234-2018
- 负责人：
- 金额：$ 3.28万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Postdoctoral Fellowships
- 财政年份：2019
- 资助国家：加拿大
- 起止时间：2019-01-01 至 2020-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
computational complexity, proof theory, circuit complexity, logic, lower bounds
计算复杂性，证明理论，电路复杂性，逻辑，下限
项目成果
期刊论文数量（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
- 资助金额：
$ 3.28万 - 项目类别：
Discovery Grants Program - Individual
Towards a Unified Theory of Proof and Circuit Complexity
走向证明和电路复杂性的统一理论
- 批准号：
RGPAS-2021-00032 - 财政年份：2022
- 资助金额：
$ 3.28万 - 项目类别：
Discovery Grants Program - Accelerator Supplements
Towards a Unified Theory of Proof and Circuit Complexity
走向证明和电路复杂性的统一理论
- 批准号：
RGPAS-2021-00032 - 财政年份：2021
- 资助金额：
$ 3.28万 - 项目类别：
Discovery Grants Program - Accelerator Supplements
Towards a Unified Theory of Proof and Circuit Complexity
走向证明和电路复杂性的统一理论
- 批准号：
RGPIN-2021-03036 - 财政年份：2021
- 资助金额：
$ 3.28万 - 项目类别：
Discovery Grants Program - Individual
Towards a Unified Theory of Proof and Circuit Complexity
走向证明和电路复杂性的统一理论
- 批准号：
DGECR-2021-00110 - 财政年份：2021
- 资助金额：
$ 3.28万 - 项目类别：
Discovery Launch Supplement
Hardness Escalation: A New and Powerful Tool in Computational Complexity Theory
硬度升级：计算复杂性理论中的一个新的强大工具
- 批准号：
517234-2018 - 财政年份：2018
- 资助金额：
$ 3.28万 - 项目类别：
Postdoctoral Fellowships
A New Perspective on Computational Complexity
计算复杂性的新视角
- 批准号：
460219-2014 - 财政年份：2016
- 资助金额：
$ 3.28万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
A New Perspective on Computational Complexity
计算复杂性的新视角
- 批准号：
460219-2014 - 财政年份：2015
- 资助金额：
$ 3.28万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
A New Perspective on Computational Complexity
计算复杂性的新视角
- 批准号：
460219-2014 - 财政年份：2014
- 资助金额：
$ 3.28万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Analytical approach to combinatorial characterizations of computational dichotomies.
计算二分法组合表征的分析方法。
- 批准号：
415305-2011 - 财政年份：2011
- 资助金额：
$ 3.28万 - 项目类别：
University Undergraduate Student Research Awards
相似国自然基金
利用新升级的西藏ASγ实验检验100TeV以上能区朝前区muon分布
- 批准号：
- 批准年份：2022
- 资助金额：55 万元
- 项目类别：面上项目
冠状病毒在线分析平台的升级及新冠病毒适应性突变的进化和功能研究
- 批准号：
- 批准年份：2021
- 资助金额：58 万元
- 项目类别：面上项目
人类新基因数据库的升级及新基因在癌症发生中的功能研究
- 批准号：31970565
- 批准年份：2019
- 资助金额：58 万元
- 项目类别：面上项目
基于新升级的西藏 ASγ新联合实验开展原初宇宙线铁核能谱算法的研究
- 批准号：11603047
- 批准年份：2016
- 资助金额：24.0 万元
- 项目类别：青年科学基金项目
利用ARGO实验的“双前峰面”事例和新升级的ASγ联合实验研究10GeV以上能区的γ射线暴
- 批准号：11475141
- 批准年份：2014
- 资助金额：96.0 万元
- 项目类别：面上项目
相似海外基金
A developmentally-sensitive mechanism underlying the escalation of adolescent social anxiety
青少年社交焦虑升级的发育敏感机制
- 批准号：
10707188 - 财政年份：2022
- 资助金额：
$ 3.28万 - 项目类别：
Role of GluN2A and MMPs in the CeA in Dependence-Induced Escalation of Etoh Drinking
CeA 中 GluN2A 和 MMP 在 Etoh 饮酒依赖性升级中的作用
- 批准号：
10525274 - 财政年份：2022
- 资助金额：
$ 3.28万 - 项目类别：
Lateral Hypothalamus Circuits in Stress-Induced Blunting of Alcohol Aversion& Escalation of Alcohol Self-Administration
下丘脑外侧回路在压力引起的酒精厌恶减弱中的作用
- 批准号：
10676196 - 财政年份：2022
- 资助金额：
$ 3.28万 - 项目类别：
A developmentally-sensitive mechanism underlying the escalation of adolescent social anxiety
青少年社交焦虑升级的发育敏感机制
- 批准号：
10566856 - 财政年份：2022
- 资助金额：
$ 3.28万 - 项目类别：
Role of GluN2A and MMPs in the CeA in Dependence-Induced Escalation of Etoh Drinking
CeA 中 GluN2A 和 MMP 在 Etoh 饮酒依赖性升级中的作用
- 批准号：
10675691 - 财政年份：2022
- 资助金额：
$ 3.28万 - 项目类别：