Related Books

Algorithms for Verifying Deep Neural Networks
Language: en
Pages:
Authors: Changliu Liu
Categories:
Type: BOOK - Published: 2021-02-11 - Publisher:

DOWNLOAD EBOOK

Neural networks have been widely used in many applications, such as image classification and understanding, language processing, and control of autonomous syste
Methods and Procedures for the Verification and Validation of Artificial Neural Networks
Language: en
Pages: 280
Authors: Brian J. Taylor
Categories: Computers
Type: BOOK - Published: 2006-03-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Neural networks are members of a class of software that have the potential to enable intelligent computational systems capable of simulating characteristics of
Nonlinear System Identification
Language: en
Pages: 785
Authors: Oliver Nelles
Categories: Technology & Engineering
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Written from an engineering point of view, this book covers the most common and important approaches for the identification of nonlinear static and dynamic syst
Automated Technology for Verification and Analysis
Language: en
Pages: 574
Authors: Dang Van Hung
Categories: Computers
Type: BOOK - Published: 2020-10-12 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Han
Neural Network Control Of Robot Manipulators And Non-Linear Systems
Language: en
Pages: 470
Authors: F W Lewis
Categories: Technology & Engineering
Type: BOOK - Published: 1998-11-30 - Publisher: CRC Press

DOWNLOAD EBOOK

There has been great interest in "universal controllers" that mimic the functions of human processes to learn about the systems they are controlling on-line so