刷新
{{item.name}}会员
Training For Formal Vs. Pragmatic Approaches to Reasoning
正式训练与正式训练
基本信息
- 批准号：8409198
- 负责人：
- 金额：$ 4.61万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1984
- 资助国家：美国
- 起止时间：1984-10-01 至 1986-09-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 }}
Keith Holyoak其他文献
Keith Holyoak的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Keith Holyoak', 18)}}的其他基金
Collaborative Research: How Does the Brain Represent Abstract Concepts?
合作研究：大脑如何表达抽象概念？
- 批准号：
2022369 - 财政年份：2020
- 资助金额：
$ 4.61万 - 项目类别：
Standard Grant
Collaborative Research: CompCog: Achieving Analogical Reasoning via Human and Machine Learning
合作研究：CompCog：通过人类和机器学习实现类比推理
- 批准号：
1827374 - 财政年份：2018
- 资助金额：
$ 4.61万 - 项目类别：
Standard Grant
Collaborative Research--Coherence-based Decision Making: A Theoretical Framework and Practical Implications.
协作研究——基于一致性的决策：理论框架和实际意义。
- 批准号：
0350920 - 财政年份：2004
- 资助金额：
$ 4.61万 - 项目类别：
Continuing Grant
Collaborative Research: Applying Constraint Satisfaction Models to Legal Reasoning
协作研究：将约束满足模型应用于法律推理
- 批准号：
0080375 - 财政年份：2000
- 资助金额：
$ 4.61万 - 项目类别：
Standard Grant
Mechanisms of Analogical Reminding and Priming
类比提醒和启动机制
- 批准号：
9310614 - 财政年份：1993
- 资助金额：
$ 4.61万 - 项目类别：
Standard Grant
Collaborative Research: Instruction and Transfer Between Isomorphic Problems in Algebra and Physics
合作研究：代数和物理同构问题之间的教学和迁移
- 批准号：
8615316 - 财政年份：1986
- 资助金额：
$ 4.61万 - 项目类别：
Continuing Grant
Decision Processes in Judgments of Order and Relative Magnitude
顺序和相对大小判断中的决策过程
- 批准号：
7701211 - 财政年份：1977
- 资助金额：
$ 4.61万 - 项目类别：
Standard Grant
相似海外基金
Automated Formal Verification of Quantum Protocols for the Quantum Era
量子时代量子协议的自动形式验证
- 批准号：
24K20757 - 财政年份：2024
- 资助金额：
$ 4.61万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
CAREER: SAIF: Security Assurance through AI and Formal Approaches for System-on-Chips
职业：SAIF：通过人工智能和片上系统的正式方法提供安全保证
- 批准号：
2339971 - 财政年份：2024
- 资助金额：
$ 4.61万 - 项目类别：
Continuing Grant
CAREER: Robust and Lightweight Formal Methods for Mobile Robot System Development
职业：用于移动机器人系统开发的稳健且轻量级的形式化方法
- 批准号：
2338706 - 财政年份：2024
- 资助金额：
$ 4.61万 - 项目类别：
Continuing Grant
CAREER: Programming Abstractions and Formal Reasoning for IoT Application Development
职业：物联网应用程序开发的编程抽象和形式推理
- 批准号：
2340479 - 财政年份：2024
- 资助金额：
$ 4.61万 - 项目类别：
Continuing Grant
SHF: Medium: Neurosymbolic Agents for Formal Theorem-Proving
SHF：介质：用于形式定理证明的神经符号代理
- 批准号：
2403211 - 财政年份：2024
- 资助金额：
$ 4.61万 - 项目类别：
Continuing Grant
CAREER: Formal Guarantees for Neurosymbolic Programs via Conformal Prediction
职业：通过保形预测对神经符号程序提供正式保证
- 批准号：
2338777 - 财政年份：2024
- 资助金额：
$ 4.61万 - 项目类别：
Continuing Grant
FMitF: Track I: Formal Verification for Mechanism Design
FMITF：第一轨：机制设计的形式验证
- 批准号：
2319186 - 财政年份：2023
- 资助金额：
$ 4.61万 - 项目类别：
Standard Grant
REU SITE: From Formal Computer Science Education to Real World Data Science Research to Policy Decision Making
REU 站点：从正规计算机科学教育到现实世界数据科学研究再到政策决策
- 批准号：
2244271 - 财政年份：2023
- 资助金额：
$ 4.61万 - 项目类别：
Standard Grant
Formal methods and Koopman-model predictive control
形式化方法和库普曼模型预测控制
- 批准号：
23H01434 - 财政年份：2023
- 资助金额：
$ 4.61万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Cyber Risk-Resilience of Wind Plants: A Formal Approach to Verify Safety and Stability of Wind Turbines and Power Plants
风力发电厂的网络风险抵御能力：验证风力涡轮机和发电厂安全性和稳定性的正式方法
- 批准号：
2881978 - 财政年份：2023
- 资助金额：
$ 4.61万 - 项目类别：
Studentship