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

Editors: Taylor, Brian J. (Ed.)

Free Preview

Buy this book

eBook 117,69 €
price for Spain (gross)
  • ISBN 978-0-387-29485-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 145,59 €
price for Spain (gross)
  • ISBN 978-0-387-28288-6
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 145,59 €
price for Spain (gross)
  • ISBN 978-1-4419-3935-7
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

Artificial neural networks are a form of artificial intelligence that have the capability of learning, growing, and adapting with dynamic environments.  With the ability to learn and adapt, artificial neural networks introduce new potential solutions and approaches to some of the more challenging problems that the United States faces as it pursues the vision of space exploration and develops other system applications that must change and adapt after deployment.

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. The NASA IV&V and the Institute for Scientific Research, Inc. are working to be at the forefront of software safety and assurance for neural network and adaptive systems.

Methods and Procedures for the Verification and Validation of Artificial Neural Networks is structured for research scientists and V&V practitioners in industry to assure neural network software systems for future NASA missions and other applications. This book is also suitable for graduate-level students in computer science and computer engineering.

Table of contents (10 chapters)

Table of contents (10 chapters)
  • Background of the Verification and Validation of Neural Networks

    Pages 1-12

    Skias, Spiro T.

  • Augmentation of Current Verification and Validation Practices

    Pages 13-31

    Ammar, Kareem (et al.)

  • Risk and Hazard Analysis for Neural Network Systems

    Pages 33-49

    Pullum, Laura (et al.)

  • Validation of Neural Networks Via Taxonomic Evaluation

    Pages 51-95

    Taylor, Brian J. (et al.)

  • Stability Properties of Neural Networks

    Pages 97-108

    Fuller, Edgar J. (et al.)

Buy this book

eBook 117,69 €
price for Spain (gross)
  • ISBN 978-0-387-29485-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 145,59 €
price for Spain (gross)
  • ISBN 978-0-387-28288-6
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 145,59 €
price for Spain (gross)
  • ISBN 978-1-4419-3935-7
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Bibliographic Information

Bibliographic Information
Book Title
Methods and Procedures for the Verification and Validation of Artificial Neural Networks
Editors
  • Brian J. Taylor
Copyright
2006
Publisher
Springer US
Copyright Holder
Springer-Verlag US
eBook ISBN
978-0-387-29485-8
DOI
10.1007/0-387-29485-6
Hardcover ISBN
978-0-387-28288-6
Softcover ISBN
978-1-4419-3935-7
Edition Number
1
Number of Pages
XII, 278
Topics