Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Dienstag 18. November 2025: Die Lesesäle der Deutschen Nationalbibliothek in Frankfurt am Main öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 18 November 2025: The reading rooms of the German National Library in Frankfurt am Main will open at 13:00 due to a staff assembly.
 
Neuigkeiten Mittwoch, 19. November 2025: Die Deutsche Nationalbibliothek in Leipzig ist geschlossen.
 
 

Ergebnis der Suche nach: "N" and "N"

Zurück zur Trefferliste


Treffer 3 von 455 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/1370184778
Titel Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees (Artifact) / Guanqin Zhang, Kota Fukuda, Zhenya Zhang, H.M.N. Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui
Person(en) Zhang, Guanqin (Verfasser)
Fukuda, Kota (Verfasser)
Zhang, Zhenya (Verfasser)
Bandara, H.M.N. Dilum (Verfasser)
Chen, Shiping (Verfasser)
Zhao, Jianjun (Verfasser)
Sui, Yulei (Verfasser)
Umfang/Format Online-Ressource (pdf)
Persistent Identifier URN: urn:nbn:de:0030-drops-233545
DOI: 10.4230/DARTS.11.2.11
URL https://drops.dagstuhl.de/entities/document/10.4230/DARTS.11.2.11 (Verlag) (kostenfrei zugänglich)
Zeitliche Einordnung Erscheinungsdatum: 2025
Sprache(n) Englisch (eng)
Beziehungen Enthalten in: Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Artifacts Series (, 2025, Volume 11, Issue 2, page 11:1-11:3)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 3 von 455
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration