Background of the Verification and Validation of Neural Networks.- Augmentation of Current Verification and Validation Practices.- Risk and Hazard Analysis for Neural Network Systems.- Validation of Neural Networks Via Taxonomic Evaluation.- Stability Properties of Neural Networks.- Neural Network Verification.- Neural Network Visualization Techniques.- Rule Extraction as a Formal Method.- Automated Test Generation for Testing Neural Network Systems.- Run-Time Assessment of Neural Network Control Systems.
Methods and Procedures for the Verification and Validation of Artificial Neural Networks
RRP:
$308.00
Description
Background of the Verification and Validation of Neural Networks.- Augmentation of Current Verification and Validation Practices.- Risk and Hazard Analysis for Neural Network Systems.- Validation of Neural Networks Via Taxonomic Evaluation.- Stability Properties of Neural Networks.- Neural Network Verification.- Neural Network Visualization Techniques.- Rule Extraction as a Formal Method.- Automated Test Generation for Testing Neural Network Systems.- Run-Time Assessment of Neural Network Control Systems.
An aerodynamic design procedure that uses neural networks to model the functional behavior of the objective function in design space has been developed. This method incorporates several improvements...
A piece of a computing system designed to simulate the way the human brain analyzes and processes information is referred to as an artificial neural network. It lays the foundation of artificial...
The aim of this book is to handle different application problems of science and engineering using expert Artificial Neural Network (ANN). As such, the book starts with basics of ANN along with...
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took...
Validation describes the procedures used to analyze pharmaceutical products so that the data generated will comply with the requirements of regulatory bodies of the US, Canada, Europe and Japan...
Discover your next great read at BookLoop, Australiand online bookstore offering a vast selection of titles across various genres and interests. Whether you're curious about what's trending or searching for graphic novels that captivate, thrilling crime and mystery fiction, or exhilarating action and adventure stories, our curated collections have something for every reader. Delve into imaginative fantasy worlds or explore the realms of science fiction that challenge the boundaries of reality. Fans of contemporary narratives will find compelling stories in our contemporary fiction section. Embark on epic journeys with our fantasy and science fiction titles,
Shop Trending Books and New Releases
Explore our new releases for the most recent additions in romance books, fantasy books, graphic novels, crime and mystery books, science fiction books as well as biographies, cookbooks, self help books, tarot cards, fortunetelling and much more. With titles covering current trends, booktok and bookstagram recommendations, and emerging authors, BookLoop remains your go-to local australian bookstore for buying books online across all book genres.
Shop Best Books By Collection
Stay updated with the literary world by browsing our trending books, featuring the latest bestsellers and critically acclaimed works. Explore titles from popular brands like Minecraft, Pokemon, Star Wars, Bluey, Lonely Planet, ABIA award winners, Peppa Pig, and our specialised collection of ADHD books. At BookLoop, we are committed to providing a diverse and enriching reading experience for all.
Sign In
your cart
Your cart is empty
Menu
Search
PRE-SALES
If you have any questions before making a purchase chat with our online operators to get more information.
