权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Parallel Automated Reasoning and Clause-Graph Analysis

并行自动推理和子句图分析

基本信息

批准号：
9296035
负责人：
Bryant York
金额：
--
依托单位：
Northeastern University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1991
资助国家：
美国
起止时间：
1991-09-30 至 1993-06-30
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9296035&HistoricalAwards=false
关键词：
Parallel Automated Reasoning Clause Graph

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Bryant York其他文献

A parallel multigrid algorithm for percolation clusters

渗流簇的并行多重网格算法

DOI：
10.1007/bf01026593
发表时间：
1991
期刊：
Journal of Statistical Physics
影响因子：
1.6
作者：
R. Brower;P. Tamayo;Bryant York
通讯作者：
Bryant York

Bryant York的其他文献

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

立即体验

{{ truncateString('Bryant York', 18)}}的其他基金

The Richard Tapia Celebration of Diversity in Computing Conference 2003

2003 年理查德·塔皮亚计算会议多样性庆典

批准号：
0316105
财政年份：
2003
资助金额：
--
项目类别：
Standard Grant

ITR: New Approaches to Human Capital Development through Information Technology Research

ITR：通过信息技术研究进行人力资本开发的新方法

批准号：
0296169
财政年份：
2001
资助金额：
--
项目类别：
Continuing Grant

ITR: New Approaches to Human Capital Development through Information Technology Research

ITR：通过信息技术研究进行人力资本开发的新方法

批准号：
0085952
财政年份：
2000
资助金额：
--
项目类别：
Continuing Grant

Increasing Participation of Minorities in CISE Disciplines

增加少数族裔对 CISE 学科的参与

批准号：
9401736
财政年份：
1994
资助金额：
--
项目类别：
Standard Grant

SGER- Developing Mathematical and Algorithmic Intuition in Inner-City Minority Students: A Pilot Project

SGER-培养内城少数民族学生的数学和算法直觉：试点项目

批准号：
9450532
财政年份：
1994
资助金额：
--
项目类别：
Standard Grant

Boston University Workshop on Computer Aids for the Physically Handicapped

波士顿大学残疾人计算机辅助研讨会

批准号：
8921881
财政年份：
1989
资助金额：
--
项目类别：
Standard Grant

相似海外基金

Automated monitoring of health and welfare in groups of pigs using evidential reasoning and video-analytics

使用证据推理和视频分析自动监测猪群的健康和福利

批准号：
2886810
财政年份：
2023
资助金额：
--
项目类别：
Studentship

Developing and Evaluating Multi-Modal Clinical Diagnostic Reasoning Models for Automated Diagnosis Generation

开发和评估用于自动诊断生成的多模式临床诊断推理模型

批准号：
10724044
财政年份：
2023
资助金额：
--
项目类别：

CAREER: Automated Reasoning to Advance Chemical Theory

职业：自动推理推进化学理论

批准号：
2236769
财政年份：
2023
资助金额：
--
项目类别：
Standard Grant

Automated Reasoning and Adaptation for Assisted Experience Design

辅助体验设计的自动推理和适应

批准号：
RGPIN-2020-06502
财政年份：
2022
资助金额：
--
项目类别：
Discovery Grants Program - Individual

Formal Analysis of Abstract Behavioural Models Using Automated Deductive Reasoning

使用自动演绎推理对抽象行为模型进行形式化分析

批准号：
RGPIN-2016-03992
财政年份：
2022
资助金额：
--
项目类别：
Discovery Grants Program - Individual

SHF: Small: Synergy between Automated Reasoning and Interactive Theorem Proving

SHF：小：自动推理和交互式定理证明之间的协同作用

批准号：
2229099
财政年份：
2022
资助金额：
--
项目类别：
Standard Grant

SHF : Small: Certified Automated Reasoning with BDDs (CARB)

SHF：小型：经过 BDD 认证的自动推理 (CARB)

批准号：
2108521
财政年份：
2021
资助金额：
--
项目类别：
Standard Grant