Hochschulschrift
A formal framework for the design and specification of neural networks
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826524677
3826524675
- Dimensions
-
21 cm
- Extent
-
X, 168 S.
- Edition
-
Als Ms. gedr.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: München, Univ., Diss., 1997
- Keyword
-
Neuronales Netz
Algebraische Spezifikation
Implementierung
CCS
Standard ML
Maschinelles Lernen
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:25 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.
Object type
- Hochschulschrift
Associated
- Dranidis, Dimitris
- Shaker
Time of origin
- 1997
Other Objects (12)
Formal Analysis of Deep Binarized Neural Networks
Formal Verification of Industrial Software and Neural Networks
Transcriptional networks controlling neural subtype specification in the zebrafish diencephalon
Why neural networks? History of neural networks
Explanations for neural networks by neural networks
Neural Networks
Neural Networks
Neural Networks
Data restructuring as formal preprocessing for machine learning with neural networks
Neural networks topologies
Neural networks, Buch.
Quantum neural networks
Formal Analysis of Deep Binarized Neural Networks
Formal Verification of Industrial Software and Neural Networks
Transcriptional networks controlling neural subtype specification in the zebrafish diencephalon
Why neural networks? History of neural networks
Explanations for neural networks by neural networks
Neural Networks
Neural Networks
Neural Networks
Data restructuring as formal preprocessing for machine learning with neural networks
Neural networks topologies
Neural networks, Buch.
Quantum neural networks
Formal Analysis of Deep Binarized Neural Networks
Formal Verification of Industrial Software and Neural Networks
Transcriptional networks controlling neural subtype specification in the zebrafish diencephalon
Why neural networks? History of neural networks
Explanations for neural networks by neural networks
Neural Networks
Neural Networks
Neural Networks
Data restructuring as formal preprocessing for machine learning with neural networks
Neural networks topologies
Neural networks, Buch.