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
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
相似海外基金
Dose escalation clinical trial of high-dose oral montelukast to inform future RCT in children with acute asthma exacerbations
大剂量口服孟鲁司特的剂量递增临床试验为哮喘急性发作儿童的未来随机对照试验提供信息
- 批准号:
10649012 - 财政年份:2023
- 资助金额:
$ 3.28万 - 项目类别:
Testing a Mechanistic Model of Attention to Social Media Content and Sleep Disturbance in the Escalation of Social Anxiety in Adolescents
测试青少年社交焦虑升级中社交媒体内容注意力和睡眠障碍的机制模型
- 批准号:
10815222 - 财政年份:2023
- 资助金额:
$ 3.28万 - 项目类别:
Real-world Evidence to Inform Decisions for Hypertension Treatment Escalation
真实世界证据为高血压治疗升级决策提供信息
- 批准号:
10718670 - 财政年份:2023
- 资助金额:
$ 3.28万 - 项目类别:
Resilience of bridge networks considering the escalation of natural disasters due to global warming
考虑到全球变暖导致自然灾害升级的桥梁网络的弹性
- 批准号:
23H00217 - 财政年份:2023
- 资助金额:
$ 3.28万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
Molecular Signatures of Social Stress-Induced Escalation of Drinking
社会压力引起饮酒增加的分子特征
- 批准号:
10667840 - 财政年份:2023
- 资助金额:
$ 3.28万 - 项目类别:
MANUFACTURING OF PLASMID AND VECTOR AND GLP DOSE-ESCALATION TOXICOLOGY STUDIES IN NORMAL RATS AND NORMAL NHPS
质粒和载体的制造以及正常大鼠和正常 NHPS 中的 GLP 剂量递增毒理学研究
- 批准号:
10948246 - 财政年份:2023
- 资助金额:
$ 3.28万 - 项目类别:
Neuroimaging approaches to improve prediction of smoking initiation and nicotine use escalation among young adult electronic nicotine delivery systems users
神经影像学方法可改善年轻成人电子尼古丁输送系统用户吸烟开始和尼古丁使用升级的预测
- 批准号:
10896832 - 财政年份:2023
- 资助金额:
$ 3.28万 - 项目类别:
RESCUE: Rare Disease Detection and Escalation Support via a Learning Health System
救援:通过学习健康系统提供罕见疾病检测和升级支持
- 批准号:
10518068 - 财政年份:2022
- 资助金额:
$ 3.28万 - 项目类别:
Risk of Care Escalation after Non-Pharmacologic Treatment: Leveraging Real World Physical Therapy Data
非药物治疗后护理升级的风险:利用真实世界的物理治疗数据
- 批准号:
10598312 - 财政年份:2022
- 资助金额:
$ 3.28万 - 项目类别:
A developmentally-sensitive mechanism underlying the escalation of adolescent social anxiety
青少年社交焦虑升级的发育敏感机制
- 批准号:
10707188 - 财政年份:2022
- 资助金额:
$ 3.28万 - 项目类别: