Search - Archive ouverte HAL Access content directly

Filter your results

2 483 Results
Image document

Systematic Literature Review on Multi-Paradigm Modelling for Cyber-Physical Systems

Ankica Barisic , Dušan Savić , Rima Al-Ali , Ivan Ruchkin , Dominique Blouin et al.
[Technical Report] COST European Cooperation in Science and Technology. 2019
Reports hal-03168834v1
Image document

Identifying the "Right" Level of Explanation in a Given Situation

Valérie Beaudouin , Isabelle Bloch , David Bounie , Stéphan Clémençon , Florence d'Alché-Buc et al.
First International Workshop on New Foundations for Human-Centered AI (NeHuAI), Sep 2020, Santiago de Compostella, Spain. pp.63
Conference papers hal-02507316v1
Image document

VeReMi Extension: A Dataset for Comparable Evaluation of Misbehavior Detection in VANETs

Joseph Kamel , Michael Wolf , Rens Wouter van Der Heijden , Arnaud Kaiser , Pascal Urien et al.
IEEE International Conference on Communications (ICC), Jun 2020, Dublin (virtual), Ireland. ⟨10.1109/ICC40277.2020.9149132⟩
Conference papers hal-02492739v1

New Approaches for the Congestion Control in ATM Networks

Dominique Gaïti , Nadia Boukhatem
4th International Conference on Telecommunication Systems, Modelling and Analysis, Mar 1996, Nashville, United States
Conference papers hal-02624609v1
Image document

FingerMapper: Enabling Arm Interaction in Confined Spaces for Virtual Reality through Finger Mappings

Wen-Jie Tseng , Samuel Huron , Eric Lecolinet , Jan Gugenheimer
2021 CHI Conference on Human Factors in Computing Systems, May 2021, Yokohama, Japan. ⟨10.1145/3411763.3451573⟩
Conference papers hal-03266645v1
Image document

Donsker's theorem in {Wasserstein}-1 distance

Laure Coutin , Laurent Decreusefond
Electronic Communications in Probability, 2020, 25, pp.1--13
Journal articles hal-02098892v1
Image document

Efficient Prior Publication Identification for Open Source Code

Daniele Serafini , Stefano Zacchiroli
18th International Conference on Open Source Systems (OSS 2022), Sep 2022, Madrid, Spain
Conference papers hal-03735961v1
Image document

Un robot capable de calculer sa responsabilité sera-t-il responsable de ses actes?

Jean-Louis Dessalles
Humain non-Humain - Repenser l'intériorité du sujet de droit, Librairie LGDJ, 2021, 978-2-275-09074-0
Book sections hal-03814020v1
Image document

To do or not to do: finding causal relations in smart homes

Kanvaly Fadiga , Ada Diaconescu , Jean-Louis Dessalles , Etienne Houze
2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Sep 2021, Washington, France. pp.110-119, ⟨10.1109/ACSOS52086.2021.00030⟩
Conference papers hal-03814048v1
Image document

Discrete and stochastic coalitional storage games

Diego Kiedanski , Ariel Orda , Daniel Kofman
Eleventh ACM International Conference on Future Energy Systems (ACM e-Energy), 2020, Melbourne, Australia. ⟨10.1145/3396851.3397729⟩
Conference papers hal-02547962v2

A cooperative agent approach based on a peer-to-peer model for DDoS attacks detection and reaction

Rida Khatoun , Radwane Saad , Guillaume Doyen , Ahmed Serhrouchni , Dominique Gaïti et al.
Networking and Electronic Commerce Research Conference 2008, Sep 2008, Riva Del Garda, Italy
Conference papers hal-02611028v1

Cellular traffic type recognition and prediction

Tuan Anh Nguyen , Philippe Martins
2021 IEEE 32nd Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), Sep 2021, Helsinki, France. pp.1167-1172, ⟨10.1109/PIMRC50174.2021.9569524⟩
Conference papers hal-03807033v1
Image document

Computing and Explaining Query Answers over Inconsistent DL-Lite Knowledge Bases

Meghyn Bienvenu , Camille Bourgaux , François Goasdoué
Journal of Artificial Intelligence Research, 2019, 64, pp.563-644. ⟨10.1613/jair.1.11395⟩
Journal articles hal-02066288v1

OPC UA PubSub Implementation and Configuration

Zepeng Liu , Patrick Bellot
The 6th International Conference on Systems and Informatics (ICSAI 2019), Nov 2019, Shanghai, China
Conference papers hal-02313599v1
Image document

La transmission « naturelle » des savoirs

Jean-Louis Dessalles
Patrick Pion; Nathan Schlanger. Apprendre - Archéologie de la transmission des savoirs, La Découverte, pp.49-58, 2020, 9782348055522
Book sections hal-02867145v1
Image document

Hauteurs pour les sous-schémas et exemples d'utilisation de méthodes arakeloviennes en théorie de l'approximation diophantienne

Hugues Randriambololona
Mathématiques [math]. Université Paris Sud - Paris XI, 2002. Français. ⟨NNT : ⟩
Theses tel-00359859v1

Energy-Aware Routing: a Reality Check

Aruna Prem Bianzino , D. Rossi , Federico Larroca , Jean Louis Rougier , Claude Chaudet et al.
3rd International Workshop on Green Communications (GreenComm3), in conjunction with IEEE GLOBECOM 2010, Dec 2010, Miami, United States
Conference papers hal-00573053v1
Image document

Poisson point processes applied to sensors networks

Laurent Decreusefond , Eduardo Ferraz , Hugues Randriambololona
Spatial Networks Models for Wirelles Communications, Apr 2010, Cambridge, United Kingdom
Conference papers hal-00472487v1
Image document

Etat de l'art sur les méthodes de modélisation pour les infrastructures critiques interdépendantes

Asma Merdassi , Raphaël Caire , Nouredine Hadjsaid , José Sanchez Torrès , Maria Viziteu et al.
WISG 2011, Jan 2011, Troyes, France
Conference papers hal-00560494v1

Approximation faible aux places de bonne réduction sur les surfaces cubiques sur les corps de fonctions

David Madore
Bull. Soc. Math. France, 2006, 134 (4), pp.465-475
Journal articles hal-00479559v1

Équivalence rationnelle sur les hypersurfaces cubiques de mauvaise réduction

David Madore
Journal of Number Theory, 2008, 128 (4), pp.926-944
Journal articles hal-00479560v1

A Multi-Path Data Exclusion Model for RSSI-based Indoor Localization

Ndeye Amy Dieng , Maurice Charbit , Claude Chaudet , Laurent Toutain , Tayeb Ben Meriem et al.
15th International Symposium on Wireless Personal Multimedia Communications (WPMC), Sep 2012, Taipei, Taiwan. pp.336-340
Conference papers hal-00780008v1

A model to evaluate brokers overlays for Publish/Subscribe in Wireless Sensor Networks

Claude Chaudet , Isabelle Demeure , Salma Ktari
9th Annual Conference on Wireless On-demand Network Systems and Services (WONS 2012), Jan 2012, Courmayeur, Italy. pp.71-74, ⟨10.1109/WONS.2012.6152241⟩
Conference papers hal-00780009v1
Image document

Architecting end-to-end convergence of Web and Telco services

Gérard Nicolas , Karim Sbata , Elie Najm
iiWAS2011, Dec 2011, Hue City, Vietnam
Conference papers hal-00660432v1
Image document

L'intégrale

Laurent Decreusefond
Images des Mathématiques, 2010, http://images.math.cnrs.fr/L-integrale.html
Journal articles hal-00586775v1

An Application of a Group Signature Scheme with Backward Unlinkability to Biometric Identity Management

Julien Bringer , Hervé Chabanne , Alain Patey
SECRYPT, Jul 2012, Italy. pp.421-425
Conference papers hal-00811946v1
Image document

Learning How to Correct a Knowledge Base from the Edit History

Thomas Pellissier Tanon , Camille Bourgaux , Fabian M. Suchanek
World Wide Web Conference, May 2019, San Francisco, United States. ⟨10.1145/3308558.3313584⟩
Conference papers hal-02066041v1
Image document

Relating Brain Structures To Open-Ended Descriptions Of Cognition

Jérôme Dockès , Olivier Grisel , Joan Massich , Fabian Suchanek , Bertrand Thirion et al.
CCN 2017 - Conference on Cognitive Computational Neuroscience, Sep 2017, New York, United States. , 10 (2), pp.59 - 63, 2017, ⟨10.1016/j.tics.2005.12.004⟩
Conference poster hal-01699045v1
Image document

Intelligent Crawling of Web Applications for Web Archiving

Muhammad Faheem
WWW, Apr 2012, Lyon, France. pp.127-131
Conference papers hal-00952017v1
Image document

Capacity gains from multipoint single frequency transmission in HSPA+

Ahlem Khlass , Salah Eddine Elayoubi , Thomas Bonald
WCNC, 2013, Shanghai, China. pp.476-480
Conference papers hal-00941765v1
Image document

A breakthrough for prepaid payment: End to end token exchange and management using secure SSL channels created by EAP-TLS smart cards

Pascal Urien , Marc Pasquet , Christophe Kiennert
CTS, 2011, United States. pp.476 - 483, ⟨10.1109/CTS.2011.5928726⟩
Conference papers hal-00673667v1

FoldCons: A Simple Way To Improve Tag Recommendation

Modou Gueye , Talel Abdessalem , Hubert Naacke
5th ACM RecSys Workshop on Recommender Systems & the Social Web, Oct 2013, Hong Kong, Hong Kong SAR China. pp.Session: Tags
Conference papers hal-00913859v1

Dynamic recommender system : using cluster-based biases to improve the accuracy of the predictions

Modou Gueye , Talel Abdessalem , Hubert Naacke
2012
Preprints, Working Papers, ... hal-00913888v1
Image document

Moment formulae for general point processes

Laurent Decreusefond , Ian Flint
Journal of Functional Analysis, 2014, 267 (2), pp.452-476
Journal articles hal-00753801v1

Factorisation multi-biais pour de meilleures recommandations

Modou Gueye , Talel Abdessalem , Hubert Naacke
5ème COLLOQUE NATIONAL SUR LA RECHERCHE EN INFORMATIQUE ET SES APPLICATIONS (CNRIA '13), Apr 2013, Ziguinchor, Sénégal
Conference papers hal-00913873v1

Procédé de détection de défaillances et limitations des capteurs à l'aide des communications Car2X

Jean-Philippe Monteuuis , Stefano Mafrica , Houda Labiod , Alain Servel , Jun Zhang et al.
France, Patent n° : N. JPM:Brevet-2018. 2018
Patents hal-02412553v1

Dispositif et procédé de fusion de composantes optiques associées à une longueur d'onde en une composante optique fusionnée

Thomas Bonald , Davide Cuda , Raluca-Maria Indre
France, N° de brevet: EP 2549773 (A1). BCI:patent-13. 2013
Patents hal-02412526v1

Towards secure route discovery protocol in MANET

Ahmed Nabet , Rida Khatoun , Lyes Khoukhi , Juliette Dromard , Dominique Gaïti et al.
2011 Global Information Infrastructure Symposium (GIIS), Aug 2011, Da Nang, Vietnam. pp.1-8, ⟨10.1109/GIIS.2011.6026717⟩
Conference papers hal-02344025v1

ASROP : AD HOC Secure Routing Protocol

Rida Khatoun
International journal of wireless & mobile networks (IJWMN), 2012, 4 (5), pp.1-20. ⟨10.5121/ijwmn.2012.4501⟩
Journal articles hal-02344028v1

PROCEDE DE DETECTION D’UN DEFAUT D’UN CAPTEUR EQUIPANT UN VEHICULE AUTOMOBILE PARTIELLEMENT OU ENTIEREMENT AUTONOME.

Jean-Philippe Monteuuis , Jun J. Zhang , Houda Labiod , Stefano Mafrica , Alain Servel et al.
France, N° de brevet: FR3081416. 2018
Patents hal-02350143v1
Image document

A New Network Configuration Management Architecture for Future Aircraft Systems

Thibault Delmas , Luigi Iannone , Jean-Pierre Garcia , Bruno Monsuez
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Conference papers hal-02491369v1

A lightweight ECC-based authentication scheme for Internet of Things (IoT)

Badis Hammi , Achraf Fayad , Rida Khatoun , Sherali Zeadally
IEEE Systems Journal, 2020, ⟨10.1109/JSYST.2020.2970167⟩
Journal articles hal-02491845v1

A Secure Multipath Reactive Protocol for Routing in IoT and HANETs.

Badis Hammi , Sherali Zeadally , Houda Labiod , Rida Khatoun , Youcef Begriche et al.
Ad Hoc Networks, 2020, pp.102118. ⟨10.1016/j.adhoc.2020.102118⟩
Journal articles hal-02491851v1

TCP Congestion Control in Datacenter Optical Packet Networks on Hybrid Switches

Artur Minakhmetov , Cédric Ware , Luigi Iannone
J. Opt. Commun. Netw., 2018, 10 (7), pp.B71-B81. ⟨10.1364/JOCN.10.000B71⟩
Journal articles hal-02088811v1

Efficient frequent subgraph mining on large streaming graphs

Abhik Ray , Lawrence Holder , Albert Bifet
Intelligent Data Analysis, 2019, 23 (1), pp.103-132. ⟨10.3233/IDA-173705⟩
Journal articles hal-02339503v1

Introducing Innovative Bare Metal Crypto Terminal for Blockchains and BigBang Paradigm

Pascal Urien
2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Jun 2019, CANARY ISLANDS, United States. pp.1-4, ⟨10.1109/NTMS.2019.8763823⟩
Conference papers hal-02342422v1

Robust clustering methods for detecting smartphone's abnormal behavior

Ali El Attar , Rida Khatoun , B. Birregah , Marc Lemercier
2014 IEEE Wireless Communications and Networking Conference (WCNC), Apr 2014, Istanbul, France. pp.2552-2557, ⟨10.1109/WCNC.2014.6952790⟩
Conference papers hal-02342675v1

A Gaussian mixture model for dynamic detection of abnormal behavior in smartphone applications

Ali El Attar , Rida Khatoun , Marc Lemercier
2014 Global Information Infrastructure and Networking Symposium (GIIS), Sep 2014, Montreal, France. pp.1-6, ⟨10.1109/GIIS.2014.6934278⟩
Conference papers hal-02342688v1

Everlasting Secure Key Agreement with performance beyond QKD in a Quantum Computational Hybrid security model

Nilesh Vyas , Romain Alleaume
2020
Preprints, Working Papers, ... hal-02906744v1

Technologies quantiques et cryptographie post-quantique : vision prospective et positionnement français

Romain Alleaume
Journée Cryptographie Post-Quantique du Projet RISQ, Mar 2020, Rennes, France
Conference papers hal-02906785v1

Quantum-Computational Hybrid Cryptography based on the Boolean Hidden Matching Problem

Romain Alleaume
Boolean Functions and Applications - BFA 2019, Jun 2019, Florence, Italy
Conference papers hal-02906794v1

A functional central limit theorem for the M/GI/infinity queue

Laurent Decreusefond , Pascal Moyal
Annals of Applied Probability, 2008, 18 (6), pp.2156-2178. ⟨10.1214/08-AAP518⟩
Journal articles hal-00160001v1

HIP support for RFIDs : 02

Pascal Urien , Gyu Myoung Lee , Guy Pujolle
2011, pp.29
Other publications hal-00665280v1

Framework Implementation Based On Grid of Smartcards To Authenticate Users and Virtual Machines

Hassane Aissaoui-Mehrez , Guy Pujolle , Pascal Urien
SCITEPRESS Digital Library, 2014, pp.285 - 290. ⟨10.5220-0005046102850290⟩
Journal articles hal-01117046v1
Image document

Multi-Client Functional Encryption with Fine-Grained Access Control

Ky Nguyen , Duong Hieu Phan , David Pointcheval
Asiacrypt 2022 - 28th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2022, Taipei, Taiwan
Conference papers hal-03910053v1
Image document

Security bootstrapping for Internet of Things

Sameh Khalfaoui
Cryptography and Security [cs.CR]. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT023⟩
Theses tel-03719946v1
Image document

Graph-based contributions to machine-learning

Quentin Lutz
Data Structures and Algorithms [cs.DS]. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT010⟩
Theses tel-03634148v1
Image document

Millimeter wave multi-RAT small cells for heterogeneous mobile services : performance analysis and optimization

Gourab Ghatak
Networking and Internet Architecture [cs.NI]. Université Paris-Saclay, 2019. English. ⟨NNT : 2019SACLT010⟩
Theses tel-02266363v1
Image document

Leveraging lyrics from audio for MIR

Andrea Vaglio
Signal and Image processing. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAT027⟩
Theses tel-03558515v1

Verification of quantum information processing in quantum networks

Damian Markham
Quantum UK 2015, Sep 2015, Oxford, United Kingdom
Conference papers hal-02412328v1

Adaptive Window Strategy for Topic Modeling in Document Streams

Pierre-Alexandre Murena , Marie Al-Ghossein , Talel Abdessalem , Antoine Cornuéjols
International Joint Conference on Neural Networks, 2018, Rio de Janeiro, Brazil
Conference papers hal-02412370v1

A benchmarking methodology for evaluating software switch performance for NFV

Tianzhu Zhang , Leonardo Linguaglossa , James Roberts , Luigi Iannone , Massimo Gallo et al.
IEEE Conference on Network Softwarization (NetSoft'19), Jun 2019, Paris, France
Conference papers hal-02088259v1

Multimode Photonic Spectral Encoding for Single Qubit Arbitrary Unitary Synthesis

Ravi Raghunathan , Ricard Guillaume , Filippo M Miatto , Isabelle Zaquine , Romain Alleaume et al.
International Conference on Quantum Computing (ICoQC 2018), Nov 2018, Paris, France
Conference poster hal-02418342v1
Image document

Making sense of data workers’ sense making practices

Jiali Liu , Nadia Boukhelifa , James Eagan
ACM CHI 2019 Workshop on Sensemaking in a Senseless World, May 2019, Montréal, Québec, Canada. pp.4
Conference papers hal-02734014v1

Des intelligences Très artificielles

Jean-Louis Dessalles
Odile Jacob, 2019, 978-2-7381-4714-1
Books hal-02516770v1
Image document

Distributed Learning in Noisy-Potential Games for Resource Allocation in D2D Networks

Mohammed Shabbir Ali , Pierre Coucheney , Marceau Coupechoux
IEEE Transactions on Mobile Computing, 2020, 19 (12), pp.2761-2773. ⟨10.1109/TMC.2019.2936345⟩
Journal articles hal-02315135v1

Comparing the Performance of State-of-the-Art Software Switches for NFV

Tianzhu Zhang , Leonardo Linguaglossa , Massimo Gallo , Paolo Giaccone , Luigi Iannone et al.
The 15th International Conference on emerging Networking EXperiments and Technologies (CoNEXT'19), Dec 2019, Orlando, United States
Conference papers hal-02364635v1

Rules for Computing Resistance of Transitions of Learning Algorithms in Games

Mohammed Shabbir Ali , Pierre Coucheney , Marceau Coupechoux
Duan L., Sanjab A., Li H., Chen X., Materassi D., Elazouzi R. (eds). Game Theory for Networks. GameNets 2017, 212, Springer, pp.97-107, 2017, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering book series, ⟨10.1007/978-3-319-67540-4_9⟩
Book sections hal-03143506v1

Complexity of voting procedures

Olivier Hudry
Complex Social and Behavioral Systems. Encyclopedia of Complexity and Systems Science, 2020
Book sections hal-03084720v1
Image document

Le low-tech et les réseaux : une rencontre impossible ?

Eva Morgand , Frenoux Emmanuelle , Marceau Coupechoux
[Stage] Telecom Paris; Université Paris Saclay. 2021
Reports hal-03697720v1

Digital safe: Secure synchronization of shared files

Mayssa Jemel , Mounira Msahli , Ahmed Serhrouchni
2015 11th International Conference on Information Assurance and Security (IAS), Dec 2015, Marrakech, France. pp.67-72, ⟨10.1109/ISIAS.2015.7492747⟩
Conference papers hal-02354919v1

Towards an Efficient File Synchronization between Digital Safes

Mayssa Jemel , Mounira Msahli , Ahmed Serhrouchni
2017 IEEE 31st International Conference on Advanced Information Networking and Applications (AINA), Mar 2017, Taipei, France. pp.136-143, ⟨10.1109/AINA.2017.115⟩
Conference papers hal-02354920v1

SyncDS: A digital safe based file synchronization approach

Mayssa Jemel , Mounira Msahli , Ahmed Serhrouchni
2016 13th IEEE Annual Consumer Communications & Networking Conference (CCNC), Jan 2016, Las Vegas, France. pp.317-318, ⟨10.1109/CCNC.2016.7444796⟩
Conference papers hal-02354922v1

Inherent limitations of hybrid transactional memory

Dan Alistarh , Justin Kopinsky , Petr Kuznetsov , Srivatsan Ravi , Nir Shavit et al.
Distributed Computing, 2018, 31 (3), pp.167-185. ⟨10.1007/s00446-017-0305-3⟩
Journal articles hal-02364297v1

Protection des infrastructures informatiques des entreprises face à la cybercriminalité

Vincent Lemoine , Charles Perez , Marc Lemercier , Pierre Vitard , Virginie Bensoussan et al.
Workshop Interdisciplinaire sur la Sécurité Globale (WISG 2013), Jan 2013, Troyes, France
Conference papers hal-02519454v1
Image document

Chainage de vos Virtual Private Clouds avec Segment Routing

Francesco Spinelli , Luigi Iannone , Jerome Tollet
CoRes 2019, Jun 2019, Narbonne, France
Conference papers hal-02364707v1

Advances in security research in the Asiacrypt region

Raphaël Cw Phan , Masayuki Abe , Lynn Batten , Jung Hee Cheon , Ed Dawson et al.
Communications of the ACM, 2020, 63 (4), pp.76-81. ⟨10.1145/3378428⟩
Journal articles hal-03540244v1
Image document

Modeling the energy consumption of programs: thermal aspects and Energy/Frequency Convexity Rule

Karel de Vogeleer , Kameswar Rao Vaddina , Florian Brandner , Pierre Jouvelot , Gérard Memmi et al.
The Ninth International Conference on Wireless Communications and Signal Processing (WCSP 2017), Oct 2017, Nanjing, China. pp.1-10
Conference papers hal-01622778v1

Fast Selective Encryption Methods for Bitmap Images

Han Qiu , Gerard Memmi
International Journal of Multimedia Data Engineering and Management (IJMDEM), 2015, 6 (51-69), pp.18
Journal articles hal-01212143v1

All-Or-Nothing data protection for ubiquitous communication: Challenges and perspectives

Han Qiu , Katarzyna Kapusta , Zhihui Lu , Meikang Qiu , Gérard Memmi et al.
Information Sciences, 2019, 502, pp.434-445. ⟨10.1016/j.ins.2019.06.031⟩
Journal articles hal-02450300v1

ChainIDE 2.0: Facilitating Smart Contract Development for Consortium Blockchain

Xiao Wu , Han Qiu , Shuyi Zhang , Gerard Memmi , Keke Gai et al.
IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), Jul 2020, Toronto, France. pp.388-393, ⟨10.1109/INFOCOMWKSHPS50562.2020.9163051⟩
Conference papers hal-03559687v1

Deux retours d’expérience avec la méthodologie SCRUM

Gérard Memmi
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2011, 98, pp.52-58
Journal articles hal-02287375v1