RUI: Research in Database Foundations and Logic Programming at an Undergraduate Institution
RUI:本科院校数据库基础和逻辑编程研究
基本信息
- 批准号:8412662
- 负责人:
- 金额:$ 7.92万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:1985
- 资助国家:美国
- 起止时间:1985-01-01 至 1988-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
项目成果
期刊论文数量(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 }}
John Grant其他文献
Measuring Inconsistency in Some Logics with Tense Operators
使用时态运算符测量某些逻辑中的不一致
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:0.7
- 作者:
John Grant - 通讯作者:
John Grant
Confirmation of empirical theories by observation sets
- DOI:
10.1007/bf02379249 - 发表时间:
1978-11-01 - 期刊:
- 影响因子:0.500
- 作者:
John Grant - 通讯作者:
John Grant
On optimizing the evaluation of a set of expressions
- DOI:
10.1007/bf00999727 - 发表时间:
1982-06-01 - 期刊:
- 影响因子:0.900
- 作者:
John Grant;Jack Minker - 通讯作者:
Jack Minker
Postulates for revising BDI structures
- DOI:
10.1007/s11229-010-9735-1 - 发表时间:
2010-07-21 - 期刊:
- 影响因子:1.300
- 作者:
John Grant;Sarit Kraus;Donald Perlis;Michael Wooldridge - 通讯作者:
Michael Wooldridge
Shape statistics of particle clusters in a turbulent flow
湍流中粒子簇的形状统计
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
John Grant - 通讯作者:
John Grant
John Grant的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('John Grant', 18)}}的其他基金
Research in Database Foundations and Logic Programming at anUndergraduate Institution
本科院校数据库基础与逻辑编程研究
- 批准号:
9200898 - 财政年份:1992
- 资助金额:
$ 7.92万 - 项目类别:
Continuing Grant
RUI: Research in Database Foundations and Logic Programmingat an Undergraduate Institution
RUI:本科院校数据库基础与逻辑编程研究
- 批准号:
8921951 - 财政年份:1990
- 资助金额:
$ 7.92万 - 项目类别:
Continuing Grant
Research in Database Foundations and Logic Programming at an Undergraduate Institutions
本科院校数据库基础与逻辑编程研究
- 批准号:
8714544 - 财政年份:1988
- 资助金额:
$ 7.92万 - 项目类别:
Continuing Grant
Study of the Interaction of Internal Gravity Waves and Turbulence
内重力波与湍流相互作用的研究
- 批准号:
8415123 - 财政年份:1985
- 资助金额:
$ 7.92万 - 项目类别:
Continuing grant
U. S. - Australia Joint Seminar/ Workshop on the "ComparisonOf Electron and Ion Beam Methods For Surface Analysis:" Canberra, Australia, February 23 Through 27, 1981
美国-澳大利亚“表面分析电子束和离子束方法比较”联合研讨会/讲习班:澳大利亚堪培拉,1981 年 2 月 23 日至 27 日
- 批准号:
8106723 - 财政年份:1981
- 资助金额:
$ 7.92万 - 项目类别:
Standard Grant
相似国自然基金
Research on Quantum Field Theory without a Lagrangian Description
- 批准号:24ZR1403900
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
Cell Research
- 批准号:31224802
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Cell Research
- 批准号:31024804
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Cell Research (细胞研究)
- 批准号:30824808
- 批准年份:2008
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Research on the Rapid Growth Mechanism of KDP Crystal
- 批准号:10774081
- 批准年份:2007
- 资助金额:45.0 万元
- 项目类别:面上项目
相似海外基金
Collaborative Research: III: Small: High-Performance Scheduling for Modern Database Systems
协作研究:III:小型:现代数据库系统的高性能调度
- 批准号:
2322973 - 财政年份:2024
- 资助金额:
$ 7.92万 - 项目类别:
Standard Grant
Collaborative Research: III: Small: High-Performance Scheduling for Modern Database Systems
协作研究:III:小型:现代数据库系统的高性能调度
- 批准号:
2322974 - 财政年份:2024
- 资助金额:
$ 7.92万 - 项目类别:
Standard Grant
Applied research towards practical use of Devanagari OCR and utilization of text database
天城文 OCR 实用化和文本数据库利用的应用研究
- 批准号:
23H00564 - 财政年份:2023
- 资助金额:
$ 7.92万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Collaborative Research: Elements: Phonon Database Generation, Analysis, and Visualization for Data Driven Materials Discovery
协作研究:要素:数据驱动材料发现的声子数据库生成、分析和可视化
- 批准号:
2311202 - 财政年份:2023
- 资助金额:
$ 7.92万 - 项目类别:
Standard Grant
NICHD SERVICES: Multipurpose Prevention Technologies (MPT) DATABASE ACCESS AND MAINTENANCE for Contraceptive Research
NICHD 服务:避孕研究的多用途预防技术 (MPT) 数据库访问和维护
- 批准号:
10942932 - 财政年份:2023
- 资助金额:
$ 7.92万 - 项目类别:
Collaborative Research: Elements: Building an open source DFT+eDMFT database for quantum materials
合作研究:Elements:为量子材料构建开源 DFT eDMFT 数据库
- 批准号:
2311558 - 财政年份:2023
- 资助金额:
$ 7.92万 - 项目类别:
Standard Grant
Collaborative Research: FMitF: Track I: The Phlox framework for verifying a high-performance distributed database
合作研究:FMitF:第一轨:用于验证高性能分布式数据库的 Phlox 框架
- 批准号:
2319167 - 财政年份:2023
- 资助金额:
$ 7.92万 - 项目类别:
Standard Grant
Collaborative Research: FMitF: Track I: The Phlox framework for verifying a high-performance distributed database
合作研究:FMitF:第一轨:用于验证高性能分布式数据库的 Phlox 框架
- 批准号:
2319168 - 财政年份:2023
- 资助金额:
$ 7.92万 - 项目类别:
Standard Grant
SBP: Collaborative Research: RUI: Expansion and Infrastructure Development of the Chicago Face Database
SBP:合作研究:RUI:芝加哥人脸数据库的扩展和基础设施开发
- 批准号:
2234840 - 财政年份:2023
- 资助金额:
$ 7.92万 - 项目类别:
Standard Grant
NCI RESEARCH LEVEL NUTRIENT AND FOOD GROUP DATABASE
NCI 研究级营养和食品组数据库
- 批准号:
10974275 - 财政年份:2023
- 资助金额:
$ 7.92万 - 项目类别: