刷新
{{item.name}}会员
Tool support for program specification and derivation
程序规范和推导的工具支持
基本信息
- 批准号：183856-2000
- 负责人：
- 金额：$ 0.73万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：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 }}
Norvell, Theodore其他文献
Norvell, Theodore的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Norvell, Theodore', 18)}}的其他基金
Automated verification of concurrent programs for embedded systems
嵌入式系统并发程序的自动验证
- 批准号：
183856-2010 - 财政年份：2016
- 资助金额：
$ 0.73万 - 项目类别：
Discovery Grants Program - Individual
Automated verification of concurrent programs for embedded systems
嵌入式系统并发程序的自动验证
- 批准号：
183856-2010 - 财政年份：2013
- 资助金额：
$ 0.73万 - 项目类别：
Discovery Grants Program - Individual
Automated verification of concurrent programs for embedded systems
嵌入式系统并发程序的自动验证
- 批准号：
183856-2010 - 财政年份：2012
- 资助金额：
$ 0.73万 - 项目类别：
Discovery Grants Program - Individual
Automated verification of concurrent programs for embedded systems
嵌入式系统并发程序的自动验证
- 批准号：
183856-2010 - 财政年份：2011
- 资助金额：
$ 0.73万 - 项目类别：
Discovery Grants Program - Individual
Automated verification of concurrent programs for embedded systems
嵌入式系统并发程序的自动验证
- 批准号：
183856-2010 - 财政年份：2010
- 资助金额：
$ 0.73万 - 项目类别：
Discovery Grants Program - Individual
Languages and compilation for coarse-grained reconfigurable architectures
粗粒度可重构架构的语言和编译
- 批准号：
183856-2005 - 财政年份：2009
- 资助金额：
$ 0.73万 - 项目类别：
Discovery Grants Program - Individual
Languages and compilation for coarse-grained reconfigurable architectures
粗粒度可重构架构的语言和编译
- 批准号：
183856-2005 - 财政年份：2008
- 资助金额：
$ 0.73万 - 项目类别：
Discovery Grants Program - Individual
Languages and compilation for coarse-grained reconfigurable architectures
粗粒度可重构架构的语言和编译
- 批准号：
183856-2005 - 财政年份：2007
- 资助金额：
$ 0.73万 - 项目类别：
Discovery Grants Program - Individual
Languages and compilation for coarse-grained reconfigurable architectures
粗粒度可重构架构的语言和编译
- 批准号：
183856-2005 - 财政年份：2006
- 资助金额：
$ 0.73万 - 项目类别：
Discovery Grants Program - Individual
Languages and compilation for coarse-grained reconfigurable architectures
粗粒度可重构架构的语言和编译
- 批准号：
183856-2005 - 财政年份：2005
- 资助金额：
$ 0.73万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
两性离子载体（zwitterionic support）作为可溶性支载体在液相有机合成中的应用
- 批准号：21002080
- 批准年份：2010
- 资助金额：19.0 万元
- 项目类别：青年科学基金项目
微生物发酵过程的自组织建模与优化控制
- 批准号：60704036
- 批准年份：2007
- 资助金额：21.0 万元
- 项目类别：青年科学基金项目
基于Support Vector Machines（SVMs)算法的智能型期权定价模型的研究
- 批准号：70501008
- 批准年份：2005
- 资助金额：17.0 万元
- 项目类别：青年科学基金项目
相似海外基金
Development of support tool and program for multiple carer
为多个护理人员开发支持工具和程序
- 批准号：
23H03232 - 财政年份：2023
- 资助金额：
$ 0.73万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Developing an oral health screening tool for an integrated model of care to reduce treatment-related oral morbidity in head and neck cancer survivor
开发口腔健康筛查工具，用于综合护理模式，以减少头颈癌幸存者与治疗相关的口腔发病率
- 批准号：
10781183 - 财政年份：2023
- 资助金额：
$ 0.73万 - 项目类别：
TOPIC 453: A DIGITAL TOOL TO INTEGRATE CANCER PREVENTION WITHIN PRIMARY CARE Moonshot support
主题 453：将癌症预防纳入初级保健的数字工具 Moonshot 支持
- 批准号：
10929760 - 财政年份：2023
- 资助金额：
$ 0.73万 - 项目类别：
Addressing Disparities in Pain Management among Veterans: A Decision Tool to Support Preference-Based Safe Prescribing and Treatment Decisions in Primary Care
解决退伍军人疼痛管理方面的差异：支持初级保健中基于偏好的安全处方和治疗决策的决策工具
- 批准号：
10640628 - 财政年份：2023
- 资助金额：
$ 0.73万 - 项目类别：
PARCA (a digital tool) to improve Justice and Health
PARCA（数字工具）改善司法和健康
- 批准号：
10483296 - 财政年份：2023
- 资助金额：
$ 0.73万 - 项目类别：
Retooling A Machine Tool Technician Program In North Central Wisconsin to Support Diversity, Flexibility, and Accessibility
威斯康星州中北部的机床技术员项目重组，以支持多样性、灵活性和可访问性
- 批准号：
2201611 - 财政年份：2022
- 资助金额：
$ 0.73万 - 项目类别：
Standard Grant
Evaluating a mobile health tool to improve management of pediatric acute respiratory illness in Uganda
评估移动医疗工具以改善乌干达儿科急性呼吸道疾病的管理
- 批准号：
10704533 - 财政年份：2022
- 资助金额：
$ 0.73万 - 项目类别：
Implementation and Evaluation of a Screening Tool for Sexual Dysfunction for Pediatric Cancer Survivors
小儿癌症幸存者性功能障碍筛查工具的实施和评估
- 批准号：
10448895 - 财政年份：2022
- 资助金额：
$ 0.73万 - 项目类别：
CASI-Plus: A mHealth Tool for Client Engagement to Improve Ukraine's Assisted Partner Services (APS) Program Workflow and HIV Testing Outcomes
CASI-Plus：用于客户参与的移动医疗工具，旨在改善乌克兰的辅助合作伙伴服务 (APS) 计划工作流程和 HIV 检测结果
- 批准号：
10538104 - 财政年份：2022
- 资助金额：
$ 0.73万 - 项目类别：
Rural Engagement in TelemedTeam for Options in Obesity Treatment Solutions (RE-TOOL)
农村参与远程医疗团队寻求肥胖治疗解决方案选择 (RE-TOOL)
- 批准号：
10372530 - 财政年份：2022
- 资助金额：
$ 0.73万 - 项目类别：