刷新
{{item.name}}会员
Games-based techniques for software analysis, specification and validation
基于游戏的软件分析、规范和验证技术
基本信息
- 批准号：253087-2002
- 负责人：
- 金额：$ 3.31万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Postdoctoral Fellowships
- 财政年份：2003
- 资助国家：加拿大
- 起止时间：2003-01-01 至 2004-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 }}
Ghica, Dan其他文献
Ghica, Dan的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Ghica, Dan', 18)}}的其他基金
Games-based techniques for software analysis, specification and validation
基于游戏的软件分析、规范和验证技术
- 批准号：
253087-2002 - 财政年份：2004
- 资助金额：
$ 3.31万 - 项目类别：
Postdoctoral Fellowships
Games-based techniques for software analysis, specification and validation
基于游戏的软件分析、规范和验证技术
- 批准号：
253087-2002 - 财政年份：2002
- 资助金额：
$ 3.31万 - 项目类别：
Postdoctoral Fellowships
相似国自然基金
Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information
- 批准号：
- 批准年份：2024
- 资助金额：万元
- 项目类别：外国青年学者研究基金项目
Incentive and governance schenism study of corporate green washing behavior in China: Based on an integiated view of econfiguration of environmental authority and decoupling logic
- 批准号：
- 批准年份：2024
- 资助金额：万元
- 项目类别：外国学者研究基金项目
Exploring the Intrinsic Mechanisms of CEO Turnover and Market Reaction: An Explanation Based on Information Asymmetry
- 批准号：W2433169
- 批准年份：2024
- 资助金额：万元
- 项目类别：外国学者研究基金项目
含Re、Ru先进镍基单晶高温合金中TCP相成核—生长机理的原位动态研究
- 批准号：52301178
- 批准年份：2023
- 资助金额：30.00 万元
- 项目类别：青年科学基金项目
NbZrTi基多主元合金中化学不均匀性对辐照行为的影响研究
- 批准号：12305290
- 批准年份：2023
- 资助金额：30.00 万元
- 项目类别：青年科学基金项目
眼表菌群影响糖尿病患者干眼发生的人群流行病学研究
- 批准号：82371110
- 批准年份：2023
- 资助金额：49.00 万元
- 项目类别：面上项目
CuAgSe基热电材料的结构特性与构效关系研究
- 批准号：22375214
- 批准年份：2023
- 资助金额：50.00 万元
- 项目类别：面上项目
镍基UNS N10003合金辐照位错环演化机制及其对力学性能的影响研究
- 批准号：12375280
- 批准年份：2023
- 资助金额：53.00 万元
- 项目类别：面上项目
A study on prototype flexible multifunctional graphene foam-based sensing grid (柔性多功能石墨烯泡沫传感网格原型研究)
- 批准号：
- 批准年份：2020
- 资助金额：20 万元
- 项目类别：
基于大数据定量研究城市化对中国季节性流感传播的影响及其机理
- 批准号：82003509
- 批准年份：2020
- 资助金额：24.0 万元
- 项目类别：青年科学基金项目
相似海外基金
RII Track-4:NSF: Design of zeolite-encapsulated metal phthalocyanines catalysts enabled by insights from synchrotron-based X-ray techniques
RII Track-4：NSF：通过基于同步加速器的 X 射线技术的见解实现沸石封装金属酞菁催化剂的设计
- 批准号：
2327267 - 财政年份：2024
- 资助金额：
$ 3.31万 - 项目类别：
Standard Grant
Development of a Novel EMG-Based Neural Interface for Control of Transradial Prostheses with Gripping Assistance
开发一种新型的基于肌电图的神经接口，用于通过抓取辅助控制经桡动脉假体
- 批准号：
10748341 - 财政年份：2024
- 资助金额：
$ 3.31万 - 项目类别：
A HUMAN IPSC-BASED ORGANOID PLATFORM FOR STUDYING MATERNAL HYPERGLYCEMIA-INDUCED CONGENITAL HEART DEFECTS
基于人体 IPSC 的类器官平台，用于研究母亲高血糖引起的先天性心脏缺陷
- 批准号：
10752276 - 财政年份：2024
- 资助金额：
$ 3.31万 - 项目类别：
Genetics of Extreme Phenotypes of OSA and Associated Upper Airway Anatomy
OSA 极端表型的遗传学及相关上呼吸道解剖学
- 批准号：
10555809 - 财政年份：2023
- 资助金额：
$ 3.31万 - 项目类别：
Bio-Responsive and Immune Protein-Based Therapies for Inhibition of Proteolytic Enzymes in Dental Tissues
用于抑制牙齿组织中蛋白水解酶的基于生物响应和免疫蛋白的疗法
- 批准号：
10555093 - 财政年份：2023
- 资助金额：
$ 3.31万 - 项目类别：
Development of termite control method for wood by using inorganic salts based on traditional techniques in Okinawa
基于冲绳传统技术开发利用无机盐的木材白蚁防治方法
- 批准号：
23K17791 - 财政年份：2023
- 资助金额：
$ 3.31万 - 项目类别：
Grant-in-Aid for Challenging Research (Exploratory)
Challenges to cognitive super-resolution techniques based on contextual bias for sense of "Unnatural"
基于“不自然”感的情境偏差对认知超分辨率技术的挑战
- 批准号：
23K18490 - 财政年份：2023
- 资助金额：
$ 3.31万 - 项目类别：
Grant-in-Aid for Challenging Research (Exploratory)
Establishment of stress management support based on individualized assessment techniques in punishment sensitivity
基于惩罚敏感性个性化评估技术的压力管理支持的建立
- 批准号：
23KJ2038 - 财政年份：2023
- 资助金额：
$ 3.31万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Comprehensive and non-invasive prenatal screening of coding variation
全面、无创的编码变异产前筛查
- 批准号：
10678005 - 财政年份：2023
- 资助金额：
$ 3.31万 - 项目类别：
Utility and feasibility of activity type to augment consumer wearable-based physical activity energy expenditure prediction equations using heartrate and movement in children
使用儿童心率和运动来增强基于消费者可穿戴设备的身体活动能量消耗预测方程的活动类型的实用性和可行性
- 批准号：
10677143 - 财政年份：2023
- 资助金额：
$ 3.31万 - 项目类别：