Jelenlegi hely

Címlap

Dániel Zombori, Tamás Szabó, János Horváth, Attila Szász, Tibor Csendes and Balázs Bánhelyi: Verification of artificial neural networks via MIPVerify and SCIP

published by Kocsorné Marianna on h, 10/11/2021 - 10:38
Videok: 

Theme by Danetsoft and Danang Probo Sayekti inspired by Maksimer