My Wish Lists Login / Join

Methods and Procedures for the Verification and Validation of Artificial Neural Networks

By: Brian J. Taylor (Editor)

Write A Review

Hardcover | 17 November 2005 | Edition Number 2006

At a Glance

Hardcover
296 Pages

Dimensions(cm)
23.39 x 15.6 x 1.75

Hardcover

$169.75

or 4 interest-free payments of $42.44 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Artificial Intelligence Neural Networks & Fuzzy Systems Computer Networking & Communications Graphical & Digital Media Applications Computer Vision Operating Systems Computer Hardware Network Hardware Pattern Recognition

Human-Computer Interaction

Background of the verification and validation of neural networks	p. 1
Augmentation of current verification and validation practices	p. 13
Risk and hazard analysis for neural network systems	p. 33
Validation of neural networks via taxonomic evaluation	p. 51
Stability properties of neural networks	p. 97
Neural network verification	p. 109
Neural network visualization techniques	p. 163
Rule extraction as a formal method	p. 199
Automated test generation for testing neural network systems	p. 229
Run-time assessment of neural network control systems	p. 257
Table of Contents provided by Blackwell. All Rights Reserved.

Methods and Procedures for the Verification and Validation of Artificial Neural Networks

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Pattern Recognition

Mathematics for Machine Learning

Markov Decision Processes and Reinforcement Learning

Becoming an AI Researcher

Practical Advice for Graduate Students

Complexity in Computer Science

Modern Machine Learning and Pattern Recognition

Digital Twins in the Smart Classroom

Utilising Sensor Networks in the Educational Environment

Pattern Recognition Applications and Methods

14th International Conference, ICPRAM 2025, Porto, Portugal, February 23-25, 2025, Revised Selected Papers

Reinforcement Learning Foundations

Human-Centered Machine Learning

Generative AI on AWS

Building Context-Aware Multimodal Reasoning Applications

Ai Projects With Raspberry Pi

High-performance artificial intelligence for robotics, security, home automation, and vision

Deep Learning for Finance

Creating Machine & Deep Learning Models for Trading in Python

Beyond Slop

Professional AI image creation

Vision Language Models

Building Vlms with Hugging Face

Inference in Statistical Modelling and Machine Learning

A Concise Introduction

Inference in Statistical Modelling and Machine Learning

A Concise Introduction

Exploring GeoAI

Tools and Workflows

Exploring GeoAI

Tools and Workflows

Modern Statistical Methods and Theory

An Introduction to Nonparametric and High-Dimensional Statistics

AI and Computational Intelligence for Environmental Sustainability

Llms and Generative AI for Healthcare

The Next Frontier

Reinforcement Learning for Finance

A Python-Based Introduction

Computational Intelligence for Remote Sensing Image Change Detection

SpringerBriefs in Computer Science

Introduction to Deep Learning

Neural Networks, Large Language Models and Agentic AI

This product is categorised by