Identifiability of Causal-based Fairness Notions: A State of the Art
Karima Makhlouf
,
Sami Zhioua
,
Catuscia Palamidessi
2023
Preprints, Working Papers, ...
hal-03920431v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Topic clustering within chatbots
Riade Benbaki
,
Haolin Pan
,
Pierre Clarou
,
Alexandre Thomas
[Rapport de recherche] École polytechnique. 2020
Reports
hal-03090625v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Semantic Patch Inference
Denis Merigoux
Programming Languages [cs.PL]. 2016
Master thesis
hal-02936287v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Autonomous Service Management in the Cloud
Zhiyuan Yao
Computer Science [cs]. École Polytechnique; Cisco Systems France, 2023. English.
⟨NNT : 2023IPPAX019⟩
Theses
tel-04116293v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
2020
Preprints, Working Papers, ...
hal-03139494v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Fast and versatile fluid-solid coupling for turbulent flow simulation
Chaoyang Lyu
,
Wei Li
,
Mathieu Desbrun
,
Xiaopei Liu
Journal articles
hal-03551731v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-03104618v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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 articles
hal-02915673v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Distributed computation with continual population growth
Da-Jung Cho
,
Matthias Függer
,
Corbin Hopper
,
Manish Kushwaha
,
Thomas Nowak
et al.
Journal articles
hal-03519002v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Q-Zip: Singularity Editing Primitive for Quad Meshes
Leman Feng
,
Yiying Tong
,
Mathieu Desbrun
Journal articles
hal-03551709v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
User scheduling over multiple channels : A multiple-choice knapsack approach
Riade Benbaki
,
Mohamed Malhou
[University works] ÉCOLE POLYTECHNIQUE. 2020
Reports
hal-03090623v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Predicting high-resolution turbulence details in space and time
Kai Bai
,
Chunhao Wang
,
Mathieu Desbrun
,
Xiaopei Liu
Journal articles
hal-03551723v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
TopoCut: Fast and Robust Planar Cutting of Arbitrary Domains
Xianzhong Fang
,
Mathieu Desbrun
,
Hujun Bao
,
Jin Huang
Journal articles
hal-03828502v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Dynamic Upsampling of Smoke through Dictionary-based Learning
Kai Bai
,
Wei Li
,
Mathieu Desbrun
,
Xiaopei Liu
Journal articles
hal-03551699v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Framework for Differential Calculus on Persistence Barcodes
Jacob Leygonie
,
Steve Y. Oudot
,
Ulrike Tillmann
Journal articles
hal-02304300v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More