Algorithms for verifying deep neural networks:
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
Gespeichert in:
| Hauptverfasser: | , , , , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Boston ; Delft
Now Publishers
2021
|
| Schriftenreihe: | Foundations and trends in optimization
Vol. 4, no. 3-4 |
| Schlagworte: | |
| Online-Zugang: | TUM01 |
| Zusammenfassung: | 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 |
| Beschreibung: | Description based on publisher supplied metadata and other sources |
| Beschreibung: | 1 online resource (170 pages) |
| ISBN: | 9781680837872 |
Internformat
MARC
| LEADER | 00000nmm a22000001cb4500 | ||
|---|---|---|---|
| 001 | BV047887017 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 220317s2021 |||| o||u| ||||||eng d | ||
| 020 | |a 9781680837872 |9 978-1-68083-787-2 | ||
| 024 | 7 | |a 10.1561/2400000035 |2 doi | |
| 035 | |a (OCoLC)1304474449 | ||
| 035 | |a (DE-599)KEP061627879 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 | ||
| 082 | 0 | |a 006.32 | |
| 100 | 1 | |a Liu, Changliu |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Algorithms for verifying deep neural networks |c Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher Strong, Clark Barrett, Mykel J. Kochenderfer |
| 264 | 1 | |a Boston ; Delft |b Now Publishers |c 2021 | |
| 300 | |a 1 online resource (170 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Foundations and trends in optimization |v Vol. 4, no. 3-4 | |
| 500 | |a Description based on publisher supplied metadata and other sources | ||
| 520 | 3 | |a 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 | |
| 653 | 0 | |a Electronic books | |
| 653 | 0 | |a Algorithms | |
| 700 | 1 | |a Arnon, Tomer |e Verfasser |4 aut | |
| 700 | 1 | |a Lazarus, Christopher |e Verfasser |4 aut | |
| 700 | 1 | |a Strong, Christopher |e Verfasser |4 aut | |
| 700 | 1 | |a Barrett, Clark |e Verfasser |4 aut | |
| 700 | 1 | |a Kochenderfer, Mykel J. |d 1980- |e Verfasser |0 (DE-588)1077199945 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-1-68083-786-5 |
| 830 | 0 | |a Foundations and trends in optimization |v Vol. 4, no. 3-4 |w (DE-604)BV047879910 |9 4,3/4 | |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-033269210 | ||
| 966 | e | |u https://www.nowpublishers.com/article/Download/OPT-035 |l TUM01 |p ebook |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804183489246920704 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Liu, Changliu Arnon, Tomer Lazarus, Christopher Strong, Christopher Barrett, Clark Kochenderfer, Mykel J. 1980- |
| author_GND | (DE-588)1077199945 |
| author_facet | Liu, Changliu Arnon, Tomer Lazarus, Christopher Strong, Christopher Barrett, Clark Kochenderfer, Mykel J. 1980- |
| author_role | aut aut aut aut aut aut |
| author_sort | Liu, Changliu |
| author_variant | c l cl t a ta c l cl c s cs c b cb m j k mj mjk |
| building | Verbundindex |
| bvnumber | BV047887017 |
| collection | ebook |
| ctrlnum | (OCoLC)1304474449 (DE-599)KEP061627879 |
| dewey-full | 006.32 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.32 |
| dewey-search | 006.32 |
| dewey-sort | 16.32 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01908nmm a22004451cb4500</leader><controlfield tag="001">BV047887017</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">220317s2021 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781680837872</subfield><subfield code="9">978-1-68083-787-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1561/2400000035</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1304474449</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)KEP061627879</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.32</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Liu, Changliu</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algorithms for verifying deep neural networks</subfield><subfield code="c">Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher Strong, Clark Barrett, Mykel J. Kochenderfer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston ; Delft</subfield><subfield code="b">Now Publishers</subfield><subfield code="c">2021</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (170 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Foundations and trends in optimization</subfield><subfield code="v">Vol. 4, no. 3-4</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Description based on publisher supplied metadata and other sources</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Electronic books</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Algorithms</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Arnon, Tomer</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lazarus, Christopher</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Strong, Christopher</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Barrett, Clark</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kochenderfer, Mykel J.</subfield><subfield code="d">1980-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1077199945</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-1-68083-786-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Foundations and trends in optimization</subfield><subfield code="v">Vol. 4, no. 3-4</subfield><subfield code="w">(DE-604)BV047879910</subfield><subfield code="9">4,3/4</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033269210</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.nowpublishers.com/article/Download/OPT-035</subfield><subfield code="l">TUM01</subfield><subfield code="p">ebook</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV047887017 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T19:24:48Z |
| indexdate | 2024-07-10T09:24:15Z |
| institution | BVB |
| isbn | 9781680837872 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033269210 |
| oclc_num | 1304474449 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 online resource (170 pages) |
| psigel | ebook |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| publisher | Now Publishers |
| record_format | marc |
| series | Foundations and trends in optimization |
| series2 | Foundations and trends in optimization |
| spelling | Liu, Changliu Verfasser aut Algorithms for verifying deep neural networks Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher Strong, Clark Barrett, Mykel J. Kochenderfer Boston ; Delft Now Publishers 2021 1 online resource (170 pages) txt rdacontent c rdamedia cr rdacarrier Foundations and trends in optimization Vol. 4, no. 3-4 Description based on publisher supplied metadata and other sources 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 Electronic books Algorithms Arnon, Tomer Verfasser aut Lazarus, Christopher Verfasser aut Strong, Christopher Verfasser aut Barrett, Clark Verfasser aut Kochenderfer, Mykel J. 1980- Verfasser (DE-588)1077199945 aut Erscheint auch als Druck-Ausgabe 978-1-68083-786-5 Foundations and trends in optimization Vol. 4, no. 3-4 (DE-604)BV047879910 4,3/4 |
| spellingShingle | Liu, Changliu Arnon, Tomer Lazarus, Christopher Strong, Christopher Barrett, Clark Kochenderfer, Mykel J. 1980- Algorithms for verifying deep neural networks Foundations and trends in optimization |
| title | Algorithms for verifying deep neural networks |
| title_auth | Algorithms for verifying deep neural networks |
| title_exact_search | Algorithms for verifying deep neural networks |
| title_exact_search_txtP | Algorithms for verifying deep neural networks |
| title_full | Algorithms for verifying deep neural networks Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher Strong, Clark Barrett, Mykel J. Kochenderfer |
| title_fullStr | Algorithms for verifying deep neural networks Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher Strong, Clark Barrett, Mykel J. Kochenderfer |
| title_full_unstemmed | Algorithms for verifying deep neural networks Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher Strong, Clark Barrett, Mykel J. Kochenderfer |
| title_short | Algorithms for verifying deep neural networks |
| title_sort | algorithms for verifying deep neural networks |
| volume_link | (DE-604)BV047879910 |
| work_keys_str_mv | AT liuchangliu algorithmsforverifyingdeepneuralnetworks AT arnontomer algorithmsforverifyingdeepneuralnetworks AT lazaruschristopher algorithmsforverifyingdeepneuralnetworks AT strongchristopher algorithmsforverifyingdeepneuralnetworks AT barrettclark algorithmsforverifyingdeepneuralnetworks AT kochenderfermykelj algorithmsforverifyingdeepneuralnetworks |