Weiter zum Inhalt
Start Suche
Toggle navigation
Merkliste (
0
)
(Voll)
Sprache
English
Deutsch
Mein Konto
Abmeldung
Anmelden
Suchen
Erweiterte Suche
Suchverlauf
Suche im alten Katalog
Die von der HCU lizenzierten E-Medien sind aus lizenzrechtlichen Gründen nur im HCU-Netz frei nutzbar (
Tipps zum Zugriff für HCU-Angehörige
)
Bücher & mehr
Aufsätze
1
Generating probabilistic safety guarantees for neural network controllers
von: Katz, Sydney M.
2021, in:
Machine learning
Wird geladen...
2
Generating probabilistic safety guarantees for neural network controllers
von: Katz, Sydney M.
2021, in:
Machine learning
Wird geladen...
3
Reluplex: a calculus for reasoning about deep neural networks
von: Katz, Guy
2021, in:
Formal methods in system design
Wird geladen...
4
Decomposition methods with deep corrections for reinforcement learning
von: Bouton, Maxime
2019, in:
Autonomous agents and multi-agent systems
Wird geladen...
5
Decomposition methods with deep corrections for reinforcement learning
von: Bouton, Maxime
2019, in:
Autonomous agents and multi-agent systems
Wird geladen...
6
Reluplex: a calculus for reasoning about deep neural networks
von: Katz, Guy
2021, in:
Formal methods in system design
Wird geladen...
7
Global optimization of objective functions represented by ReLU networks
von: Strong, Christopher A.
2021, in:
Machine learning
Wird geladen...
8
Global optimization of objective functions represented by ReLU networks
von: Strong, Christopher A.
2021, in:
Machine learning
Wird geladen...
Nicht das Richtige dabei?
Schreiben Sie uns!
Sortieren & Filtern
Sortieren nach
Relevanz
Neueste zuerst
Älteste zuerst
Autor*in
Titel
Einschränken auf E-Medien
Bibliothek
Standort (Printmedien)
Online
Nein
4
Ja
4
Erscheinungsjahr
Von:
Bis:
Sprache
English
8
Nicht das Richtige dabei?
Schreiben Sie uns!
Wird geladen...