• 
  Johan Girardot. Toward higher-order and many-symbol infinite time Turing machines. Mathematical Software [cs.MS]. Institut Polytechnique de Paris, 2024. English. ⟨NNT : 2024IPPAX028⟩. ⟨tel-04715058⟩
• 
  Andreas Athanasiou, Kangsoo Jung, Catuscia Palamidessi. Protection against Source Inference Attacks in Federated Learning using Unary Encoding and Shuffling. CCS 2024 - The ACM Conference on Computer and Communications Security, ACM, Oct 2024, Salt Lake City, United States. ⟨10.1145/3658644.3691411⟩. ⟨hal-04707344⟩
• 
  Xi Wang, Vicky Kalogeiton. Conditional Gradient-based Textual Inversion. European Conference on Computer Vision (Workshop GreenFomo), 2024, Milan, Italy. ⟨hal-04713286⟩
• 
  Dale Miller, Alberto Momigliano. Property-Based Testing by Elaborating Proof Outlines. Theory and Practice of Logic Programming, In press. ⟨hal-04710992⟩
• 
  Farah Al Wardani, Kaustuv Chaudhuri, Dale Miller. About Trust and Proof: An experimental framework for heterogeneous verification. The Practice of Formal Methods, LNCS 14781, Springer Nature Switzerland, pp.162-183, 2024, Essays in Honour of Cliff Jones, Part II, 978-3-031-66672-8. ⟨10.1007/978-3-031-66673-5_9⟩. ⟨hal-04710949⟩
• 
  David-Henri Garnier. Interactive 3D Modeling of Evolutionary and Emergent Bio-Inspired Shapes.. Computer Science [cs]. Institut Polytechnique de Paris, 2024. English. ⟨NNT : 2024IPPAX019⟩. ⟨tel-04709062⟩
• 
  Robin Courant, Nicolas Dufour, Xi Wang, Marc Christie, Vicky Kalogeiton. E.T. the Exceptional Trajectories: Text-to-camera-trajectory generation with character awareness. ECCV 2024, Sep 2024, Milan (Italie), Italy. ⟨hal-04707138⟩
• 
  Yihui Ma, Xiaoyu Xiao, Wei Li, Mathieu Desbrun, Xiaopei Liu. Hybrid LBM-FVM solver for two-phase flow simulation. Journal of Computational Physics, 2024, 506, pp.112920. ⟨10.1016/j.jcp.2024.112920⟩. ⟨hal-04706767⟩
• 
  Wei Li, Kui Wu, Mathieu Desbrun. Kinetic Simulation of Turbulent Multifluid Flows. ACM Transactions on Graphics, 2024, 43 (4), pp.1 - 17. ⟨10.1145/3658178⟩. ⟨hal-04706766⟩
• 
  Fernando de Goes, Mathieu Desbrun. Stochastic Computation of Barycentric Coordinates. ACM Transactions on Graphics, 2024, 43 (4), pp.13. ⟨10.1145/3658131⟩. ⟨hal-04706761⟩
• 
  Abdine Hadi. Leveraging Transformer-Based Language Models to Bridge the Gap Between Language and Specialized Domains. Artificial Intelligence [cs.AI]. Institut Polytechnique de Paris, 2024. English. ⟨NNT : 2024IPPAX020⟩. ⟨tel-04706229⟩
• 
  Wagner da Rocha, Thérèse Malliavin, Antonio Mucherino, Leo Liberti. Impact of Local Geometry on Methods for Constructing Protein Conformations. 19th Conference on Computer Science and Intelligence Systems (FedCSIS), ECMI Special Interest group Mathematics for Big Data and Artificial Intelligence, Sep 2024, Belgrade (Serbia), Serbia. pp.671-675. ⟨hal-04703256⟩
• 
  Pablo Donato. Deep Inference for Graphical Theorem Proving. Logic in Computer Science [cs.LO]. Institut Polytechnique de Paris, 2024. English. ⟨NNT : 2024IPPAX015⟩. ⟨tel-04698985⟩
• 
  Arnau Padrol, Vincent Pilaud, Germain Poullot. Deformed graphical zonotopes. Discrete and Computational Geometry, 2023, ⟨10.1007/s00454-023-00586-x⟩. ⟨hal-03788987⟩
• 
  Benjamin Doerr, Michael Gnewuch. On negative dependence properties of Latin hypercube samples and scrambled nets. Journal of Complexity, 2021, 67, pp.101589. ⟨10.1016/J.JCO.2021.101589⟩. ⟨hal-04485604⟩
• 
  Denis Antipov, Maxim Buzdalov, Benjamin Doerr. Fast mutation in crossover-based algorithms. Algorithmica, 2022, 84 (6), pp.1268-1276. ⟨10.1145/3377930.3390172⟩. ⟨hal-04486933⟩
• 
  Oana Balalau, Simon Ebel, Helena Galhardas, Théo Galizzi, Ioana Manolescu. STaR: Space and Time-aware Statistic Query Answering. CIKM 2024 - 33rd ACM International Conference on Information and Knowledge Management, Oct 2024, Boise, Idaho, United States. ⟨10.1145/3627673.3679209⟩. ⟨hal-04689206⟩
• 
  Maria Corte-Real Santos, Craig Costello, Benjamin Smith. Efficient $(3,3)$-isogenies on fast Kummer surfaces. 2024. ⟨hal-04433463v2⟩
• 
  Oana Balalau, Pablo Bertaud-Velten, Younes El-Fraihi, Garima Gaur, Oana Goga, et al.. FactCheckBureau: Build Your Own Fact-Check Analysis Pipeline. CIKM 2024 - 33rd ACM International Conference on Information and Knowledge Management, ACM, Oct 2024, Boise Idaho, United States. ⟨10.1145/3627673.3679220⟩. ⟨hal-04684068⟩
• 
  Pauline Olivier, Tara Butler, Pascal Guehl, Jean-Luc Coll, Renaud Chabrier, et al.. DynBioSketch: A tool for sketching dynamic visual summaries in biology, and its application to infection phenomena. Computers and Graphics, 2024, 122, pp.103956. ⟨10.1016/j.cag.2024.103956⟩. ⟨hal-04682753⟩

2 871

1 084