Skip to Main content Skip to Navigation

hal-02413327v1  Journal articles
Marjorie BournatAjoy DattaSwan Dubois. Self-stabilizing robots in highly dynamic environments
Theoretical Computer Science, Elsevier, 2019, 772, pp.88-110. ⟨10.1016/j.tcs.2018.11.026⟩
tel-03133456v2  Theses
Darius Mercadier. Usuba, Optimizing Bitslicing Compiler
Programming Languages [cs.PL]. Sorbonne Université, 2020. English. ⟨NNT : 2020SORUS180⟩
hal-03381199v1  Conference papers
Victor Vianu. Datalog Unchained
SIGMOD/PODS '21- International Conference on Management of Data, Jun 2021, Xi'an, Shaanxi / Virtual Event China, China. pp.57-69, ⟨10.1145/3452021.3458815⟩
hal-03380807v1  Conference papers
Alix ChaguéSimon GabayLaurent RomaryJuliette JanesHugo Scheithauer et al.  From page to content – which TEI representation for HTR output?
Next Gen TEI, 2021 - TEI Conference and Members’ Meeting, Oct 2021, Virtual, United States
hal-03380805v1  Conference papers
Alexandre BartzJuliette JanesLaurent RomaryPhilippe GambetteRachel Bawden et al.  Expanding the content model of annotationBlock
Next Gen TEI, 2021 - TEI Conference and Members’ Meeting, Oct 2021, Virtual, United States
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-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-02307397v4  Journal articles
Guillaume DucoffeMichel HabibLaurent Viennot. Fast Diameter Computation within Split Graphs
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2021
hal-02274273v2  Journal articles
Ronan RiochetMario Ynocente CastroMathieu BernardAdam LererRob Fergus et al.  IntPhys 2019: A Benchmark for Visual Intuitive Physics Understanding
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2021
hal-03329301v2  Conference papers
Ewan DunbarMathieu BernardNicolas HamilakisTu Anh NguyenMaureen de Seyssel et al.  The Zero Resource Speech Challenge 2021: Spoken language modelling
Interspeech 2021 - Conference of the International Speech Communication Association, Aug 2021, Brno, Czech Republic. ⟨10.1109/TPAMI.2021.3083839⟩
hal-03329219v1  Journal articles
Kushal LakhotiaEvgeny KharitonovWei-Ning HsuYossi AdiAdam Polyak et al.  On Generative Spoken Language Modeling from Raw Audio
Transactions of the Association for Computational Linguistics, The MIT Press, 2021
hal-03329245v1  Conference papers
Adam PolyakYossi AdiJade CopetEugene KharitonovKushal Lakhotia et al.  Speech Resynthesis from Discrete Disentangled Self-Supervised Representations
INTERSPEECH 2021 - Annual Conference of the International Speech Communication Association, Aug 2021, Brno, Czech Republic
hal-03329261v1  Journal articles
Rachid RiadJulien KaradayiAnne-Catherine Bachoud-LéviEmmanuel Dupoux. Learning spectro-temporal representations of complex sounds with parameterized neural networks
Journal of the Acoustical Society of America, Acoustical Society of America, 2021, 150 (1), pp.353-366. ⟨10.1121/10.0005482⟩
hal-03353663v1  Conference papers
Ilyas ToumliltPierre SutraMarc Shapiro. Highly-available and consistent group collaboration at the edge with Colony
Middleware 2021: 22nd International Middleware Conference, Dec 2021, Québec (online), Canada
hal-03370264v1  Journal articles
Timothy BourkePaul JeanmaireBasile PesinMarc Pouzet. Verified Lustre Normalization with Node Subsampling
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2021, 20 (5s), pp.1-25. ⟨10.1145/3477041⟩
hal-03366962v1  Conference papers
Bruno BlanchetVincent ChevalVéronique Cortier. ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
43RD IEEE Symposium on Security and Privacy (S&P'22), May 2022, San Francisco, United States
hal-03366644v1  Documents associated with scientific events
Cyril CohenThéo Zimmermann. A Nix toolbox for reproducible Coq environments, Continuous Integration and artifact reuse
The Coq Workshop, Jul 2021, Virtual, France
hal-03361379v1  Conference papers
Stefanus HaryonoFerdian ThungDavid LoJulia LawallLingxiao Jiang. Characterization and Automatic Updates of Deprecated Machine-Learning API Usages
ICSME 2021 - IEEE International Conference on Software Maintenance and Evolution, Sep 2021, Luxembourg City / Virtual, Luxembourg. ⟨10.1109/ICSME52107.2021.00019⟩
hal-03361370v1  Conference papers
Stefanus HaryonoFerdian ThungDavid LoJulia LawallLingxiao Jiang. MLCatchUp: Automated Update of Deprecated Machine-Learning APIs in Python
ICSME 2021 - 37th IEEE International Conference on Software Maintenance and Evolution, Sep 2021, Luxembourg City / Virtual, Luxembourg. ⟨10.1109/ICSME52107.2021.00061⟩
hal-03364975v1  Conference papers
Anh -Quan CaoGilles PuyAlexandre BoulchRenaud Marlet. PCAM: Product of Cross-Attention Matrices for Rigid Registration of Point Clouds
ICCV 2021 - International Conference on Computer Vision, Oct 2021, Montreal / Virtual, Canada
hal-03364585v1  Conference papers
Alice RogierAdrien CouletBastien Rance. Using an ontological representation of chemotherapy toxicities for guiding information extraction and integration from EHRs
Medinfo 2021 - 18th World Congress on Medical and Health Informatics, Oct 2021, Virtual conference, Australia
hal-03364489v1  Conference papers
Abdelhak HidouriMohamed HaddedNasreddine HajlaouiHaifa TouatiPaul Muhlethaler. Cache Pollution Attacks in the NDN Architecture: Impact and Analysis
SoftCOM 2021 - 29th International Conference on Software, Telecommunications and Computer Networks, Sep 2021, Hvar, Croatia
tel-03364389v2  Theses
Quentin Santos. Cryptography for pragmatic distributed trust and the role of blockchain
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE078⟩
hal-03364383v1  Conference papers
Fouzi BoukhalfaMohamed HaddedPaul MuhlethalerOyunchimeg Shagdar. Evaluation of a new Radio Technology and Visible Light Communication for a Platooning Application
ISNCC 2021 - International Symposium on Networks, Computers and Communications, Oct 2021, Dubai, United Arab Emirates
hal-03361644v1  Conference papers
Yoann GhigoffJulien SopenaKahina LazriAntoine BlinGilles Muller. BMC: Accelerating Memcached using Safe In-kernel Caching and Pre-stack Processing
NSDI'21 - 18th USENIX Symposium on Networked Systems Design and Implementation, Apr 2021, Virtual event, United States. pp.487-501
hal-03361430v1  Conference papers
Charlotte CaucheteuxAlexandre GramfortJean-Rémi King. Model-based analysis of brain activity reveals the hierarchy of language in 305 subjects
EMNLP 2021 - Conference on Empirical Methods in Natural Language Processing, Nov 2021, Punta Cana (and Online), Dominican Republic
hal-03361421v1  Conference papers
Charlotte CaucheteuxAlexandre GramfortJean-Remi King. Disentangling Syntax and Semantics in the Brain with Deep Networks
ICML 2021 - 38th International Conference on Machine Learning, Jul 2021, Online conference, France
hal-03359495v1  Conference papers
Ilia ShilovHélène Le CadreAna Bušić. A Generalized Nash Equilibrium analysis of the interaction between a peer-to-peer financial market and the distribution grid
IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, Oct 2021, Aachen, Germany
hal-03359062v1  Conference papers
Ridwan ShariffdeenXiang GaoGregory DuckShin TanJulia Lawall et al.  Automated Patch Backporting in Linux (Experience Paper)
ISSTA 2021: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Jul 2021, Aarhus (virtual), Denmark. ⟨10.1145/3460319.3464821⟩
hal-03357485v1  Poster communications
Sébastien LégaréJean KrivineRuss HarmerJérôme Feret. Modelling Systems Biology Wide and Deep ⋆
CMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux, France. CMSB
hal-03185142v2  Conference papers
Muhammad Umar NiaziAlain KibangouCarlos Canudas de WitDenis NikitinLiudmila Tumash et al.  Effective Testing Policies for Controlling an Epidemic Outbreak
CDC 2021 - 60th IEEE Conference on Decision and Control, Dec 2021, Austin, United States
hal-03352062v1  Conference papers
Gilles BartheSunjay CauligiBenjamin GrégoireAdrien KoutsosKevin Liao et al.  High-Assurance Cryptography in the Spectre Era
NDSS 2021 - The Network and Distributed System Security Symposium, Feb 2021, Virtual, France
hal-03351533v1  Conference papers
Lionel TadjouFabrice BourgeTiphaine MarieLaurent RomaryEric Villemonte de la Clergerie. Building A Corporate Corpus For Threads Constitution
Student Research Workshop associated with the International Conference on Recent Advances in Natural Language Processing (RANLP’2021), Sep 2021, Online, Bulgaria
hal-03348036v1  Conference papers
Denis MazzucatoCaterina Urban. Reduced Products of Abstract Domains for Fairness Certification of Neural Networks
28th Static Analysis Symposium (SAS 2021), Oct 2021, Chicago, United States
hal-03345699v1  Conference papers
Camille BourgauxAna OzakiJeff Pan. Geometric Models for (Temporally) Attributed Description Logics
DL 2021 - 34th International Workshop on Description Logics, Sep 2021, Bratislava, Slovakia
lirmm-03345614v1  Conference papers
Camille BourgauxDavid CarralMarkus KrötzschSebastian RudolphMichaël Thomazo. Capturing Homomorphism-Closed Decidable Queries with Existential Rules
KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, Nov 2021, Virtual, Vietnam. To appear
hal-03340622v1  Conference papers
Jean-Damien GénéroAlix ChaguéVictoria Le FournerMarie Puren. Transcribing and editing digitized sources on work in the textile industry
Rémunérations et usages du temps des hommes et des femmes dans le textile en France de la fin du XVIIe au début du XXe siècle, Manuela Martini, Sep 2021, Lyon, France
tel-03339393v1  Theses
Sreeja Nair. Designing safe and highly available distributed applications
Distributed, Parallel, and Cluster Computing [cs.DC]. Sorbonne Université, 2021. English
hal-03337848v1  Journal articles
Gilles BlanchardDonald Geman. Hierarchical testing designs for pattern recognition
Annals of Statistics, Institute of Mathematical Statistics, 2005, 33 (3), pp.1155-1202. ⟨10.1214/009053605000000174⟩
hal-03332502v1  Conference papers
Jose Jurandir Alves EstevesAmina BoubendirFabrice GuilleminPierre Sens. DRL-based Slice Placement Under Non-Stationary Conditions
CNSM 2021 - 17th International Conference on Network and Service Management, Oct 2021, Izmir, Turkey
hal-03332423v1  Conference papers
Colette JohnenLuciana ArantesPierre Sens. FIFO and Atomic broadcast algorithms with bounded message size for dynamic systems
SRDS 2021 - 40th International Symposium on Reliable Distributed Systems, Sep 2021, Chicago / Virtual, United States
tel-01885412v2  Theses
Jean-Baptiste Alayrac. Structured learning from video and natural language
Computer Vision and Pattern Recognition [cs.CV]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE072⟩
hal-03331838v1  Conference papers
Simon GabayBarbara TopalovCaroline CorbièresLucie Rondeau Du NoyerBéatrice Joyeux-Prunel et al.  Automating Artl@s – extracting data from exhibition catalogues
EADH 2021 - Second International Conference of the European Association for Digital Humanities, Sep 2021, Krasnoyarsk, Russia
hal-03330463v1  Conference papers
Nathan MauriceJulien SopenaLionel Lacassagne. Un nouvel algorithme efficace de Split & Merge pour systèmes embarqués
COMPAS 2021 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jul 2021, Lyon, France
hal-03329084v1  Journal articles
Rahma ChaabouniEugene KharitonovEmmanuel DupouxMarco Baroni. Communicating artificial neural networks develop efficient color-naming systems
Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2021, 118 (12), ⟨10.1073/pnas.2016569118⟩
hal-03328749v1  Conference papers
Antoine YangAntoine MiechJosef SivicIvan LaptevCordelia Schmid. Just Ask: Learning to Answer Questions from Millions of Narrated Videos
ICCV 2021 - IEEE International Conference on Computer Vision, Oct 2021, Virtual, France
hal-03328685v1  Journal articles
Yacine BouzidiAlban QuadratFabrice RouillierGrace Younes. Computation of the $\mathcal{L} \infty$ -norm of finite-dimensional linear systems
Communications in Computer and Information Science, Springer Verlag, 2021
hal-03328162v1  Conference papers
Gourab GhatakSanket Sanjay KalamkarYash GuptaShubhi Sharma. A Fine-Grained Analysis of Radar Detection in Vehicular Networks
IEEE GLOBECOM 2021 - IEEE Global Communications Conference, Dec 2021, Madrid, Spain
tel-03146424v2  Theses
Sudarshan Shinde. Cryptographic applications of modular curves
Number Theory [math.NT]. Sorbonne Université, 2020. English
hal-03324932v1  Journal articles
Luis RoldãoRaoul de CharetteAnne Verroust-Blondet. 3D Semantic Scene Completion: a Survey
International Journal of Computer Vision (IJCV), In press
hal-03216019v2  Conference papers
Tom MonnierElliot VincentJean PonceMathieu Aubry. Unsupervised Layered Image Decomposition into Object Prototypes
International Conference on Computer Vision (ICCV 2021), Oct 2021, Montreal, Canada
hal-03323885v1  Conference papers
Bruno LecouatJean PonceJulien Mairal. Lucas-Kanade Reloaded: End-to-End Super-Resolution from Raw Image Bursts
ICCV 2021 - International Conference on Computer Vision, Oct 2021, Virtual, France. pp.1-16
hal-03322174v1  Conference papers
Emilio Jesús Gallego AriasPierre JouvelotSylvain RibsteinDorian Desblancs. The W-calculus: A Synchronous Framework for the Verified Modelling of Digital Signal Processing Algorithms
FARM 2021 - 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design, Aug 2021, Virtual, South Korea. ⟨10.1145/3471872.3472970⟩
hal-03321368v1  Conference papers
Slim BettaiebLoic BidouxOlivier BlazyBaptiste CottierDavid Pointcheval. Secure Decision Forest Evaluation
ARES 2021 - 16th International Conference on Availability, Reliability and Security, Aug 2021, Vienna, Austria. pp.1-12, ⟨10.1145/3465481.3465763⟩
inria-00100200v1  Conference papers
Daan BroederThierry DeclerckLaurent RomaryÉric Villemonte de la ClergerieMarkus Uneson et al.  A large Metadata Domain for Language Resources
4th International Conference on Language Resources and Evaluation - LREC'04, May 2004, Lisbonne, Portugal. pp.369-372
hal-03320556v1  Conference papers
Théo ZimmermannJean-Rémy Falleri. A grounded theory of Community Package Maintenance Organizations-Registered Report
ICSME 2021 - 37th International Conference on Software Maintenance and Evolution, Sep 2021, Luxembourg City / Virtual, Luxembourg
hal-03311509v2  Journal articles
Pascal LuOlivier Colliot. Multilevel Survival Modeling with Structured Penalties for Disease Prediction from Imaging Genetics data
IEEE Journal of Biomedical and Health Informatics, Institute of Electrical and Electronics Engineers, 2021, pp.1-1. ⟨10.1109/JBHI.2021.3100918⟩
hal-03313685v1  Conference papers
Arthur DesboisTiziana CattaiMarie-Constance CorsiFabrizio de Vico Fallani. Functional Connectivity for BCI: OpenViBE implementation
JJC-ICON’2021 - Journée Jeunes Chercheurs en Interfaces Cerveau-Ordinateur et Neurofeedback, CORTICO : COllectif pour la Recherche Transdisciplinaire sur les Interfaces Cerveau-Ordinateur, May 2021, Virtual, France
hal-03301590v1  Conference papers
Julien AbadjiPedro Javier Ortiz SuárezLaurent RomaryBenoît Sagot. Ungoliant: An Optimized Pipeline for the Generation of a Very Large-Scale Multilingual Web Corpus
CMLC 2021 - 9th Workshop on Challenges in the Management of Large Corpora, Jul 2021, Limerick / Virtual, Ireland. ⟨10.14618/ids-pub-10468⟩
hal-03298759v1  Conference papers
Glen MévelJacques-Henri Jourdan. Formal Verification of a Concurrent Bounded Queue in a Weak Memory Model
ICFP 2021 - 26th ACM SIGPLAN International Conference on Functional Programming, Aug 2021, Virtual, Japan. ⟨10.1145/3473571⟩
hal-03298747v1  Conference papers
Marine ColleryPhilippe BonnardFrançois Fages. Apprentissage de règles pour la détection de fraudes
RJCIA 2021 - Dix-neuvièmes Rencontres des Jeunes Chercheurs en Intelligence Artificielle, Jul 2021, Bordeaux / Virtual, France. pp.77-78
hal-03293643v1  Conference papers
Shrey MishraLucas PluvinagePierre Senellart. Towards Extraction of Theorems and Proofs in Scholarly Articles
DocEng '21 - 21st ACM Symposium on Document Engineering, Aug 2021, Limerick, Ireland