Toggle navigation
reposiTUm
ÜBER REPOSITUM
HILFE
Anmelden
Aktuelles
Browsen nach
Publikationstypen
Organisationseinheiten
Forschende
Projekte
TU Wien Academic Press
Open-Access-Schriftenreihen
Hochschulschriften
Digitalisate
Erscheinungsjahr
Datensatz Zitierlink:
http://hdl.handle.net/20.500.12708/139726
-
Titel:
A formal approach to identifying the impact of noise on neural networks
-
Zitat:
Bhatti, I. T., Naseer, M., Shafique, M., & Hasan, O. (2022). A formal approach to identifying the impact of noise on neural networks.
Communications of the ACM
,
65
(11), 70–73. https://doi.org/10.1145/3550492
-
Verlags-DOI:
10.1145/3550492
-
Publikationstyp:
Artikel - Forschungsartikel
de
Sprache:
Englisch
-
Autor_innen:
Bhatti, Iram Tariq
Naseer, Mahum
Shafique, Muhammad
Hasan, Osman
-
Organisationseinheit:
E191-02 - Forschungsbereich Embedded Computing Systems
-
Zeitschrift:
Communications of the ACM
-
ISSN:
0001-0782
-
Datum (veröffentlicht):
2022
-
Umfang:
4
-
Verlag:
ASSOC COMPUTING MACHINERY
-
Peer Reviewed:
Ja
-
Keywords:
formal verification; neural networks; Noise
en
Forschungsschwerpunkte:
Computer Engineering and Software-Intensive Systems: 100%
-
Wissenschaftszweig:
1020 - Informatik: 100%
-
Enthalten in den Sammlungen:
Article
Zur Langanzeige
Seiten Aufrufe
193
aufgerufen am 23.11.2023
Download(s)
10
aufgerufen am 23.11.2023
Google Scholar
TM
Check