Hochschulschrift
A formal framework for the design and specification of neural networks
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783826524677
3826524675
- Maße
-
21 cm
- Umfang
-
X, 168 S.
- Ausgabe
-
Als Ms. gedr.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: München, Univ., Diss., 1997
- Schlagwort
-
Neuronales Netz
Algebraische Spezifikation
Implementierung
CCS
Standard ML
Maschinelles Lernen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:25 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Dranidis, Dimitris
- Shaker
Entstanden
- 1997
Ähnliche Objekte (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.