刷新
{{item.name}}会员
Coordinated Experimental Research on Systems for Constructing and Manipulating Complex Objects
构建和操纵复杂物体的系统的协调实验研究
基本信息
- 批准号：8521394
- 负责人：
- 金额：$ 359.03万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing grant
- 财政年份：1986
- 资助国家：美国
- 起止时间：1986-07-01 至 1991-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
David Gries其他文献
Two Tagless Variations on the Deutsch-Schorr-Waite Algorithm
Deutsch-Schorr-Waite 算法的两种无标签变体
- DOI：
10.1016/0020-0190(86)90024-4 - 发表时间：
1986 - 期刊：
- 影响因子：0.5
- 作者：
Mark C. Hamburg;David Gries - 通讯作者：
David Gries
Characterizations of certain classes of norms
- DOI：
10.1007/bf02165157 - 发表时间：
1967-05-01 - 期刊：
- 影响因子：2.200
- 作者：
David Gries - 通讯作者：
David Gries
The Schorr-Waite graph marking algorithm
- DOI：
10.1007/bf00289068 - 发表时间：
1979-09-01 - 期刊：
- 影响因子：0.500
- 作者：
David Gries - 通讯作者：
David Gries
General correctness: A unification of partial and total correctness
- DOI：
10.1007/bf00290146 - 发表时间：
1985-04-01 - 期刊：
- 影响因子：0.500
- 作者：
Dean Jacobs;David Gries - 通讯作者：
David Gries
Describing an algorithm by Hopcroft
- DOI：
10.1007/bf00264025 - 发表时间：
1973-06-01 - 期刊：
- 影响因子：0.500
- 作者：
David Gries - 通讯作者：
David Gries
David Gries的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('David Gries', 18)}}的其他基金
BPC-DP: Worlds for Information Technology and Science (WITS)
BPC-DP：信息技术和科学世界 (WITS)
- 批准号：
0634418 - 财政年份：2007
- 资助金额：
$ 359.03万 - 项目类别：
Standard Grant
IFIP Workshop (PROCOMET'98): June 18-22, 1998, Long Island, NY
IFIP 研讨会 (PROCOMET98)：1998 年 6 月 18-22 日，纽约长岛
- 批准号：
9714755 - 财政年份：1998
- 资助金额：
$ 359.03万 - 项目类别：
Standard Grant
Software Engineering with a Transformational System
具有转型系统的软件工程
- 批准号：
9503319 - 财政年份：1995
- 资助金额：
$ 359.03万 - 项目类别：
Continuing grant
Development of a Teaching Laboratory for an Introductory Programming Course
编程入门课程教学实验室的开发
- 批准号：
9451507 - 财政年份：1994
- 资助金额：
$ 359.03万 - 项目类别：
Standard Grant
CISE Educational Infrastructure: Revitalizing the Computer Science Curriculum
CISE 教育基础设施：重振计算机科学课程
- 批准号：
9214957 - 财政年份：1992
- 资助金额：
$ 359.03万 - 项目类别：
Standard Grant
A New Programming Language and Environment
新的编程语言和环境
- 批准号：
8800465 - 财政年份：1988
- 资助金额：
$ 359.03万 - 项目类别：
Continuing grant
Acquisition of Equipment for Computer Research
购置计算机研究设备
- 批准号：
8505451 - 财政年份：1985
- 资助金额：
$ 359.03万 - 项目类别：
Standard Grant
Development and Implementation of a New Language
新语言的开发和实现
- 批准号：
8320274 - 财政年份：1984
- 资助金额：
$ 359.03万 - 项目类别：
Continuing Grant
Travel to Attend: 4th International Conference on Software Engineering; Munich, West Germany; Sept 17-19, 1979
出差参加：第四届软件工程国际会议；
- 批准号：
7916660 - 财政年份：1979
- 资助金额：
$ 359.03万 - 项目类别：
Standard Grant
相似海外基金
NSF-BSF: Collaborative Research: Solids and reactive transport processes in sewer systems of the future: modeling and experimental investigation
NSF-BSF：合作研究：未来下水道系统中的固体和反应性输送过程：建模和实验研究
- 批准号：
2134594 - 财政年份：2024
- 资助金额：
$ 359.03万 - 项目类别：
Standard Grant
Cryogenic Experimental Laboratory for Low-background Australian Research
澳大利亚低本底研究低温实验实验室
- 批准号：
LE240100044 - 财政年份：2024
- 资助金额：
$ 359.03万 - 项目类别：
Linkage Infrastructure, Equipment and Facilities
ERI: SDR Beyond Radio: Enabling Experimental Research in Multi-Node Optical Wireless Networks via Software Defined Radio Tools and Techniques
ERI：超越无线电的 SDR：通过软件定义无线电工具和技术实现多节点光无线网络的实验研究
- 批准号：
2347514 - 财政年份：2024
- 资助金额：
$ 359.03万 - 项目类别：
Standard Grant
NSF-BSF: Collaborative Research: Solids and reactive transport processes in sewer systems of the future: modeling and experimental investigation
NSF-BSF：合作研究：未来下水道系统中的固体和反应性输送过程：建模和实验研究
- 批准号：
2134747 - 财政年份：2024
- 资助金额：
$ 359.03万 - 项目类别：
Standard Grant
Collaborative Research: Effect of Vertical Accelerations on the Seismic Performance of Steel Building Components: An Experimental and Numerical Study
合作研究：垂直加速度对钢建筑构件抗震性能的影响：实验和数值研究
- 批准号：
2244696 - 财政年份：2023
- 资助金额：
$ 359.03万 - 项目类别：
Standard Grant
FRG: Collaborative Research: Variationally Stable Neural Networks for Simulation, Learning, and Experimental Design of Complex Physical Systems
FRG：协作研究：用于复杂物理系统仿真、学习和实验设计的变稳定神经网络
- 批准号：
2245111 - 财政年份：2023
- 资助金额：
$ 359.03万 - 项目类别：
Continuing Grant
Experimental Physics Research Program at Columbia University/Nevis Laboratories
哥伦比亚大学/尼维斯实验室实验物理研究项目
- 批准号：
2310080 - 财政年份：2023
- 资助金额：
$ 359.03万 - 项目类别：
Continuing Grant
Collaborative Research: High-velocity and long-displacement stick-slips: Experimental analogs of earthquake rupture and the seismic cycle
合作研究：高速和长位移粘滑运动：地震破裂和地震周期的实验模拟
- 批准号：
2240418 - 财政年份：2023
- 资助金额：
$ 359.03万 - 项目类别：
Continuing Grant
Collaborative Research: Experimental and computational constraints on the isotope fractionation of Mossbauer-inactive elements in mantle minerals
合作研究：地幔矿物中穆斯堡尔非活性元素同位素分馏的实验和计算约束
- 批准号：
2246686 - 财政年份：2023
- 资助金额：
$ 359.03万 - 项目类别：
Standard Grant
Collaborative Research: Understanding Acoustoplasticity through Multiscale Computational and In-Situ, Time-Resolved Experimental Approach
合作研究：通过多尺度计算和原位时间分辨实验方法了解声塑性
- 批准号：
2148678 - 财政年份：2023
- 资助金额：
$ 359.03万 - 项目类别：
Standard Grant