GALaC

Affichage des résultats 1 à 12 sur 384 au total

GALaC : 1 à 12 sur 384 au total

  • Communication dans un congrès

    Reinis Cirpons, Florent Hivert, Assia Mahboubi, Guillaume Melquiond, James D Mitchell, et al.. Certifying the Decidability of the Word Problem in Monoids at Large. Certified Programs and Proofs, Jan 2026, Rennes, France. pp.128-142, ⟨10.1145/3779031.3779101⟩. ⟨hal-05448783⟩

    GALaC

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Article dans une revue

    Hao Li, Luyi Li, Ping Li, Xueliang Li. Rainbow directed version of Dirac's theorem. Discrete Mathematics, 2025, 348 (8), pp.114506. ⟨10.1016/j.disc.2025.114506⟩. ⟨hal-05392101⟩

    GALaC

    Année de publication

    Publication HAL

  • Thèse

    Hugo Thimonier. Advancing Anomaly Detection in Tabular Data : A Case-Study on Credit Card Fraud Identification. Artificial Intelligence [cs.AI]. Université Paris-Saclay, 2024. English. ⟨NNT : 2024UPASG046⟩. ⟨tel-05351694⟩

    GALaC

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Article dans une revue

    Tianjiao Dai, Hao Li, Yannis Manoussakis, Qiancheng Ouyang. Properly colored cycles in edge-colored complete graphs. Discrete Mathematics, 2025, 348 (6), pp.114403. ⟨10.1016/j.disc.2025.114403⟩. ⟨hal-05392100⟩

    GALaC

    Année de publication

    Publication HAL

  • Thèse

    Valentin Dardilhac. Vote mechanisms and solution of inequation systems with real variables. Computational Complexity [cs.CC]. Université Paris-Saclay, 2025. English. ⟨NNT : 2025UPASG045⟩. ⟨tel-05300167⟩

    GALaC

    Année de publication

    Disponible en libre accès

    Publication HAL