刷新
{{item.name}}会员
Connections Between Proofs and Circuits with Practical Applications
证明和电路与实际应用之间的联系
基本信息
- 批准号：557423-2021
- 负责人：
- 金额：$ 1.64万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Postdoctoral Fellowships
- 财政年份：2021
- 资助国家：加拿大
- 起止时间：2021-01-01 至 2022-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Complexity Theory, Proof Complexity, Theoretical Computer Science, Cutting Planes, Circuit Complexity, Monotone Circuits, Integer Programming, Perfect Matching, Lower Bounds, Hardness Escalation
复杂性理论，证明复杂性，理论计算机科学，切割平面，电路复杂性，单调电路，整数规划，完美匹配，下限，硬度递增
项目成果
期刊论文数量（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 }}
Fleming, Noah其他文献
Semialgebraic Proofs and Efficient Algorithm Design
- DOI：
10.1561/0400000086 - 发表时间：
2019-01-01 - 期刊：
- 影响因子：0
- 作者：
Fleming, Noah;Kothari, Pravesh;Pitassi, Toniann - 通讯作者：
Pitassi, Toniann
Stabbing Planes
刺击飞机
- DOI：
10.48550/arxiv.1710.03219 - 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
Beame, Paul;Fleming, Noah;Impagliazzo, Russell;Pankratov, Denis;Pitassi, Toniann;Robere, Robert - 通讯作者：
Robere, Robert
Fleming, Noah的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Fleming, Noah', 18)}}的其他基金
Combinatorial Lower Bounds for Cutting Planes Proofs
割平面证明的组合下界
- 批准号：
504319-2017 - 财政年份：2019
- 资助金额：
$ 1.64万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Combinatorial Lower Bounds for Cutting Planes Proofs
割平面证明的组合下界
- 批准号：
504319-2017 - 财政年份：2018
- 资助金额：
$ 1.64万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Combinatorial Lower Bounds for Cutting Planes Proofs
割平面证明的组合下界
- 批准号：
504319-2017 - 财政年份：2017
- 资助金额：
$ 1.64万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Exploring proof complexity of cutting planes extensions
探索切割平面扩展的证明复杂性
- 批准号：
483248-2015 - 财政年份：2015
- 资助金额：
$ 1.64万 - 项目类别：
University Undergraduate Student Research Awards
Approximation Lower Bounds for the Extension Complexity of Constraint Satisfaction
约束满足的可拓复杂性的近似下界
- 批准号：
482051-2015 - 财政年份：2015
- 资助金额：
$ 1.64万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Master's
Lower bounds for Cutting Planes Proofs
割平面证明的下界
- 批准号：
466007-2014 - 财政年份：2014
- 资助金额：
$ 1.64万 - 项目类别：
University Undergraduate Student Research Awards
相似海外基金
Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
- 批准号：
2876993 - 财政年份：2027
- 资助金额：
$ 1.64万 - 项目类别：
Studentship
Translations between Type Theories
类型理论之间的翻译
- 批准号：
EP/Z000602/1 - 财政年份：2025
- 资助金额：
$ 1.64万 - 项目类别：
Research Grant
CAREER: Quantifying congruences between modular forms
职业：量化模块化形式之间的同余性
- 批准号：
2337830 - 财政年份：2024
- 资助金额：
$ 1.64万 - 项目类别：
Continuing Grant
CAREER: Closing the Loop between Learning and Communication for Assistive Robot Arms
职业：关闭辅助机器人手臂的学习和交流之间的循环
- 批准号：
2337884 - 财政年份：2024
- 资助金额：
$ 1.64万 - 项目类别：
Standard Grant
Collaborative Research: URoL:ASC: Determining the relationship between genes and ecosystem processes to improve biogeochemical models for nutrient management
合作研究：URoL:ASC：确定基因与生态系统过程之间的关系，以改进营养管理的生物地球化学模型
- 批准号：
2319123 - 财政年份：2024
- 资助金额：
$ 1.64万 - 项目类别：
Standard Grant
Collaborative Research: Geophysical and geochemical investigation of links between the deep and shallow volatile cycles of the Earth
合作研究：地球深层和浅层挥发性循环之间联系的地球物理和地球化学调查
- 批准号：
2333102 - 财政年份：2024
- 资助金额：
$ 1.64万 - 项目类别：
Continuing Grant
Exploration of relationship between floods, poverty, and dynamic environmental sustainability
探索洪水、贫困和动态环境可持续性之间的关系
- 批准号：
24K07692 - 财政年份：2024
- 资助金额：
$ 1.64万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Investigation of crosstalk between Fanconi Anemia pathway and ATM for novel therapeutic strategies of chemoresistant ALT-positive high-risk neuroblastoma
范可尼贫血通路与 ATM 之间的串扰研究，用于化疗耐药 ALT 阳性高危神经母细胞瘤的新治疗策略
- 批准号：
24K10442 - 财政年份：2024
- 资助金额：
$ 1.64万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Thwarted Identity: The Missing Link Between Psychopathology and Prejudice
受挫的身份：精神病理学与偏见之间缺失的联系
- 批准号：
DP240100108 - 财政年份：2024
- 资助金额：
$ 1.64万 - 项目类别：
Discovery Projects
Interplay between Aging and Tubulin Posttranslational Modifications
衰老与微管蛋白翻译后修饰之间的相互作用
- 批准号：
24K18114 - 财政年份：2024
- 资助金额：
$ 1.64万 - 项目类别：
Grant-in-Aid for Early-Career Scientists