刷新
{{item.name}}会员
RIA: Constraint-Based Reasoning for Structural Design Automation
RIA：基于约束的结构设计自动化推理
基本信息
- 批准号：9496283
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing grant
- 财政年份：1994
- 资助国家：美国
- 起止时间：1994-09-15 至 1998-10-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 }}
Sivand Lakmazaheri其他文献
The analysis and partial synthesis of truss structures via theorem proving
- DOI：
10.1007/bf01200202 - 发表时间：
1990-12-01 - 期刊：
- 影响因子：4.900
- 作者：
Sivand Lakmazaheri;William J. Rasdorf - 通讯作者：
William J. Rasdorf
Logic-based 2D geometric modeling in a CAD environment
- DOI：
10.1007/bf01213586 - 发表时间：
1998-06-01 - 期刊：
- 影响因子：4.900
- 作者：
Sivand Lakmazaheri - 通讯作者：
Sivand Lakmazaheri
A logic-based mechanism for integrity maintenance of engineering databases
- DOI：
10.1007/bf01230444 - 发表时间：
1995-03-01 - 期刊：
- 影响因子：4.900
- 作者：
Sivand Lakmazaheri - 通讯作者：
Sivand Lakmazaheri
Sivand Lakmazaheri的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Sivand Lakmazaheri', 18)}}的其他基金
RIA: Constraint-Based Reasoning for Structural Design Automation
RIA：基于约束的结构设计自动化推理
- 批准号：
9309623 - 财政年份：1994
- 资助金额：
-- - 项目类别：
Continuing Grant
相似海外基金
Speeding-up SAT-based Constraint Optimization Solvers
加速基于 SAT 的约束优化求解器
- 批准号：
23K11047 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Scientific Research (C)
Hierarchical Geometric Accelerated Optimization, Collision-based Constraint Satisfaction, and Sensitivity Analysis for VLSI Chip Design
VLSI 芯片设计的分层几何加速优化、基于碰撞的约束满足和灵敏度分析
- 批准号：
2307801 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Standard Grant
CAREER: Foundations and Applications of Constraint-based Synthesis
职业：基于约束的综合的基础和应用
- 批准号：
2049911 - 财政年份：2021
- 资助金额：
-- - 项目类别：
Continuing Grant
Constraint-based Privacy Preserving BioSignal Data Management on Blockchain
区块链上基于约束的隐私保护生物信号数据管理
- 批准号：
DP210102761 - 财政年份：2021
- 资助金额：
-- - 项目类别：
Discovery Projects
Preference Reasoning in Constraint-based Systems
基于约束的系统中的偏好推理
- 批准号：
RGPIN-2016-05673 - 财政年份：2020
- 资助金额：
-- - 项目类别：
Discovery Grants Program - Individual
Constraint-based Reasoning for Multi-agent Pathfinding
基于约束的多智能体寻路推理
- 批准号：
DP200100025 - 财政年份：2020
- 资助金额：
-- - 项目类别：
Discovery Projects
Preference Reasoning in Constraint-based Systems
基于约束的系统中的偏好推理
- 批准号：
RGPIN-2016-05673 - 财政年份：2019
- 资助金额：
-- - 项目类别：
Discovery Grants Program - Individual
III: Small: Geometric Constraint based Concept Keyword Embedding for Domain-neutral Knowledge Graph Construction
III：小：基于几何约束的概念关键词嵌入，用于领域中立的知识图谱构建
- 批准号：
1909916 - 财政年份：2019
- 资助金额：
-- - 项目类别：
Standard Grant
Preference Reasoning in Constraint-based Systems
基于约束的系统中的偏好推理
- 批准号：
RGPIN-2016-05673 - 财政年份：2018
- 资助金额：
-- - 项目类别：
Discovery Grants Program - Individual
Constraint Free Training of Speech Recognition Systems Based on Full Bayes Modeling
基于全贝叶斯建模的语音识别系统无约束训练
- 批准号：
17K20001 - 财政年份：2017
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Challenging Research (Exploratory)