Testing Deep Neural Network Programs
测试深度神经网络程序
基本信息
- 批准号:542649-2019
- 负责人:
- 金额:$ 1.82万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Engage Grants Program
- 财政年份:2019
- 资助国家:加拿大
- 起止时间:2019-01-01 至 2020-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
In recent years, artificial intelligence and in particular Machine Learning (ML) have been the core of research and development in most companies around the world. Techniques such as deep learning have been employed in many contexts and provided astonishing results. However, as we employ these ML techniques on a variety of applications and contexts, our everyday life becomes more dependent on their performance. For example, in the context of safety critical or mission critical applications a reliable, robust, safe, and secure ML is a must. Thus, in this project, we propose studying techniques for testing ML programs (particularly in the context of object detection in videos using deep learning) to understand how good the existing techniques are in terms of detecting real defects and how we can improve those techniques with respect to their shortcomings in our case study with OASIS Inc company.
近年来,人工智能,特别是机器学习(ML)一直是全球大多数公司研究和开发的核心。深度学习等技术已经在许多环境中使用,并提供了惊人的结果。然而,随着我们在各种应用程序和环境中使用这些ML技术,我们的日常生活变得更加依赖于它们的性能。例如,在安全关键型或使命关键型应用的背景下,可靠、健壮、安全和安全的ML是必须的。因此,在这个项目中,我们建议研究用于测试ML程序的技术(特别是在使用深度学习进行视频中的对象检测的背景下),以了解现有技术在检测真实的缺陷方面的效果,以及我们如何改进这些技术,以弥补OASIS Inc公司案例研究中的缺点。
项目成果
期刊论文数量(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 }}
Hemmati, Hadi其他文献
A domain adaptation benchmark for T1-weighted brain magnetic resonance image segmentation.
- DOI:
10.3389/fninf.2022.919779 - 发表时间:
2022 - 期刊:
- 影响因子:3.5
- 作者:
Saat, Parisa;Nogovitsyn, Nikita;Hassan, Muhammad Yusuf;Ganaie, Muhammad Athar;Souza, Roberto;Hemmati, Hadi - 通讯作者:
Hemmati, Hadi
Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems
- DOI:
10.1007/s10270-011-0206-z - 发表时间:
2012-10-01 - 期刊:
- 影响因子:2
- 作者:
Ali, Shaukat;Briand, Lionel C.;Hemmati, Hadi - 通讯作者:
Hemmati, Hadi
Hemmati, Hadi的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Hemmati, Hadi', 18)}}的其他基金
Program Behavior Representation Learning for Software Testing
软件测试的程序行为表示学习
- 批准号:
RGPIN-2020-04552 - 财政年份:2022
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
Program Behavior Representation Learning for Software Testing
软件测试的程序行为表示学习
- 批准号:
RGPIN-2020-04552 - 财政年份:2021
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
TrustBuilder.AI: fast, robust, and explainable deep learning
TrustBuilder.AI:快速、稳健且可解释的深度学习
- 批准号:
568643-2021 - 财政年份:2021
- 资助金额:
$ 1.82万 - 项目类别:
Alliance Grants
A robust AI-based automated trading system
强大的基于人工智能的自动交易系统
- 批准号:
556396-2020 - 财政年份:2021
- 资助金额:
$ 1.82万 - 项目类别:
Alliance Grants
Program Behavior Representation Learning for Software Testing
软件测试的程序行为表示学习
- 批准号:
RGPIN-2020-04552 - 财政年份:2020
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
A robust AI-based automated trading system
强大的基于人工智能的自动交易系统
- 批准号:
556396-2020 - 财政年份:2020
- 资助金额:
$ 1.82万 - 项目类别:
Alliance Grants
Automated testing and specification mining for certification of avionics software systems
用于航空电子软件系统认证的自动化测试和规范挖掘
- 批准号:
515254-2017 - 财政年份:2019
- 资助金额:
$ 1.82万 - 项目类别:
Collaborative Research and Development Grants
Enhancing Model-based Testing using Software Analytics
使用软件分析增强基于模型的测试
- 批准号:
RGPIN-2014-05108 - 财政年份:2019
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
Enhancing Model-based Testing using Software Analytics
使用软件分析增强基于模型的测试
- 批准号:
RGPIN-2014-05108 - 财政年份:2018
- 资助金额:
$ 1.82万 - 项目类别:
Discovery Grants Program - Individual
Automated testing and specification mining for certification of avionics software systems
用于航空电子软件系统认证的自动化测试和规范挖掘
- 批准号:
515254-2017 - 财政年份:2018
- 资助金额:
$ 1.82万 - 项目类别:
Collaborative Research and Development Grants
相似国自然基金
基于Deep Unrolling的高分辨近红外二区荧光分子断层成像方法研究
- 批准号:12271434
- 批准年份:2022
- 资助金额:46 万元
- 项目类别:面上项目
基于深度森林(Deep Forest)模型的表面增强拉曼光谱分析方法研究
- 批准号:2020A151501709
- 批准年份:2020
- 资助金额:10.0 万元
- 项目类别:省市级项目
面向Deep Web的数据整合关键技术研究
- 批准号:61872168
- 批准年份:2018
- 资助金额:62.0 万元
- 项目类别:面上项目
基于Deep-learning的三江源区冰川监测动态识别技术研究
- 批准号:51769027
- 批准年份:2017
- 资助金额:38.0 万元
- 项目类别:地区科学基金项目
具有时序处理能力的Spiking-Deep Learning(脉冲深度学习)方法研究
- 批准号:61573081
- 批准年份:2015
- 资助金额:64.0 万元
- 项目类别:面上项目
基于语义计算的海量Deep Web知识探索机制研究
- 批准号:61272411
- 批准年份:2012
- 资助金额:80.0 万元
- 项目类别:面上项目
Deep Web数据集成查询结果抽取与整合关键技术研究
- 批准号:61100167
- 批准年份:2011
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
面向Deep Web的大规模知识库自动构建方法研究
- 批准号:61170020
- 批准年份:2011
- 资助金额:57.0 万元
- 项目类别:面上项目
Deep Web敏感聚合信息保护方法研究
- 批准号:61003054
- 批准年份:2010
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
基于逻辑强化学习的Deep Web模式匹配研究
- 批准号:61070122
- 批准年份:2010
- 资助金额:32.0 万元
- 项目类别:面上项目
相似海外基金
DMS-EPSRC: Asymptotic Analysis of Online Training Algorithms in Machine Learning: Recurrent, Graphical, and Deep Neural Networks
DMS-EPSRC:机器学习中在线训练算法的渐近分析:循环、图形和深度神经网络
- 批准号:
EP/Y029089/1 - 财政年份:2024
- 资助金额:
$ 1.82万 - 项目类别:
Research Grant
CRII: RI: Deep neural network pruning for fast and reliable visual detection in self-driving vehicles
CRII:RI:深度神经网络修剪,用于自动驾驶车辆中快速可靠的视觉检测
- 批准号:
2412285 - 财政年份:2024
- 资助金额:
$ 1.82万 - 项目类别:
Standard Grant
CAREER: Reliable and Accelerated Deep Neural Networks via Co-Design of Hardware and Algorithms
职业:通过硬件和算法的协同设计实现可靠且加速的深度神经网络
- 批准号:
2340516 - 财政年份:2024
- 资助金额:
$ 1.82万 - 项目类别:
Continuing Grant
Development of data-driven multiple sound spot synthesis technology based on deep generative neural network models
基于深度生成神经网络模型的数据驱动多声点合成技术开发
- 批准号:
23K11177 - 财政年份:2023
- 资助金额:
$ 1.82万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Property-Driven Quality Assurance of Adversarial Robustness of Deep Neural Networks
深度神经网络对抗鲁棒性的属性驱动质量保证
- 批准号:
23K11049 - 财政年份:2023
- 资助金额:
$ 1.82万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Collaborative Research: RI: Medium: Principles for Optimization, Generalization, and Transferability via Deep Neural Collapse
合作研究:RI:中:通过深度神经崩溃实现优化、泛化和可迁移性的原理
- 批准号:
2312841 - 财政年份:2023
- 资助金额:
$ 1.82万 - 项目类别:
Standard Grant
Collaborative Research: RI: Medium: Principles for Optimization, Generalization, and Transferability via Deep Neural Collapse
合作研究:RI:中:通过深度神经崩溃实现优化、泛化和可迁移性的原理
- 批准号:
2312842 - 财政年份:2023
- 资助金额:
$ 1.82万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Verifying Deep Neural Networks with Spintronic Probabilistic Computers
合作研究:SHF:中:使用自旋电子概率计算机验证深度神经网络
- 批准号:
2311295 - 财政年份:2023
- 资助金额:
$ 1.82万 - 项目类别:
Continuing Grant
Collaborative Research: RI: Medium: Principles for Optimization, Generalization, and Transferability via Deep Neural Collapse
合作研究:RI:中:通过深度神经崩溃实现优化、泛化和可迁移性的原理
- 批准号:
2312840 - 财政年份:2023
- 资助金额:
$ 1.82万 - 项目类别:
Standard Grant














{{item.name}}会员




