Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0565
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio ; day:8 ; month:9 ; year:2022 ; pages:1-20
Machine learning ; (8.9.2022), 1-20
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10994-022-06212-w
- URN
-
urn:nbn:de:101:1-2022112521042957338559
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:37 AM CEST
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.
Associated
- König, Matthias
- Hoos, Holger H. (Informatiker)
- Rijn, Jan N. van
- SpringerLink (Online service)
Other Objects (12)
Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
Die leukoplakische Hyperplasie des Stimmbandepithels und ihre Beziehungen zur subepithelialen Entzündung und zum Ödem
Vorsicht Gemüse : erst in 7 Tagen bedenkenlos genießbar???
Perfusions-Computertomographie - Entwicklung und klinische Evaluierung eines neuen bildgebenden Verfahrens zur Untersuchung der cerebralen Perfusion bei Patienten mit akutem Hirninfarkt
Die euthyreote Struma: histologische Befunde in Resektaten unter Berücksichtigung der präoperativen Therapie
Virus der klassischen Schweinepest : Untersuchungen zur Pathogenese und zur Induktion einer protektiven Immunantwort
Texturbasierte Verfahren und interaktive 3D-Visualisierung für computergenerierte Hologramme
König, Rosine geb. Müßlen von Grunbach Kreis Calw
Pattern recognition methodologies for pollen grain image classification: a survey
Model Order Reduction (MOR) of Function‐Perfusion‐Growth Simulation in the Human Fatty Liver via Artificial Neural Network (ANN)
Einfluss der bestrahlten Lungenvolumina auf die intra- und postoperative Mortalität nach neoadjuvanter Radiochemotherapie bei Patienten mit Ösophaguskarzinom
Consistent searches for SMEFT effects in non-resonant dilepton events
Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
Die leukoplakische Hyperplasie des Stimmbandepithels und ihre Beziehungen zur subepithelialen Entzündung und zum Ödem
Vorsicht Gemüse : erst in 7 Tagen bedenkenlos genießbar???
Perfusions-Computertomographie - Entwicklung und klinische Evaluierung eines neuen bildgebenden Verfahrens zur Untersuchung der cerebralen Perfusion bei Patienten mit akutem Hirninfarkt
Die euthyreote Struma: histologische Befunde in Resektaten unter Berücksichtigung der präoperativen Therapie
Virus der klassischen Schweinepest : Untersuchungen zur Pathogenese und zur Induktion einer protektiven Immunantwort
Texturbasierte Verfahren und interaktive 3D-Visualisierung für computergenerierte Hologramme
König, Rosine geb. Müßlen von Grunbach Kreis Calw
Pattern recognition methodologies for pollen grain image classification: a survey
Model Order Reduction (MOR) of Function‐Perfusion‐Growth Simulation in the Human Fatty Liver via Artificial Neural Network (ANN)
Einfluss der bestrahlten Lungenvolumina auf die intra- und postoperative Mortalität nach neoadjuvanter Radiochemotherapie bei Patienten mit Ösophaguskarzinom
Consistent searches for SMEFT effects in non-resonant dilepton events
Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
Die leukoplakische Hyperplasie des Stimmbandepithels und ihre Beziehungen zur subepithelialen Entzündung und zum Ödem
Vorsicht Gemüse : erst in 7 Tagen bedenkenlos genießbar???
Perfusions-Computertomographie - Entwicklung und klinische Evaluierung eines neuen bildgebenden Verfahrens zur Untersuchung der cerebralen Perfusion bei Patienten mit akutem Hirninfarkt
Die euthyreote Struma: histologische Befunde in Resektaten unter Berücksichtigung der präoperativen Therapie
Virus der klassischen Schweinepest : Untersuchungen zur Pathogenese und zur Induktion einer protektiven Immunantwort
Texturbasierte Verfahren und interaktive 3D-Visualisierung für computergenerierte Hologramme
König, Rosine geb. Müßlen von Grunbach Kreis Calw
Pattern recognition methodologies for pollen grain image classification: a survey
Model Order Reduction (MOR) of Function‐Perfusion‐Growth Simulation in the Human Fatty Liver via Artificial Neural Network (ANN)
Einfluss der bestrahlten Lungenvolumina auf die intra- und postoperative Mortalität nach neoadjuvanter Radiochemotherapie bei Patienten mit Ösophaguskarzinom