Uncertainty in Computation
Uncertainty in Computation
批准号:
1639627
负责人:
Richard Karp
金额:
$2.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2016
资助国家:
美国
项目状态:
已结题
起止时间:
2016-07-01 至 2017-06-30
中文摘要
计算中的不确定性研讨会将于2016年10月4日至10月7日在Simons计算理论研究所举行。该研讨会是计算中的逻辑结构计划的一部分,该计划将于2016年8月14日至12月16日举行。研讨会的基本主题是探讨逻辑、算法分析和计算复杂性领域对计算中的不确定性的观点。研讨会更广泛的意义和重要性在于,它将加强数学逻辑社区和计算科学领域的算法研究人员社区之间的交流。研讨会将鼓励学生参加,组织者将积极招募来自不同背景的科学家。
英文摘要
The workshop on Uncertainty in Computation will be held at the Simons Institute for the Theory of Computing from October 4 to October 7, 2016. The workshop is part of a program on Logical Structures in Computation that will take place from August 14 to December 16, 2016. The underlying theme of the workshop is to explore the viewpoints of the fields of logic, analysis of algorithms, and computational complexity on uncertainty in computation. The broader significance and importance of the workshop is that it will enhance communication between the mathematical logic community and the community of algorithms researchers within computing science. The workshop will encourage students to attend, and the organizers will actively recruit scientists from a diversity of backgrounds.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Brain and Computation
-
批准号:1744126
-
项目类别:Standard Grant
-
资助金额:$6.0万
-
财政年份:2017
-
负责人:Richard Karp
-
依托单位:
Learning, Algorithm Design and Beyond Worst-Case Analysis
-
批准号:1639629
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2016
-
负责人:Richard Karp
-
依托单位:
Computational Challenges in Machine Learning
-
批准号:1639630
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2016
-
负责人:Richard Karp
-
依托单位:
Proving and Using Pseudorandomness
-
批准号:1639631
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2016
-
负责人:Richard Karp
-
依托单位:
Optimization and Decision-Making Under Uncertainty
-
批准号:1639628
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2016
-
负责人:Richard Karp
-
依托单位:
Women in Theory 2016
-
批准号:1636967
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2016
-
负责人:Richard Karp
-
依托单位:
Connections Between Algorithm Design and Complexity Theory
-
批准号:1540284
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2015
-
负责人:Richard Karp
-
依托单位:
Approximate Counting, Markov Chains and Phase Transitions
-
批准号:1540286
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2015
-
负责人:Richard Karp
-
依托单位:
Network Biology
-
批准号:1540285
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2015
-
负责人:Richard Karp
-
依托单位:
Algorithmic Game Theory and Practice
-
批准号:1540283
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2015
-
负责人:Richard Karp
-
依托单位:
Spectral Algorithms: From Theory to Practice
-
批准号:1443133
-
项目类别:Standard Grant
-
资助金额:$3.0万
-
财政年份:2014
-
负责人:Richard Karp
-
依托单位:
The Mathematics Underlying Cryptography
-
批准号:1443136
-
项目类别:Standard Grant
-
资助金额:$3.0万
-
财政年份:2014
-
负责人:Richard Karp
-
依托单位:
Securing Computation
-
批准号:1443135
-
项目类别:Standard Grant
-
资助金额:$3.0万
-
财政年份:2014
-
负责人:Richard Karp
-
依托单位:
Coding: From Practice to Theory
-
批准号:1443134
-
项目类别:Standard Grant
-
资助金额:$3.0万
-
财政年份:2014
-
负责人:Richard Karp
-
依托单位:
Big Data and Differential Privacy
-
批准号:1346565
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2013
-
负责人:Richard Karp
-
依托单位:
CCF: AF: EAGER: Systematic Construction of Heuristic Algorithms for Combinatorial Optimization Problems in Biology
-
批准号:1052553
-
项目类别:Standard Grant
-
资助金额:$25.94万
-
财政年份:2010
-
负责人:Richard Karp
-
依托单位:
Workshop:Planning for a Cross-Cutting Initiative on Theory of Networked Computation
-
批准号:0601893
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Richard Karp
-
依托单位:
Design and Analysis of Internet Algorithms: Routing, Filtering, Overlay Design and Influence of Heterogeneity
-
批准号:0515259
-
项目类别:Continuing Grant
-
资助金额:$75.0万
-
财政年份:2005
-
负责人:Richard Karp
-
依托单位:
ITR: Analysis of Internet Algorithms: Optimization, Game Theory and Competitive Analysis
-
批准号:0081698
-
项目类别:Continuing Grant
-
资助金额:$49.98万
-
财政年份:2000
-
负责人:Richard Karp
-
依托单位:
Computational Problems in Physical Mapping and Sequencing
-
批准号:9601046
-
项目类别:Continuing Grant
-
资助金额:$72.5万
-
财政年份:1996
-
负责人:Richard Karp
-
依托单位:
国内基金
海外基金
基于分位数g-computation的多污染物联合空气质量健康指数构建及预测效果评价
-
批准号:--
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2022
-
负责人:李嘉琛
-
依托单位:
基于g-computation控制纵向数据未测混杂因素的因果推断模型构建及应用研究
-
批准号:81903416
-
项目类别:青年科学基金项目
-
资助金额:19.0万元
-
批准年份:2019
-
负责人:陈永杰
-
依托单位: