Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0565
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
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
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10994-022-06212-w
- URN
-
urn:nbn:de:101:1-2022112521042957338559
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:37 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
- König, Matthias
- Hoos, Holger H. (Informatiker)
- Rijn, Jan N. van
- SpringerLink (Online service)
Ähnliche Objekte (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