• 
  Victoria Barrett, Alessio Guglielmi, Benjamin Ralph. A strictly linear subatomic proof system. CSL 2025 - 33rd EACSL Annual Conference on Computer Science Logic, Feb 2025, Amsterdam, Netherlands. ⟨hal-04845619⟩
• 
  Joris van der Hoeven, Grégoire Lecerf. Implementing number theoretic transforms. 2024. ⟨hal-04841449⟩
• 
  Wenxiang Jiang, Hanwei Zhang, Xi Wang, Zhongwen Guo, Hao Wang. NeRFail: Neural Radiance Fields-Based Multiview Adversarial Attack. Proceedings of the AAAI Conference on Artificial Intelligence, Feb 2024, Vancouver, Canada. pp.21197-21205, ⟨10.1609/aaai.v38i19.30113⟩. ⟨hal-04826512⟩
• 
  Mateo Gray, Luke Trinity, Ulrike Stege, Yann Ponty, Sebastian Will, et al.. CParty: Hierarchically Constrained Partition Function of RNA Pseudoknots. Bioinformatics, 2024, ⟨10.1093/bioinformatics/btae748⟩. ⟨hal-04821969⟩
• 
  Jarne van den Herrewegen, Tom Tourwé, Maks Ovsjanikov, Francis Wyffels. Fine-tuning 3D foundation models for geometric object retrieval. Computers and Graphics, 2024, 122, pp.103993. ⟨10.1016/j.cag.2024.103993⟩. ⟨hal-04840018⟩
• 
  Mariem Mezghanni, Malika Boulkenafed, Maks Ovsjanikov. RIVQ-VAE: Discrete Rotation-Invariant 3D Representation Learning. 3DV 2024 - International Conference on 3D Vision, Mar 2024, Davos, Switzerland. pp.1382-1391, ⟨10.1109/3DV62453.2024.00129⟩. ⟨hal-04839811⟩
• 
  Sara Hahner, Souhaib Attaiki, Jochen Garcke, Maks Ovsjanikov. Unsupervised Representation Learning for Diverse Deformable Shape Collections. 3DV 2024 - International Conference on 3D Vision, Mar 2024, Davos, Switzerland. pp.1594-1604, ⟨10.1109/3DV62453.2024.00158⟩. ⟨hal-04838179⟩
• 
  Beniamino Accattoli, Adrienne Lancelot. Mirroring Call-By-Need, or Values Acting Silly. FSCD 2024 - 9th International Conference on Formal Structures for Computation and Deduction, Jul 2024, Tallin, Estonia. ⟨10.4230/LIPIcs.FSCD.2024.23⟩. ⟨hal-04837722⟩
• 
  Beniamino Accattoli, Claudio Sacerdoti Coen. IMELL Cut Elimination with Linear Overhead. 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), Jul 2024, Tallin, Estonia. ⟨10.4230/LIPICS.FSCD.2024.24⟩. ⟨hal-04837719⟩
• 
  Beniamino Accattoli. Semantic Bounds and Multi Types, Revisited. CSL 2024 - 32nd EACSL Annual Conference on Computer Science Logic, Feb 2024, Naples, Italy. ⟨10.4230/LIPIcs.CSL.2024.7⟩. ⟨hal-04837714⟩
• 
  Hongda Jiang, Xi Wang, Marc Christie, Libin Liu, Baoquan Chen. Cinematographic Camera Diffusion Model. Computer Graphics Forum, 2024, 43 (2), pp.1-14. ⟨10.1111/cgf.15055⟩. ⟨hal-04826479⟩
• 
  Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni. Reasonable Space for the Lambda-Calculus, Logarithmically. Logical Methods in Computer Science, 2024, 20 (4), ⟨10.46298/lmcs-20(4:15)2024⟩. ⟨hal-04835903⟩
• 
  Karima Makhlouf, Tamara Stefanović, Héber Hwang Arcolezi, Catuscia Palamidessi. A Systematic and Formal Study of the Impact of Local Differential Privacy on Fairness: Preliminary Results. CSF 2024 - 37th IEEE Computer Security Foundations Symposium, Jul 2024, Enschede, Netherlands. pp.1-16, ⟨10.1109/CSF61375.2024.00039⟩. ⟨hal-04832154⟩
• 
  Tara Butler, Pascal Guehl, Amal Dev Parakkat, Marie-Paule Cani. Driller: An Intuitive Interface for Designing Tangled and Nested Shapes. Eurographics 2024 - Short Papers, CYENS Centre of Excellence in collaboration with the University of Cyprus and the Cyprus University of Technology, Apr 2024, Limassol, Cyprus. ⟨10.2312/egs.20241025⟩. ⟨hal-04824957⟩
• 
  Matteo Manighetti, Dale Miller. Peano Arithmetic and μMALL. 2024. ⟨hal-04824175⟩
• 
  Yasser Benigmim, Subhankar Roy, Slim Essid, Vicky Kalogeiton, Stéphane Lathuilière. Collaborating Foundation Models for Domain Generalized Semantic Segmentation. The IEEE/CVF Conference on Computer Vision and Pattern Recognition 2024, Jun 2024, Seattle, WA, United States. pp.3108-3119, ⟨10.1109/CVPR52733.2024.00300⟩. ⟨hal-04611902⟩
• 
  Zhi-Song Liu, Robin Courant, Vicky Kalogeiton. FunnyNet-W: Multimodal Learning of Funny Moments in Videos in the Wild. International Journal of Computer Vision, 2024, 132, pp.2885 - 2906. ⟨10.1007/s11263-024-02000-2⟩. ⟨hal-04823203⟩
• 
  Xi Wang, Nicolas Dufour, Nefeli Andreou, Marie-Paule Cani, Victoria Fernández Abrevaya, et al.. Analysis of Classifier-Free Guidance Weight Schedulers. Transactions on Machine Learning Research Journal, 2024, ⟨10.48550/arXiv.2404.13040⟩. ⟨hal-04823146⟩
• 
  Zhi-Song Liu, Li-Wen Wang, Jun Xiao, Vicky Kalogeiton. Bridging Text and Image for Artist Style Transfer via Contrastive Learning. European Conference on Computer Vision Workshop (ECCV-W) 2024, European Computer Vision Association, Sep 2024, Milan (Italie), Italy. ⟨hal-04822965⟩
• 
  Paul Marius Boursin, Yannis Kedadry, Victor Zordan, Paul Kry, Marie-Paule Cani. ReGAIL: Toward Agile Character Control From a Single Reference Motion. MIG '24: The 17th ACM SIGGRAPH Conference on Motion, Interaction, and Games, Nov 2024, Arlington VA USA, United States. ⟨10.1145/3677388.3696330⟩. ⟨hal-04807545⟩

2 948

1 086