0
Your cart

Your cart is empty

Books > Professional & Technical > Energy technology & engineering > Electrical engineering

Buy Now

Algorithms for Verifying Deep Neural Networks (Paperback) Loot Price: R2,295
Discovery Miles 22 950
Algorithms for Verifying Deep Neural Networks (Paperback): Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher Strong,...

Algorithms for Verifying Deep Neural Networks (Paperback)

Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher Strong, Clark Barrett, Mykel J. Kochenderfer

Series: Foundations and Trends (R) in Optimization

 (sign in to rate)
Loot Price R2,295 Discovery Miles 22 950 | Repayment Terms: R215 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

Neural networks have been widely used in many applications, such as image classification and understanding, language processing, and control of autonomous systems. These networks work by mapping inputs to outputs through a sequence of layers. At each layer, the input to that layer undergoes an affine transformation followed by a simple nonlinear transformation before being passed to the next layer. Neural networks are being used for increasingly important tasks, and in some cases, incorrect outputs can lead to costly consequences, hence validation of correctness at each layer is vital. The sheer size of the networks makes this not feasible using traditional methods. In this monograph, the authors survey a class of methods that are capable of formally verifying properties of deep neural networks. In doing so, they introduce a unified mathematical framework for verifying neural networks, classify existing methods under this framework, provide pedagogical implementations of existing methods, and compare those methods on a set of benchmark problems. Algorithms for Verifying Deep Neural Networks serves as a tutorial for students and professionals interested in this emerging field as well as a benchmark to facilitate the design of new verification algorithms.

General

Imprint: Now Publishers Inc
Country of origin: United States
Series: Foundations and Trends (R) in Optimization
Release date: February 2021
First published: 2021
Authors: Changliu Liu • Tomer Arnon • Christopher Lazarus • Christopher Strong • Clark Barrett • Mykel J. Kochenderfer
Dimensions: 234 x 156mm (L x W)
Format: Paperback
Pages: 176
ISBN-13: 978-1-68083-786-5
Categories: Books > Professional & Technical > Energy technology & engineering > Electrical engineering > General
Promotions
LSN: 1-68083-786-9
Barcode: 9781680837865

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Power System Analysis and Design, SI…
J. Duncan Glover, Mulukutla Sarma, … Paperback R1,396 R1,296 Discovery Miles 12 960
Eskom - Power, Politics And The (Post…
Faeeza Ballim Paperback R320 R295 Discovery Miles 2 950
Hybrid-Renewable Energy Systems in…
Hina Fathima, Prabaharan N, … Paperback R4,778 R4,431 Discovery Miles 44 310
Smart Sensors and MEMS - Intelligent…
S. Nihtianov, A. Luque Paperback R6,688 R6,173 Discovery Miles 61 730
Ultra-Supercritical Coal Power Plants…
Dongke Zhang Ftse Hardcover R4,332 R4,026 Discovery Miles 40 260
Biomass Combustion Science, Technology…
Lasse Rosendahl Hardcover R4,656 Discovery Miles 46 560
Combined Cycle Systems for Near-Zero…
Ashok D Rao Hardcover R4,477 Discovery Miles 44 770
High Temperature Superconductors (HTS…
Ziad Melhem Hardcover R4,774 Discovery Miles 47 740
Power Plant Life Management and…
John E. Oakey Hardcover R6,060 Discovery Miles 60 600
Microgeneration - Low energy strategies…
Dave Parker Paperback R982 Discovery Miles 9 820
Practical Grounding, Bonding, Shielding…
G. Vijayaraghavan, Mark Brown, … Paperback R1,513 Discovery Miles 15 130
Power Electronic Control in Electrical…
Enrique Acha, Vassilios Agelidis, … Hardcover R3,295 Discovery Miles 32 950

See more

Partners