Skip to Main content Skip to Navigation

hal-03377099v1  Journal articles
Antonin GuillouxJulien Marché. Volume function and Mahler measure of exact polynomials
Compositio Mathematica, Foundation Compositio Mathematica, 2021, 157 (4), pp.809-834. ⟨10.1112/S0010437X21007016⟩
hal-03378905v1  Conference papers
Alexandr TenJacqueline GottliebPierre-Yves Oudeyer. Intrinsic Rewards in Human Curiosity-Driven Exploration: An Empirical Study
Proceedings of the Annual Meeting of the Cognitive Science Society, 43, Jun 2021, Vienna, Austria
hal-03362342v1  Conference papers
Elizabeth WaltonBaptiste CaramiauxSarah Fdili AlaouiFrédéric BevilacquaWendy E. Mackay. Reconciling Technology-Driven and Experiential Approaches for Movement-Based Design
IHM'20.21 - 32e Conférence Francophone pour l’Interaction Homme-Machine, Apr 2021, Virtual Event, France. ⟨10.1145/3450522.3451334⟩
hal-03378451v1  Conference papers
Quentin Le LidecIvan LaptevCordelia SchmidJustin Carpentier. Differentiable Rendering with Perturbed Optimizers
NeurIPS 2021 - Thirty-fifth Conference on Neural Information Processing Systems, Dec 2021, Sydney / Virtual, Australia
hal-03295581v1  Journal articles
Michael FellYaroslav NechaevGabriel Meseguer-BrocalElena CabrioFabien Gandon et al.  Lyrics segmentation via bimodal text–audio representation
Natural Language Engineering, Cambridge University Press (CUP), 2021, pp.1-20. ⟨10.1017/S1351324921000024⟩
hal-02009705v1  Journal articles
Phuong-Thu TrinhRomain BrossierLudovic MétivierJean VirieuxPaul Wellington. Bessel smoothing filter for spectral-element mesh
Geophysical Journal International, Oxford University Press (OUP), 2017, 209 (3), pp.1489-1512. ⟨10.1093/gji/ggx103⟩
hal-03377608v1  Conference papers
Patrick BoscDidier DuboisOlivier PivertHenri PradeMartine Calmès. Fuzzy summarization of data using fuzzy cardinalities
9th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2002), Jul 2002, Annecy, France. pp.1553-1559
hal-03377797v1  Conference papers
Hubert NourtelPierre ChampionDenis JouvetAnthony LarcherMarie Tahon. Evaluation of Speaker Anonymization on Emotional Speech
1st ISCA Symposium on Security and Privacy in Speech Communication, Nov 2021, Virtual, Germany
hal-03377541v1  Conference papers
Valentin FouillardNicolas SabouretSafouan TahaFrédéric Boulanger. Capturer les biais cognitifs dans un processus de prise de décision erroné
WACAI 2021, Centre National de la Recherche Scientifique [CNRS], Oct 2021, Saint Pierre d'Oléron, France
hal-03377462v1  Conference papers
Angèle BossuatRaphael BostPierre-Alain FouqueBrice MinaudMichael Reichle. SSE and SSD: Page-Efficient Searchable Symmetric Encryption
Crypto 2021 - Annual International Cryptology Conference, Aug 2021, Virtual, France
hal-03342677v1  Journal articles
Wesley WillettBon Adriel AsenieroSheelagh CarpendalePierre DragicevicYvonne Jansen et al.  Perception! Immersion! Empowerment! Superpowers as Inspiration for Visualization
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2022, ⟨10.1109/TVCG.2021.3114844⟩
hal-03376942v1  Other publications
Fabien Gandon. Dessine-moi un graphe de connaissances !
Blog Binaire, Le, 2021
hal-03376175v1  Conference papers
Tareq Si SalemGiovanni NegliaDamiano Carra. AÇAI: Ascent Similarity Caching with Approximate Indexes
Proceedings of the 33rd International Teletraffic Congress (ITC 33), Aug 2021, Avignon (virtual), France
hal-03376168v1  Conference papers
Tareq Si SalemGabriele CastellanoGiovanni NegliaFabio PianeseAndrea Araldo. Towards inference delivery networks: distributing machine learning with optimality guarantees
MEDCOMNET 2021/ 19th Mediterranean Communication and Computer Networking Conference, Jun 2021, Ibiza (virtual), Spain. pp.1-8, ⟨10.1109/MedComNet52149.2021.9501272⟩
hal-03376156v1  Conference papers
Tareq Si SalemGiovanni NegliaStratis Ioannidis. No-Regret Caching via Online Mirror Descent
Proceedings of IEEE International Conference on Communications (ICC 2021), Jul 2021, Montreal (virtual), Canada
tel-03376019v1  Theses
Douglas Do Couto Teixeira. Predictability in Human Mobility : Interpretability, Extensions and Applications
Computer science. Institut Polytechnique de Paris; Universidade federal de Minas Gerais, 2021. English. ⟨NNT : 2021IPPAX051⟩
hal-03375918v1  Preprints, Working Papers, ...
Christophe Vuillot. Planar Floquet Codes
hal-03368384v1  Journal articles
Malcolm Egan. Isotropic and Non-Isotropic Signaling in Multivariate α-Stable Noise
Frontiers in Communications and Networks, Fontiers Media, 2021
hal-03375871v1  Conference papers
Josquin HarrisonMarco LorenziBenoit LeggheXavier IriartHubert Cochet et al.  Phase-independent Latent Representation for Cardiac Shape Analysis
MICCAI 2021 24th International Conference, Proceedings, Part VI, Sep 2021, Strasbourg, France. ⟨10.1007/978-3-030-87231-1_52⟩
hal-03364531v3  Conference papers
Nicolas DenoyelleEmmanuel JeannotSwann PerarnauBrice VideauPete Beckman. Narrowing the Search Space of Applications Mapping on Hierarchical Topologies
PMBS21 Workshop - 12th IEEE International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, to be held in conjunction with SC21, Nov 2021, Saint-Louis, United States
hal-03375671v1  Conference papers
Wan-Chiu LiCédric BorgeseAlexandre BenedictoNicolas RayDmitry Sokolov. Singular Structured Hexahedral Grid
RING Meeting, Sep 2021, Vandoeuvre-lès-Nancy, France
hal-03375572v1  Conference papers
Laura BussiRoberto Di CosmoCarlo MontangeroGuido Scatena. Preserving landmark legacy software with the Software Heritage Acquisition Process
iPres2021 - 17th International Conference on Digital Preservation, Oct 2021, Beijing, China. ⟨10.1145/nnnnnnn.nnnnnnn⟩
tel-03319743v2  Theses
Luciano Di Palma. New Algorithms and Optimizations for Human-in-the-Loop Model Development
Artificial Intelligence [cs.AI]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAX043⟩
hal-03375287v1  Conference papers
Geoffroy CouteauBill RoscoePeter Ryan. Partially-Fair Computation from Timed-Release Encryption and Oblivious Transfer
ACISP 2021 - The 26th Australasian Conference on Information Security and Privacy, Dec 2021, Perth, Australia
hal-03375134v1  Conference papers
Noémie GonnierYann BonifaceHervé Frezza-Buet. Input Prediction Using Consensus Driven SOMs
ISCMI 2021:8th Intl. Conference on Soft Computing & Machine Intelligence, Nov 2021, Cairo, Egypt
hal-03375096v1  Conference papers
Denis Kuperberg. Positive First-order Logic on Words
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2021, Rome, France. pp.1-13, ⟨10.1109/LICS52264.2021.9470602⟩
hal-03375049v1  Journal articles
Jörg HoltmannJulien DeantoniMarkus Fockel. Early timing analysis based on scenario requirements and platform models
Software and Systems Modeling, Springer Verlag, In press
hal-03375006v1  Conference papers
Ryana KarakiLudovic MartiJulien Deantoni. WIP: Domain Specific Debugging by using RUNSTAR
Work in Progress of the 2021 Forum on specification & Design Languages (FDL), Sep 2021, Antibes, France
hal-03374990v1  Conference papers
João CambeiroJulien DeantoniVasco Amaral. Supporting the Engineering of Multi-Fidelity Simulation Units With Simulation Goals
International Workshop on Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS'21), Oct 2021, Fukuoka, Japan
hal-03374587v1  Journal articles
Viktor GustafssonLilly HelmersenWendy E. Mackay. Co-Designers Not Troublemakers: Enabling Player-Created Narratives in Persistent Game Worlds
Proceedings of the ACM on Human-Computer Interaction , Association for Computing Machinery (ACM), 2021, 5, pp.1 - 26. ⟨10.1145/3474700⟩
hal-03374760v1  Book sections
Nicholas Ayache. Foreword
Jean-François Uhl; Joaquim Jorge; Daniel Simoes Lopes; Pedro F Campos. Digital Anatomy - Applications of Virtual, Mixed and Augmented Reality, Springer Nature, 2021, Human–Computer Interaction Series, ⟨10.1007/978-3-030-61905-3⟩
hal-03374955v1  Conference papers
Julien DeantoniJoão CambeiroSoroush BateniShaokai LinMarten Lohstroh. Debugging and Verification Tools for LINGUA FRANCA in GEMOC Studio
2021 Forum on specification & Design Languages (FDL), Sep 2021, Antibes, France
hal-03374571v1  Conference papers
Aurélie LemaitreJean Camillerapp. Segmentation of historical maps without annotated data
6th International Workshop on Historical Document Imaging and Processing (HIP’21), Sep 2021, Lausanne, France. ⟨10.1145/3476887.3476909⟩
hal-03374911v1  Journal articles
Stefan Escaida NavarroSingh DhaliwalMario Sanz LopezSarah WilbyAntony Palmer et al.  A Bio-Inspired Active Prostate Phantom for Adaptive Interventions
IEEE Transactions on Medical Robotics and Bionics, IEEE, In press
hal-03369206v1  Conference papers
Salima MdhaffarMarc TommasiYannick Estève. Study on Acoustic Model Personalization in a Context of Collaborative Learning Constrained by Privacy Preservation
SPECOM 2021 - 23rd International Conference on Speech and Computer, Sep 2021, St Petersburg, Russia. pp.426 - 436, ⟨10.1007/978-3-030-87802-3_39⟩
tel-03374762v1  Theses
Antoine Fondaneche. Interaction fluide-structure dans un dispositif vasculaire actif
Analyse numérique [cs.NA]. Université de Bordeaux, 2021. Français. ⟨NNT : 2021BORD0201⟩
hal-01239884v1  Conference papers
Amel Ben OthmaneAndrea G. B. TettamanziSerena VillataMichel BuffaNhan Le Thanh. A Multi-context Framework for Modeling an Agent-Based Recommender System
8th International Conference on Agents and Artificial Intelligence (ICAART2016), Feb 2016, Rome, Italy
hal-03367475v2  Reports
Pascal BarlaLaurent BelcourRomain Pacanowski. Visually-Uniform Reparametrization of Material Appearance through Density Redistribution
[Research Report] RR-9424, Inria Bordeaux - Sud Ouest; Unity Technologies. 2021
hal-03138755v1  Journal articles
Thiago Rocha SilvaMarco WincklerHallvard Trætteberg. Ensuring the Consistency between User Requirements and Task Models: A Behavior-Based Automated Approach
Proceedings of the ACM on Human-Computer Interaction , Association for Computing Machinery (ACM), 2020, Proceedings of the ACM on Human-Computer Interaction (HCI), 4 : EICS (article 77), pp.1-32. ⟨10.1145/3394979⟩
hal-03138759v1  Journal articles
Judy BowenJean VanderdoncktMarco Winckler. A Glimpse into the Past, Present, and Future of Engineering Interactive Computing Systems
Proceedings of the ACM on Human-Computer Interaction , Association for Computing Machinery (ACM), 2020, Proceedings of the ACM on Human-Computer Interaction (HCI) 2020, 4 : EICS (article 71), pp.1-32. ⟨10.1145/3394973⟩
hal-03374562v1  Conference papers
Geoffroy CouteauShuichi KatsumataElahe SadeghiBogdan Ursu. Statistical ZAPs from Group-Based Assumptions
TCC 2021 - Theory of Cryptography Conference, Nov 2021, Raleigh, United States
hal-03138763v1  Conference papers
Anne-Marie Déry-PinnaPhilippe Renevier GoninMarco WincklerChristophe KolskiSophie Lepreux et al.  Entrain, exploring new territorial user interfaces
EICS 2020 - 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, ACM SigCHI : Special Interest Group on Computer-Human Interaction, Jun 2020, Sophia Antipolis, France. pp.1-4, ⟨10.1145/3393672.3398648⟩
hal-03374536v1  Conference papers
Geoffroy CouteauHelger LipmaaRoberto ParisellaArne Ødegaard. Efficient NIZKs for Algebraic Sets
ASIACRYPT 2021 - International Conference on the Theory and Application of Cryptology and Information Security, Dec 2021, Online, Singapore
hal-03138769v1  Book sections
Adrian ReuterKarima BoudaoudMarco WincklerAhmed AbdelmaksoudWadie Lemrazzeq. Secure Email - A Usability Study
FC 2020: Workshops, International Conference on Financial Cryptography and Data Security, 12063, pp.36-46, 2020, Lecture Notes in Computer Science book series (LNCS, volume 12063), 978-3-030-54454-6. ⟨10.1007/978-3-030-54455-3_3⟩
hal-01567726v1  Conference papers
Giovanni FuscoAndrea G. B. Tettamanzi. Multiple Bayesian Models for the Sustainable City: The Case of Urban Sprawl
Computational Science and Its Applications - ICCSA 2017 - 17th International Conference, Jul 2017, Trieste, Italy. pp.392-407, ⟨10.1007/978-3-319-62401-3_29⟩
hal-03374192v1  Conference papers
Geoffroy CouteauPeter RindalSrinivasan Raghuraman. Silver: Silent VOLE and Oblivious Transfer from Hardness of Decoding Structured LDPC Codes
CRYPTO 2021 - Annual International Cryptology Conference, Aug 2021, Santa Barbara, United States. pp.502-534, ⟨10.1007/978-3-030-84252-9_17⟩
hal-03374180v1  Conference papers
Geoffroy CouteauPierre Meyer. Breaking the Circuit Size Barrier for Secure Computation Under Quasi-Polynomial LPN
EUROCRYPT 2021 - Annual International Conference on the Theory and Applications of Cryptographic Techniques, Oct 2021, Zagreb, Croatia. pp.842-870, ⟨10.1007/978-3-030-77886-6_29⟩
hal-03374179v1  Conference papers
Geoffroy CouteauMichael KlooßHuang LinMichael Reichle. Efficient Range Proofs with Transparent Setup from Bounded Integer Commitments
EUROCRYPT 2021 - Annual International Conference on the Theory and Applications of Cryptographic Techniques, Oct 2021, Zagreb, Croatia. pp.247-277, ⟨10.1007/978-3-030-77883-5_9⟩
hal-03374178v1  Conference papers
Geoffroy CouteauPooya FarshimMohammad Mahmoody. Black-Box Uselessness: Composing Separations in Cryptography
ITCS 2021 - 12th Innovations in Theoretical Computer Science Conference, Feb 2021, Online, United States
hal-03374163v1  Conference papers
Thomas AgrikolaGeoffroy CouteauYuval IshaiStanisław JareckiAmit Sahai. On Pseudorandom Encodings
TCC 2020 - Theory of Cryptography Conference, Dec 2020, Durham, United States. pp.639-669, ⟨10.1007/978-3-030-64381-2_23⟩
hal-03374160v1  Conference papers
Elette BoyleGeoffroy CouteauNiv GilboaYuval IshaiLisa Kohl et al.  Correlated Pseudorandom Functions from Variable-Density LPN
FOCS 2020 - Annual IEEE Symposium on Foundations of Computer Science, Nov 2020, Durham, United States
hal-03374157v1  Conference papers
Geoffroy CouteauDominik Hartmann. Shorter Non-interactive Zero-Knowledge Arguments and ZAPs for Algebraic Languages
CRYPTO 2020 - Annual International Cryptology Conference, Aug 2020, Santa Barbara, United States. pp.768-798, ⟨10.1007/978-3-030-56877-1_27⟩
hal-03374153v1  Conference papers
Geoffroy CouteauShuichi KatsumataBogdan Ursu. Non-interactive Zero-Knowledge in Pairing-Free Groups from Weaker Assumptions
EUROCRYPT 2020 - Annual International Conference on the Theory and Applications of Cryptographic Techniques, May 2020, En ligne, Netherlands. pp.442-471, ⟨10.1007/978-3-030-45727-3_15⟩
hal-03374134v1  Conference papers
Geoffroy CouteauThomas AgrikolaDennis Hofheinz. The Usefulness of Sparsifiable Inputs: How to Avoid Subexponential iO
PKC 2020 - IACR International Conference on Public-Key Cryptography, Apr 2020, Édimbourg, United Kingdom. pp.187-219, ⟨10.1007/978-3-030-45374-9_7⟩
hal-02466229v5  Journal articles
Cyril Letrouit. Subelliptic wave equations are never observable
Analysis & PDE, Mathematical Sciences Publishers, In press