Tudományterület szerző szerint "Gajdár, Krisztián"

[up]
[pin missing: url][pin missing: url]
Export [Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
csoportosítás: Mű típusa | csoportosítás nélkül
Találatok száma: 1.

Kovásznai, Gergely, Gajdár, Krisztián, Narodytska, Nina (2021) Portfolio solver for verifying Binarized Neural Networks Annales Mathematicae et Informaticae (53.): Selected papers of the 1st Conference on Information Technology and Data Science. pp. 183-200. ISSN 1787-6117 (Online)

A lista elkészítésének dátuma Sat May 4 10:12:30 2024 CEST.
Intézményi Publikációk is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.

TÁMOP-4.2.1.D-15/1/KONV-2015-0013 Kutatás, Innováció, Együttműködések – Társadalmi innováció és kutatási hálózatok együttműködésének erősítése projekt keretében készült.