Support for Participation in Logic and Computational Complexity: Workshop in Honor of Neil Immerman
支持参与逻辑和计算复杂性:尼尔·伊默曼纪念研讨会
基本信息
- 批准号:1417174
- 负责人:
- 金额:$ 1.23万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2014
- 资助国家:美国
- 起止时间:2014-04-01 至 2016-05-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
The grant provides travel support for graduate students to attend the 2014 Logic and Computational Complexity Workshop that will take place in Vienna, Austria, on July 12-13, 2014, which is taking place during the Vienna Summer of Logic event, which encompasses the Federated Logic Conferences (FLoC'2014). Funding for student travel has significant broader impacts because of the opportunity it gives the students to become part of their research community, discuss their research with others, listen to and meet with leaders in the field. This workshop is international and provides an international dimension, because students will have experiences relevant to becoming part of a global workforce.
该补助金为研究生提供旅行支持,参加将于2014年7月12日至13日在奥地利维也纳举行的2014年逻辑和计算复杂性研讨会,该研讨会将在维也纳夏季逻辑活动期间举行,其中包括联邦逻辑会议(FLoC'2014)。资助学生旅行具有显着的更广泛的影响,因为它使学生有机会成为他们的研究社区的一部分,与他人讨论他们的研究,听取和会见领导人在该领域。这个研讨会是国际性的,并提供了一个国际层面,因为学生将有相关的经验,成为全球劳动力的一部分。
项目成果
期刊论文数量(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 }}
Shlomo Zilberstein其他文献
Competence-aware systems
能力感知系统
- DOI:
10.1016/j.artint.2022.103844 - 发表时间:
2023-03-01 - 期刊:
- 影响因子:4.600
- 作者:
Connor Basich;Justin Svegliato;Kyle H. Wray;Stefan Witwicki;Joydeep Biswas;Shlomo Zilberstein - 通讯作者:
Shlomo Zilberstein
A Value-Driven System for Autonomous Information Gathering
- DOI:
10.1023/a:1008718418982 - 发表时间:
2000-03-01 - 期刊:
- 影响因子:3.400
- 作者:
Joshua Grass;Shlomo Zilberstein - 通讯作者:
Shlomo Zilberstein
Dynamic Composition of Information Retrieval Techniques
- DOI:
10.1023/b:jiis.0000029671.27333.7d - 发表时间:
2004-07-01 - 期刊:
- 影响因子:3.400
- 作者:
Andrew Arnt;Shlomo Zilberstein;James Allan;Abdel-Illah Mouaddib - 通讯作者:
Abdel-Illah Mouaddib
Resource-bounded sensing and planning in autonomous systems
- DOI:
10.1007/bf00162466 - 发表时间:
1996-01-01 - 期刊:
- 影响因子:4.300
- 作者:
Shlomo Zilberstein - 通讯作者:
Shlomo Zilberstein
Shlomo Zilberstein的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Shlomo Zilberstein', 18)}}的其他基金
RI: Small: Foundations and Applications of Observer-Aware Planning
RI:小型:观察者感知规划的基础和应用
- 批准号:
2205153 - 财政年份:2022
- 资助金额:
$ 1.23万 - 项目类别:
Standard Grant
Collaborative Research: RI: Medium: Introspective Perception and Planning for Long-Term Autonomy
合作研究:RI:中:长期自治的内省感知和规划
- 批准号:
1954782 - 财政年份:2020
- 资助金额:
$ 1.23万 - 项目类别:
Continuing Grant
RI: Small: Adaptive Metareasoning for Bounded Rational Agents
RI:小:有限理性智能体的自适应元推理
- 批准号:
1813490 - 财政年份:2018
- 资助金额:
$ 1.23万 - 项目类别:
Standard Grant
S&AS: FND: Reliable Semi-Autonomy with Diminishing Reliance on Humans
S
- 批准号:
1724101 - 财政年份:2017
- 资助金额:
$ 1.23万 - 项目类别:
Standard Grant
RI: Small: Probabilistic Planning with Reduced Models
RI:小型:使用简化模型的概率规划
- 批准号:
1524797 - 财政年份:2015
- 资助金额:
$ 1.23万 - 项目类别:
Standard Grant
RI: Medium: Computational Models, Interaction Mechanisms, and Planning Algorithms for Semi-Autonomous Systems
RI:中:半自主系统的计算模型、交互机制和规划算法
- 批准号:
1405550 - 财政年份:2014
- 资助金额:
$ 1.23万 - 项目类别:
Continuing Grant
RI: Small: Planning Algorithms for Large Decentralized Multiagent Settings
RI:小型:大型去中心化多智能体设置的规划算法
- 批准号:
1116917 - 财政年份:2011
- 资助金额:
$ 1.23万 - 项目类别:
Continuing Grant
RI: Small: Foundations and Applications of Generalized Planning
RI:小型:总体规划的基础和应用
- 批准号:
0915071 - 财政年份:2009
- 资助金额:
$ 1.23万 - 项目类别:
Standard Grant
Support for Participation in the 2009 International Summer School on Planning and Scheduling
支持参加2009年规划与调度国际暑期学校
- 批准号:
0937593 - 财政年份:2009
- 资助金额:
$ 1.23万 - 项目类别:
Standard Grant
RI-Small: Decision-Theoretic Planning for Multi-Agent Systems
RI-Small:多智能体系统的决策理论规划
- 批准号:
0812149 - 财政年份:2008
- 资助金额:
$ 1.23万 - 项目类别:
Standard Grant
相似海外基金
INSPIRE- Intersectional Spaces of Participation: Inclusive, Resilient, Embedded
INSPIRE-交叉参与空间:包容性、弹性、嵌入式
- 批准号:
10106857 - 财政年份:2024
- 资助金额:
$ 1.23万 - 项目类别:
EU-Funded
Collaborative Research: Implementation Grant: Active Societal Participation In Research and Education
合作研究:实施补助金:社会积极参与研究和教育
- 批准号:
2326774 - 财政年份:2024
- 资助金额:
$ 1.23万 - 项目类别:
Continuing Grant
Collaborative Research: IMPLEMENTATION: Broadening participation of marginalized individuals to transform SABER and biology education
合作研究:实施:扩大边缘化个人的参与,以改变 SABER 和生物教育
- 批准号:
2334954 - 财政年份:2024
- 资助金额:
$ 1.23万 - 项目类别:
Standard Grant
LSAMP BD: UC Santa Barbara California Alliance for Minority Participation
LSAMP BD:加州大学圣塔芭芭拉分校加州少数族裔参与联盟
- 批准号:
2404971 - 财政年份:2024
- 资助金额:
$ 1.23万 - 项目类别:
Standard Grant
Collaborative Research: IMPLEMENTATION: Broadening participation of marginalized individuals to transform SABER and biology education
合作研究:实施:扩大边缘化个人的参与,以改变 SABER 和生物教育
- 批准号:
2334955 - 财政年份:2024
- 资助金额:
$ 1.23万 - 项目类别:
Standard Grant
Conference: Broadening Participation at the 21st International Symposium on Rice Functional Genomics (ISRFG)
会议:扩大第21届国际水稻功能基因组学研讨会(ISRFG)的参与范围
- 批准号:
2422920 - 财政年份:2024
- 资助金额:
$ 1.23万 - 项目类别:
Standard Grant
Collaborative Research: Implementation Grant: Active Societal Participation In Research and Education
合作研究:实施补助金:社会积极参与研究和教育
- 批准号:
2326775 - 财政年份:2024
- 资助金额:
$ 1.23万 - 项目类别:
Continuing Grant
A Synthesis of Approaches to Equity, Belonging, and Broadening Participation in Museums and Makerspaces
博物馆和创客空间的公平、归属感和扩大参与方法综合
- 批准号:
2313981 - 财政年份:2024
- 资助金额:
$ 1.23万 - 项目类别:
Standard Grant
Australian Participation in the Legacy Survey of Space and Time
澳大利亚参与遗产时空勘测
- 批准号:
LE220100007 - 财政年份:2024
- 资助金额:
$ 1.23万 - 项目类别:
Linkage Infrastructure, Equipment and Facilities
INSPIRE - Intersectional Spaces of Participation: Inclusive, Resilient, Embedded
INSPIRE - 交叉参与空间:包容性、弹性、嵌入式
- 批准号:
10091666 - 财政年份:2024
- 资助金额:
$ 1.23万 - 项目类别:
EU-Funded