刷新
{{item.name}}会员
Workshop on Future Directions of Automated Deduction, March 2-3, l996, Chicago, IL
自动演绎未来方向研讨会，1996 年 3 月 2-3 日，伊利诺伊州芝加哥
基本信息
- 批准号：9625544
- 负责人：
- 金额：$ 1.97万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1996
- 资助国家：美国
- 起止时间：1996-01-01 至 1996-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
9625544 Loveland This workshop will assess the achievements, opportunities and goals of the field of automated deduction. Some key researchers of the field and a sample of users of the technology will be assembled to address in particular the impact of automated deduction on other fields, present and future. This workshop will produce reports to NSF and the larger scientific community, identifying the major accomplishments, and discussing future directions, for the automated deduction field. ***
9625544洛夫兰本次研讨会将评估自动化演绎领域的成就、机遇和目标。 该领域的一些关键研究人员和该技术的用户样本将被聚集起来，特别是解决自动化演绎对其他领域的影响，现在和未来。 该研讨会将向NSF和更大的科学界提交报告，确定自动演绎领域的主要成就，并讨论未来的方向。 ***
项目成果
期刊论文数量（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 }}
Donald Loveland其他文献
Zeroth-Order SciML: Non-intrusive Integration of Scientific Software with Deep Learning
零阶 SciML：科学软件与深度学习的非侵入式集成
- DOI：
10.48550/arxiv.2206.02785 - 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
Ioannis C. Tsaknakis;B. Kailkhura;Sijia Liu;Donald Loveland;James Diffenderfer;A. Hiszpanski;Min - 通讯作者：
Min
The algorithm to infer production rules of the molecular NCE grammar and parse molecular graphs
推断分子NCE语法产生规则并解析分子图的算法
- DOI：
- 发表时间：
2020 - 期刊：
- 影响因子：0
- 作者：
Ioannis C. Tsaknakis;B. Kailkhura;Sijia Liu;Donald Loveland;James Diffenderfer;A. Hiszpanski;Min - 通讯作者：
Min
Donald Loveland的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Donald Loveland', 18)}}的其他基金
U.S.-Germany Cooperative Research to Enhance the Performance of the Model Elimination Proof Procedure
美德合作研究提高模型消除证明程序的性能
- 批准号：
9514375 - 财政年份：1996
- 资助金额：
$ 1.97万 - 项目类别：
Standard Grant
Linear Input Theorem Provers: Design & Performance Enhancement
线性输入定理证明器：设计
- 批准号：
9116203 - 财政年份：1992
- 资助金额：
$ 1.97万 - 项目类别：
Continuing Grant
Near-Horn Prolog: Extending Yet Preserving Prolog
近号角 Prolog：扩展但保留 Prolog
- 批准号：
8900383 - 财政年份：1989
- 资助金额：
$ 1.97万 - 项目类别：
Continuing Grant
Extending the Domain of Logic Programming
扩展逻辑编程的领域
- 批准号：
8805696 - 财政年份：1988
- 资助金额：
$ 1.97万 - 项目类别：
Standard Grant
Dialog Processing for Voice Interactive Problem Solving (Computer and Information Science)
用于语音交互问题解决的对话处理（计算机与信息科学）
- 批准号：
8603231 - 财政年份：1986
- 资助金额：
$ 1.97万 - 项目类别：
Continuing Grant
Mechanical Theorem Proving: Theory and Practice
力学定理证明：理论与实践
- 批准号：
7500666 - 财政年份：1975
- 资助金额：
$ 1.97万 - 项目类别：
Standard Grant
相似海外基金
Collaborative Research: Future Directions for Seafloor Geodesy Workshop 2020
合作研究：2020 年海底大地测量学研讨会的未来方向
- 批准号：
2016934 - 财政年份：2020
- 资助金额：
$ 1.97万 - 项目类别：
Standard Grant
Collaborative Research: Future Directions for Seafloor Geodesy Workshop 2020
合作研究：2020 年海底大地测量学研讨会的未来方向
- 批准号：
2016995 - 财政年份：2020
- 资助金额：
$ 1.97万 - 项目类别：
Standard Grant
SPX: Collaborative Research: NSF Scalable Parallelism in the Extreme (SPX) Workshop on Future Directions for Parallel and Distributed Computing
SPX：协作研究：NSF 可扩展并行性极限 (SPX) 并行和分布式计算未来方向研讨会
- 批准号：
1931313 - 财政年份：2019
- 资助金额：
$ 1.97万 - 项目类别：
Standard Grant
Workshop on Future Directions in Network Biology
网络生物学未来方向研讨会
- 批准号：
1941447 - 财政年份：2019
- 资助金额：
$ 1.97万 - 项目类别：
Standard Grant
SPX: Collaborative Research: NSF Scalable Parallelism in the Extreme (SPX) Workshop on Future Directions for Parallel and Distributed Computing
SPX：协作研究：NSF 可扩展并行性极限 (SPX) 并行和分布式计算未来方向研讨会
- 批准号：
1931235 - 财政年份：2019
- 资助金额：
$ 1.97万 - 项目类别：
Standard Grant
Conference: From Omics to Function, Future Directions for Comparative Immunology, NACI Workshop, June 12-15, 2017, Raleigh, North Carolina
会议：从组学到功能，比较免疫学的未来方向，NACI 研讨会，2017 年 6 月 12-15 日，北卡罗来纳州罗利
- 批准号：
1725127 - 财政年份：2017
- 资助金额：
$ 1.97万 - 项目类别：
Standard Grant
Organizing a Workshop Series on Future Research Directions for Mobile Computing and Wireless Networking Systems
组织关于移动计算和无线网络系统未来研究方向的研讨会系列
- 批准号：
1734151 - 财政年份：2017
- 资助金额：
$ 1.97万 - 项目类别：
Standard Grant
Workshop: Recent Advances and Future Research Directions in RF Technologies from MHz to THz; Honolulu, Hawaii, June 8th, 2017.
研讨会：从 MHz 到 THz 射频技术的最新进展和未来研究方向；
- 批准号：
1737435 - 财政年份：2017
- 资助金额：
$ 1.97万 - 项目类别：
Standard Grant
Workshop on Future Directions for Algorithms in Biology
生物学算法未来方向研讨会
- 批准号：
1748493 - 财政年份：2017
- 资助金额：
$ 1.97万 - 项目类别：
Standard Grant
Workshop: Grantees and Future Research Directions in Service, Manufacturing, and Operations Research (NSF-SMOR) Southern Methodist University, Dallas, TX; October 9-11, 2016
研讨会：服务、制造和运营研究 (NSF-SMOR) 的受资助者和未来研究方向 (NSF-SMOR) 南卫理公会大学，达拉斯，德克萨斯州；
- 批准号：
1650203 - 财政年份：2016
- 资助金额：
$ 1.97万 - 项目类别：
Standard Grant