刷新
{{item.name}}会员
Formal method integration and tool combination
形式化方法集成与工具组合
基本信息
- 批准号：203214-1998
- 负责人：
- 金额：$ 1.43万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2001
- 资助国家：加拿大
- 起止时间：2001-01-01 至 2002-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 }}
Paige, Richard其他文献
Paige, Richard的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Paige, Richard', 18)}}的其他基金
Systematic and Automated Software Migration via Model-Driven Engineering
通过模型驱动工程实现系统化、自动化的软件迁移
- 批准号：
RGPIN-2020-05713 - 财政年份：2022
- 资助金额：
$ 1.43万 - 项目类别：
Discovery Grants Program - Individual
Systematic and Automated Software Migration via Model-Driven Engineering
通过模型驱动工程实现系统化、自动化的软件迁移
- 批准号：
RGPIN-2020-05713 - 财政年份：2021
- 资助金额：
$ 1.43万 - 项目类别：
Discovery Grants Program - Individual
Automated Safety Systems Engineering for Focused Ultrasound Medical Devices
聚焦超声医疗设备的自动化安全系统工程
- 批准号：
560285-2020 - 财政年份：2021
- 资助金额：
$ 1.43万 - 项目类别：
Alliance Grants
Systematic and Automated Software Migration via Model-Driven Engineering
通过模型驱动工程实现系统化、自动化的软件迁移
- 批准号：
RGPIN-2020-05713 - 财政年份：2020
- 资助金额：
$ 1.43万 - 项目类别：
Discovery Grants Program - Individual
Formal method integration and tool combination
形式化方法集成与工具组合
- 批准号：
203214-1998 - 财政年份：2000
- 资助金额：
$ 1.43万 - 项目类别：
Discovery Grants Program - Individual
Formal method integration and tool combination
形式化方法集成与工具组合
- 批准号：
203214-1998 - 财政年份：1999
- 资助金额：
$ 1.43万 - 项目类别：
Discovery Grants Program - Individual
Formal method integration and tool combination
形式化方法集成与工具组合
- 批准号：
203214-1998 - 财政年份：1998
- 资助金额：
$ 1.43万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
基于仿生矿化法构建氢离子捕获的炎症调节性水凝胶微球在卒中治疗中的研究
- 批准号：82372120
- 批准年份：2023
- 资助金额：49.00 万元
- 项目类别：面上项目
偏线性分位数样本截取和选择模型的估计与应用—基于非参数筛分法(Sieve Method)
- 批准号：72273091
- 批准年份：2022
- 资助金额：45 万元
- 项目类别：面上项目
基于非结构化网格Front Tracking方法的复杂流动区域弹性界面液滴动力学研究
- 批准号：52006188
- 批准年份：2020
- 资助金额：24.0 万元
- 项目类别：青年科学基金项目
新随机占优理论及其在社会福利研究中的应用
- 批准号：71971204
- 批准年份：2019
- 资助金额：48.0 万元
- 项目类别：面上项目
静动态损伤问题的基面力元法及其在再生混凝土材料细观损伤分析中的应用
- 批准号：11172015
- 批准年份：2011
- 资助金额：58.0 万元
- 项目类别：面上项目
磁力显微镜对纳米尺度磁畴结构的定量研究
- 批准号：51071088
- 批准年份：2010
- 资助金额：38.0 万元
- 项目类别：面上项目
典型团簇结构模式随尺度变化的理论计算研究
- 批准号：21043001
- 批准年份：2010
- 资助金额：10.0 万元
- 项目类别：专项基金项目
TB方法在有机和生物大分子体系计算研究中的应用
- 批准号：20773047
- 批准年份：2007
- 资助金额：26.0 万元
- 项目类别：面上项目
Fisher矢量机
- 批准号：60602064
- 批准年份：2006
- 资助金额：24.0 万元
- 项目类别：青年科学基金项目
基于全局变量的新型电磁场数值计算方法－有限公式方法及其应用研究
- 批准号：50577016
- 批准年份：2005
- 资助金额：9.0 万元
- 项目类别：面上项目
相似海外基金
The role of the gut microbiome in susceptibility to Mycobacterium tuberculosis
肠道微生物组在结核分枝杆菌易感性中的作用
- 批准号：
10647554 - 财政年份：2023
- 资助金额：
$ 1.43万 - 项目类别：
Neuroimaging Dimensions at the Extremes of the Schizophrenia Spectrum
精神分裂症谱系极端的神经影像维度
- 批准号：
10753887 - 财政年份：2023
- 资助金额：
$ 1.43万 - 项目类别：
Optimizing integration of veterinary clinical research findings with human health systems to improve strategies for early detection and intervention
优化兽医临床研究结果与人类健康系统的整合，以改进早期检测和干预策略
- 批准号：
10764456 - 财政年份：2023
- 资助金额：
$ 1.43万 - 项目类别：
Deep Learning Image Analysis Algorithms to Improve Oral Cancer Risk Assessment for Oral Potentially Malignant Disorders
深度学习图像分析算法可改善口腔潜在恶性疾病的口腔癌风险评估
- 批准号：
10805177 - 财政年份：2023
- 资助金额：
$ 1.43万 - 项目类别：
Integrated Network Analysis of RADx-UP Data to Increase COVID-19 Testing and Vaccination Among Persons Involved with Criminal Legal Systems (PCLS)
RADx-UP 数据的综合网络分析可提高刑事法律系统 (PCLS) 相关人员的 COVID-19 检测和疫苗接种率
- 批准号：
10879972 - 财政年份：2023
- 资助金额：
$ 1.43万 - 项目类别：
A scalable cloud-based framework for multi-modal mapping across single neuron omics, morphology and electrophysiology
一个可扩展的基于云的框架，用于跨单个神经元组学、形态学和电生理学的多模式映射
- 批准号：
10725550 - 财政年份：2023
- 资助金额：
$ 1.43万 - 项目类别：
Novel Hybrid Computational Models to Disentangle Complex Immune Responses
新型混合计算模型可解开复杂的免疫反应
- 批准号：
10794448 - 财政年份：2023
- 资助金额：
$ 1.43万 - 项目类别：
From genotype to phenotype in a GWAS locus: the role of REST in atherosclerosis
GWAS 位点从基因型到表型：REST 在动脉粥样硬化中的作用
- 批准号：
10570469 - 财政年份：2023
- 资助金额：
$ 1.43万 - 项目类别：
Establishing and Optimizing a Prime Editing Method in Neurons for Treatment of Rett Syndrome
建立和优化用于治疗 Rett 综合征的神经元素数编辑方法
- 批准号：
10607549 - 财政年份：2023
- 资助金额：
$ 1.43万 - 项目类别：