- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Dortmund, Technische Universität, Dissertation, 2023
- Keyword
-
Neuronales Netz
Maschinelles Lernen
Deep learning
Rekursives neuronales Netz
Neuronale Netze
Programmverifikation
Computersabotage
- Event
-
Veröffentlichung
- (where)
-
Dortmund
- (who)
-
Universitätsbibliothek Dortmund
- (when)
-
2023
- Creator
- Contributor
-
Müller, Emmanuel
König, Barbara
- Handle
-
2003/42030
- URN
-
urn:nbn:de:101:1-2023080403420452936024
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:48 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Böing, Benedikt
- Müller, Emmanuel
- König, Barbara
- Universitätsbibliothek Dortmund
Time of origin
- 2023
Other Objects (12)
Advances in verification of ReLU neural networks
Advances in verification of ReLU neural networks
Formal Verification of Industrial Software and Neural Networks
auDeep: Unsupervised Learning of Representations from Audio with Deep Recurrent Neural Networks
Unsupervised Learning and Clustered Connectivity Enhance Reinforcement Learning in Spiking Neural Networks
Artificial Neural Networks in Motion Analysis : Applications of Unsupervised and Heuristic Feature Selection Techniques
Why neural networks? History of neural networks
First three years of the international verification of neural networks competition (VNN-COMP)
Unsupervised Machine Learning For Human Neural Electrophysiology Signals
Explanations for neural networks by neural networks
Segmentation in Tomography Data : Exploring Data Augmentation for Supervised and Unsupervised Voxel Classification with Neural Networks
Abstraction-based verification of parameterized networks
Advances in verification of ReLU neural networks
Advances in verification of ReLU neural networks
Formal Verification of Industrial Software and Neural Networks
auDeep: Unsupervised Learning of Representations from Audio with Deep Recurrent Neural Networks
Unsupervised Learning and Clustered Connectivity Enhance Reinforcement Learning in Spiking Neural Networks
Artificial Neural Networks in Motion Analysis : Applications of Unsupervised and Heuristic Feature Selection Techniques
Why neural networks? History of neural networks
First three years of the international verification of neural networks competition (VNN-COMP)
Unsupervised Machine Learning For Human Neural Electrophysiology Signals
Explanations for neural networks by neural networks
Segmentation in Tomography Data : Exploring Data Augmentation for Supervised and Unsupervised Voxel Classification with Neural Networks
Abstraction-based verification of parameterized networks
Advances in verification of ReLU neural networks
Advances in verification of ReLU neural networks
Formal Verification of Industrial Software and Neural Networks
auDeep: Unsupervised Learning of Representations from Audio with Deep Recurrent Neural Networks
Unsupervised Learning and Clustered Connectivity Enhance Reinforcement Learning in Spiking Neural Networks
Artificial Neural Networks in Motion Analysis : Applications of Unsupervised and Heuristic Feature Selection Techniques
Why neural networks? History of neural networks
First three years of the international verification of neural networks competition (VNN-COMP)
Unsupervised Machine Learning For Human Neural Electrophysiology Signals
Explanations for neural networks by neural networks
Segmentation in Tomography Data : Exploring Data Augmentation for Supervised and Unsupervised Voxel Classification with Neural Networks