Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

16 291 Results
Structure: Internal structure identifier : 419153
Image document

Optimal Square Detection Over General Alphabets

Jonas Ellert , Paweł Gawrychowski , Garance Gourdel
SODA - 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Jan 2023, Florence, Italy. pp.5220-5242, ⟨10.1137/1.9781611977554.ch189⟩
Conference papers hal-03991054v1
Image document

Calcul de trajectoires utilisant les propriétés d'interversibilité

Marie-Odile Cordier , Alban Grastien , Christine Largouët , Yannick Pencolé
RJCIA'03 (Rencontres jeunes chercheurs en Intelligence Artificielle), Jul 2003, Laval / France
Conference papers inria-00000525v1
Image document

On the construction of pullbacks for safe Petri nets

Eric Fabre
[Research Report] PI 1750, 2005, pp.12
Reports inria-00000462v1
Image document

True-concurrency Probabilistic Models: Markov Nets and a Law of Large Numbers

Samy Abbes , Albert Benveniste
[Research Report] PI 1753, 2005, pp.59
Reports inria-00000465v1
Image document

OSCAR on Debian: the EDF Experience

Geoffroy Vallée , Jean-Yves Berthou , Hugues Prisker , Daniel Leprince
[Research Report] PI 1703, 2005, pp.13
Reports inria-00000468v1
Image document

Integrating File Popularity and Peer Generosity in Proximity Measure for Semantic-based Overlays

Yann Busnel , Anne-Marie Kermarrec
[Research Report] PI 1756, 2005
Reports inria-00000502v1

Neologos: an optimized database for the development of new speech processing algorithms

Delphine Charlet , Sacha Krstulovic , Frédéric Bimbot , Olivier Boëffard , Dominique Fohr , et al.
9th European Conference on Speech Communication and Technology - EUROSPEECH/INTERSPEECH 2005, 2005, France. pp.1549--1552
Conference papers hal-00013735v1
Image document

Quel avenir pour les moteurs de recherche ?

Nicolas Bonnel , Fabienne Moreau
MajecSTIC 2005 : Manifestation des Jeunes Chercheurs francophones dans les domaines des STIC, IRISA – IETR – LTSI, Nov 2005, Rennes, France. pp.291-299
Conference papers inria-00000681v1
Image document

Suivi 3D temps réel : approche contour/texture

M. Pressigout
MajecSTIC 2005 : Manifestation des Jeunes Chercheurs francophones dans les domaines des STIC, IRISA – IETR – LTSI, Nov 2005, Rennes, France. pp.57-64
Conference papers inria-00000703v1
Image document

PadicoTM: An Open Integration Framework for Communication Middleware and Runtimes

Alexandre Denis , Christian Pérez , Thierry Priol
IEEE International Symposium on Cluster Computing and the Grid (CCGrid2002), May 2002, Berlin/Germany, Germany. pp.144-151
Conference papers inria-00000132v1
Image document

Padico: A Component-Based Software Infrastructure for Grid Computing

Alexandre Denis , Christian Pérez , Thierry Priol , André Ribes
17th International Parallel and Distributed Processing Symposium (IPDPS 2003), Apr 2003, Nice/France, France
Conference papers inria-00000134v1
Image document

Local adaptivity to variable smoothness for exemplar-based image denoising and representation

Charles Kervrann , Jérôme Boulanger
[Research Report] PI 1733, 2005, pp.60
Reports inria-00000166v1
Image document

A general criterion for image similarity detection

Frédéric Cao , Patrick Bouthemy
[Research Report] PI 1732, 2005, pp.16
Reports inria-00000157v1
Image document

A Modeling Paradigm for Integrated Modular Avionics Design

Christian Brunette , Romain Delamare , Abdoulaye Gamatié , Thierry Gautier , Jean-Pierre Talpin
[Research Report] PI 1748, 2005, pp.39
Reports inria-00000420v1

Spodoptera genomes in the BIPAA information system

Stéphanie Robin , Fabrice Legeai
International Conference on Management of Destructive Agricultural Pests Spodoptera (Noctuidae), Nov 2017, Chongqing, China
Conference papers hal-04176810v1
Image document

Large-scale Deployment in P2P Experiments Using the JXTA Distributed Framework

Mathieu Jan , Gabriel Antoniu , Luc Bougé , Sébastien Monnet
Euro-Par 2004: Parallel Processing, Aug 2004, Pisa, Italy, Italy. pp.1038-1047
Conference papers inria-00000977v1
Image document

Extending the entry consistency model to enable efficient visualization for code-coupling grid applications

Gabriel Antoniu , Loïc Cudennec , Sébastien Monnet
[Research Report] PI 1779, 2006, pp.17
Reports inria-00001070v1

The dog and rat olfactory receptor repertoires

Pascale Quignon , Mathieu Giraud , Maud Rimbault , Patricia Lavigne , Sandrine Tacher , et al.
Genome Biology, 2005, 6 (10), pp.R83. ⟨10.1186/gb-2005-6-10-r83⟩
Journal articles hal-00107100v1
Image document

Net systems semantics of Web Services Orchestrations modeled in Orc

Sidney Rosario , Albert Benveniste , Stefan Haar , Claude Jard
[Research Report] PI 1780, 2006
Reports inria-00001103v1
Image document

Modèles de Markov cachés et filtrage particulaire

Fabien Campillo
DEA. Université du Sud Toulon-Var, 2006
Lectures inria-00103752v1
Image document

A PCC Architecture based on Certified Abstract Interpretation

Frédéric Besson , Thomas Jensen , David Pichardie
[Research Report] PI 1764, 2005, pp.35
Reports inria-00000866v1
Image document

Chemical Specification of Autonomic Systems

Jean-Pierre Banâtre , Pascal Fradet , Yann Radenac
13th International Conference on Intelligent and Adaptive Systems and Software Engineering, Jul 2004, Nice
Conference papers inria-00000948v1
Image document

Mobility prediction in 4G D-Cov Networks

Mazen Tlais , Frédéric Weis
[Research Report] RR-5628, INRIA. 2005, pp.23
Reports inria-00070380v1
Image document

Enabling JXTA for High Performance Grid Computing

Gabriel Antoniu , Mathieu Jan , David A. Noblet
[Research Report] RR-5488, INRIA. 2005, pp.14
Reports inria-00070519v1
Image document

Verification and Symbolic Test Generation for Safety Properties

Vlad Rusu , Hervé Marchand , Thierry Jéron
[Research Report] RR-5285, INRIA. 2004, pp.20
Reports inria-00070715v1
Image document

Logic Functors: A Toolbox of Components for Building Customized and Embeddable Logics

Sébastien Ferré , Olivier Ridoux
[Research Report] RR-5871, INRIA. 2006, pp.103
Reports inria-00070155v1
Image document

A sequential particle algorithm that keeps the particle system alive

François Le Gland , Nadia Oudjane
[Research Report] RR-5826, INRIA. 2006, pp.35
Reports inria-00070199v1
Image document

Using failure injection mechanisms to experiment and evaluate a hierarchical failure detector

Sébastien Monnet , Marin Bertier
[Research Report] RR-5811, INRIA. 2006, pp.19
Reports inria-00070213v1
Image document

Training and Provision Concerning Power Wheelchair Driving : a Survey Comparing Practices in France and United Kingdom

Emilie Leblong , Bastien Fraudet , Nicolas Benoit , Marie Dandois , Marie Babel , et al.
SOFMER 2020 - 35th Congres de Médecine Physique et de Réadaptation, Oct 2020, Lyon, France
Poster communications hal-03123487v1
Image document

“Doctor, please”: Educating nurses to speak up with interactive digital simulation tablets.

Marie-Stéphanie Bracq , Estelle Michinov , Marie Le Duff , Bruno Arnaldi , Valérie Gouranton , et al.
Clinical Simulation in Nursing, 2021, 54, pp.97-104. ⟨10.1016/j.ecns.2021.01.007⟩
Journal articles hal-03195184v1