Skip to Main content Skip to Navigation


...
hal-03182950v1  Conference papers
Téo SanchezBaptiste CaramiauxJules FrançoiseFrédéric BevilacquaWendy E. Mackay. How do People Train a Machine? Strategies and (Mis)Understandings
CSCW 2021 - The 24th ACM Conference on Computer-Supported Cooperative Work and Social Computing, Oct 2021, Virtual, United States
...
hal-03134294v1  Conference papers
Cezara DragoiConstantin EneaBurcu Kulahcioglu OzkanRupak MajumdarFilip Niksic. Testing consensus implementations using communication closure
SPLASH 2020 : ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Oct 2021, Chiccago / Virtual, United States. ⟨10.1145/3428278⟩
...
hal-02965830v1  Conference papers
Rasha FaqehChristof FetzerHolger HerrmannsJörg HoffmannMichaela Klauck et al.  Towards Dynamic Dependable Systems through Evidence-Based Continuous Certification
ISoLA 2020 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2021, Rhodes, Greece
...
hal-02931314v1  Conference papers
Veeraruna KavithaEitan Altman. Controlling Packet Drops to Improve Freshness of information
Netgcoop 2020 - International Conference on NETwork Games, Control and Optimisation, Sep 2021, Cargese, France
...
hal-02931313v1  Conference papers
Eitan AltmanMandar DatarGhilas Ferrat. Maximizing amount of transferred traffic for battery powered mobiles
Netgcoop 2020 - International Conference on NETwork Games, Control and Optimisation, Sep 2021, Cargese, France
...
hal-02938850v1  Conference papers
Bruno GaujalJosu DoncelNicolas Gast. Vaccination in a Large Population: Mean Field Equilibrium versus Social Optimum
NETGCOOP 2020 - 10th International Conference on NETwork Games, COntrol and OPtimization, Sep 2021, Cargèse, France. pp.1-9
...
hal-03178425v1  Conference papers
Karthikeyan BhargavanAbhishek BichhawatQuoc DoPedram HosseyniRalf Küsters et al.  DY* : A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
EuroS&P 2021 - 6th IEEE European Symposium on Security and Privacy, Sep 2021, Virtual, Austria
...
hal-03066941v1  Conference papers
Raouf KerkoucheGergely ÁcsClaude CastellucciaPierre Genevès. Compression Boosts Differentially Private Federated Learning
EuroS&P 2021 - 6th IEEE European Symposium on Security and Privacy, Sep 2021, Vienna, Austria. pp.1-15
...
hal-03170612v1  Conference papers
Denis NikitinCarlos Canudas de WitPaolo Frasca. Scale-free boundary control of multiple aggregates in large-scale networks
MTNS 2020 - 24th International Symposium on Mathematical Theory of Networks and Systems, Aug 2021, Cambridge, United Kingdom. pp.1-5
...
hal-03158705v1  Conference papers
Yutaka YamamotoCatherine Bonnet. Bézout Identity in Pseudoratoinal Transfer Functions
MTNS 2020 - 24th International Symposium on Mathematical Theory of Networks and Systems, Aug 2021, Cambridge, France
...
hal-02893005v1  Conference papers
Jean AuriolIslam BoussaadaHugues MounierSilviu-Iulian Niculescu. Torsional-vibrations Damping in Drilling Systems: Multiplicity-Induced-Dominancy based design
24th International Symposium on Mathematical Theory of Networks and Systems, Organisé par: I. BOUSSAADA, G. MAZANTI, S-I. NICULESCU, J. CHEN, Aug 2021, Cambridge, United Kingdom
...
hal-02463452v2  Conference papers
Guilherme MazantiIslam BoussaadaSilviu-Iulian NiculescuYacine Chitour. Effects of Roots of Maximal Multiplicity on the Stability of Some Classes of Delay Differential-Algebraic Systems: The Lossless Propagation Case
24th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2021), Aug 2021, Cambridge, United Kingdom
...
hal-03143737v1  Conference papers
Liz IzhikevichRenata TeixeiraZakir Durumeric. LZR: Identifying Unexpected Internet Services
USENIX Security 2021 - 30th USENIX Security Symposium, Aug 2021, Vancouver / Virtual, Canada
...
hal-03115203v1  Conference papers
Waldez GomesPauline MauriceEloïse DalinJean-Baptiste MouretSerena Ivaldi. Improving Ergonomics at Work with Personalized Multi-Objective Optimization of Human Movements
AHFE 2021 - 12th International Conference on Applied Human Factors and Ergonomics and the Affiliated Conferences, Jul 2021, New York, United States
...
hal-03115202v1  Conference papers
Lorenzo VianelloJean-Baptiste MouretEloïse DalinAlexis AubrySerena Ivaldi. Probabilistic estimation of postures during human-robot collaboration: an ergonomics perspective
12th International Conference on Applied Human Factors and Ergonomics and the Affiliated Conferences, AHFE 2021, Jul 2021, New York, United States
...
hal-03105666v1  Conference papers
Bertrand PetitManuel Serrano. Generative Music Using Reactive Programming
International Computer Music Conférence, Jul 2021, Santiago, Chile
...
hal-03157992v1  Conference papers
Yann ThanwerdasXavier Pennec. Geodesics of the Quotient-Affine Metrics on Full-Rank Correlation Matrices
GSI 2021 - 5th conference on Geometric Science of Information, Jul 2021, Paris, France
...
hal-02022062v2  Conference papers
Christophe CerisaraPaul CaillonGuillaume Le Berre. Unsupervised post-tuning of deep neural networks
IJCNN, Jul 2021, Virtual Event, United States
...
hal-03017222v1  Conference papers
Vikas MishraPierre LaperdrixWalter RudametkinRomain Rouvoy. Déjà vu: Abusing Browser Cache Headers to Identify and Track Online Users
PETS 2021 - The 21th International Symposium on Privacy Enhancing Technologies, Jul 2021, Virtual, France
...
hal-03195362v1  Conference papers
Rute CostaAna SalgadoAnas KhanSara CarvalhoLaurent Romary et al.  MOR Digital: The Advent of a New Lexicographical Portuguese Project
eLex 2021 - Seventh biennial conference on electronic lexicography, Jul 2021, Brno, Czech Republic
...
hal-03191808v1  Conference papers
Pieter AppeltansSilviu-Iulian NiculescuWim Michiels. Analysis and Design of Output Feedback PD Controllers for Time-Delay Systems
2021 European Control Conference, Jul 2021, Rotterdam, Netherlands
...
hal-03188360v1  Conference papers
Yasir Saleem ShaikhNathalie MittonValeria Loscrì. A Vehicle-to-Infrastructure Data Offloading Scheme for Vehicular Networks with QoS Provisioning
IWCMC 2021 - 17th International Wireless Communications and Mobile Computing Conference, Jun 2021, Harbin / Virtual, China
...
hal-03186044v1  Conference papers
Brandon FoubertNathalie Mitton. Joint Technology and Route Selection in Multi-RAT Wireless Sensor Networks with RODENT
IWCMC 2021 - 17th International Wireless Communications & Mobile Computing Conference, Jun 2021, Harbin / Virtual, China
...
hal-03115781v1  Conference papers
Nicolas ZampieriIrina IllinaDominique Fohr. A comparative study of different features for efficient automatic hate speech detection
IPrA 2021 - 17th International Pragmatics Conference, Jun 2021, Winterthur, Switzerland
...
hal-03195692v1  Conference papers
George GiakkoupisMehrdad Jafari GivPhilipp Woelfel. Efficient Randomized DCAS
STOC 2021 - 53rd Annual ACM SIGACT Symposium on Theory of Computing, Jun 2021, Rome (Virtual), Italy. pp.1-64
...
hal-03021960v1  Conference papers
Corentin BarloyFilip MurlakCharles Paperman. Stackless Processing of Streamed Trees
PODS 2021 - Symposium on Principles of Database Systems, Jun 2021, Xi'an, Shaanx, China. ⟨10.4230/LIPIcs⟩
...
hal-02548545v2  Conference papers
Nicolas GirardDmitriy SmirnovJustin SolomonYuliya Tarabalka. Polygonal Building Segmentation by Frame Field Learning
CVPR 2021 - IEEE Conference on Computer Vision and Pattern Recognition, Jun 2021, Pittsburg / Virtual, United States
...
hal-03184720v1  Conference papers
Mehdi BahriGaétan BahlStefanos Zafeiriou. Binary Graph Neural Networks
CVPR 2021 - IEEE Conference on Computer Vision and Pattern Recognition, IEEE, Jun 2021, Nashville / Virtual, United States
...
hal-03184673v1  Conference papers
Ramana SundararamanCédric de Ameida BragaEric MarchandJulien Pettré. Tracking Pedestrian Heads in Dense Crowd
CVPR 2021 - IEEE/CVF Conference on Computer Vision and Pattern Recognition, Jun 2021, Virtual, United States. pp.1-11
...
hal-03001913v2  Conference papers
Giuseppe LenaAndrea TomassilliFrédéric GiroireDamien SaucezThierry Turletti et al.  A Right Placement Makes a Happy Emulator: a Placement Module for Distributed SDN/NFV Emulation
IEEE International Conference on Communications (ICC), Jun 2021, Montréal, Canada
...
hal-03200918v1  Conference papers
Shashwat MishraLou SalaunChung Shue ChenK Giridhar. Analysis of Downlink Connectivity in NB-IoT Networks Employing NOMA with Imperfect SIC
2021 Joint European Conference on Networks and Communications & 6G Summit (EuCNC/6G Summit): 6G Enabling Technologies, Jun 2021, Porto, France
...
hal-03171255v1  Conference papers
Martin Rodriguez-VegaCarlos Canudas de WitHassen Fourati. Urban network traffic state estimation using a data-based approach
CTS 2021 - 16th IFAC Symposium on Control in Transportation Systems, Jun 2021, Lille / Virtual, France. pp.1 - 7
...
hal-03047049v2  Conference papers
Apostolos ChalkisVissarion FisikopoulosElias TsigaridasHaris Zafeiropoulos. Geometric algorithms for sampling the flux space of metabolic networks
The 37th International Symposium on Computational Geometry (SoCG), Jun 2021, Buffalo, United States
...
hal-03006663v3  Conference papers
Jean-Daniel BoissonnatSiargey KachanovichMathijs Wintraecken. Tracing isomanifolds in $R^d$ in time polymonial in d using Coxeter-Freudenthal-Kuhn triangulations
SoCG 2021 - 37th Symposium on Computational Geometry, Jun 2021, Buffalo, United States
...
hal-03021256v1  Conference papers
Gordon MeiserPierre LaperdrixBen Stock. Careful Who You Trust: Studying the Pitfalls of Cross-Origin Communication
ASIACCS 2021 - 16th ACM Asia Conference on Computer and Communications Security, Jun 2021, Hong Kong / Virtual, China
...
hal-03183028v1  Conference papers
Frédéric CazalsB DelmasTimothee O'Donnell. Fréchet mean and $p$-mean on the unit circle: decidability, algorithm, and applications to clustering on the flat torus
SEA 2021 - 19th Symposium on Experimental Algorithms, Jun 2021, Sophia Antipolis, France
...
hal-02951375v1  Conference papers
Benoit KuglerFlorence ForbesS. Douté. First order Sobol indices for physical models via inverse regression
JDS 2020 - 52èmes Journées de Statistique de la Société Française de Statistique (SFdS), Jun 2021, Nice, France. pp.1-6
...
hal-02985794v3  Conference papers
Nicolas FurnonRomain SerizelIrina IllinaSlim Essid. Distributed speech separation in spatially unconstrained microphone arrays
ICASSP 2021 - 46th International Conference on Acoustics, Speech, and Signal Processing, Jun 2021, Toronto / Virtual, Canada
...
hal-03200480v1  Conference papers
Maxime AmblardMiguel Couceiro. A Broad NLP Training from Speech to Knowledge
NAACL 2021 - Fifth Workshop on Teaching NLP at the Annual Conference of the North American Chapter of the Association for Computational Linguistics, Jun 2021, Mexico / Virtual, Mexico
...
hal-03021394v2  Conference papers
Gersende FortEric MoulinesHoi-To Wai. Geom-SPIDER-EM: Faster Variance Reduced Stochastic Expectation Maximization for Nonconvex Finite-Sum Optimization
2021 IEEE International Conference on Acoustics, Speech and Signal Processing, Jun 2021, Toronto, Canada
...
hal-03202349v1  Conference papers
Marie-Constance CorsiFlorian YgerSylvain ChevallierCamille Noûs. Riemannian Geometry on Connectivity for Clinical BCI
ICASSP 2021 - IEEE International Conference on Acoustics, Speech and Signal Processing, Jun 2021, Toronto, Canada
...
hal-03132013v1  Conference papers
Quoc-Tung LeRémi Gribonval. Structured Support Exploration For Multilayer Sparse Matrix Factorization
ICASSP 2021 - IEEE International Conference on Acoustics, Speech and Signal Processing, Jun 2021, Toronto, Ontario, Canada. pp.1-5
...
hal-03155445v1  Conference papers
Mostafa SadeghiXavier Alameda-Pineda. Switching Variational Auto-Encoders for Noise-Agnostic Audio-visual Speech Enhancement
IEEE International Conference on Acoustics, Speech and Signal Processing, Jun 2021, Toronto, Canada. pp.1-5