课题基金 / 基金详情

Presidential Faculty Fellow

Presidential Faculty Fellow
总统教员研究员
批准号：
9253582
负责人：
Lance Fortnow
金额：
$50.0万
依托单位：
University of Chicago
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1992
资助国家：
美国
项目状态：
已结题
起止时间：
1992-09-15 至 1998-08-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9253582&HistoricalAwards=false
关键词：
PresidentialFacultyFellow

项目摘要

项目成果

Lance Fortnow的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Work in the structural theory of computation, especially nondeterminism, probabilistic complexity, interactive proof systems, counting classes and program verification is continued. Newly developed techniques of algebraic structure of complexity classes and Gap-P counting functions to further understanding of these areas are used. A theory of program verification to enable an implementation of simple verification schemes is enhanced.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Instance Compression
  • 批准号：
    1338274
  • 项目类别：
    Standard Grant
  • 资助金额：
    $3.52万
  • 财政年份：
    2012
  • 负责人：
    Lance Fortnow
  • 依托单位：
    Georgia Tech Research Corporation
EAGER: Bounding Rationality by Computational Complexity
  • 批准号：
    1255900
  • 项目类别：
    Standard Grant
  • 资助金额：
    $15.2万
  • 财政年份：
    2012
  • 负责人：
    Lance Fortnow
  • 依托单位：
    Georgia Tech Research Corporation
TC: Small: Countering Location Spoofing Attacks: Multi-Model Architecture with Privacy-Enhancing Techniques
  • 批准号：
    1115375
  • 项目类别：
    Standard Grant
  • 资助金额：
    $50.0万
  • 财政年份：
    2011
  • 负责人：
    Lance Fortnow
  • 依托单位：
    Georgia Tech Research Corporation
ICES: Small: Collaborative Research: Algorithms and Mechanisms for Pricing, Influencing Dynamics, and Economic Optimization
  • 批准号：
    1101283
  • 项目类别：
    Standard Grant
  • 资助金额：
    $18.53万
  • 财政年份：
    2011
  • 负责人：
    Lance Fortnow
  • 依托单位：
    Georgia Tech Research Corporation
海外基金