Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

45 Results
Structure: Internal structure identifier : 241115
Image document

Identifiability of Causal-based Fairness Notions: A State of the Art

Karima Makhlouf , Sami Zhioua , Catuscia Palamidessi
Preprints, Working Papers, ... hal-03920431v1
Image document

Topic clustering within chatbots

Riade Benbaki , Haolin Pan , Pierre Clarou , Alexandre Thomas
[Rapport de recherche] École polytechnique. 2020
Reports hal-03090625v1
Image document

Empowering Investigative Journalism with Graph-based Heterogeneous Data Management

Angelos-Christos Anadiotis , Oana Balalau , Théo Bouganim , Francesco Chimienti , Helena Galhardas et al.
Bulletin of the Technical Committee on Data Engineering, In press
Journal articles hal-03337650v1
Image document

Semantic Patch Inference

Denis Merigoux
Programming Languages [cs.PL]. 2016
Master thesis hal-02936287v1
Image document

A Machine-Checked Proof of Security for AWS Key Management Service

José Bacelar Almeida , Manuel Barbosa , Gilles Barthe , Matthew Campagna , Ernie Cohen et al.
ACM CCS 2019 - 26th ACM Conference on Computer and Communications Security, Nov 2019, London, United Kingdom. pp.63-78, ⟨10.1145/3319535.3354228⟩
Conference papers hal-02404540v1
Image document

Learning Distributed and Fair Policies for Network Load Balancing as Markov Potential Game

Zhiyuan Yao , Zihan Ding
36th Conference on Neural Information Processing Systems (NeurIPS 2022)., Nov 2022, New Orleans (LA), United States
Conference papers hal-04116297v1
Image document

PRINCE: Provider-side Interpretability with Counterfactual Explanations in Recommender Systems

Azin Ghazimatin , Oana Balalau , Rishiraj Saha , Gerhard Weikum
WSDM 2020 - 13th ACM International Conference on Web Search and Data Mining, Feb 2020, Houston, Texas, United States
Conference papers hal-02433443v1
Image document

EasyPQC: Verifying Post-Quantum Cryptography

Manuel Barbosa , Gilles Barthe , Xiong Fan , Benjamin Grégoire , Shih-Han Hung et al.
ACM CCS 2021 - ACM SIGSAC Conference on Computer and Communications Security, Nov 2021, Virtual Event, South Korea. pp.2564-2586, ⟨10.1145/3460120.3484567⟩
Conference papers hal-03529301v1
Image document

Autonomous Service Management in the Cloud

Zhiyuan Yao
Computer Science [cs]. École Polytechnique; Cisco Systems France, 2023. English. ⟨NNT : 2023IPPAX019⟩
Theses tel-04116293v1
Image document

Boosting Tricks for Word Mover's Distance

Konstantinos Skianis , Fragkiskos D. Malliaros , Nikolaos Tziortziotis , Michalis Vazirgiannis
ICANN 2020 - 29th International Conference on Artificial Neural Networks, Sep 2020, Bratislava, Slovakia
Conference papers hal-03088924v1

Boosting the analysis of protein interfaces with Multiple Interface String Alignment: illustration on the spikes of coronaviruses

Stéphane Bereux , Bernard Delmas , Frédéric Cazals
Preprints, Working Papers, ... hal-03139494v1
Image document

Fast and versatile fluid-solid coupling for turbulent flow simulation

Chaoyang Lyu , Wei Li , Mathieu Desbrun , Xiaopei Liu
ACM Transactions on Graphics, 2021, 40 (6), pp.201. ⟨10.1145/3478513.3480493⟩
Journal articles hal-03551731v1
Image document

CAMEO: Curiosity Augmented Metropolis for Exploratory Optimal Policies

Simo Alami , Fernando Llorente , Rim Kaddah , Luca Martino , Jesse Read et al.
EUSIPCO, Aug 2022, Belgrade, Serbia
Conference papers hal-03675575v2
Image document

Secured Outsourced Linear Algebra

Amrit Kumar , Jean-Louis Roch , Clément Pernet
Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC
Conference papers hal-00926445v1

A system design for elastically scaling transaction processing engines in virtualized servers

Angelos-Christos Anadiotis , Raja Appuswamy , Anastasia Ailamaki , Ilan Bronshtein , Hillel Avni et al.
Proceedings of the VLDB Endowment (PVLDB), 2020, 13 (12), pp.3085-3098. ⟨10.14778/3415478.3415536⟩
Journal articles hal-03104618v1
Image document

Go Green: General Regularized Green’s Functions for Elasticity

Jiong Chen , Mathieu Desbrun
SIGGRAPH 2022 - Special Interest Group on Computer Graphics and Interactive Techniques Conference, Aug 2022, Vancouver BC, Canada. pp.1-8, ⟨10.1145/3528233.3530726⟩
Conference papers hal-03828483v1
Image document

Robust Pointset Denoising of Piecewise-Smooth Surfaces through Line Processes

Jiayi Wei , Jiong Chen , Damien Rohmer , Pooran Memari , Mathieu Desbrun et al.
Computer Graphics Forum, In press
Journal articles hal-04027983v1
Image document

Detecting Faults in Inner Product Masking Scheme IPM-FD: IPM with Fault Detection

Wei Cheng , Claude Carlet , Kouassi Goli , Jean-Luc Danger , Sylvain Guilley et al.
Journal of Cryptographic Engineering, 2020, ⟨10.1007/s13389-020-00227-6⟩
Journal articles hal-02915673v1
Image document

Distributed computation with continual population growth

Da-Jung Cho , Matthias Függer , Corbin Hopper , Manish Kushwaha , Thomas Nowak et al.
Distributed Computing, 2021, ⟨10.1007/s00446-021-00404-8⟩
Journal articles hal-03519002v1
Image document

Q-Zip: Singularity Editing Primitive for Quad Meshes

Leman Feng , Yiying Tong , Mathieu Desbrun
ACM Transactions on Graphics, 2021, 40 (6), pp.1-13. ⟨10.1145/3478513.3480523⟩
Journal articles hal-03551709v1

Adaptive HTAP through Elastic Resource Scheduling

Aunn Raza , Periklis Chrysogelos , Angelos Christos Anadiotis , Anastasia Ailamaki
SIGMOD/PODS '20 - International Conference on Management of Data, Jun 2020, Portland OR USA, United States. pp.2043-2054, ⟨10.1145/3318464.3389783⟩
Conference papers hal-03104617v1
Image document

High-Level Features for Movie Style Understanding

Robin Courant , Christophe Lino , Marc Christie , Vicky Kalogeiton
ICCV 2021 - Workshop on AI for Creative Video Editing and Understanding, Oct 2021, online, France. pp.1-5
Conference papers hal-03381587v1
Image document

Symbolic Methods in Computational Cryptography Proofs

Gilles Barthe , Benjamin Grégoire , Charlie Jacomme , Steve Kremer , Pierre-Yves Strub et al.
CSF2019 - 32nd IEEE Computer Security Foundations Symposium, Jun 2019, Hoboken, United States. pp.136-13615, ⟨10.1109/CSF.2019.00017⟩
Conference papers hal-02404701v1
Image document

User scheduling over multiple channels : A multiple-choice knapsack approach

Riade Benbaki , Mohamed Malhou
[University works] ÉCOLE POLYTECHNIQUE. 2020
Reports hal-03090623v1
Image document

Proving expected sensitivity of probabilistic programs

Gilles Barthe , Thomas Espitau , Benjamin Grégoire , Justin Hsu , Pierre-Yves Strub et al.
Proceedings of the ACM on Programming Languages, 2017, 2 (POPL), pp.1-29. ⟨10.1145/3158145⟩
Journal articles hal-01959322v1
Image document

Toward Generic Abstractions for Data of Any Model

Nelly Barret , Ioana Manolescu , Prajna Upadhyay
BDA 2021 - Informal publication only, Oct 2021, Paris, France
Conference papers hal-03344041v2
Image document

Predicting high-resolution turbulence details in space and time

Kai Bai , Chunhao Wang , Mathieu Desbrun , Xiaopei Liu
ACM Transactions on Graphics, 2021, 40 (6), pp.200. ⟨10.1145/3478513.3480492⟩
Journal articles hal-03551723v1
Image document

TopoCut: Fast and Robust Planar Cutting of Arbitrary Domains

Xianzhong Fang , Mathieu Desbrun , Hujun Bao , Jin Huang
ACM Transactions on Graphics, 2022, 41 (4), pp.1-15. ⟨10.1145/3528223.3530149⟩
Journal articles hal-03828502v1
Image document

Dynamic Upsampling of Smoke through Dictionary-based Learning

Kai Bai , Wei Li , Mathieu Desbrun , Xiaopei Liu
ACM Transactions on Graphics, 2021, 40 (1), pp.4. ⟨10.1145/3412360⟩
Journal articles hal-03551699v1

A Framework for Differential Calculus on Persistence Barcodes

Jacob Leygonie , Steve Y. Oudot , Ulrike Tillmann
Foundations of Computational Mathematics, 2021, ⟨10.1007/s10208-021-09522-y⟩
Journal articles hal-02304300v1