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

csoportosítás: Mű típusa | csoportosítás nélkül

Válasszon: Folyóiratcikk - Journal article

Találatok száma: 1.

Folyóiratcikk - Journal article

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 Sun Dec 22 12:22:38 2024 CET.

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.