课题基金 / 基金详情

U.S.-Netherlands Cooperative Research in Complexity Theory (Computer Science)

U.S.-Netherlands Cooperative Research in Complexity Theory (Computer Science)
美国-荷兰复杂性理论合作研究(计算机科学)
批准号:
9123551
负责人:
Steven Homer
金额:
$1.25万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1992
资助国家:
美国
项目状态:
已结题
起止时间:
1992-07-15 至 1995-12-31

项目摘要

项目成果

Steven Homer的其他基金

相似基金

相关文献

中文摘要
翻译
该奖项支持由波士顿大学的Steven Homer教授与荷兰阿姆斯特丹大学数学和计算机科学系的Peter van Emde Boas教授和其他人合作的三名美国计算机科学家小组。他们的研究将集中在计算理论的几个当前主题,包括结构复杂性理论和Kolmogorov复杂性理论。参与者之间的几次互惠工作会议将加速计划中的合作,这将使当地的年轻研究人员,特别是研究生有机会从参与讨论中受益。​这项研究处于数学和计算机科学的边界上。七名参与者之间的各种研究伙伴关系应该在复杂性理论的几个中心领域产生重大成果。美国和荷兰参与者提供的互补性专业知识有可能提供见解和联系,如果没有合作互动,这些见解和联系就不会出现。
英文摘要
This award supports a group of three U.S. computer scientists coordinated by Professor Steven Homer of Boston University to collaborate with Professor Peter van Emde Boas and others of the Department of Mathematics and Computer Science of the University of Amsterdam, the Netherlands. Their research will focus on several current topics in the theory of computation, including structural complexity theory and Kolmogorov complexity theory. The planned collaboration will be expedited by several reciprocal working meetings among the participants that will give opportunities to local young researchers and particularly graduate students to benefit from participation in the discussions. This research lies on the boundary between mathematics and computer science. The various research partnerships among the seven participants should yield significant results in several central areas of complexity theory. The complementary expertise contributed by the U.S. and Dutch participants has the potential to contribute insights and connections which would not emerge without the cooperative interactions.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
XPS: FULL: CCA: Collaborative Research: Automatically Scalable Computation
  • 批准号:
    1533663
  • 项目类别:
    Standard Grant
  • 资助金额:
    $35.0万
  • 财政年份:
    2015
  • 负责人:
    Steven Homer
  • 依托单位:
Quantum Computation and Complexity Theory
  • 批准号:
    9988310
  • 项目类别:
    Continuing grant
  • 资助金额:
    $22.95万
  • 财政年份:
    2000
  • 负责人:
    Steven Homer
  • 依托单位:
The Structure of Complete Sets and Polynomial Reducibilities
  • 批准号:
    9103055
  • 项目类别:
    Standard Grant
  • 资助金额:
    $0.0万
  • 财政年份:
    1991
  • 负责人:
    Steven Homer
  • 依托单位:
Parallel Automated Reasoning and Clause-Graph Analysis
  • 批准号:
    9003030
  • 项目类别:
    Standard Grant
  • 资助金额:
    $0.0万
  • 财政年份:
    1990
  • 负责人:
    Steven Homer
  • 依托单位:
海外基金