Search - Archive ouverte HAL Access content directly

Filter your results

169 Results
producedDateY_i : 2020
Image document

Computing and Illustrating Query Rewritings on Path Views with Binding Patterns

Julien Romero , Nicoleta Preda , Antoine Amarilli , Fabian Suchanek
International conference on information and knowledge management (CIKM), 2020, virtual, France. ⟨10.1145/3340531.3417431⟩
Conference papers hal-03108517v1

Finite Open-world Query Answering with Number Restrictions

Antoine Amarilli , Michael Benedikt
ACM Transactions on Computational Logic, 2020, 21 (4), pp.1-73. ⟨10.1145/3365834⟩
Journal articles hal-02941917v1

Perfect failure detection with very few bits

Pierre Fraigniaud , Sergio Rajsbaum , Corentin Travers , Petr Kuznetsov , Thibault Rieutord et al.
Information and Computation, 2020, 275, pp.104604. ⟨10.1016/j.ic.2020.104604⟩
Journal articles hal-03559548v1
Image document


Nathan de Lara , Thomas Bonald
ICLR, 2020, Addis Abeba, Ethiopia
Conference papers hal-02420827v1
Image document

Scikit-network: Graph Analysis in Python

Thomas Bonald , Nathan de Lara , Quentin Lutz , Bertrand Charpentier
Journal of Machine Learning Research, In press
Journal articles hal-02923335v2
Image document

Benchmarks for Grid Flexibility Prediction: Enabling Progress and Machine Learning Applications

Diego Kiedanski , Lauren Kuntz , Daniel Kofman
International Conference on Learning Representations Workshop: "Tackling Climate Change with Machine Learning", Apr 2020, Addis Ababaa, Ethiopia
Conference papers hal-02547982v1

Asymptotically Good Multiplicative LSSS over Galois Rings and Applications to MPC over Z/pkZ

Mark Abspoel , Ronald Cramer , Ivan Damgård , Daniel Escudero , Matthieu Rambaud et al.
Advances in Cryptology – ASIACRYPT 2020, 12493, Springer International Publishing, pp.151-180, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-64840-4_6⟩
Book sections hal-03800662v1

RFC 8902 TLS Authentication Using Intelligent Transport System (ITS) Certificates

Mounira Msahli , Nancy Cam-Winget , William Whyte , Ahmed Serhrouchni , Houda Labiod et al.
Books hal-03023137v1

A Cognitive Control System for Managing Runtime Uncertainty in Self-Integrating Autonomic Systems

Marius Pol , Ada Diaconescu
SISSY workshop, IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Aug 2020, Washington DC (virtual), France
Conference papers hal-03023108v1

COOB: Hybrid secure device pairing scheme in a hostile environment

Jean Leneutre , Sameh Khalfaoui , Arthur Villard , Xingjuan Ma
16th EAI International Conference on Security and Privacy in Communication Networks, Oct 2020, Washington DC, United States
Conference papers hal-03024246v1

On the number of the rational zeros of linearized polynomials and the second-order nonlinearity of cubic Boolean functions.

Sihem Mesnager , K.H. Kim , M.S. Jo.
Cryptography and Communications- Discrete Structures, Boolean Functions, and Sequences (CCDS),, 2020
Journal articles hal-03053931v1

A Proof of the Beierle-Kranz-Leander Conjecture related to Lightweight Multiplication in $F_2^n$

Sihem Mesnager , K. H. Kim , D. Jo , J. Choe , M. Han et al.
Journal of Designs, Codes, and Cryptography, 2020
Journal articles hal-03048614v1

Mix&Match: Towards Omitting Modelling Through In-situ Remixing of Model Repository Artifacts in Mixed Reality

Evgeny Stemasov , Tobias Wagner , Jan Gugenheimer , Enrico Rukzio
CHI '20: CHI Conference on Human Factors in Computing Systems, Apr 2020, Honolulu HI USA, United States. pp.1-12, ⟨10.1145/3313831.3376839⟩
Conference papers hal-02887206v1
Image document

Self-assemble-featured Internet of Things

Frédéric Lemoine , Tatiana Aubonnet , Noëmie Simoni
Future Generation Computer Systems, 2020, ⟨10.1016/j.future.2020.05.012⟩
Journal articles hal-02607933v1

Invited Lecture on Continous-Variable Quantum Key Distribution

Romain Alleaume
IdQuantique Winter School, Jan 2020, Les Diablerets, Switzerland
Conference papers hal-02906789v1

VRSketchIn:Exploring the Design Space of Pen and Tablet Interaction for 3D Sketching in Virtual Reality

Tobias Drey , Jan Gugenheimer , Julian Karlbauer , Maximilian Milo , Enrico Rukzio et al.
CHI '20: CHI Conference on Human Factors in Computing Systems, Apr 2020, Honolulu HI USA, United States. pp.1-14, ⟨10.1145/3313831.3376628⟩
Conference papers hal-02887225v1

Exploring Potentially Abusive Ethical, Social and Political Implications of Mixed Reality Research in HCI

Jan Gugenheimer , Mark Mcgill , Samuel Huron , Christian Mai , Julie Williamson et al.
CHI '20: CHI Conference on Human Factors in Computing Systems, Apr 2020, Honolulu HI USA, United States. pp.1-8, ⟨10.1145/3334480.3375180⟩
Conference papers hal-02887256v1
Image document

Monadic Datalog, Tree Validity, and Limited Access Containment

Michael Benedikt , Pierre Bourhis , Georg Gottlob , Pierre Senellart
ACM Transactions on Computational Logic, 2020, 21 (1), pp.6:1-6:45. ⟨10.1145/3344514⟩
Journal articles hal-02307999v1

AADL: A Language to Specify the Architecture of Cyber-Physical Systems

Dominique Blouin , Etienne Borde
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems, 2020
Book sections hal-03022808v1

Balancing expressiveness and inexpressiveness in view design

Michael Benedikt , Pierre Bourhis , Louis Jachiet , Efthymia Tsamoura
KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2020, Rhodes, Greece. pp.109--118, ⟨10.24963/kr.2020/12⟩
Conference papers hal-02964692v1
Image document

Speed of convergence of diffusion approximations

Eustache Besançon
Probability [math.PR]. Institut Polytechnique de Paris, 2020. English. ⟨NNT : 2020IPPAT038⟩
Theses tel-03128781v1
Image document

Side-Crossing Menus: Enabling Large Sets of Gestures for Small Surfaces

Bruno Fruchard , Eric Lecolinet , Olivier Chapuis
Proceedings of the ACM on Human-Computer Interaction , 2020, 4 (ISS), pp.189:1 -- 189:19. ⟨10.1145/3427317⟩
Journal articles hal-02955441v1
Image document

Efficient Batch-Incremental Classification Using UMAP for Evolving Data Streams

Maroua Bahri , Bernhard Pfahringer , Albert Bifet , Silviu Maniu
IDA 2020 - 18th International Symposium on Intelligent Data Analysis, Apr 2020, Konstanz / Virtual, Germany. pp.40-53, ⟨10.1007/978-3-030-44584-3_4⟩
Conference papers hal-03190032v1
Image document

Joint Subcarrier and Power Allocation in NOMA: Optimal and Approximate Algorithms

Lou Salaun , Marceau Coupechoux , Chung Shue Chen
IEEE Transactions on Signal Processing, 2020, 68 (1), pp.2215 - 2230. ⟨10.1109/TSP.2020.2982786⟩
Journal articles hal-02302721v2

Experiments on Cloud-RAN Wireless Handover using Optical Switching in a Dense Urban Testbed

Artur Minakhmetov , Craig Gutterman , Tingjun Chen , Jiakai Yu , Cédric Ware et al.
Optical Fiber Communication Conference, Mar 2020, San Diego, United States. pp.Th2A.25, ⟨10.1364/OFC.2020.Th2A.25⟩
Conference papers hal-02512149v1
Image document

The Need to Move beyond Triples

Fabian Suchanek
International Workshop on Narrative Extraction from Texts, 2020
Other publications hal-03102910v1

Asynchronous Reconfiguration with Byzantine Failures

Petr Kuznetsov , Andrei Tonkikh
DISC, Oct 2020, VIRTUAL, France
Conference papers hal-03022581v1
Image document

A Combined Stochastic and Physical Framework for Modeling Indoor 5G Millimeter Wave Propagation

Georges Nassif , Catherine Gloaguen , Philippe Martins
Preprints, Working Papers, ... hal-02481730v1

A Decentralized Approach to Explanatory Artificial Intelligence for Autonomic Systems

Etienne Houze , Ada Diaconescu , Jean-Louis Dessalles , David Menga , Mathieu Schumann et al.
2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), Aug 2020, Washington, France. pp.115-120, ⟨10.1109/ACSOS-C51401.2020.00041⟩
Conference papers hal-02963566v1
Image document

Stein's method for diffusive limit of queueing processes

Eustache Besançon , Laurent Decreusefond , Pascal Moyal
Queueing Systems, 2020, 95, pp.173--201. ⟨10.1007/s11134-020-09658-8⟩
Journal articles hal-01784139v3