zweidimensionales bewegtes Bild
Formal Analysis of Deep Binarized Neural Networks
- Standort
-
Hannover TIB
- Umfang
-
112MB, 00:34:41:22 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
Theory and Practice of Satisfiability Solving (18w5208) ; (Jan. 2018)
- Ereignis
-
Veröffentlichung
- (wer)
-
Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
- (wann)
-
2018-01-01
- Beteiligte Personen und Organisationen
-
Narodytska, Nina
- DOI
-
10.5446/59373
- Letzte Aktualisierung
-
04.12.2024, 08:10 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Narodytska, Nina
- Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
Entstanden
- 2018-01-01
Ähnliche Objekte (12)
Harmonic analysis of deep convolutional neural networks
Deep Convolutional Neural Networks for Biomedical Image Analysis
DeepBase: Deep Inspection of Neural Networks
Training deep quantum neural networks
Neuroscience-inspired analysis and visualization of Deep Neural Networks
Frameworks in medical image analysis with deep neural networks
Operator compression with deep neural networks
Towards automatically-tuned deep neural networks
Deep neural networks and PIDE discretizations
Optimization landscape of deep neural networks
Deep Neural Networks motivated by PDEs
Applied microlocal analysis of deep neural networks for inverse problems
Harmonic analysis of deep convolutional neural networks
Deep Convolutional Neural Networks for Biomedical Image Analysis
DeepBase: Deep Inspection of Neural Networks
Training deep quantum neural networks
Neuroscience-inspired analysis and visualization of Deep Neural Networks
Frameworks in medical image analysis with deep neural networks
Operator compression with deep neural networks
Towards automatically-tuned deep neural networks
Deep neural networks and PIDE discretizations
Optimization landscape of deep neural networks
Deep Neural Networks motivated by PDEs
Applied microlocal analysis of deep neural networks for inverse problems
Harmonic analysis of deep convolutional neural networks
Deep Convolutional Neural Networks for Biomedical Image Analysis
DeepBase: Deep Inspection of Neural Networks
Training deep quantum neural networks
Neuroscience-inspired analysis and visualization of Deep Neural Networks
Frameworks in medical image analysis with deep neural networks
Operator compression with deep neural networks
Towards automatically-tuned deep neural networks
Deep neural networks and PIDE discretizations
Optimization landscape of deep neural networks
Deep Neural Networks motivated by PDEs