GALaC

Showing results 1 to 12 of 373 in total

GALaC : 1 to 12 of 373 in total

  • 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

    Year of publication

    Available in free access

    HAL publication

  • Communication dans un congrès

    Johanne Cohen, Emmanuel Goutierre, Hayg Guler, Fatios Kapotos, Sida-Bastien Li, et al.. Modelling Dynamical Systems: Learning ODEs with No Internal ODE Resolution. 18th International Conference, RP 2024, Sep 2025, Vienne, Austria. pp.221-237, ⟨10.1007/978-3-031-72621-7_15⟩. ⟨hal-05240753⟩

    AO, GALaC

    Year of publication

    HAL publication

  • Article dans une revue

    Tianjiao Dai, Qiancheng Ouyang, François Pirot. New Bounds for Odd Colourings of Graphs. The Electronic Journal of Combinatorics, 2024, 31 (4), pp.P4.57. ⟨10.37236/12110⟩. ⟨hal-05246159⟩

    GALaC

    Year of publication

    Available in free access

    HAL publication

  • Proceedings/Recueil des communications

    Olivier Bournez, Johanne Cohen, Adrian Wurm. A Universal Uniform Approximation Theorem for Neural Networks. 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025), Aug 2025, Varsovie, Poland. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025, ⟨10.4230/LIPIcs.MFCS.2025.29⟩. ⟨hal-05241833⟩

    GALaC

    Year of publication

    HAL publication

  • Communication dans un congrès

    Nicolas Atienza, Johanne Cohen, Christophe Labreuche, Michele Sebag. Provably Safeguarding a Classifier from OOD and Adversarial Samples. 13th International Conference on Learning Representations - ICLR 2025, Apr 2025, Singapore, Singapore. pp.56800-56820. ⟨hal-05241867⟩

    AO, GALaC

    Year of publication

    Available in free access

    HAL publication

  • Thèse

    Manon Blanc. Discrete-Time and Continuous-Time Systems over the Reals : Relating Complexity with Robustness, Length and Precision. Computational Complexity [cs.CC]. Institut Polytechnique de Paris, 2025. English. ⟨NNT : 2025IPPAX024⟩. ⟨tel-05118950⟩

    GALaC

    Year of publication

    Available in free access

    HAL publication

  • Communication dans un congrès

    Adnan Vora, Mikhail Nesterenko, Sébastien Tixeuil, Sylvie Delaët. Universe Detectors for Sybil Defense in Ad Hoc Wireles Networks. International Conference on Stabilization, Safety, and Security (SSS 2008), Nov 2008, Detroit, MI, United States. pp.63-78, ⟨10.1007/978-3-540-89335-6_8⟩. ⟨hal-01303007⟩

    GALaC

    Year of publication

    Available in free access

    HAL publication

  • Thèse

    Nicolas Atienza. Towards Reliable ML : Leveraging Multi-Modal Representations, Information Bottleneck and Extreme Value Theory. Machine Learning [stat.ML]. Université Paris-Saclay, 2025. English. ⟨NNT : 2025UPASG025⟩. ⟨tel-05140441⟩

    GALaC

    Year of publication

    Available in free access

    HAL publication

  • Communication dans un congrès

    Manon Blanc, Olivier Bournez. Quantifiying the robustness of dynamical systems. Relating time and space to length and precision. Computer Science Logic CSL'24, Feb 2024, Naples, Italy. pp.17:1-17:20, ⟨10.4230/lipics.csl.2024.17⟩. ⟨hal-04303119⟩

    GALaC, GALaC

    Year of publication

    HAL publication