Travel Support to Annual Unification Workshop; Dagstuhl, Germany; Summer 1992
年度统一研讨会的差旅支持;
基本信息
- 批准号:9204363
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:1992
- 资助国家:美国
- 起止时间:1992-06-15 至 1993-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This grant is to support the travel of six US researchers in unification theory to the Annual Unification Workshop to be held in the Dagstuhl International Conference and Research Center in Dagstuhl, Germany. The grant would fund only airfare, as all other funding is provided by the Center. There has been little interaction between the American and European researcher in unification theory although there is a great deal of important work in this area taking place on both sides of the Atlantic. This grant will bridge this gap, and bring together the two communities in order to share our knowledge and foster continued cooperation.
这笔赠款将用于资助六名美国统一理论研究人员参加在德国达格施图尔国际会议和研究中心举行的年度统一研讨会。赠款将只资助机票,因为所有其他资金都由中心提供。美国和欧洲在统一理论方面的研究人员之间很少有互动,尽管大西洋两岸在这一领域都进行了大量的重要工作。这笔赠款将弥合这一差距,并将两个社区聚集在一起,以分享我们的知识,促进持续合作。
项目成果
期刊论文数量(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 }}
Wayne Snyder其他文献
On the Complexity of Recursive Path Orderings
关于递归路径排序的复杂性
- DOI:
10.1016/0020-0190(93)90105-i - 发表时间:
1993 - 期刊:
- 影响因子:0
- 作者:
Wayne Snyder - 通讯作者:
Wayne Snyder
The quality of life in historical perspective France: 1695–1990
- DOI:
10.1007/bf00300454 - 发表时间:
1996-06-01 - 期刊:
- 影响因子:2.800
- 作者:
Nathalie Ostroot;Wayne Snyder - 通讯作者:
Wayne Snyder
Fast algorithms for uniform semi-unification
均匀半统一的快速算法
- DOI:
- 发表时间:
2004 - 期刊:
- 影响因子:0.7
- 作者:
Alberto Duque Oliart;Wayne Snyder - 通讯作者:
Wayne Snyder
Complete Sets of Transformations for General E-Unification
通用电子统一的完整转换集
- DOI:
10.1016/0304-3975(89)90004-2 - 发表时间:
1989 - 期刊:
- 影响因子:0
- 作者:
J. Gallier;Wayne Snyder - 通讯作者:
Wayne Snyder
Proof theory for general unification
一般统一的证明论
- DOI:
10.1007/978-1-4612-0435-0 - 发表时间:
1991 - 期刊:
- 影响因子:0
- 作者:
Wayne Snyder - 通讯作者:
Wayne Snyder
Wayne Snyder的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Wayne Snyder', 18)}}的其他基金
U.S.-France Cooperative Research: Theory and Applications ofEquational Theorem Proving Techniques based on Completion
美法合作研究:基于补全的方程定理证明技术的理论与应用
- 批准号:
9314834 - 财政年份:1994
- 资助金额:
-- - 项目类别:
Standard Grant
RIA: The Theory of General Unification and Rigid E-Unification
RIA:普遍统一理论和严格电子统一理论
- 批准号:
8910268 - 财政年份:1989
- 资助金额:
-- - 项目类别:
Standard Grant
相似国自然基金
两性离子载体(zwitterionic support)作为可溶性支载体在液相有机合成中的应用
- 批准号:21002080
- 批准年份:2010
- 资助金额:19.0 万元
- 项目类别:青年科学基金项目
基于Support Vector Machines(SVMs)算法的智能型期权定价模型的研究
- 批准号:70501008
- 批准年份:2005
- 资助金额:17.0 万元
- 项目类别:青年科学基金项目
相似海外基金
Travel: Support for U.S. Students to Receive Training on Research Cyberinfrastructure at the 2024 Annual Modeling and Simulation Conference (ANNSIM)
旅行:支持美国学生在 2024 年年度建模与仿真会议 (ANNSIM) 上接受研究网络基础设施培训
- 批准号:
2425778 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Standard Grant
Conference: NSF Student Travel Support for the 38th Annual AAAI Conference on Artificial Intelligence (AAAI-2024)
会议:第 38 届 AAAI 人工智能会议 (AAAI-2024) 的 NSF 学生旅行支持
- 批准号:
2412476 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Standard Grant
Travel Support for 16th Tri-Annual International Conference on Stochastic Programming (ICSP); Davis, California; 24-28 July 2023
第 16 届三年一度的随机规划国际会议 (ICSP) 的差旅支持;
- 批准号:
2309931 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Standard Grant
Travel: Support for U.S. Students to Receive Training on Research Cyberinfrastructure at the 2023 Annual Modeling and Simulation Conference (ANNSIM)
旅行:支持美国学生在 2023 年年度建模与仿真会议 (ANNSIM) 上接受研究网络基础设施培训
- 批准号:
2306961 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Standard Grant
Student Travel Support to Attend the North American Annual and European Summer Meetings of the Association For Symbolic Logic
学生参加符号逻辑协会北美年会和欧洲夏季会议的旅行支持
- 批准号:
1935558 - 财政年份:2020
- 资助金额:
-- - 项目类别:
Continuing Grant
Travel Support for Underrepresented Minority Students Attending INFORMS Annual Meetings 2019 - 2024
为参加 2019 - 2024 年 INFORMS 年会的少数族裔学生提供差旅支持
- 批准号:
1940265 - 财政年份:2019
- 资助金额:
-- - 项目类别:
Standard Grant
10th Annual CUGH Conference on Translation and Implementation for Impact in Global Health: Travel Support for Junior and Mid-Level Career LMIC Environmental Health Scholars
第十届 CUGH 年度会议:翻译和实施对全球健康的影响:为初级和中级职业 LMIC 环境健康学者提供差旅支持
- 批准号:
9762362 - 财政年份:2019
- 资助金额:
-- - 项目类别:
Student Travel Support for the first AES Electrophoresis Society Annual Meeting at SciX
为 SciX 举行的第一届 AES 电泳学会年会提供学生旅行支持
- 批准号:
1839193 - 财政年份:2018
- 资助金额:
-- - 项目类别:
Standard Grant
Application to partially fund the MCBIOS Annual Conference expenses for workshops, keynote speakers, students awards and student travel support for five years.
申请部分资助 MCBIOS 年会费用,用于研讨会、主题演讲、学生奖励和五年的学生旅行支持。
- 批准号:
9764147 - 财政年份:2016
- 资助金额:
-- - 项目类别:
APS DFD Participant Travel Support - 69th Annual DFD Meeting in Portland, OR, November 20 -22, 2016
APS DFD 参与者差旅支持 - 第 69 届 DFD 年度会议,俄勒冈州波特兰,2016 年 11 月 20 日至 22 日
- 批准号:
1650056 - 财政年份:2016
- 资助金额:
-- - 项目类别:
Standard Grant














{{item.name}}会员




