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