Search - Archive ouverte HAL Access content directly

Filter your results

932 Results
Image document

Contributions à l'amélioration de l'utilisation des ressources dans les réseaux de paquets sans fil

Yacine Ghamri-Doudane
Réseaux et télécommunications [cs.NI]. Université Paris-Est, 2010
Habilitation à diriger des recherches tel-00848592v1

QoS and QoE in wireless communications and networks workshop

Abderrezak Rachedi
pp.48, 2013
Books hal-00841687v1

Coverage-Connectivity based Fault Tolerance Procedure in Wireless Sensor Networks

Inès El Korbi , Yacine Ghamri-Doudane , Rimel Jazi , Leila Saidane Azouz
International Wireless Communications and Mobile Computing Conference, IWCMC'13, Jul 2013, Italy. pp.6
Conference papers hal-00847952v1

PHRHLS: A Movement-Prediction-based Joint Routing and Hierarchical Location Service for VANETs

Marwane Ayaida , Mohtadi Barhoumi , Hacène Fouchal , Yacine Ghamri-Doudane , Lissan Afilal et al.
IEEE International Conference on Communications, ICC'13, Jun 2013, Hungary. pp.5
Conference papers hal-00847953v1
Image document

Brzozowski Algorithm Is Generically Super-Polynomial Deterministic Automata

Sven de Felice , Cyril Nicaud
DLT'13, 2013, France. pp.179-190, ⟨10.1007/978-3-642-38771-5_17⟩
Conference papers hal-00841848v1
Image document

On the Context-Freeness Problem for Vector Addition Systems

Jérôme Leroux , Vincent Penelle , Grégoire Sutre
LICS 2013, Jun 2013, New Orleans, LA, United States. pp.43-52, ⟨10.1109/LICS.2013.9⟩
Conference papers hal-00788744v2
Image document

Single and multiple consecutive permutation motif search

Djamal Belazzougui , Adeline Pierrot , Mathieu Raffinot , Stéphane Vialette
ISAAC 2013, Dec 2013, Hong-Kong, Hong Kong SAR China. pp.66-77, ⟨10.1007/978-3-642-45030-3_7⟩
Conference papers hal-00859363v1
Image document

An ontology for the conceptualization of an intelligent environment and its operation

Driss Sadoun , Catherine Dubois , Yacine Ghamri-Doudane , B. Grau
10th Mexican International Conference on Artificial Intelligence (MICAI 2011), Nov 2011, Puebla, Mexico. ⟨10.1109/MICAI.2011.32⟩
Conference papers hal-00808002v1

WaterFowl: a Compact, Self-indexed and Inference-enabled Immutable RDF Store

Olivier Curé , Guillaume Blin , Dominique Revuz , David Célestin Faye
11th European Semantic Web Conference (ESWC'14), May 2014, Anissaras, Greece. pp.302-316, ⟨10.1007/978-3-319-07443-6_21⟩
Conference papers hal-00952845v1
Image document

Global EDF scheduling of directed acyclic graphs on multiprocessor systems

Manar Qamhieh , Frédéric Fauberteau , Laurent George , Serge Midonnet
Proceedings of the 21st International conference on Real-Time Networks and Systems, Oct 2013, Sophia Antipolis, France. pp.287-297, ⟨10.1145/2516821.2516836⟩
Conference papers hal-00878667v1

Compression for an effective management of telemetry data

Jean-Paul Arcangeli , Maxime Crochemore , Jean-Noël Hourcastagnou , Jean-Eric Pin
1992, pp.823-830
Conference papers hal-00019887v1

The Design of Real-Time Fault Detectors

Serge Midonnet
International Symposium on Distributed Objects and Applications (DOA'05), Nov 2005, Agia Napa, Cyprus, Cyprus. pp.698-714
Conference papers hal-00620060v1
Image document

Factorizations and Universal Automaton of Omega Languages

Vincent Carnino , Sylvain Lombardy
Developments in Language Theory - 17th International Conference (DLT'13), 2013, Marne-la-Vallée, France. pp.338-349, ⟨10.1007/978-3-642-38771-5_30⟩
Conference papers hal-00841873v1
Image document

Structural and computational complexity of tilings and cellular automata

Julien Cervelle
Computer Science [cs]. Université de provence, 2002. English. ⟨NNT : ⟩
Theses tel-01208375v1

RDF Database Systems, 1st Edition

Olivier Curé , Guillaume Blin
Morgan Kaufmann, pp.248, 2014, 9780127999579
Books hal-01083133v1
Image document

Determinization of transducers over infinite words: the general case

Marie-Pierre Béal , Olivier Carton
Theory of Computing Systems, 2004, 37 (4), pp.483-502
Journal articles hal-00162483v1
Image document

Sharp Tractability Borderlines for Finding Connected Motifs in Vertex-Colored Graphs

Michael R. Fellows , Guillaume Fertin , Danny Hermelin , Stéphane Vialette
34th International Colloquium on Automata, Languages and Programming (ICALP 2007), 2007, Wroclaw, Poland. pp.340-351
Conference papers hal-00417928v1
Image document

Algorithms for computing approximate repetitions in musical sequences

Emilios Cambouropoulos , Maxime Crochemore , Costas S. Iliopoulos , Laurent Mouchard , Yoan J. Pinzón Ardila et al.
Australasian Workshop On Combinatorial Algorithms, 1999, Australia. pp.129-144
Conference papers hal-00452240v1
Image document

On a greedy approach for genome scaffolding

Tom Davot , Annie Chateau , Rohan Fossé , Rodolphe Giroudeau , Mathias Weller et al.
Algorithms for Molecular Biology, 2022, 17 (1), pp.16-46. ⟨10.1186/s13015-022-00223-x⟩
Journal articles lirmm-03835013v1

Finding Common Motifs with Gaps Using Finite Automata

Pavlos Antoniou , Jan Holub , Costas Iliopoulos , Borijov Melichar , Pierre Peterlongo et al.
Implementation and Application of Automata, Aug 2006, Taipei, Taiwan. pp.69-77, ⟨10.1007/11812128_8⟩
Conference papers istex inria-00328124v1
Image document

Comparing RNA Structures: Towards an Intermediate Model Between the EDIT and the LAPCS Problems

Guillaume Blin , Guillaume Fertin , Gaël Herry , Stéphane Vialette
Brazilian Symposium on Bioinformatics (BSB 2007), Aug 2007, Angra dos Reis, Brazil. pp.101-112
Conference papers hal-00417918v1
Image document

Families of automata characterizing context-sensitive languages

Christophe Morvan , Chloé Rispal
Acta Informatica, 2005, 41, pp.293-314. ⟨10.1007/s00236-004-0160-0⟩
Journal articles inria-00525422v1
Image document

Extending the Hardness of RNA Secondary Structure Comparison

Guillaume Blin , Guillaume Fertin , Irena Rusu , Christine Sinoquet
1st International Symposium on Combinatorics, Algorithms, Probabilistic and Experimental Methodologies (ESCAPE 2007), Apr 2007, Hangzhou, China. pp.140-151
Conference papers hal-00418248v1
Image document

Algorithmic Aspects of Heterogeneous Biological Networks Comparison

Guillaume Blin , Guillaume Fertin , Hafedh Mohamed-Babou , Irena Rusu , Florian Sikora et al.
COCOA 2011, 2011, Zhangjiajie, China. pp.272-286, ⟨10.1007/978-3-642-22616-8_22⟩
Conference papers hal-00606375v1
Image document

Finding Occurrences of Protein Complexes in Protein-Protein Interaction Graphs

Guillaume Fertin , Romeo Rizzi , Stéphane Vialette
Journal of Discrete Algorithms, 2009, 7 (1), pp.90-101
Journal articles hal-00416394v1
Image document

Operations preserving recognizable languages

Jean Berstel , Luc Boasson , Olivier Carton , Bruno Petazzoni , Jean-Eric Pin et al.
Theoretical Computer Science, 2006, 354, pp.405-420
Journal articles hal-00112842v1
Image document

Seed: an easy to use random generator of recursive data structures for testing

Pierre-Cyrille Heam , Cyril Nicaud
[Research Report] ENS Cachan. 2009, pp.18
Reports inria-00528585v1

Mixed languages

Jean Berstel , Luc Boasson , Michel Latteux
Theoretical Computer Science, 2005, 354 (1-3), pp.179-198
Journal articles hal-00150436v1
Image document

XLEngine : Une architecture cross-layer modèle pour le support de la QoS dans les réseaux sans fil IEEE 802.11

Wafa Berrayana , Habib Youssef , Guy Pujolle , Stéphane Lohier
Huitièmes Journées Doctorales en Informatique et Réseaux (JDIR'07), Jan 2007, Marne-la-Vallée, France. pp.45-51
Conference papers hal-01091861v1
Image document

Lexique-grammaire et Unitex : quels apports pour une description terminologique bilingue de qualité ? : analyse sur deux corpus comparables de médecine thermale

Rosa Cetro
Informatique et langage [cs.CL]. Université Paris-Est, 2013. Français. ⟨NNT : 2013PEST1007⟩
Theses tel-00823735v2