Search - Archive ouverte HAL Access content directly

Filter your results

4 467 Results
Structure: Internal structure identifier : 16574

New formulation and resolution method for the p-center problem

Sourour Elloumi , Martine Labbé , Yves Pochet
I N F O R M S Journal on Computing, 2004, 16, pp.84-94
Journal articles hal-01255583v1
Image document

C2TLA+ : Traduction automatique du code C vers TLA+

Amira Methni , Matthieu Lemerre , Belgacem Ben Hedia , Kamel Barkaoui , Serge Haddad
École d’Été Temps Réel 2013, Aug 2013, Toulouse, France
Conference papers hal-01314832v1

Approche non supervisée d’aide à une normalisation de l’écriture textuelle, basée sur un modèle augmenté Bi-LSTM et la prédiction des structures latentes : cas de l’amazigh & du tifinagh

Hammou Fadili
TICAM, Nov 2018, Rabat, Morocco
Conference papers hal-02542033v1

Reliable actuator fault control of positive switched systems with double switchings

Zhang Junfeng , Miao Li , Tarek Raissi
Asian Journal of Control, In press, ⟨10.1002/asjc.2338⟩
Journal articles hal-02491757v1
Image document

On the vertices belonging to all, some, none minimum dominating set

Valentin Bouquet , François Delbot , Christophe Picouleau
Discrete Applied Mathematics, 2021, 288, pp.9-19. ⟨10.1016/j.dam.2020.08.020⟩
Journal articles hal-02434684v1

Using general triangle inequalities within Quadratic Convex Reformulation method

Amélie Lambert
Optimization Methods and Software, In press, ⟨10.1080/10556788.2022.2157002⟩
Journal articles hal-03016403v1
Image document

OMMA: open architecture for Operator-guided Monitoring of Multi-step Attacks

Julio Navarro , Véronique Legrand , Aline Deruyver , Pierre Parrend
EURASIP Journal on Information Security, 2018, 2018 (1), pp.144-159. ⟨10.1186/s13635-018-0075-x⟩
Journal articles hal-03218219v1
Image document

Régions de confiance en analyse factorielle

Gilbert Saporta , Gérard Hatabian
Fourth International Symposium on Data Analysis and Informatics, INRIA, 1986, Versailles, France. pp.499-508
Conference papers hal-02522015v1

Partial and Full Order Interval Unknown Input State Estimators

Nacim Meslem , Ahmad Hably , Tarek Raissi
CoDIT 2020 - 7th International Conference on Control, Decision and Information Technologies, Jun 2020, Prague, Czech Republic. pp.568-574, ⟨10.1109/CoDIT49905.2020.9263952⟩
Conference papers hal-03059268v1
Image document

Computer Aided Formal Design of Swarm Robotics Algorithms

Thibaut Balabonski , Pierre Courtieu , Robin Pelle , Lionel Rieg , Sébastien Tixeuil , et al.
2021
Preprints, Working Papers, ... hal-03111541v1
Image document

Le Machine Learning : numérique non supervisé et symbolique peu supervisé, une chance pour l’analyse sémantique automatique des langues peu dotées

Hammou Fadili
TICAM, Nov 2016, Rabat, Maroc
Conference papers hal-02555540v1

L’accessibilité, la difficulté et l’inclusion ou comment le Bon, la Brute et le Truand ont finalement fait un film à succès

Jérôme Dupire , Florine Archambeaud
Game Camp, Jun 2019, Lille, France
Conference papers hal-03112655v1

Rendre ses jeux accessibles – Enjeux et préconisations

Jérôme Dupire
Indie Game Nation, Mar 2019, Nanterre, France
Conference papers hal-03112657v1

Personnes en situation de handicap et jeux vidéo : comment commencer à ne plus exclure ?

Jérôme Dupire
Video Executive Forum, Syndicat national des jeux vidéo, Apr 2019, Angouleme, France
Conference papers hal-03112660v1

Les jeux vidéo sont-ils des logiciels comme les autres ?

Jérôme Dupire
Paris Web, Oct 2018, Bois-colombes, France
Conference papers hal-03112666v1

Accessibilité et Jeux Vidéo

Jérôme Dupire
Meet-up Accessibilité et Jeux Vidéo, Game impact, Nov 2017, Paris, France
Conference papers hal-03112695v1

Table ronde : Accessibilité et jeux vidéo #TousGamers

Jérôme Dupire
#TousGamers, Dec 2017, Paris, France
Conference papers hal-03112740v1

Round table: Game Accessibility

Jérôme Dupire
Global Developper Conference, Mar 2017, San Francisco, United States
Conference papers hal-03112741v1
Image document

Vers une accessibilité accessible

Jérôme Dupire
Interface homme-machine [cs.HC]. Université Paris 8 St Denis, 2020
Habilitation à diriger des recherches tel-03112782v1
Image document

PLUG : les secrets du musée

Isabelle Astic , Coline Aunis
La Lettre de l'OCIM (Office de Coopération et d'Information Muséographique) : Musées, Patrimoine et Culture scientifiques et techniques, 2009, 125, pp. 5-11. ⟨10.4000/ocim.240⟩
Journal articles hal-01617167v1
Image document

Matrix-based key management scheme for IoT networks

Mohammed Nafi , Samia Bouzefrane , Mawloud Omar
Ad Hoc Networks, 2020, 97, pp.102003. ⟨10.1016/j.adhoc.2019.102003⟩
Journal articles hal-02920469v2
Image document

La partition musicale : un objectif ambitieux pour la transcription automatique de la musique

Francesco Foscarin
Informatique et langage [cs.CL]. Conservatoire national des arts et metiers - CNAM, 2020. Français. ⟨NNT : 2020CNAM1285⟩
Theses tel-03176747v2
Image document

CANDELA: A Cloud Platform for Copernicus Earth Observation Data Analytics

Jean-François Rolland , Fabien Castel , Anne Haugommard , Michelle Aubrun , Wei Yao , et al.
IEEE International Geoscience & Remote Sensing Symposium (IGARSS 2020), IEEE, Sep 2020, Waikoloa, Hawaii, United States
Conference papers hal-03001582v1

Computation of an emptiable minimal siphon in a subclass of petri nets using mixed-integer programming

Shouguang Wang , Wenli Duo , Xin Guo , Xiaoning Jiang , Dan You , et al.
IEEE/CAA Journal of Automatica Sinica, 2021, pp.1-8. ⟨10.1109/JAS.2020.1003210⟩
Journal articles hal-03028154v1
Image document

Evaluation of energy aware routing metrics for RPL

Lilia Lassouaoui , Stephane Rovedakis , Francoise Sailhan , Anne Wei
12th International Conference on Wireless and Mobile Computing (WiMob), Oct 2016, New York, United States. ⟨10.1109/WiMOB.2016.7763212⟩
Conference papers hal-02468579v1

A Multilingual Linguistic Domain Ontology

Mariem Neji , Fatma Ghorbel , Bilel Gargouri , Nada Mimouni , Elisabeth Metais
The 34th Pacific Asia Conference on Language, Information and Computation (PACLIC 34), Oct 2020, Hanoi, Vietnam
Conference papers hal-03024567v1
Image document

Reconstruction de la coloration d'un graphe à partir des projections des voisinages

Marie-Christine Costa , Dominique de Werra , Christophe Picouleau , Bernard Ries
FRANCORO/ROADEF'07, Feb 2007, Grenoble, France. pp.87-88
Conference papers hal-01125264v1

Energy Efficiency Based Dynamic Power and Spreading Factor Control in LoRa Network

Lina Mroueh , Michel Terré
PIMRC 2020, Aug 2020, Londres, United Kingdom
Conference papers hal-03030077v1

Concepts et sémantique des langages de programmation 1 : constructions fonctionnelles et impératives avec OCaml, Python, C et C++

Thérèse Hardin , Mathieu Jaume , François Pessaux , Veronique Viguie Donzeau-Gouge
ISTE Editions, 2021, 9781784057015
Books hal-03030484v1
Image document

Towards a New Approach for Building Trust and Confidence in Machine Learning Data and Models: Based on an Integration of Artificial Intelligence and Blockchain (Part 2)

Hammou Fadili
Journal of Applied Business and Economics, 2021, 22 (10), ⟨10.33423/jabe.v22i10.3721⟩
Journal articles hal-03093018v1