Skip to Main content Skip to Navigation

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-03347280v1  Journal articles
Hussam Al DaasLaura GrigoriPascal HénonPhilippe Ricoux. Recycling Krylov Subspaces and Truncating Deflation Subspaces for Solving Sequence of Linear Systems
ACM Transactions on Mathematical Software, Association for Computing Machinery, 2021, 47 (2), pp.1-30. ⟨10.1145/3439746⟩
hal-03347044v1  Conference papers
Marjorie BournatSwan DuboisFranck Petit. Gracefully Degrading Gathering in Dynamic Rings
Stabilization, Safety, and Security of Distributed Systems - 20th International Symposium, SSS 2018, Nov 2018, Tokyo, Japan. pp.349-364, ⟨10.1007/978-3-030-03232-6_23⟩
hal-03346225v1  Conference papers
Karine AltisenStéphane DevismesAnaïs DurandColette JohnenFranck Petit. On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics
PODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event, Italy. pp.21-31, ⟨10.1145/3465084.3467917⟩
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-03343147v1  Journal articles
Jawher JerrayLaurent FribourgÉtienne André. An Approximation of Minimax Control using Random Sampling and Symbolic Computation
IFAC-PapersOnLine, Elsevier, 2021, Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2021), 54 (5), pp.265-270. ⟨10.1016/j.ifacol.2021.08.509⟩
hal-03340905v1  Journal articles
Étienne AndréDidier LimeMathias Ramparison. Parametric updates in parametric timed automata
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (2), pp.13:1-13:67. ⟨10.23638/LMCS-17(2:13)2021⟩
hal-03340887v1  Conference papers
Étienne AndréJaime AriasLaure PetrucciJaco van De Pol. Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021), Jan Friso Groote; Kim G. Larsen, Mar 2021, virtual, Luxembourg. pp.311-329, ⟨10.1007/978-3-030-72016-2_17⟩
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-03329301v1  Journal articles
Ewan DunbarMathieu BernardNicolas HamilakisTu Anh NguyenMaureen de Seyssel et al.  The Zero Resource Speech Challenge 2021: Spoken language modelling
IEEE Transactions on Pattern Analysis and Machine Intelligence, Institute of Electrical and Electronics Engineers, 2021, pp.1-1. ⟨10.1109/TPAMI.2021.3083839⟩
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-03300529v1  Conference papers
Yacine BoufkhadÉric GrégoirePierre MarquisBertrand MazureLakhdar Saïs. Tractable cover compilations
Proc. of the 15th Intl. Joint Conf. on Artificial Intelligence (IJCAI-97), 1997, Nagoya, Japan. pp.122-127
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
hal-01964270v2  Reports
Cyril FurtlehnerJean-Marc LasgouttesAlessandro AttanasiLorenzo MeschiniMarco Pezzulla. Spatio-temporal Probabilistic Short-term Forecasting on Urban Networks
[Research Report] RR-9236, Inria Saclay -Île de France; Inria de Paris; PTV-SISTeMA. 2019, pp.30
hal-03287572v1  Conference papers
Timothy BourkePaul JeanmaireBasile PesinMarc Pouzet. Normalisation vérifiée du langage Lustre
JFLA 2021 - 32ème Journées Francophones des Langages Applicatifs, Yann Régis-Gianas et Chantal Keller, Apr 2021, En ligne, France. pp.117-133
hal-03278658v1  Conference papers
Romain VaillantDimitrios VasilasMarc ShapiroThuy Linh Nguyen. CRDTs for truly concurrent file systems
HotStorage '21 -13th ACM Workshop on Hot Topics in Storage and File Systems, Jul 2021, Virtual, France
hal-03159939v2  Conference papers
Denis MerigouxNicolas ChataingJonathan Protzenko. Catala: A Programming Language for the Law
International Conference on Functional Programming, Aug 2021, Virtual, South Korea. ⟨10.1145/3473582⟩
hal-03266927v1  Conference papers
Amélie BeaudetJean DumoncelFrancis ThackerayStanley Durrleman​Gérard Subsol et al.  Identification of Homo-like features in virtually rendered South African australopiths endocasts
Symposium Le Registre Fossile Humain Africain / The African Human Fossil Record (2014), Sep 2014, Toulouse, France. pp.(electronic medium)
tel-03126602v2  Theses
Ambre Williams. Refactoring functional programs with ornaments
Programming Languages [cs.PL]. Université de Paris, 2020. English. ⟨NNT : 2020UNIP7161⟩
hal-03271811v1  Conference papers
Justin CarpentierRohan BudhirajaNicolas Mansard. Proximal and Sparse Resolution of Constrained Dynamic Equations
Robotics: Science and Systems 2021, Jul 2021, Austin / Virtual, United States
hal-03265889v1  Conference papers
Syrielle MontariolAlexandre Allauzen. Transport Optimal pour le Changement Sémantique à partir de Plongements Contextualisés
TALN 2021 - Traitement Automatique des Langues Naturelles, Jun 2021, Lille / Virtuel, France. pp.235-244
hal-03268786v1  Conference papers
Fouzi BoukhalfaMohamed HaddedPaul MuhlethalerOyunchimeg Shagdar. Using visible light links in combination with radio communication in a vehicular network
PEMWN 2020 - 9th IFIP International Conference on Performance Evaluation and Modeling in Wireless Networks, Dec 2020, Berlin / Virtual, Germany. ⟨10.23919/PEMWN50727.2020.9293082⟩
hal-01966563v1  Conference papers
Iness Ben GuiratHarry Halpin. Formal verification of the W3C Web Authentication Protocol
HoTSoS '18 : 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security, Apr 2018, Raleigh, United States. pp.1-10, ⟨10.1145/3190619.3190640⟩
hal-03265442v1  Conference papers
Dorian BaudryYoan RussacOlivier Cappé. On Limited-Memory Subsampling Strategies for Bandits
ICML 2021- International Conference on Machine Learning, Jul 2021, Vienna / Virtual, Austria
hal-03144849v4  Conference papers
Nuria BredeHugo Herbelin. On the logical structure of choice and bar induction principles
LICS 2021 - 36th Annual Symposium on Logic in Computer Science, Jun 2021, Rome / Virtual, Italy
hal-03260622v1  Book sections
Julie Hunter. Now: A Discourse-Based Theory
Aloni, Maria; Roelofsen, Floris; Sassoon, Galit Weidman; Schulz, Katrin; Kimmelman, Vadim. Logic, Language and Meaning : 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers, Springer, pp.371--380, 2012, 978-3642314810
hal-03260893v1  Books
Philippe Darche. Le Microprocesseur 4 : aspects logiciels
ISTE Ltd, 2021, 978-1-78405-772-5, 978-178406-772-4
hal-03260888v1  Books
Philippe Darche. Le Microprocesseur 3 : aspects matériels
ISTE Ltd, 2021, 978-1-78405-771-8, 978-178406-771-7
hal-03260885v1  Books
Philippe Darche. Le Microprocesseur 2 : communication dans un système numérique
ISTE Ltd, 2021, 978-1-78405-770-1, 978-1-78406-770-0
hal-03260621v1  Journal articles
Julie Hunter. Structured Contexts and Anaphoric Dependencies
Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition, Springer 2014, 168 (1, Special Issue March 2014), pp.35--58. ⟨10.1007/s11098-013-0209-4⟩
hal-03132940v1  Conference papers
Ondřej CífkaAlexey OzerovUmut ŞimşekliGael Richard. Self-Supervised VQ-VAE for One-Shot Music Style Transfer
ICASSP 2021 - IEEE International Conference on Acoustics, Speech and Signal Processing, Jun 2021, Toronto / Virtual, Canada. ⟨10.1109/ICASSP39728.2021.9414235⟩
hal-03256451v1  Conference papers
Antoine LiutkusOndřej CífkaShih-Lun WuUmut ŞimşekliYi-Hsuan Yang et al.  Relative Positional Encoding for Transformers with Linear Complexity
ICML 2021 - 38th International Conference on Machine Learning, Jul 2021, Virtual Only, United States
hal-03256409v1  Conference papers
Lucie BarqueMarie CanditoPhilippe Muller. Temporal annotation within frame semantics (Chronos, 11th International Conference on Actionality, Tense, Aspect, Modality/Evidentiality, Pisa, Italy, 16/06/14-18/06/14)
Chronos 11, 11th International Conference on Actionality, Tense, Aspect, Modality/Evidentiality (2014), Jun 2014, Pisa, Italy
tel-03254461v1  Theses
Valentin Vasseur. Post-quantum cryptography: a study of the decoding of QC-MDPC codes
Cryptography and Security [cs.CR]. Université de Paris, 2021. English
hal-03208518v2  Conference papers
Patient NtumbaNikolaos GeorgantasVassilis Christophides. Scheduling Continuous Operators for IoT Edge Analytics
EdgeSys '21 - 4th International Workshop on Edge Systems, Analytics and Networking colocated with EuroSys'21, Apr 2021, Online United Kingdom, United Kingdom. pp.55-60, ⟨10.1145/3434770.3459738⟩
hal-03248265v1  Conference papers
Camille PalmierKarim DahiaNicolas MerlingeDann LaneuvillePierre del Moral. Interacting Weighted Ensemble Kalman Filter applied to Underwater Terrain Aided Navigation
ACC 2021 - American Control Conference, May 2021, New Orleans / Virtual, United States
tel-03245433v4  Theses
Nadim Kobeissi. Formal verification for real-world cryptographic protocols and implementations
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE065⟩
hal-03243380v1  Conference papers
Clémentine FourrierRachel BawdenBenoît Sagot. Can Cognate Prediction Be Modelled as a Low-Resource Machine Translation Task?
ACL-IJCNLP 2021 - 59t Annual Meeting of the Association for Computational Linguistcs and the 10th International Joint Conference on Natural Language Processing - Findings of the Association for Computational Linguistics, Aug 2021, Bangkok, Thailand