Computer system design analysis and verification using relational specifications

使用相关规范进行计算机系统设计分析和验证

基本信息

  • 批准号:
    217342-2004
  • 负责人:
  • 金额:
    $ 1.31万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Grants Program - Individual
  • 财政年份:
    2004
  • 资助国家:
    加拿大
  • 起止时间:
    2004-01-01 至 2005-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 }}

Peters, Dennis其他文献

PD-1T TILs as a Predictive Biomarker for Clinical Benefit to PD-1 Blockade in Patients with Advanced NSCLC.
  • DOI:
    10.1158/1078-0432.ccr-22-0992
  • 发表时间:
    2022-11-14
  • 期刊:
  • 影响因子:
    11.5
  • 作者:
    Hummelink, Karlijn;van der Noort, Vincent;Muller, Mirte;Schouten, Robert D.;Lalezari, Ferry;Peters, Dennis;Theelen, Willemijn S. M. E.;Koelzer, Viktor H.;Mertz, Kirsten D.;Zippelius, Alfred;van den Heuvel, Michel M.;Broeks, Annegien;Haanen, John B. A. G.;Schumacher, Ton N.;Meijer, Gerrit A.;Smit, Egbert F.;Monkhorst, Kim;Thommen, Daniela S.
  • 通讯作者:
    Thommen, Daniela S.

Peters, Dennis的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Peters, Dennis', 18)}}的其他基金

Memorial Engineering Outreach for NL Youth
荷兰青年纪念工程外展
  • 批准号:
    567391-2021
  • 财政年份:
    2021
  • 资助金额:
    $ 1.31万
  • 项目类别:
    PromoScience
Memorial Engineering Outreach
纪念工程外展
  • 批准号:
    515905-2017
  • 财政年份:
    2019
  • 资助金额:
    $ 1.31万
  • 项目类别:
    PromoScience
Computer system design analysis and verification using relational specifications
使用相关规范进行计算机系统设计分析和验证
  • 批准号:
    217342-2004
  • 财政年份:
    2008
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Computer system design analysis and verification using relational specifications
使用相关规范进行计算机系统设计分析和验证
  • 批准号:
    217342-2004
  • 财政年份:
    2006
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Computer system design analysis and verification using relational specifications
使用相关规范进行计算机系统设计分析和验证
  • 批准号:
    217342-2004
  • 财政年份:
    2005
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Relational techniques for specification and monitoring of real-time computer systems
用于实时计算机系统规范和监控的关系技术
  • 批准号:
    217342-2000
  • 财政年份:
    2003
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Relational techniques for specification and monitoring of real-time computer systems
用于实时计算机系统规范和监控的关系技术
  • 批准号:
    217342-2000
  • 财政年份:
    2002
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Relational techniques for specification and monitoring of real-time computer systems
用于实时计算机系统规范和监控的关系技术
  • 批准号:
    217342-2000
  • 财政年份:
    2001
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual
Relational techniques for specification and monitoring of real-time computer systems
用于实时计算机系统规范和监控的关系技术
  • 批准号:
    217342-2000
  • 财政年份:
    2000
  • 资助金额:
    $ 1.31万
  • 项目类别:
    Discovery Grants Program - Individual

相似国自然基金

Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    万元
  • 项目类别:
    外国青年学者研究基金项目
TBX1/LKB1轴阻断system Xc活性调控AML细胞铁死亡的机制研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    15.0 万元
  • 项目类别:
    省市级项目
TET2通过调控BAP1-System Xc-轴促进紫拉非尼诱导的肝细胞癌铁死亡的机制研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0 万元
  • 项目类别:
    青年科学基金项目
P3H1通过ATF4/System Xc-轴抑制肾癌铁死亡和抗肿瘤免疫反应的作用及机制研究
  • 批准号:
    82372704
  • 批准年份:
    2023
  • 资助金额:
    49 万元
  • 项目类别:
    面上项目
Lienard系统的不变代数曲线、可积性与极限环问题研究
  • 批准号:
    12301200
  • 批准年份:
    2023
  • 资助金额:
    30.00 万元
  • 项目类别:
    青年科学基金项目
二氧化碳与高碳烷烃耦合转化多相催化体系研究
  • 批准号:
    22372180
  • 批准年份:
    2023
  • 资助金额:
    50.00 万元
  • 项目类别:
    面上项目
酶响应的中性粒细胞外泌体载药体系在眼眶骨缺损修复中的作用及机制研究
  • 批准号:
    82371102
  • 批准年份:
    2023
  • 资助金额:
    49.00 万元
  • 项目类别:
    面上项目
多孔Ti-MSNs@MGF+DX抗炎—成肌体系应用于颞下颌关节假体的作用和机制研究
  • 批准号:
    82370984
  • 批准年份:
    2023
  • 资助金额:
    48.00 万元
  • 项目类别:
    面上项目
槲皮素控释系统调控Mettl3/Per1修复氧化应激损伤促牙周炎骨再生及机制研究
  • 批准号:
    82370921
  • 批准年份:
    2023
  • 资助金额:
    48.00 万元
  • 项目类别:
    面上项目

相似海外基金

Improving identification and healthcare for patients with Inherited Cancer Syndromes: Evidence-based EMR implementation using a web-based computer platform
改善遗传性癌症综合征患者的识别和医疗保健:使用基于网络的计算机平台实施基于证据的 EMR
  • 批准号:
    10831647
  • 财政年份:
    2023
  • 资助金额:
    $ 1.31万
  • 项目类别:
SCH: Computer Vision Algorithms to Detect Tics In Patients with Tourette Syndrome
SCH:用于检测抽动秽语综合征患者抽动的计算机视觉算法
  • 批准号:
    10817272
  • 财政年份:
    2023
  • 资助金额:
    $ 1.31万
  • 项目类别:
Quantifying neural variability and learning during real world brain-computer interface use
量化现实世界脑机接口使用过程中的神经变异和学习
  • 批准号:
    10838152
  • 财政年份:
    2023
  • 资助金额:
    $ 1.31万
  • 项目类别:
Developing of a computer-based multimodal mind and body approach for mild cognitive decline
开发基于计算机的多模式身心方法来治疗轻度认知衰退
  • 批准号:
    10699442
  • 财政年份:
    2023
  • 资助金额:
    $ 1.31万
  • 项目类别:
Acquisition of Unix Computer Cluster for Molecular Dynamics Simulation Calculations
购置 Unix 计算机集群用于分子动力学模拟计算
  • 批准号:
    10799081
  • 财政年份:
    2023
  • 资助金额:
    $ 1.31万
  • 项目类别:
Computer Vision for Malaria Microscopy: Automated Detection and Classification of Plasmodium for Basic Science and Pre-Clinical Applications
用于疟疾显微镜的计算机视觉:用于基础科学和临床前应用的疟原虫自动检测和分类
  • 批准号:
    10576701
  • 财政年份:
    2023
  • 资助金额:
    $ 1.31万
  • 项目类别:
CANCER THERAPY EVALUATION PROGRAM INFORMATICS & COMPUTER SUPPORT
癌症治疗评估计划信息学
  • 批准号:
    10710563
  • 财政年份:
    2022
  • 资助金额:
    $ 1.31万
  • 项目类别:
CANCER THERAPY EVALUATION PROGRAM INFORMATICS & COMPUTER SUPPORT
癌症治疗评估计划信息学
  • 批准号:
    10849598
  • 财政年份:
    2022
  • 资助金额:
    $ 1.31万
  • 项目类别:
Continuous ADL monitoring using computer vision to maintain independence and improve HRQoL in older adults at risk for AD/ADRD
使用计算机视觉进行连续 ADL 监测,以保持独立性并改善有 AD/ADRD 风险的老年人的 HRQoL
  • 批准号:
    10650307
  • 财政年份:
    2022
  • 资助金额:
    $ 1.31万
  • 项目类别:
GPU-Accelerated Parallel Computer for Life Sciences Research
用于生命科学研究的 GPU 加速并行计算机
  • 批准号:
    10415306
  • 财政年份:
    2022
  • 资助金额:
    $ 1.31万
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了