Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT
Djukic, Miodrag, Prokić, Ivan, Popovic, Miroslav, Ghilezan, Silvia, Popovic, Marko, Prokić, Simona
Published in International journal on software tools for technology transfer (01.02.2025)
Published in International journal on software tools for technology transfer (01.02.2025)
Get full text
Journal Article
Graceful Local Antimagic Labeling of Graphs: A Pattern Analysis Using Python
Alam, Luqman, Semaničová-Feňovčíková, Andrea, Popa, Ioan-Lucian
Published in Symmetry (Basel) (01.01.2025)
Published in Symmetry (Basel) (01.01.2025)
Get full text
Journal Article