Coupling algebraic topology theory, formal methods and safety requirements toward a new coverage metric for artificial intelligence models

稳健性(进化) 计算机科学 工作流程 公制(单位) 人工智能 代数数 机器学习 拓扑(电路) 理论计算机科学 数学 数据库 数学分析 生物化学 化学 运营管理 组合数学 经济 基因
作者
Faouzi Adjed,Mallek Mziou-Sallami,Frédéric Pelliccia,Mehdi Rezzoug,Lucas Schott,Christophe Bohn,Yesmina Jaafra
出处
期刊:Neural Computing and Applications [Springer Nature]
卷期号:34 (19): 17129-17144
标识
DOI:10.1007/s00521-022-07363-6
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
大幅提高文件上传限制,最高150M (2024-4-1)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
1秒前
CodeCraft应助果粒红豆豆采纳,获得30
1秒前
柳扬完成签到,获得积分10
1秒前
2秒前
桃桃发布了新的文献求助30
2秒前
DSC发布了新的文献求助20
3秒前
Ztt发布了新的文献求助20
4秒前
小雷al关注了科研通微信公众号
4秒前
6秒前
善良的汉堡完成签到 ,获得积分10
6秒前
慕青应助ixueyi采纳,获得10
7秒前
情怀应助2028847955采纳,获得10
7秒前
老实憨厚完成签到,获得积分20
7秒前
aa发布了新的文献求助20
8秒前
jixieshiren完成签到,获得积分10
9秒前
谦让的紫烟完成签到,获得积分10
10秒前
传奇3应助赫连又蓝采纳,获得10
11秒前
12秒前
12秒前
史道夫发布了新的文献求助10
12秒前
12秒前
13秒前
13秒前
FashionBoy应助八九采纳,获得10
15秒前
香蕉觅云应助无奈的老姆采纳,获得10
15秒前
15秒前
15秒前
立里发布了新的文献求助10
16秒前
16秒前
老实憨厚发布了新的文献求助30
16秒前
17秒前
17秒前
英姑应助万海采纳,获得10
17秒前
书记发布了新的文献求助10
17秒前
不秃头完成签到,获得积分10
18秒前
土豆国王发布了新的文献求助10
18秒前
晓凡发布了新的文献求助10
18秒前
lvfeicmu发布了新的文献求助10
19秒前
19秒前
19秒前
高分求助中
Evolution 10000
Sustainability in Tides Chemistry 2800
юрские динозавры восточного забайкалья 800
English Wealden Fossils 700
An Introduction to Geographical and Urban Economics: A Spiky World Book by Charles van Marrewijk, Harry Garretsen, and Steven Brakman 600
Diagnostic immunohistochemistry : theranostic and genomic applications 6th Edition 500
Mantiden: Faszinierende Lauerjäger Faszinierende Lauerjäger 400
热门求助领域 (近24小时)
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号,转发送积分 3153568
求助须知:如何正确求助?哪些是违规求助? 2804730
关于积分的说明 7861428
捐赠科研通 2462728
什么是DOI,文献DOI怎么找? 1310940
科研通“疑难数据库(出版商)”最低求助积分说明 629428
版权声明 601809