刷新
{{item.name}}会员
biomimicry and formal methods applied to object recognition
仿生学和形式化方法应用于物体识别
基本信息
- 批准号：393751-2010
- 负责人：
- 金额：$ 1.82万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Postgraduate Scholarships - Master's
- 财政年份：2010
- 资助国家：加拿大
- 起止时间：2010-01-01 至 2011-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
无摘要- Aucun sommaire
项目成果
期刊论文数量（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 }}
Deshwar, Amit其他文献
Deshwar, Amit的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Deshwar, Amit', 18)}}的其他基金
Computational Methods For Gene Expression Analysis of Heterogeneous Samples
异质样品基因表达分析的计算方法
- 批准号：
452353-2013 - 财政年份：2015
- 资助金额：
$ 1.82万 - 项目类别：
Vanier Canada Graduate Scholarship Tri-Council - Doctoral 3 years
Computational Methods For Gene Expression Analysis of Heterogeneous Samples
异质样品基因表达分析的计算方法
- 批准号：
452353-2013 - 财政年份：2014
- 资助金额：
$ 1.82万 - 项目类别：
Vanier Canada Graduate Scholarship Tri-Council - Doctoral 3 years
Computational Methods For Gene Expression Analysis of Heterogeneous Samples
异质样品基因表达分析的计算方法
- 批准号：
452353-2013 - 财政年份：2013
- 资助金额：
$ 1.82万 - 项目类别：
Vanier Canada Graduate Scholarship Tri-Council - Doctoral 3 years
相似海外基金
CAREER: Robust and Lightweight Formal Methods for Mobile Robot System Development
职业：用于移动机器人系统开发的稳健且轻量级的形式化方法
- 批准号：
2338706 - 财政年份：2024
- 资助金额：
$ 1.82万 - 项目类别：
Continuing Grant
Formal methods and Koopman-model predictive control
形式化方法和库普曼模型预测控制
- 批准号：
23H01434 - 财政年份：2023
- 资助金额：
$ 1.82万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
JAX Diversity Action Plan (DAP) Post-Baccalaureate Program in Genomics (gDAP)
JAX 多样性行动计划 (DAP) 基因组学学士后计划 (gDAP)
- 批准号：
10555588 - 财政年份：2023
- 资助金额：
$ 1.82万 - 项目类别：
The Social-Medical Network: Using a Network Approach to Explore the Integration of Informal and Formal Care Networks of Older Adults
社会医疗网络：利用网络方法探索老年人非正式和正式护理网络的整合
- 批准号：
10724756 - 财政年份：2023
- 资助金额：
$ 1.82万 - 项目类别：
Effects of EITC on Formal Long-Term Care for Older Adults with and without AD/ADRD
EITC 对患有和不患有 AD/ADRD 的老年人正规长期护理的影响
- 批准号：
10573493 - 财政年份：2023
- 资助金额：
$ 1.82万 - 项目类别：
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究：FMitF：第一轨：使用形式方法合成和验证内存计算系统
- 批准号：
2319400 - 财政年份：2023
- 资助金额：
$ 1.82万 - 项目类别：
Standard Grant
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究：FMitF：第一轨：使用形式方法合成和验证内存计算系统
- 批准号：
2319399 - 财政年份：2023
- 资助金额：
$ 1.82万 - 项目类别：
Standard Grant
Formal Methods in General-Purpose Action-Oriented Programming
通用目的面向动作编程中的形式化方法
- 批准号：
22KJ0614 - 财政年份：2023
- 资助金额：
$ 1.82万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods
合作研究：FMitF：第一轨：使用形式方法合成和验证内存计算系统
- 批准号：
2404036 - 财政年份：2023
- 资助金额：
$ 1.82万 - 项目类别：
Standard Grant
CPS: SMALL: Formal Methods for Safe, Efficient, and Transferable Learning-enabled Autonomy
CPS：SMALL：安全、高效和可迁移的学习自主的正式方法
- 批准号：
2231257 - 财政年份：2023
- 资助金额：
$ 1.82万 - 项目类别：
Standard Grant