Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: 10.1007/s10994-022-06212-w
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2022
- Creator
-
König, Matthias
Hoos, Holger Hendrik
van Rijn, Jan N.
- DOI
-
10.18154/RWTH-2023-04983
- URN
-
urn:nbn:de:101:1-2023052401423821639149
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:49 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 Hendrik
- van Rijn, Jan N.
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2022
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???
Die euthyreote Struma: histologische Befunde in Resektaten unter Berücksichtigung der präoperativen Therapie
Perfusions-Computertomographie - Entwicklung und klinische Evaluierung eines neuen bildgebenden Verfahrens zur Untersuchung der cerebralen Perfusion bei Patienten mit akutem Hirninfarkt
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
Validierung einer globalen Zeitreihe der terrestrischen Wasserbedeckung
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???
Die euthyreote Struma: histologische Befunde in Resektaten unter Berücksichtigung der präoperativen Therapie
Perfusions-Computertomographie - Entwicklung und klinische Evaluierung eines neuen bildgebenden Verfahrens zur Untersuchung der cerebralen Perfusion bei Patienten mit akutem Hirninfarkt
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
Validierung einer globalen Zeitreihe der terrestrischen Wasserbedeckung
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???
Die euthyreote Struma: histologische Befunde in Resektaten unter Berücksichtigung der präoperativen Therapie
Perfusions-Computertomographie - Entwicklung und klinische Evaluierung eines neuen bildgebenden Verfahrens zur Untersuchung der cerebralen Perfusion bei Patienten mit akutem Hirninfarkt
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