- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0565
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Robustness verification of ReLU networks via quadratic programming ; day:16 ; month:3 ; year:2022 ; pages:1-27
Machine learning ; (16.3.2022), 1-27
- Urheber
-
Kuvshinov, Aleksei
Günnemann, Stephan
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10994-022-06132-9
- URN
-
urn:nbn:de:101:1-2022060821582116303278
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:26 MESZ
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.
Beteiligte
- Kuvshinov, Aleksei
- Günnemann, Stephan
- SpringerLink (Online service)
Ähnliche Objekte (12)
Quadratic programming by spiking neuronal networks
Quadratic programming : complexity issues in real number models
Integral methods for quadratic programming : theory and implementation
Tableau-based protein substructure search using quadratic programming
New bounds for nonconvex quadratically constrained quadratic programming
Convex Quadratic Programming Relaxations for Network Scheduling Problems
Convex quadratic and semidefinite programming relaxations in Scheduling
Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
On linear-quadratic optimal control and robustness of differential-algebraic systems
Robustness verification of k-nearest neighbors by abstract interpretation
3DVerifier: efficient robustness verification for 3D point cloud models
Quadratic programming by spiking neuronal networks
Quadratic programming : complexity issues in real number models
Integral methods for quadratic programming : theory and implementation
Tableau-based protein substructure search using quadratic programming
New bounds for nonconvex quadratically constrained quadratic programming
Convex Quadratic Programming Relaxations for Network Scheduling Problems
Convex quadratic and semidefinite programming relaxations in Scheduling
Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
On linear-quadratic optimal control and robustness of differential-algebraic systems
Robustness verification of k-nearest neighbors by abstract interpretation
3DVerifier: efficient robustness verification for 3D point cloud models
Quadratic programming by spiking neuronal networks
Quadratic programming : complexity issues in real number models
Integral methods for quadratic programming : theory and implementation
Tableau-based protein substructure search using quadratic programming
New bounds for nonconvex quadratically constrained quadratic programming
Convex Quadratic Programming Relaxations for Network Scheduling Problems
Convex quadratic and semidefinite programming relaxations in Scheduling
Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
On linear-quadratic optimal control and robustness of differential-algebraic systems
Robustness verification of k-nearest neighbors by abstract interpretation