Design and formal verification of image processing circuitry

图像处理电路的设计和形式验证

基本信息

  • 批准号:
    319412-2005
  • 负责人:
  • 金额:
    $ 1.53万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Postgraduate Scholarships - Doctoral
  • 财政年份:
    2005
  • 资助国家:
    加拿大
  • 起止时间:
    2005-01-01 至 2006-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 }}

Khalvati, Farzad其他文献

Fully automated segmentation of prostate whole gland and transition zone in diffusion-weighted MRI using convolutional neural networks
  • DOI:
    10.1117/1.jmi.4.4.041307
  • 发表时间:
    2017-10-01
  • 期刊:
  • 影响因子:
    2.4
  • 作者:
    Clark, Tyler;Zhang, Junjie;Khalvati, Farzad
  • 通讯作者:
    Khalvati, Farzad
A Comprehensive Study of Data Augmentation Strategies for Prostate Cancer Detection in Diffusion-Weighted MRI Using Convolutional Neural Networks
  • DOI:
    10.1007/s10278-021-00478-7
  • 发表时间:
    2021-07-12
  • 期刊:
  • 影响因子:
    4.4
  • 作者:
    Hao, Ruqian;Namdar, Khashayar;Khalvati, Farzad
  • 通讯作者:
    Khalvati, Farzad
Radiomics
  • DOI:
    10.1016/b978-0-12-801238-3.99964-1
  • 发表时间:
    2019-01-01
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Khalvati, Farzad;Zhang, Yucheng;Haider, Masoom A.
  • 通讯作者:
    Haider, Masoom A.
Improving disease classification performance and explainability of deep learning models in radiology with heatmap generators.
  • DOI:
    10.3389/fradi.2022.991683
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Watanabe, Akino;Ketabi, Sara;Namdar, Khashayar;Khalvati, Farzad
  • 通讯作者:
    Khalvati, Farzad
MAPS: A Quantitative Radiomics Approach for Prostate Cancer Detection

Khalvati, Farzad的其他文献

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

{{ truncateString('Khalvati, Farzad', 18)}}的其他基金

Attention Networks and Optimized Deep Learning Architectures for Cancer Diagnosis and Prognosis in Medical Imaging
用于医学影像中癌症诊断和预后的注意力网络和优化的深度学习架构
  • 批准号:
    RGPIN-2021-03417
  • 财政年份:
    2022
  • 资助金额:
    $ 1.53万
  • 项目类别:
    Discovery Grants Program - Individual
Attention Networks and Optimized Deep Learning Architectures for Cancer Diagnosis and Prognosis in Medical Imaging
用于医学影像中癌症诊断和预后的注意力网络和优化的深度学习架构
  • 批准号:
    RGPIN-2021-03417
  • 财政年份:
    2021
  • 资助金额:
    $ 1.53万
  • 项目类别:
    Discovery Grants Program - Individual
Intelligent segmentation tool for medical imaging
医学影像智能分割工具
  • 批准号:
    385594-2009
  • 财政年份:
    2011
  • 资助金额:
    $ 1.53万
  • 项目类别:
    Industrial Research Fellowships
Intelligent segmentation tool for medical imaging
医学影像智能分割工具
  • 批准号:
    385594-2009
  • 财政年份:
    2010
  • 资助金额:
    $ 1.53万
  • 项目类别:
    Industrial Research Fellowships
Intelligent segmentation tool for medical imaging
医学影像智能分割工具
  • 批准号:
    385594-2009
  • 财政年份:
    2009
  • 资助金额:
    $ 1.53万
  • 项目类别:
    Industrial Research Fellowships
Design and formal verification of image processing circuitry
图像处理电路的设计和形式验证
  • 批准号:
    319412-2005
  • 财政年份:
    2006
  • 资助金额:
    $ 1.53万
  • 项目类别:
    Postgraduate Scholarships - Doctoral

相似海外基金

FMitF: Track I: Formal Verification for Mechanism Design
FMITF:第一轨:机制设计的形式验证
  • 批准号:
    2319186
  • 财政年份:
    2023
  • 资助金额:
    $ 1.53万
  • 项目类别:
    Standard Grant
Formal Verification in the CIRCT Open-Source Hardware Design Stack
CIRCT 开源硬件设计堆栈中的形式验证
  • 批准号:
    2737542
  • 财政年份:
    2022
  • 资助金额:
    $ 1.53万
  • 项目类别:
    Studentship
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
  • 批准号:
    RGPIN-2015-05607
  • 财政年份:
    2019
  • 资助金额:
    $ 1.53万
  • 项目类别:
    Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
  • 批准号:
    RGPIN-2015-05607
  • 财政年份:
    2018
  • 资助金额:
    $ 1.53万
  • 项目类别:
    Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
  • 批准号:
    RGPIN-2015-05607
  • 财政年份:
    2017
  • 资助金额:
    $ 1.53万
  • 项目类别:
    Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
  • 批准号:
    RGPIN-2015-05607
  • 财政年份:
    2016
  • 资助金额:
    $ 1.53万
  • 项目类别:
    Discovery Grants Program - Individual
Cyber-Physical Systems - Formal Modeling, Design, and Verification
信息物理系统 - 形式化建模、设计和验证
  • 批准号:
    RGPIN-2015-05607
  • 财政年份:
    2015
  • 资助金额:
    $ 1.53万
  • 项目类别:
    Discovery Grants Program - Individual
Formal verification of analog circuits and active inductors for deep-submicron design
用于深亚微米设计的模拟电路和有源电感器的形式验证
  • 批准号:
    356905-2007
  • 财政年份:
    2010
  • 资助金额:
    $ 1.53万
  • 项目类别:
    Collaborative Research and Development Grants
Formal verification of analog circuits and active inductors for deep-submicron design
用于深亚微米设计的模拟电路和有源电感器的形式验证
  • 批准号:
    356905-2007
  • 财政年份:
    2009
  • 资助金额:
    $ 1.53万
  • 项目类别:
    Collaborative Research and Development Grants
Formal methods for the verification and design of modern cryptographic applications
现代密码应用验证和设计的形式化方法
  • 批准号:
    94209379
  • 财政年份:
    2009
  • 资助金额:
    $ 1.53万
  • 项目类别:
    Independent Junior Research Groups
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了