<div class="csl-bib-body">
<div class="csl-entry">Bhatti, I. T., Naseer, M., Shafique, M., & Hasan, O. (2022). A formal approach to identifying the impact of noise on neural networks. <i>Communications of the ACM</i>, <i>65</i>(11), 70–73. https://doi.org/10.1145/3550492</div>
</div>
-
dc.identifier.issn
0001-0782
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/139726
-
dc.language.iso
en
-
dc.publisher
ASSOC COMPUTING MACHINERY
-
dc.relation.ispartof
Communications of the ACM
-
dc.subject
formal verification
en
dc.subject
neural networks
en
dc.subject
Noise
en
dc.title
A formal approach to identifying the impact of noise on neural networks
-
dc.type
Article
en
dc.type
Artikel
de
dc.contributor.affiliation
National University of Sciences and Technology, Pakistan
-
dc.contributor.affiliation
New York University Abu Dhabi, United Arab Emirates (the)
-
dc.contributor.affiliation
National University of Sciences and Technology, Pakistan
-
dc.description.startpage
70
-
dc.description.endpage
73
-
dc.type.category
Original Research Article
-
tuw.container.volume
65
-
tuw.container.issue
11
-
tuw.journal.peerreviewed
true
-
tuw.peerreviewed
true
-
wb.publication.intCoWork
International Co-publication
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.value
100
-
dcterms.isPartOf.title
Communications of the ACM
-
tuw.publication.orgunit
E191-02 - Forschungsbereich Embedded Computing Systems
-
tuw.publisher.doi
10.1145/3550492
-
dc.identifier.eissn
1557-7317
-
dc.description.numberOfPages
4
-
tuw.author.orcid
0000-0002-4344-8812
-
tuw.author.orcid
0000-0002-8533-2148
-
wb.sci
true
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.grantfulltext
restricted
-
item.openairetype
research article
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_2df8fbb1
-
item.fulltext
no Fulltext
-
crisitem.author.dept
National University of Sciences and Technology
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
-
crisitem.author.dept
E191-02 - Forschungsbereich Embedded Computing Systems
