Produktbild
Changliu Liu

Algorithms for Verifying Deep Neural Networks

Buch

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 us… Mehr

CHF 157.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Arnon, Tomer / Lazarus, Chris
  • ISBN: 978-1-68083-786-5
  • EAN: 9781680837865
  • Produktnummer: 35852763
  • Verlag: Now Publishers Inc
  • Sprache: Englisch
  • Erscheinungsjahr: 2021
  • Seitenangabe: 178 S.
  • Masse: H23.4 cm x B15.6 cm x D0.9 cm 281 g
  • Abbildungen: Paperback
  • Gewicht: 281

4 weitere Werke von Changliu Liu:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.