设为首页收藏本站
开启辅助访问 切换到窄版

 找回密码
 To register

QQ登录

只需一步，快速开始

扫一扫，访问微社区

  • ALL
  • Journals
  • Books

派博传思国际中心 »期刊书目

› BOOKS
› BOOKS with Alphabet   M (Ma,Mb,Mc, Md,Me…)

12345下一页
返回列表

Titlebook: Methods and Procedures for the Verification and Validation of Artificial Neural Networks; Brian J. Taylor Book 2006 Springer-Verlag US 200

[复制链接]
查看: 46130|回复: 45
发表于 2025-3-21 16:21:22 | 显示全部楼层 |阅读模式
书目名称Methods and Procedures for the Verification and Validation of Artificial Neural Networks
编辑Brian J. Taylor
视频video
概述First book based on alternative standards.Includes risk and hazard analysis.Includes supplementary material:
图书封面Titlebook: Methods and Procedures for the Verification and Validation of Artificial Neural Networks; Brian J. Taylor Book 2006 Springer-Verlag US 200
描述.Neural networks are members of a class of software that have the potential to enable intelligent computational systems capable of simulating characteristics of biological thinking and learning. Currently no standards exist to verify and validate neural network-based systems. NASA Independent Verification and Validation Facility has contracted the Institute for Scientific Research, Inc. to perform research on this topic and develop a comprehensive guide to performing V&V on adaptive systems, with emphasis on neural networks used in safety-critical or mission-critical applications...Methods and Procedures for the Verification and Validation of Artificial Neural Networks. is the culmination of the first steps in that research. This volume introduces some of the more promising methods and techniques used for the verification and validation (V&V) of neural networks and adaptive systems. A comprehensive guide to performing V&V on neural network systems, aligned with the IEEE Standard for Software Verification and Validation, will follow this book..
出版日期Book 2006
关键词Adaptive systems; artificial intelligence; formal method; learning; software verification; verification; v
版次1
doihttps://doi.org/10.1007/0-387-29485-6
isbn_softcover978-1-4419-3935-7
isbn_ebook978-0-387-29485-8
copyrightSpringer-Verlag US 2006
The information of publication is updating

书目名称Methods and Procedures for the Verification and Validation of Artificial Neural Networks影响因子(影响力)




书目名称Methods and Procedures for the Verification and Validation of Artificial Neural Networks影响因子(影响力)学科排名




书目名称Methods and Procedures for the Verification and Validation of Artificial Neural Networks网络公开度




书目名称Methods and Procedures for the Verification and Validation of Artificial Neural Networks网络公开度学科排名




书目名称Methods and Procedures for the Verification and Validation of Artificial Neural Networks被引频次




书目名称Methods and Procedures for the Verification and Validation of Artificial Neural Networks被引频次学科排名




书目名称Methods and Procedures for the Verification and Validation of Artificial Neural Networks年度引用




书目名称Methods and Procedures for the Verification and Validation of Artificial Neural Networks年度引用学科排名




书目名称Methods and Procedures for the Verification and Validation of Artificial Neural Networks读者反馈




书目名称Methods and Procedures for the Verification and Validation of Artificial Neural Networks读者反馈学科排名




单选投票, 共有 1 人参与投票
1.jpg
 

0票 0.00%

Perfect with Aesthetics
2.jpg
 

1票 100.00%

Better Implies Difficulty
3.jpg
 

0票 0.00%

Good and Satisfactory
4.jpg
 

0票 0.00%

Adverse Performance
5.jpg
 

0票 0.00%

Disdainful Garbage
您所在的用户组没有投票权限
爆裂
回复

举报

发表于 2025-3-21 20:27:45 | 显示全部楼层
ing methods and techniques used for the verification and validation (V&V) of neural networks and adaptive systems. A comprehensive guide to performing V&V on neural network systems, aligned with the IEEE Standard for Software Verification and Validation, will follow this book..978-1-4419-3935-7978-0-387-29485-8
heart-murmur
回复

举报

发表于 2025-3-22 01:57:40 | 显示全部楼层
Book 2006roduces some of the more promising methods and techniques used for the verification and validation (V&V) of neural networks and adaptive systems. A comprehensive guide to performing V&V on neural network systems, aligned with the IEEE Standard for Software Verification and Validation, will follow this book..
Pcos971
回复

举报

发表于 2025-3-22 06:16:58 | 显示全部楼层
Communal
回复

举报

发表于 2025-3-22 09:37:13 | 显示全部楼层
Spiro T. Skiasitative estimates, post-quantum calculus, integral operators, univariate Gruss-type inequalities for positive linear operators, bivariate operators of discrete and integral type, convergence of GBS operators.. .978-3-030-06374-0978-3-319-92165-5Series ISSN 1931-6828 Series E-ISSN 1931-6836
mighty
回复

举报

发表于 2025-3-22 13:30:19 | 显示全部楼层
cataract
回复

举报

发表于 2025-3-22 20:08:20 | 显示全部楼层
sebaceous-gland
回复

举报

发表于 2025-3-22 21:13:36 | 显示全部楼层
Brian J. Taylor,James T. Smithitative estimates, post-quantum calculus, integral operators, univariate Gruss-type inequalities for positive linear operators, bivariate operators of discrete and integral type, convergence of GBS operators.. .978-3-030-06374-0978-3-319-92165-5Series ISSN 1931-6828 Series E-ISSN 1931-6836
藕床生厌倦
回复

举报

发表于 2025-3-23 02:05:14 | 显示全部楼层
多骨
回复

举报

发表于 2025-3-23 09:07:36 | 显示全部楼层
James T. Smithturn to more complicated situations where the existence result cannot be used trivially, and discuss the computational methods that are available to check the criterion in practice using optimization software. It turns out that in suffices to solve a linear program (LP) when the problem is bi-dimens
万神殿
回复

举报

下一页 »
12345下一页
返回列表
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-5-26 06:17
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表