Skip to Main content Skip to Navigation

hal-03350964v1  Journal articles
Christine Solnon. Où sont les problèmes difficiles
Tangente, Les Editions POLE, 2021
tel-03350837v1  Theses
Ific Goudé. Rendering of HDR 3D point clouds
Image Processing [eess.IV]. Université Rennes 1, 2021. English. ⟨NNT : 2021REN1S022⟩
hal-03350599v1  Journal articles
Rémi GribonvalAntoine ChatalicNicolas KerivenVincent SchellekensLaurent Jacques et al.  Sketching Data Sets for Large-Scale Learning: Keeping only what you need
IEEE Signal Processing Magazine, Institute of Electrical and Electronics Engineers, 2021, 38 (5), pp.12-36. ⟨10.1109/MSP.2021.3092574⟩
hal-03337014v1  Reports
Paul-Louis GeorgeFrédéric AlauzetAdrien Loseille. Le glossaire du maillage
[Rapport Technique] RT-0515, INRIA. 2021
tel-03350455v1  Theses
Clément Elbaz. Reacting to “n-day” vulnerabilities in information systems
Cryptography and Security [cs.CR]. Université Rennes 1, 2021. English. ⟨NNT : 2021REN1S021⟩
inria-00534244v1  Conference papers
Allel HadjaliOlivier PivertHenri Prade. Possibilistic contextual skylines with incomplete preferences
2nd International Conference on Soft Computing and Pattern Recognition (SoCPaR 2010), Dec 2010, Cergy-Pontoise, France. ⟨10.1109/SOCPAR.2010.5686427⟩
hal-03350039v1  Conference papers
S VizcayP KourtesisF ArgelaguetC PacchierottiM Marchal. Electrotactile Feedback For Enhancing Contact Information in Virtual Reality
ICAT-EGVE 2021 - International Conference on Artificial Reality and Telexistence and Eurographics Symposium on Virtual Environments, Sep 2021, Sankt Augustin, Germany. ⟨10.2312/egve.20211331⟩
hal-03349919v1  Conference papers
Pierre RaimbaudAlberto JovaneKatja ZibrekClaudio PacchierottiMarc Christie et al.  Reactive Virtual Agents: A Viewpoint-Driven Approach for Bodily Nonverbal Communication
IVA '21: ACM International Conference on Intelligent Virtual Agents, Sep 2021, Virtual Event Japan, France. pp.164-166, ⟨10.1145/3472306.3478351⟩
hal-03349793v1  Conference papers
Homa NikbakhtMichèle WiggerShlomo ShamaiJean-Marie Gorce. Cooperative Encoding and Decoding of Mixed Delay Traffic under Random-User Activity
2021 IEEE Information Theory Workshop (ITW), Oct 2021, Kanazawa, Japan
hal-03219987v2  Conference papers
Ali Al ZoobiDavid CoudertNicolas Nisse. De la difficulté de trouver des chemins dissimilaires
ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2021, La Rochelle, France
hal-03349701v1  Conference papers
Yu ZhouAndrey PolyakovGang Zheng. On Strict Homogeneous Lyapunov Function for Generalized Homogeneous PI Controller
The 60th Conference on Decision and Control, Dec 2021, Austin, United States
hal-03349266v1  Conference papers
Hao ChenBenoit LagadecFrancois Bremond. ICE: Inter-instance Contrastive Encoding for Unsupervised Person Re-identification
IEEE/CVF International Conference on Computer Vision (ICCV), Oct 2021, Virtual, Canada
hal-03349257v1  Conference papers
Hao ChenYaohui WangBenoit LagadecAntitza DantchevaFrancois Bremond. Joint Generative and Contrastive Learning for Unsupervised Person Re-identification
IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), Jun 2021, Virtual, United States
hal-03348787v1  Journal articles
Emmanuel AgulloMirco AltenberndHartwig AnztLeonardo Bautista-GomezTommaso Benacchio et al.  Resiliency in numerical algorithm design for extreme scale simulations
International Journal of High Performance Computing Applications, SAGE Publications, 2021
hal-03348663v1  Conference papers
Constance ThierryArnaud MartinJean-Christophe DuboisYolande Le Gall. Validation of Smets' hypothesis in the crowdsourcing environment
6th International Conference on Belief Functions, Oct 2021, Shanghai, China
hal-03348601v1  Journal articles
Claude KirchnerPerrin Jérôme. Pour un numérique fraternel
Revue Quart Monde, Ed. Science et service-Quart monde, 2021
hal-03346767v1  Conference papers
Beniamino AccattoliUgo Dal LagoGabriele Vanoni. The Space of Interaction
LICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2021, Rome, France. pp.1-13, ⟨10.1109/LICS52264.2021.9470726⟩
hal-03348486v1  Reports
Yann Leray. M1 Internship Report Translating proofs between Isabelle and Dedukti
[Internship report] Deducteam - Inria Paris-Saclay / ENS Paris-Saclay. 2021
hal-03348149v1  Journal articles
Natkamon TovanichPierre DragicevicPetra Isenberg. Gender in 30 Years of IEEE Visualization
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, In press
hal-03348145v1  Journal articles
Natkamon TovanichNicolas SouliéNicolas HeulotPetra Isenberg. MiningVis: visual analytics of the bitcoin mining economy
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, In press
hal-03347869v1  Journal articles
Michel Raynal. Distributed Computability: A Few Results Masters Students Should Know
ACM SIGACT News, Association for Computing Machinery (ACM), 2021, 52 (2), pp.92-110. ⟨10.1145/3471469.3471484⟩
hal-03347874v1  Journal articles
Michel Raynal. On the Versatility of Bracha’s Byzantine Reliable Broadcast Algorithm
Parallel Processing Letters, World Scientific Publishing, 2021, 31 (03), pp.2150006. ⟨10.1142/S0129626421500067⟩
hal-03348046v1  Reports
Thomas MariThao DangGregor Gössler. Explaining Safety Violations in Real-Time Systems
[Research Report] RR-9420, Inria - Research Centre Grenoble – Rhône-Alpes; Verimag, Université Grenoble Alpes. 2021
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-03347994v1  Journal articles
Thorsten KleinjungBenjamin Wesolowski. Discrete logarithms in quasi-polynomial time in finite fields of fixed characteristic
Journal of the American Mathematical Society, American Mathematical Society, In press, ⟨10.1090/jams/985⟩
hal-03346750v1  Journal articles
Beniamino AccattoliUgo Dal LagoGabriele Vanoni. The (In)Efficiency of interaction
Proceedings of the ACM on Programming Languages, ACM, 2021, 5 (POPL), pp.1-33. ⟨10.1145/3434332⟩
hal-03347947v1  Conference papers
Théo BouganimHelena GalhardasIoana Manolescu. Efficiently identifying disguised nulls in heterogeneous text data
BDA (Conférence sur la Gestion de Données – Principles, Technologies et Applications), Oct 2021, Paris, France
hal-03347944v1  Conference papers
Nicholas NellNathalie MittonThomas NieslerRiaan Wolhuter. An Ad-Hoc Sensor Network for Vineyard Monitoring
Southern Africa Telecommunication Networks and Applications Conference (SATNAC), Nov 2020, Spier, South Africa
hal-03347690v1  Journal articles
Yuhan WuJintao HeShen YanJianyu WuTong Yang et al.  Elastic Bloom Filter: Deletable and ExpandableFilter Using Elastic Fingerprints
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2021, pp.1-1. ⟨10.1109/TC.2021.3067713⟩
hal-03347688v1  Conference papers
Wafaa El HusseiniCheikh Brahim El VaighFrançois GoasdouéHélène Jaudoin. Ontology-Mediated Query Answering: Performance Challenges and Advances
International Semantic Web Conference (ISWC), Oct 2021, Online, United States
hal-03347679v1  Conference papers
Maxime BuronCheikh Brahim El VaighFrançois Goasdoué. Towards Faster Reformulation-based Query Answering on RDF Graphs with RDFS Ontologies
International Semantic Web Conference (ISWC), Oct 2021, Online, United States
hal-03347326v1  Conference papers
Saverio GiallorenzoFabrizio MontesiMarco PeressottiFlorian RademacherSabine Sachweh. Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices
Coordination Models and Languages - 23rd International Conference, 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Jun 2021, Valletta, Malta. pp.276 - 284, ⟨10.1007/978-3-030-78142-2_17⟩
hal-03347664v1  Conference papers
Cheikh Brahim El VaighFrançois Goasdoué. A Well-founded Graph-based Summarization Framework for Description Logics
International worshop on Description Logics, Sep 2021, Bratislava, Slovakia
hal-03347652v1  Journal articles
Atsushi HoriEmmanuel JeannotGeorge BosilcaTakahiro OguraBalazs Gerofi et al.  An International Survey on MPI Users
Parallel Computing, Elsevier, In press
hal-03347573v1  Conference papers
Théo RoglianoGuillermo PolitoLuc FabresseStéphane Ducasse. Analyzing Permission Transfer Channels for Dynamically Typed Languages
DLS 2021 - 17th ACM SIGPLAN International Symposium on Dynamic Languages, Oct 2021, Chicago, France