Search - Archive ouverte HAL Access content directly

Filter your results

2 483 Results
Image document

A Minimax Optimal Algorithm for Crowdsourcing

Thomas Bonald , Richard Combes
Neural Information Processing Systems Conference NIPS, 2017, Los Angeles, United States
Conference papers hal-01592105v1

Some rainbow problems in graphs have complexity equivalent to satisfiability problems

Olivier Hudry , Antoine Lobstein
International Transactions in Operational Research, 2022
Journal articles hal-03466089v1
Image document

STREAMRHF: Tree-Based Unsupervised Anomaly Detection for Data Streams

Stefan Nesic , Andrian Putina , Maroua Bahri , Alexis Huet , Jose Manuel et al.
AICCSA 2022 - 19th ACS/IEEE International Conference on Computer Systems and Applications, Dec 2022, Abu Dhabi, United Arab Emirates
Conference papers hal-03948938v1

Efficient Densest Subgraph Computation in Evolving Graphs

Alessandro Epasto , Silvio Lattanzi , Mauro Sozio
World Wide Web Conference (WWW), 2015, Florence, Italy
Conference papers hal-01699042v1
Image document

Revisiting Opinion Dynamics with Varying Susceptibility to Persuasion via Non-Convex Local Search

T-H. Hubert Chan , Zhibin Liang , Mauro Sozio
The World Wide Web Conference, May 2019, San Francisco, United States. pp.173-183, ⟨10.1145/3308558.3313509⟩
Conference papers hal-02315495v1

Snooping Wikipedia Vandals with MapReduce

Michele Spina , D. Rossi , Mauro Sozio , Silviu Maniu , Bogdan Cautis et al.
IEEE ICC, Feb 2015, London, United Kingdom
Conference papers hal-01279007v1

Local Triangle-Densest Subgraphs

Raman Samusevich , Maximilien Danisch , Mauro Sozio
2016 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM), Aug 2016, San Francisco, CA, United States. ⟨10.1109/ASONAM.2016.7752210⟩
Conference papers hal-01699046v1

Imitation Policies for Cognitive Radio Networks

Marceau Coupechoux , Stefano Iellamo , Lin Chen
Alcatel-Lucent Bell Labs Seminar, Jul 2012, Bangalore, India
Conference papers hal-02288329v1
Image document

Some Rainbow Problems in Graphs Have Complexity Equivalent to Satisfiability Problems

Olivier Hudry , Antoine Lobstein
International Transactions in Operational Research, 2022, 29 (3), pp.1547-1572
Journal articles hal-02916921v1
Image document

Multi-évaluation du Pointage : Application à la Dyspraxie

Julien Gori , Michel Beaudouin-Lafon , Yves Guiard
IHM 2019 - 31e conférence francophone sur l'Interaction Homme-Machine, Dec 2019, Grenoble, France. pp.1--12, ⟨10.1145/3366550.3372250⟩
Conference papers hal-02381587v1
Image document

C-SAKey : une approche de découverte de clés conditionnelles dans des données RDF

Nathalie Pernelle , Danai Symeonidou , Fatiha Saïs
IC 2015, 2015, Rennes, France
Conference papers hal-01179628v1
Image document

REMI: Mining Intuitive Referring Expressions on Knowledge Bases

Luis Galárraga , Julien Delaunay , Jean-Louis Dessalles
EDBT 2020 - 23rd International Conference on Extending Database Technology, Mar 2020, Virtual Event, Denmark. pp.387-390, ⟨10.5441/002/edbt.2020.39⟩
Conference papers hal-03084627v1
Image document

Complexité du problème de l'unicité d'un transversal minimum dans un graphe

Olivier Hudry , Antoine Lobstein
23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
Conference papers hal-03596176v1

Retrospective Spectrum Access Protocol: A Completely Uncoupled Learning Algorithm for Cognitive Networks

Marceau Coupechoux , Stefano Iellamo , Lin Chen
CEFIPRA Workshop on New Avenues for Network Models, Jan 2014, Bangalore, India
Conference papers hal-02286844v1
Image document

Of Human Criteria and Automatic Metrics: A Benchmark of the Evaluation of Story Generation

Cyril Chhun , Pierre Colombo , Fabian M Suchanek , Chloé Clavel
29th International Conference on Computational Linguistics (COLING 2022), Oct 2022, Gyeongju, South Korea
Conference papers hal-03801053v1
Image document

Multisurface Interaction in the WILD Room

Michel Beaudouin-Lafon , Olivier Chapuis , James Eagan , Tony Gjerlufsen , Stéphane Huot et al.
Computer, 2012, Special Issue on Interaction Beyond the Keyboard, 45 (4), pp.48-56. ⟨10.1109/MC.2012.110⟩
Journal articles hal-00687825v1

Design and Evaluation of Cost-aware Information Centric Routers

Andrea Araldo , D. Rossi , Fabio Martignon
ACM SIGCOMM Conference on Information-Centric Networking (ICN-2014), Sep 2014, Paris, France. pp.147-156
Conference papers hal-01116269v1

Multiple characters transforms and generalized Boolean functions

Sihem Mesnager , Longjiang Qu
Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences , 2019, 11 (6), pp.1247-1260. ⟨10.1109/TIT.2019.2933832⟩
Journal articles hal-03958990v1
Image document

Misalignments of objectives in demand response programs: a look at local energy markets

Diego Kiedanski , Daniel Kofman , Patrick Maillé , José Horta
SmartGridComm 2020 - IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, Nov 2020, Tempe (Virtual Conference), United States. pp.1-7, ⟨10.1109/SmartGridComm47815.2020.9302939⟩
Conference papers hal-02883435v2

Weightwise perfectly balanced functions with high weightwise nonlinearity profile

Jian Liu , Sihem Mesnager
Designs, Codes and Cryptography, 2019, 87 (8), pp.1797-1813. ⟨10.1007/s10623-018-0579-x⟩
Journal articles hal-03959006v1

Linear codes from weakly regular plateaued functions and their secret sharing schemes.

Sihem Mesnager , Ferruh Özbudak , A. Sinak
Designs, Codes and Cryptography, 2019
Journal articles hal-03022853v1

Multiple characters transforms and generalized Boolean functions

Sihem Mesnager , C. Riera , P. Stanica
Journal of Cryptography and Communications- Discrete Structures, Boolean Functions, and Sequences , 2019
Journal articles hal-03023252v1

On the links of some semi-bent functions with Kloosterman sums

Sihem Mesnager , Gérard Cohen
LNCS , 2011, 6639, pp.263-272
Journal articles hal-02278602v1

On minimal and almost-minimal linear codes

Sihem Mesnager , Gérard Cohen
21st International Symposium MTNS, Jul 2014, Groningen, Netherlands. pp.928-931
Conference papers hal-02286938v1

Constructions of optimal locally recoverable codes via Dickson polynomials

Sihem Mesnager , J. Liu , D. Tang
Eleventh International Workshop on Coding and Cryptography (WCC 2019), 2019, Saint-Malo, France
Conference papers hal-03035635v1

Threats to Adversarial Training for IDSs and Mitigation

Hassan Chaitou , Jean Leneutre , Laurent Pautet
19th International Conference on Security and Cryptography, Jul 2022, Lisbon, France. pp.226-236, ⟨10.5220/0011277600003283⟩
Conference papers hal-03801012v1

Multi-objective exploration of architectural designs by composition of model transformations

Smail Rahmoun , Asma Mehiaoui-Hamitou , Etienne Borde , Laurent Pautet , Elie Soubiran et al.
Software and Systems Modeling, 2019, 18 (1), pp.107-127. ⟨10.1007/s10270-017-0580-2⟩
Journal articles hal-02292455v1

An Emerging Need for a New Software Engineering Method

Laurent Pautet , Isabelle. Perseil
International Conference on Engineering of Complex Computer Systems (ICECCS), 2009, Jun 2009, Potsdam, Germany. pp.359- 364
Conference papers hal-02286672v1

Design Patterns for Rule-based Refinement of Safety Critical Embedded Systems Models

Fabien Cadoret , Etienne Borde , Sébastien Gardoll , Laurent Pautet
ICECCS 2012, Jul 2012, Paris, France
Conference papers hal-02286400v1

Directed Acyclic Graph Scheduling for Mixed-Criticality Systems

Roberto Medina , Etienne Borde , Laurent Pautet
Reliable Software Technologies, Jun 2017, Vienne, Austria. pp.217-232
Conference papers hal-01995010v1

Generalized mixed-criticality scheduling based on RUN

Romain Gratia , Thomas Robert , Laurent Pautet
23rd International Conference on Real-Time Networks and Systems (RTNS '15), Nov 2015, Lille France, France. pp.267-276, ⟨10.1145/2834848.2834873⟩
Conference papers hal-03629047v1

Deterministic Implementation of Periodic-Delayed Communications and Experimentation in AADL

Fabien Cadoret , Robert Thomas , Etienne Borde , Laurent Pautet , Frank Singhoff et al.
17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2013), Jun 2013, Paderborn, Germany
Conference papers hal-01121244v1

Dynamic Arbitration of Memory Requests with TDM-like Guarantees

Farouk Hebbache , Mathieu Jan , Florian Brandner , Laurent Pautet
Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, Dec 2017, Paris, France
Conference papers hal-02287739v1

Linear codes from functions

Sihem Mesnager
Concise encyclopedia of coding theory, , pp.463--526, 2021, 9781315147901
Book sections hal-03960624v1

Concrete constructions of weightwise perfectly balanced (2-rotation symmetric) functions with optimal algebraic immunity and high weightwise nonlinearity

Sihem Mesnager , Sihong Su , Jingjing Li , Linya Zhu
Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences , 2022, 14 (6), pp.1371-1389. ⟨10.1007/s12095-022-00603-5⟩
Journal articles hal-03960656v1

More permutations and involutions for constructing bent functions

Yubo Li , Kangquan Li , Sihem Mesnager , Longjiang Qu
Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences , 2021, 13 (3), pp.459-473. ⟨10.1007/s12095-021-00482-2⟩
Journal articles hal-03960609v1

Investigations on c -(Almost) Perfect Nonlinear Functions

Sihem Mesnager , Constanza Riera , Pantelimon Stanica , Haode Yan , Zhengchun Zhou et al.
IEEE Transactions on Information Theory, 2021, 67 (10), pp.6916-6925. ⟨10.1109/TIT.2021.3081348⟩
Journal articles hal-03960613v1

Linear codes from support designs of ternary cyclic codes

Pan Tan , Cuiling Fan , Sihem Mesnager , Wei Guo
Designs, Codes and Cryptography, 2022, 90 (3), pp.681-693. ⟨10.1007/s10623-021-01001-3⟩
Journal articles hal-03960674v1

Let there be Chaining: How to Augment your IGP to Chain your Services

Adrien Wion , Mathieu Bouet , Luigi Iannone , Vania Conan
2019 IFIP Networking Conference (IFIP Networking), May 2019, Warsaw, Poland. pp.1-9, ⟨10.23919/IFIPNetworking.2019.8816831⟩
Conference papers hal-02384824v1

Safety of session-based service orchestration revisited with an unreliable communication model

Jonathan Michaux , Elie Najm , Alessandro Fantechi
Web Services Formal Methods, Aug 2013, beijing, China
Conference papers hal-02286789v1

Human language: an evolutionary anomaly

Jean-Louis Dessalles
Handbook of Evolution Theory in the Sciences, Springer, pp.707-724, 2014
Book sections hal-02286793v1

Variations of identifying codes in graphs obained by adding or removing one vertex

Irène Charon , I. Honkala , Olivier Hudry , Antoine Lobstein
9th International colloquium on graph theory and combinatorics (ICGT 2014), Jul 2014, Grenoble, France. pp.1-4
Conference papers hal-02286931v1

Three tools to learn C programming online

Rémi Sharrock
HarvardX seminar, Apr 2017, Cambridge, MA, United States
Conference papers hal-02288540v1

Quantum-enhanced secure delegated classical computing

Vedran Dunjko , Theodoros Kapourniotis , Elham Kashefi
Quantum Information & Computation, 2016, 16, pp.61-86
Journal articles hal-02287901v1

Large scale learning tools

Rémi Sharrock , Ella Hamonic
Edx Global Forum, Nov 2016, Paris, France
Conference papers hal-02287939v1

Open data in the hotel industry: leveraging forthcoming events for hotel recommendation

Marie Al-Ghossein , Talel Abdessalem , Anthony Barré
Information Technology \& Tourism, 2018
Journal articles hal-02287955v1

Performance Evaluation of Link Metrics in Vehicle Networks: a Study from the Cologne Case

Jun Zhang , Mengying Ren , Houda Labiod
the 6th ACM Symposium on Development and Analysis of Intelligent Vehicular Networks and Applications, Nov 2016, Malta, Malta. ⟨10.1145/2989275.2989292⟩
Conference papers hal-02288478v1

SINR Model for MBSFN Based Mission Critical Communications

Alaa Daher , Marceau Coupechoux , Philippe Godlewski , Jean-Marc Kélif , Pierre Ngouat et al.
IEEE Vehicular Technology Conference (VTC Fall), Sep 2017, Toronto, Canada. pp.1-5
Conference papers hal-02288487v1

Outage probability upper bound for multi-class QoS in the uplink of LTE networks

Fatima Zohra Kaddour , Philippe Martins , Laurent Decreusefond , Emmanuelle Vivier , Lina Mroueh et al.
2013 IEEE Global Communications Conference, GLOBECOM 2013, Atlanta, GA, USA, December 9-13, 2013, Mar 2013, Atlanta, United States. pp.4129-4134, ⟨10.1109/GLOCOM.2013.6831720⟩
Conference papers hal-02288521v1

How to build leverage, maintain and assess motivation in online learning environments

Rémi Sharrock
Stanford Digital Learning Initiative, Feb 2018, Stanford, California, United States
Conference papers hal-02288541v1

SBaaS: Safe Box as a service

Mounira Msahli , Ahmed Serhrouchni
IEEE Internationale Conference, CollaborateCom, Oct 2013, Austin, Texas, United States
Conference papers hal-02288435v1

PCM in cloud

Mounira Msahli , Ahmed Serhrouchni
IEEE International Conference on Granular Computing (GrC), Oct 2014, Noboribetsu, Japan
Conference papers hal-02288436v1

Learning Annealing Schedule of Log-Linear Algorithms for Load Balancing in HetNets

Mohammed Shabbir Ali , Pierre Coucheney , Marceau Coupechoux
European Wireless (EW) Conference, Workshop on Competitive and Cooperative Approaches for 5G, May 2016, Oulu, Finland. pp.1-6
Conference papers hal-02288460v1
Image document

Worldwide Gender Differences in Public Code Contributions

Davide Rossi , Stefano Zacchiroli
44th International Conference on Software Engineering (ICSE 2022) - Software Engineering in Society (SEIS) Track, May 2022, Pittsburgh, PA, United States. ⟨10.1145/3510458.3513011⟩
Conference papers hal-03571837v1
Image document

Joint Power and Subcarrier Allocation in Multi-Cell Multi-Carrier NOMA

Subhankar Banerjee , Chung Shue Chen , Marceau Coupechoux , Abhishek Sinha
ICUFN2022 - 13th International Conference on Ubiquitous and Future Networks, Jul 2022, Barcelona, Spain
Conference papers hal-03721736v1
Image document

Une architecture pour améliorer la réutilisatibilté des interfaces graphiques

Eric Lecolinet
Annexes des actes de la 31e conférence francophone sur l'Interaction Homme-Machine (IHM 2019), Dec 2019, Grenoble, France. pp.13:1-8, ⟨10.1145/3366551.3370352⟩
Conference papers hal-02388858v1

User Association in Hybrid UAV-cellular Networks for Massive Real-time IoT Applications

Sawsan Al Zahr , Parisa Foroughi , Hamzeh Beyranvand , Maurice Gagnaire , Sawsan Al Zahr et al.
IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), Jul 2020, Toronto, Canada. pp.243-248, ⟨10.1109/INFOCOMWKSHPS50562.2020.9162928⟩
Conference papers hal-02945478v1

Les Versions de Bases de Données

Talel Abdessalem , Claudia Bauzer-Medeiros , Wojtech Cellary , Maud Manouvrier , Marta Rukoz et al.
50 ans de recherche à Dauphine : Hier, Aujourd'hui et Demain, pp.44-48, 2019
Book sections hal-02440751v1

Broadcast strategies and performance evaluation of IEEE 802.15.4 in wireless body area networks WBAN

Wafa Badreddine , Claude Chaudet , Petruzzi Federico , Maria Potop-Butucaru
Ad Hoc Networks, 2020, 97, pp.102006. ⟨10.1016/j.adhoc.2019.102006⟩
Journal articles hal-02443135v1

Review of the Third Summer School on the Practice and Theory of Distributed Computing SPTDC 2020

Petr Kuznetsov , Vitaly Aksenov
ACM SIGACT News, 2020, 51 (4), pp.82-84. ⟨10.1145/3444815.3444828⟩
Journal articles hal-03559549v1
Image document

Brief Announcement: Accountability and Reconfiguration -Self-Healing Lattice Agreement

Luciano Freitas de Souza , Petr Kuznetsov , Thibault Rieutord , Sara Tucci-Piergiovanni
35th International Symposium on Distributed Computing (DISC 2021), Oct 2021, Freibourg, Germany. ⟨10.4230/LIPIcs.DISC.2021.54⟩
Conference papers hal-03559551v1
Image document

PolySense: Augmenting Textiles with Electrical Functionality using In-Situ Polymerization

Cedric Honnet , Hannah Perner-Wilson , Marc Teyssier , Bruno Fruchard , Jürgen Steimle et al.
2020 CHI Conference on Human Factors in Computing Systems (CHI '20), Apr 2020, Honolulu, HI, United States. pp.3376841, ⟨10.1145/3313831.3376841⟩
Conference papers hal-03515562v1

2 : The noising methods

Irène Charon , Olivier Hudry
Heuristics: Theory and Applications, Nova Publishers, pp.1-30, 2013
Book sections hal-02286568v1

Long-distance quantum key distribution with continuous variables

Eleni Diamanti
Continuous-variable quantum information processing (CV-QIP'13) Workshop and QSCALE/HIPERCOM Meeting, Jan 2013, Paris, France
Conference papers hal-02286573v1

Symmetric Routing in DHT Overlays

Salma Ktari , Artur Hecker , Houda Labiod
Teleccomunication Systems, 2011, 48 (1-2), pp.163-172
Journal articles hal-02286251v1

End-to-end Routing through a hybrid ad hoc architecture for V2V and V2I communications

Nadia Brahmi , Lila Boukhatem , Nadia Boukhatem , Mounir Boussedjra , Huy Ngoc Dau et al.
IFIP Medhocnet, Jun 2010, Juan-Les -Pins, France
Conference papers hal-02286252v1

Autonomic Computing: Principles, Design and Implementation

Philippe Lalanda , Julie Mccann , Ada Diaconescu
Springer, pp.298, 2013
Books hal-02286670v1

Enhancing Throughput Efficiency via Multiplexing and Header Compression over LISP Tunnels

Jose Saldana , Luigi Iannone , Diego R. Lopez , Julián Fernández-Navajas , José Ruiz-Mas et al.
Second IEEE Workshop on Telecommunication Standards: From Research to Standards, Jun 2013, Budapest, Hungary
Conference papers hal-02286606v1

Optimal Deployment of Security Policies: Application to Industrial Control Systems

Ziad Ismail , Jean Leneutre , Alia Fourati
14th European Dependable Computing Conference (EDCC 2018), Sep 2018, Iasi, Romania
Conference papers hal-02287944v1

Low complexity user scheduling for multi-antenna Gaussian broadcast systems with quality of service requirements

Junchao Li , Weiwei Xia , Philippe Martins , Lianfeng Shen
IET Communications, 2014, 8 (10), pp.1820-1830. ⟨10.1049/iet-com.2013.0913⟩
Journal articles hal-02287857v1

Telemetry-based stream-learning of BGP anomalies

Andrian Putina , Patrice Nivaggioli , Cristina Precup , Drew Pletcher , Albert Bifet et al.
Big-DAMA '18, Aug 2018, Budapest, Hungary
Conference papers hal-02288023v1

CHARIOT - Towards a Continuous High-Level Adaptive Runtime Integration Testbed

Chloe Barnes , Kirstie Bellman , Jean F Botev , Ada Diaconescu , Lukas Esterle et al.
2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W), Jun 2019, Umea, France. pp.52-55, ⟨10.1109/FAS-W.2019.00026⟩
Conference papers hal-02449653v1

Integration of Pervasive Platforms with iCasa

Philippe Lalanda , Ada Diaconescu
2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W), Jun 2019, Umea, France. pp.49-51, ⟨10.1109/FAS-W.2019.00025⟩
Conference papers hal-02449649v1

Controlled Matching Games for Resource Allocation and User Association in Multi-Rate WiFi Networks

Marceau Coupechoux , Mikaël Touati , Rachid Elazouzi , Eitan Altman , Jean-Marc Kélif et al.
CEA LETI, Jan 2016, Grenoble, France
Conference papers hal-02287264v1

Computation of the winner of an election

Olivier Hudry
Decision making and Social Choice, Apr 2015, Bruxelles, Belgium
Conference papers hal-02287274v1

Quantum fingerprinting with coherent states for multiple clients

Niraj Kumar , Eleni Diamanti , Iordanis Kerenidis
GdR "Information Quantique : Fondements et Applications" Colloquium, Nov 2015, Palaiseau, France
Conference papers hal-02287298v1

Subcarrier and Power allocation for Sum Rate Maximization in Multicarrier NOMA Systems

Yaru Fu , Lou Salaun , Chi Wan Sung , Chung Shue Calvin Chen , Marceau Coupechoux et al.
IEEE International Conference on Communications (ICC), May 2017, Paris, France
Conference papers hal-02287540v1

ConnexSensors: An open IoT solution designed for and by industrials

Catherine Devic , Erwan Livolant , Jean-Patrick Carrié , Pascale Minet , Patrick Bellot et al.
International Conference on Software & Systems Engineering and their Applications (ICSSEA 2017), May 2017, Paris, France
Conference papers hal-02287578v1

Online Budgeted Truthful Matching

Rahul Vaze , Marceau Coupechoux
ACM SIGMETRICS Performance Evaluation , 2016, 44 (3), pp.3-6
Journal articles hal-02287584v1

An Online Approach to D2D Trajectory Utility Maximization Problem

Amrit Singh Bedi , Ketan Rejawat , Marceau Coupechoux
IEEE International Conference on Computer Communications (INFOCOM), Apr 2018, Honolulu, United States. pp.1-9
Conference papers hal-02287727v1

Parallel Combining: Making Use of Free Cycles

Vitaly Aksenov , Petr Kuznetsov
CoRR, 2017, abs/1710.07588
Journal articles hal-02287770v1

Localization of multiple jamming attackers in vehicular ad hoc network

Liang Pang , Xio Chen , Yong Shi , Xue Zhi , Rida Khatoun et al.
International Journal of Distributed Sensor Networks, 2017, 13 (8)
Journal articles hal-02287662v1