SGER: Multidisciplinary Aspects of Computation Theory
SGER: Multidisciplinary Aspects of Computation Theory
批准号:
0344187
负责人:
Jack Lutz
金额:
$7.49万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2003
资助国家:
美国
项目状态:
已结题
起止时间:
2003-09-01 至 2006-02-28
中文摘要
这个项目将探索一个多学科的相关问题集合,其中计算理论起着基本的作用。这些问题涉及计算复杂性,算法信息论,随机过程,统计推断,艺术等各种主题。社会智能、分形几何、动力系统、博弈论和其他领域,但它们有几个关键的共性:这些问题都涉及基本概念方面的可计算性和/或复杂性理论。从某种意义上说,这些问题是随机的,因为它们或它们的解决方案包含某种随机性。这些问题在某种意义上是动态的,因为它们或它们的解决方案除了在计算理论中更典型地出现的离散和代数方法外,还涉及分析或拓扑方法。从某种意义上说,这些问题是战略性的,因为它们或它们的解决方案涉及赌博、预测、学习、玩游戏或在包含逆境的环境中执行的其他任务的算法策略的设计和分析。
英文摘要
This project will explore a multidisciplinary collection of related problems inwhich the theory of computing plays a fundamental role. The problems involvea variety of topics in computational complexity, algorithmic information theory,stochastic processes, statistical inference, arti.cial intelligence, fractal geometry,dynamical systems, game theory, and other areas, but they have several crucialcommonalities: The problems are ones that involve computability and/or complexity theoryin fundamental conceptual respects. The problems are stochastic in the sense that they or their solutions involve some sort of randomness. The problems are dynamic in the sense that they or their solutions involve analyticor topological methods in addition to the discrete and algebraic methods that more typically arise in the theory of computing. The problems are strategic in the sense that they or their solutions involve the design and analysis of algorithmic strategies for betting, prediction, learning, game-playing, or some other task that is carried out in an environmentcontaining adversity.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
INSPIRE: Robust Molecular Programming: Advances in the Design and Verification of Reliable Self-Assembling Nanosystems
-
批准号:1247051
-
项目类别:Standard Grant
-
资助金额:$92.5万
-
财政年份:2012
-
负责人:Jack Lutz
-
依托单位:
EAGER: Collaborative Research: Modeling and Analysis of Molecular Programming and Nanoscale Self-Assembly
-
批准号:1143830
-
项目类别:Standard Grant
-
资助金额:$18.9万
-
财政年份:2011
-
负责人:Jack Lutz
-
依托单位:
FRG: Collaborative Research: Algorithmic Randomness
-
批准号:0652569
-
项目类别:Continuing Grant
-
资助金额:$3.0万
-
财政年份:2007
-
负责人:Jack Lutz
-
依托单位:
Effective Dimensions in the Theory of Computing
-
批准号:0728806
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Jack Lutz
-
依托单位:
Measure and Information in Computational Complexity
-
批准号:9988483
-
项目类别:Standard Grant
-
资助金额:$24.99万
-
财政年份:2000
-
负责人:Jack Lutz
-
依托单位:
Measure and Randomness in Computational Complexity
-
批准号:9610461
-
项目类别:Standard Grant
-
资助金额:$18.34万
-
财政年份:1997
-
负责人:Jack Lutz
-
依托单位:
PYI: The Internal Quantitative Structure of Complexity Classes
-
批准号:9157382
-
项目类别:Continuing Grant
-
资助金额:$26.6万
-
财政年份:1991
-
负责人:Jack Lutz
-
依托单位:
Research Initiation: Measure and Category in Complexity Classes
-
批准号:8809238
-
项目类别:Standard Grant
-
资助金额:$3.79万
-
财政年份:1988
-
负责人:Jack Lutz
-
依托单位:
海外基金