Loading...
Last submissions
-
Gabriel Antonio Fontes Rebello, Gustavo Franco Camilo, Lucas Airam Castro de Souza, Maria Gradinariu Potop-Butucaru, Marcelo Dias de Amorim, et al.. A Survey on Blockchain Scalability: From Hardware to Layer-Two Protocols. Communications Surveys and Tutorials, IEEE Communications Society, 2024, pp.1-1. ⟨10.1109/COMST.2024.3376252⟩. ⟨hal-04491061⟩
-
Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné, Charlotte Truchet. Combination of Boxes and Polyhedra Abstractions for Constraint Solving. The 8th International Workshop on Numerical and Symbolic Abstract Domains - NSAD 2019, Oct 2019, Porto, Portugal. pp.119--135, ⟨10.1007/978-3-030-54997-8_8⟩. ⟨hal-02457083⟩
-
Hisashi Hayashi, Yousef Taheri, Kanae Tsushima, Gauvain Bourgne, Jean-Gabriel Ganascia, et al.. Toward smooth integration of an online HTN planning agent with legal and ethical checkers. International Workshop on AI Value Engineering and AI Compliance Mechanisms (VECOMP 2024), Oct 2024, A Coruña, Spain. ⟨hal-04669533⟩
-
Armand Kassaï Koupaï, Jorge Mifsut Benet, Yuan Yin, Jean-Noël Vittaut, Patrick Gallinari. GEPS: Boosting Generalization in Parametric PDE Neural Solvers through Adaptive Conditioning. Thirty-eight Conference on Neural Information Processing Systems (NeurIPS 2024), Dec 2024, Vancouver, Canada. ⟨hal-04764272⟩