Tudományterület szerző szerint "Kiss, Dorina Hedvig"

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, Kiss, Dorina Hedvig, Mlinkó, Péter (2023) Formal verification for quantized neural networks Annales Mathematicae et Informaticae. 57. pp. 36-48. ISSN 1787-6117 (Online)

A lista elkészítésének dátuma Sun Apr 28 21:18:52 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.