课题基金 / 基金详情

DAPS: Systems Support For AI

DAPS: Systems Support For AI
DAPS:人工智能的系统支持
批准号:
8403304
负责人:
Paul Hudak
金额:
$13.1万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1984
资助国家:
美国
项目状态:
已结题
起止时间:
1984-11-15 至 1988-04-30
关键词:

项目摘要

项目成果

Paul Hudak的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: CSR/EHS: Building Physically Safe Embedded Systems
  • 批准号:
    0720682
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $0.0万
  • 财政年份:
    2007
  • 负责人:
    Paul Hudak
  • 依托单位:
Functional Hybrid Modeling
  • 批准号:
    0306046
  • 项目类别:
    Standard Grant
  • 资助金额:
    $27.0万
  • 财政年份:
    2003
  • 负责人:
    Paul Hudak
  • 依托单位:
ITR: Dance, a Programming Language for the Control of Humanoid Robots
  • 批准号:
    0325690
  • 项目类别:
    Standard Grant
  • 资助金额:
    $24.0万
  • 财政年份:
    2003
  • 负责人:
    Paul Hudak
  • 依托单位:
ITR: A Framework for Rapid Development of Reliable Robotics Software
  • 批准号:
    0205542
  • 项目类别:
    Standard Grant
  • 资助金额:
    $51.03万
  • 财政年份:
    2002
  • 负责人:
    Paul Hudak
  • 依托单位:
国内基金
海外基金
Graphon mean field games with partial observation and application to failure detection in distributed systems
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2025
  • 负责人:
    MATHIEULOUROCHLAURIERE
  • 依托单位:
EstimatingLarge Demand Systems with MachineLearning Techniques
  • 批准号:
    --
  • 项目类别:
    外国学者研究基金
  • 资助金额:
    --
  • 批准年份:
    2024
  • 负责人:
    IoshuaAlex
  • 依托单位:
基于“阳化气、阴成形”理论探讨龟鹿二仙胶调控 HIF-1α/Systems Xc-通路抑制铁死亡治疗少弱精子症的作用机理
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    15.0万元
  • 批准年份:
    2024
  • 负责人:
    丁劲
  • 依托单位:
Understanding complicated gravitational physics by simple two-shell systems
  • 批准号:
    12005059
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    24.0万元
  • 批准年份:
    2020
  • 负责人:
    国分隆文
  • 依托单位: