Search - Archive ouverte HAL Access content directly

Filter your results

2 440 Results

Managing Consent for Data Access in Shared Databases

Osnat Drien , Antoine Amarilli , Yael Amsterdamer
2021 IEEE 37th International Conference on Data Engineering (ICDE), Apr 2021, Chania, Greece. pp.1949-1954, ⟨10.1109/ICDE51399.2021.00182⟩
Conference papers hal-03712201v1

The Dichotomy of Evaluating Homomorphism-Closed Queries on Probabilistic Graphs

Antoine Amarilli , İsmail İlkan Ceylan
Logical Methods in Computer Science, 2022
Journal articles hal-03712200v1

When Can We Answer Queries Using Result-Bounded Data Interfaces?

Antoine Amarilli , Michael Benedikt
Logical Methods in Computer Science, 2022
Journal articles hal-03712199v1

Worst-case Analysis for Interactive Evaluation of Boolean Provenance

Antoine Amarilli , Yael Amsterdamer
TaPP workshop, Jun 2022, Philadelphia, United States
Conference papers hal-03712198v1

Weighted Counting of Matchings in Unbounded-Treewidth Graph Families

Antoine Amarilli , Mikaël Monet
MFCS, Aug 2022, Vienna, Austria
Conference papers hal-03712197v1
Image document

Secure and Robust MIMO Transceiver for Multicast Mission Critical Communications

Deepa Jagyasi , Marceau Coupechoux
IEEE Transactions on Vehicular Technology, 2022, 71 (6), pp.6351-6366. ⟨10.1109/TVT.2022.3160348⟩
Journal articles hal-03706417v1

A Coq Framework for More Trustworthy DRAM Controllers

Felipe Lisboa Malaquias , Mihail Asavoae , Florian Brandner
RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Jun 2022, Paris France, France. pp.140-150, ⟨10.1145/3534879.3534907⟩
Conference papers hal-03702493v1

Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture

Benjamin Binder , Mihail Asavoae , Florian Brandner , Belgacem Ben Hedia , Mathieu Jan et al.
International Journal on Software Tools for Technology Transfer, 2022, 24 (3), pp.415-440. ⟨10.1007/s10009-022-00655-1⟩
Journal articles hal-03702426v1

On the Complexity of Determining Whether there is a Unique Hamiltonian Cycle or Path

Olivier Hudry , Antoine Lobstein
WSEAS Transactions on Mathematics, 2022
Journal articles hal-03700181v1
Image document

Improving mediated touch interaction with multimodality

Zhuoming Zhang
Human-Computer Interaction [cs.HC]. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT017⟩
Theses tel-03698460v1

Characterization of the majority matrices of profiles of equivalence relations

Olivier Hudry
7th International Symposium on Combinatorial Optimization (ISCO 2022), 2022, à distance, France
Conference papers hal-03697613v1
Image document

Improved resiliency for inter-datacenter network connections

Antoine Fressancourt
Networking and Internet Architecture [cs.NI]. Télécom ParisTech, 2016. English. ⟨NNT : 2016ENST0071⟩
Theses tel-03690026v1
Image document

Misbehaviour detection in vehicular networks

Pengwenlong Gu
Cryptography and Security [cs.CR]. Télécom ParisTech, 2018. English. ⟨NNT : 2018ENST0011⟩
Theses tel-03689506v1
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
Image document

How Cognitive Biases Affect XAI-assisted Decision-making: A Systematic Review

Astrid Bertrand , Rafik Belloum , James Eagan , Winston Maxwell
AAAI/ACM Conference on Artificial intelligence, Ethics, and Society, Aug 2022, Oxford, United Kingdom. ⟨10.1145/3514094.3534164⟩
Conference papers hal-03684457v1
Image document

Finding dense subgraphs and events in social media

Oana Balalau
Social and Information Networks [cs.SI]. Télécom ParisTech, 2017. English. ⟨NNT : 2017ENST0020⟩
Theses tel-03682101v1
Image document

Design and analysis of forwarding strategies for host and content centric networking

Giuseppe Rossini
Networking and Internet Architecture [cs.NI]. Télécom ParisTech, 2014. English. ⟨NNT : 2014ENST0005⟩
Theses tel-03679032v1
Image document

Novel Centralized Pseudonym Changing Scheme for Location Privacy in V2X Communication

Ahmed Didouh , Yassin El Hillali , Atika Rivenq , Houda Labiod
Energies, 2022, 15 (3), pp.692. ⟨10.3390/en15030692⟩
Journal articles hal-03596306v1

Finding Optimal Moving Target Defense Strategies: A Resilience Booster for Connected Cars

Maxime Ayrault , Ulrich Kühne , Etienne Borde
Information, 2022, 13 (5), pp.242. ⟨10.3390/info13050242⟩
Journal articles hal-03670106v1
Image document

Representativeness of Knowledge Bases with the Generalized Benford’s Law

Arnaud Soulet , Arnaud Giacometti , Béatrice Bouchou Markhoff , Fabian M. Suchanek
ISWC, Oct 2018, Monterey, CA, United States
Conference papers hal-01824490v1

Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions

Francesco Belardinelli , Wojciech Jamroga , Vadim Malvone , Munyque Mittelmann , Aniello Murano et al.
21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2022, Auckland (virtual), New Zealand. pp.62--71
Conference papers hal-03666430v1
Image document

Co-producing industrial public goods on GitHub: Selective firm cooperation, volunteer-employee labour and participation inequality

Mathieu O'Neil , Xiaolan Cai , Laure Muselli , Stefano Zacchiroli
New Media and Society, 2022, ⟨10.1177/14614448221090474⟩
Journal articles hal-03662850v1
Image document

On the tensor rank of multiplication in finite extensions of finite fields and related issues in algebraic geometry

Stéphane Ballet , Julia Pieltant , Jean Chaumine , Matthieu Rambaud , Hugues Randriambololona et al.
Russian Mathematical Surveys, 2021, 76 (1), pp.29-89. ⟨10.1070/RM9928⟩
Journal articles hal-03661954v1
Image document

A Scalable and Self-Configuring Architecture for Service Discovery in the Internet of Things

Simone Cirani , Luca Davoli , Gianluigi Ferrari , Rémy Leone , Paolo Medagliani et al.
IEEE Internet of Things Journal, 2014, ⟨10.1109/JIOT.2014.2358296⟩
Journal articles hal-01256837v1

Efficient enumeration algorithms for annotated grammars

Antoine Amarilli , Louis Jachiet , Martín Muñoz , Cristian Riveros
PODS 2022, Jun 2022, Philadelphie, United States
Conference papers hal-03654592v1
Image document

Unsupervised anomaly detection : methods and applications

Andrian Putina
Machine Learning [cs.LG]. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT012⟩
Theses tel-03651493v1

Codes in the q-ary Lee Hypercube

Olivier Hudry , Irène Charon , Antoine Lobstein
WSEAS Transactions on Mathematics, 2022
Journal articles hal-03650634v1

A User Centric Blockage Model for Wireless Networks

Francois Baccelli , Bin Liu , Laurent Decreusefond , Rongfang Song
IEEE Transactions on Wireless Communications, 2022, 21 (10), 10 p. ⟨10.1109/TWC.2022.3166211⟩
Journal articles hal-03646854v1
Image document

Résolution des problèmes de routage asymétrique et de partage de charge dans les pare-feux

Cédric Aoun , Olivier Paul , Ahmed Serhrouchni
Colloque Francophone sur l'Ingénierie des Protocoles, Mar 2005, Bordeaux, France
Conference papers hal-03643646v1
Image document

Quantum cryptography in a hybrid security model

Nilesh Vyas
Cryptography and Security [cs.CR]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT049⟩
Theses tel-03634698v1