Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten Dienstag 9. Dezember 2025: Die Lesesäle der Deutschen Nationalbibliothek in Leipzig öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 9 December 2025: The reading rooms of the German National Library in Leipzig will open at 13:00 due to a staff assembly.
 
 

Ergebnis der Suche nach: "ROY" and "Daniel"

Zurück zur Trefferliste


Treffer 77 von 560 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/1279478667
Titel Analysis of recurrent neural networks via property-directed verification of surrogate models / by Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
Person(en) Khmelnitsky, Igor (Verfasser)
Neider, Daniel (Verfasser)
Roy, Rajarshi (Verfasser)
Xie, Xuan (Verfasser)
Barbot, Benoît (Verfasser)
Bollig, Benedikt (Verfasser)
Finkel, Alain (Verfasser)
Haddad, Serge (Verfasser)
Leucker, Martin (Verfasser)
Ye, Lina (Verfasser)
Organisation(en) SpringerLink (Online service) (Sonstige)
Umfang/Format Online-Ressource : online resource.
Persistent Identifier URN: urn:nbn:de:101:1-2023012909030059699549
DOI: 10.1007/s10009-022-00684-w
URL https://doi.org/10.1007/s10009-022-00684-w (Open Access)
Zeitliche Einordnung Erscheinungsdatum: 2022
DDC-Notation 006.32 (maschinell ermittelte DDC-Kurznotation)
Sprache(n) Englisch (eng)
Beziehungen Enthalten in: International journal on software tools for technology transfer (16.11.2022: 1-14)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 77 von 560
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration