HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am.
More information
Skip to Main content
Skip to Navigation
Toggle navigation
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Home
Browse
By authors
By research team
By year
Domain list
By document type
Browse last submissions
Search
Services
HalTools
Folder
CasuHALThon
Search
Les Filtres
Filters
Structure/laboratory: Name ×
All ×
14869 results
save search
Document types
Minimize
Conference papers
(7837)
Journal articles
(2807)
Reports
(1575)
Theses
(798)
Book sections
(592)
Preprints, Working Papers, ...
(363)
Directions of work or proceedings
(268)
Other publications
(184)
Poster communications
(133)
Books
(99)
Habilitation à diriger des recherches
(65)
Master thesis
(65)
Documents associated with scientific events
(27)
Lectures
(22)
Patents
(21)
Software
(9)
Videos
(4)
Author
Minimize
Frédéric Alexandre
(112)
Maxime Amblard
(95)
Rémi Badonnel
(101)
Abdel Belaïd
(180)
Florence Le Ber
(140)
Marie-Odile Berger
(153)
Guillaume Bonfante
(75)
Nacer Boudjlida
(64)
Laurent Bougrain
(99)
Olivier Bournez
(69)
Anne Boyer
(76)
Anne Boyer
(90)
Armelle Brun
(119)
Olivier Buffet
(117)
Christophe Cerisara
(85)
François Charoy
(92)
François Charpillet
(274)
Wahiba Ramdane Cherif-Khettaf
(63)
Vincent Chevrier
(95)
Isabelle Chrisment
(112)
Laurent Ciarletta
(92)
Horatiu Cirstea
(70)
Véronique Cortier
(155)
Miguel Couceiro
(148)
Amos Abayomi David
(83)
Isabelle Debled-Rennesson
(98)
Marie-Dominique Devignes
(130)
Olivier Devillers
(82)
Alain Dutech
(65)
Nazim Fatès
(75)
Olivier Festor
(410)
Dominique Fohr
(173)
Jérôme François
(76)
Didier Galmiche
(65)
Claire Gardent
(132)
Bernard Girau
(99)
Xavier Goaoc
(67)
Claude Godart
(184)
Yann Guermeur
(66)
Bruno Guillaume
(80)
Jens Gustedt
(71)
Jean-Paul Haton
(120)
Axel Hutt
(83)
Irina Illina
(118)
Abdessamad Imine
(82)
Emmanuel Jeannot
(81)
Denis Jouvet
(102)
Bertrand Kerautret
(62)
Erwan Kerrien
(66)
Hélène Kirchner
(106)
Claude Kirchner
(118)
Olga Kouchnarenko
(65)
Abdelkader Lahmadi
(106)
Jean-Charles Lamirel
(214)
David Langlois
(63)
Yves Laprie
(148)
Sylvain Lazard
(121)
Sylvain Lefebvre
(77)
Jean Lieber
(170)
Bruno Lévy
(117)
Bernard Maigret
(76)
Jean-Yves Marion
(140)
Dominique Martinez
(101)
Stephan Merz
(106)
Pascal Molli
(110)
Pierre-Etienne Moreau
(70)
Dominique Méry
(139)
Amedeo Napoli
(471)
Emmanuel Nauer
(77)
Nicolas Navet
(123)
Lucas Nussbaum
(82)
Ammar Oulamara
(105)
Slim Ouni
(90)
Guy Perrier
(80)
Olivier Perrin
(74)
Marie-Claude Portmann
(96)
Christophe Ringeissen
(91)
David Ritchie
(71)
Denis Roegel
(211)
Laurent Romary
(174)
Fabrice Rouillier
(66)
Michaël Rusinowitch
(181)
Bruno Scherrer
(71)
René Schott
(84)
Sahbi Sidhom
(73)
Françoise Simonot-Lion
(131)
Hala Skaf-Molli
(71)
Malika Smaïl-Tabbone
(62)
Kamel Smaïli
(162)
Ye-Qiong Song
(225)
Jeanine Souquières
(65)
Radu State
(143)
Frédéric Sur
(76)
Antoine Tabbone
(175)
Jean-Pierre Thomesse
(91)
Yannick Toussaint
(103)
Emmanuel Vincent
(177)
Laurent Wendling
(67)
Olivier Zendra
(69)
Paul Zimmermann
(110)
Subject field
Minimize
Computer Science [cs]
(13526)
Mathematics [math]
(742)
Engineering Sciences [physics]
(603)
Humanities and Social Sciences
(574)
Life Sciences [q-bio]
(573)
Cognitive science
(466)
Statistics [stat]
(199)
Physics [physics]
(125)
Nonlinear Sciences [physics]
(82)
Chemical Sciences
(39)
Environmental Sciences
(36)
Sciences of the Universe [physics]
(25)
Quantitative Finance [q-fin]
(10)
domain_stic
(10)
domain_other
(2)
Laboratory
Minimize
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(14869)
INRIA Lorraine
(6328)
Inria Nancy - Grand Est
(5533)
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
(640)
Max-Planck-Institut für Informatik
(376)
Inria Sophia Antipolis - Méditerranée
(271)
Inria Grenoble - Rhône-Alpes
(209)
Institut de Recherche en Informatique et Systèmes Aléatoires
(177)
Inria Saclay - Ile de France
(165)
Inria Paris-Rocquencourt
(154)
Centre de Recherche en Automatique de Nancy
(147)
Inria Rennes – Bretagne Atlantique
(144)
Institut de recherche en informatique de Toulouse
(131)
Laboratoire d'Informatique de Paris 6
(119)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(105)
Laboratoire d'InfoRmatique en Image et Systèmes d'information
(103)
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
(97)
SUPELEC-Campus Metz
(97)
Analyse et Traitement Informatique de la Langue Française
(96)
Inria Bordeaux - Sud-Ouest
(95)
Inria Lille - Nord Europe
(94)
Laboratoire Bordelais de Recherche en Informatique
(87)
Laboratoire de l'Informatique du Parallélisme
(86)
Laboratoire Spécification et Vérification [Cachan]
(83)
Laboratoire d'Informatique de Grenoble
(82)
Institut Élie Cartan de Nancy
(79)
Institut de l'information scientifique et technique
(77)
Laboratoire de Recherche en Informatique
(75)
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
(70)
Laboratoire d'Informatique Fondamentale de Lille
(70)
CITI Centre of Innovation in Telecommunications and Integration of services
(55)
Laboratoire d'Hydrologie et de Géochimie de Strasbourg
(52)
Institut Élie Cartan de Lorraine
(48)
Institut Charles Delaunay
(47)
Laboratoire Informatique d'Avignon
(47)
Laboratoire Traitement et Communication de l'Information
(47)
Laboratoire d'Informatique Fondamentale d'Orléans
(47)
Inria de Paris
(46)
Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes
(46)
Institut Pascal
(44)
Laboratoire d'Informatique Gaspard-Monge
(44)
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision
(44)
Laboratoire de Mathématiques
(43)
Maison des Sciences de l'Homme Lorraine
(43)
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
(41)
Laboratoire de Semio-Linguistique, Didactique et Informatique
(38)
Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection
(38)
Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
(37)
VERIMAG
(37)
Centre d'Ecologie Végétale et d'Hydrologie
(36)
Laboratoire d'Informatique de Paris-Nord
(36)
Laboratoire Jean Kuntzmann
(35)
Department of Applied Mathematics - State University Higher School of Economics
(34)
Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur
(34)
Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
(34)
Agro-Systèmes Territoires Ressources Mirecourt
(33)
Computer Vision Center (Centre de visio per computador)
(33)
Laboratoire Informatique, Image et Interaction - EA 2118
(31)
Laboratoire de recherche en Génie Logiciel, Applications distribuées, Systèmes décisionnels et Imagerie intelligente [Manouba]
(31)
Grenoble Images Parole Signal Automatique
(29)
Groupe de Recherche en Informatique, Image et Instrumentation de Caen
(29)
Georgia Tech Lorraine [Metz]
(28)
Institut des Maladies Neurodégénératives [Bordeaux]
(28)
Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg]
(28)
Imagerie Adaptative Diagnostique et Interventionnelle
(27)
PSA Peugeot - Citroën
(27)
Institut des Systèmes Intelligents et de Robotique
(26)
Parallélisme, Réseaux, Systèmes, Modélisation
(25)
Department of Computer Science
(24)
Inria Siège
(24)
Laboratoire d'Informatique de Nantes Atlantique
(24)
Laboratoire d'Intégration des Systèmes et des Technologies
(24)
Physiologie de l'Insecte : Signalisation et Communication
(24)
Sens, Texte, Informatique, Histoire
(24)
Department of Electrical Engineering [Korea Advanced Institute of Science and Technology]
(23)
Département d'informatique [Montréal]
(23)
Institut de Recherche en Communications et en Cybernétique de Nantes
(23)
Laboratoire d'Histoire des Sciences et de Philosophie - Archives Henri Poincaré
(23)
Laboratoire de Conception, Optimisation et Modélisation des Systèmes
(23)
Stanford Center for BioMedical Informatics Research
(23)
INRIA Rocquencourt
(22)
Laboratoire d'Informatique de l'Université du Mans
(22)
Laboratoire des Sciences du Numérique de Nantes
(22)
Laboratoire lorrain de psychologie et neurosciences de la dynamique des comportements
(22)
Ecole Nationale Supérieure d'Informatique et d'Analyses des Systèmes
(21)
Laboratoire Jean Alexandre Dieudonné
(21)
Laboratoire d'Automatique, Génie Informatique et Signal
(21)
Microsoft Research - Inria Joint Centre
(21)
Laboratoire d'analyse et d'architecture des systèmes
(20)
Laboratoire de Linguistique Formelle
(20)
Psychologie Ergonomique et Sociale pour l'Expérience utilisateurs
(20)
Unité de Recherche en Réseaux Radio Mobile Multimédia
(20)
Heuristique et Diagnostic des Systèmes Complexes [Compiègne]
(19)
Institut de Mathématiques de Bordeaux
(19)
International University Bremen
(19)
Laboratoire d'informatique Algorithmique : Fondements et Applications
(19)
Department of Mathematics and Statistics - Southern Illinois University
(18)
LPP - Laboratoire de Phonétique et Phonologie - UMR 7018
(18)
Mathematics Research Unit
(18)
Orange Labs [Lannion]
(18)
Unité de recherche Plantes et Systèmes de Culture Horticoles
(18)
Centrum voor Wiskunde en Informatica
(17)
Laboratoire d'Algorithmique Complexité et Logique
(17)
Laboratoire d'Informatique Paris Descartes
(17)
Centre de Mathématiques et de Leurs Applications
(16)
Department of Computer Science [Santa Barbara]
(16)
Défaillance Cardiovasculaire Aiguë et Chronique
(16)
Laboratoire Systèmes et Transports
(16)
Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
(16)
Technologie de l'Information et de la Communication
(16)
Department of Mathematics and Computer Science
(15)
Dipartimento di Elettronica, Informazione e Bioingegneria
(15)
France Télécom Recherche & Développement
(15)
General Electric Medical Systems [Buc]
(15)
Knowledge Media Institute
(15)
Laboratoire Interuniversitaire des Sciences de l'Education et de la Communication
(15)
Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
(15)
Computer Science Department
(14)
Dipartimento di Informatica [Torino]
(14)
Institut de Mathématiques de Jussieu - Paris Rive Gauche
(14)
Interactions, Corpus, Apprentissages, Représentations
(14)
Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées
(14)
Laboratoire Hubert Curien [Saint Etienne]
(14)
Laboratoire d'Informatique Fondamentale et Appliquée de Tours
(14)
Laboratoire d'Informatique Théorique et Appliquée
(14)
Laboratory of Advanced Software SYstems [Luxembourg]
(14)
Multimedia, InfoRmation systems and Advanced Computing Laboratory
(14)
Sciences et Technologies de la Musique et du Son
(14)
Archives Henri-Poincaré - Philosophie et Recherches sur les Sciences et les Technologies
(13)
Centre de Recherche Public Henri Tudor [Headquarters]
(13)
Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804
(13)
Centre de Recherches Pétrographiques et Géochimiques
(13)
Département Traitement du Signal et des Images
(13)
Laboratoire d'Etudes des Ressources Forêt-Bois
(13)
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
(13)
Laboratorio de Tecnologías de Información de Cinvestav Tamaulipas
(13)
Microsoft Research [Redmond]
(13)
Mitsubishi Electric Research Laboratories
(13)
Royal Military College of Canada
(13)
School of computer science [Ottawa]
(13)
Computer Science & Engineering Department
(12)
Computer Science Department [Bristol]
(12)
Department of Computer Science [Calgary]
(12)
Département de neuroradiologie diagnostique et thérapeutique [CHRU Nancy]
(12)
Faculty of Mathematics and Computer Science [Wroclaw]
(12)
LIP6
(12)
Laboratoire Interdisciplinaire des Environnements Continentaux
(12)
Laboratoire d'informatique GRAphique, VIsion et Robotique de Grenoble
(12)
Linguistique, Langues et Parole
(12)
Modèles, Dynamiques, Corpus
(12)
Praxiling
(12)
School of Computing - Soongsil University, Séoul
(12)
School of Informatics [Edimbourg]
(12)
Cardiovascular and Renal Clinical Trialists [Vandoeuvre-les-Nancy]
(11)
Centre d'investigation clinique plurithématique Pierre Drouin [Nancy]
(11)
Centre de Recherche en Informatique de Paris 1
(11)
Centre de recherche sur l'Information Scientifique et Technique
(11)
Centre interdisciplinaire de recherche en biologie
(11)
Department of Computer and Information Science
(11)
Equipe de Recherche sur les Processus Innovatifs
(11)
Equipes Traitement de l'Information et Systèmes
(11)
GeoRessources
(11)
INRIA Futurs
(11)
Informatique et Distribution
(11)
Institut Camille Jordan [Villeurbanne]
(11)
Institut des Sciences de la Communication du CNRS
(11)
Istituto di Calcolo e Reti ad Alte Prestazioni [Rende]
(11)
Kuban State University [Russie]
(11)
Laboratoire Interdisciplinaire des Sciences du Numérique
(11)
Laboratoire Méthodes Formelles
(11)
Laboratoire d'Informatique et Systèmes
(11)
Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes
(11)
Laboratoire de psychologie de l'interaction et des relations intersubjectives
(11)
Laboratoire Énergies et Mécanique Théorique et Appliquée
(11)
Laboratory for Research on Technology for ECommerce
(11)
Physics Laboratory
(11)
Bolyai Institute [Szeged]
(10)
Departamento de Informatica [Valparaíso, Chile]
(10)
Department of Computer Science [York]
(10)
Department of Computer Science, Vassar College [NY]
(10)
Institut Langevin - Ondes et Images (UMR7587)
(10)
Institut Universitaire de France
(10)
Institut de Recherche en Informatique Fondamentale
(10)
Laboratoire Electronique, Informatique et Image [UMR6306]
(10)
Laboratoire Paul Painlevé - UMR 8524
(10)
Laboratoire d'informatique de l'école normale supérieure
(10)
Laboratoire de Logique, Algorithmique et Informatique
(10)
Laboratoire lorrain de psychologie
(10)
Orange Labs [Chatillon]
(10)
School of Computer Science [Birmingham]
(10)
Service d'Evaluation et Information Médicales [CHRU Nancy]
(10)
State Key Laboratory of Industrial Control Technology
(10)
Unité de Recherche en Programmation Algorithmique et Heuristique
(10)
University of Rhode Island
(10)
CEGELEC
(9)
Centre de Calcul de l'IN2P3
(9)
Centre de Recherche en Informatique de Paris 5
(9)
Computer Vision and Pattern Recognition Unit
(9)
Department of Computer Science [Liverpool]
(9)
Department of Computing and Software
(9)
Language
Minimize
English
(11771)
French
(3057)
Unknown or Invalid Language
(9)
Spanish
(8)
German
(5)
Russian
(4)
Czech
(3)
Ukrainian
(3)
Chinese
(3)
Italian
(2)
Portuguese
(2)
Polish
(1)
Vietnamese
(1)
Keyword
Minimize
Rewriting
(150)
Security
(141)
Réécriture
(133)
Scheduling
(130)
Classification
(119)
Neural networks
(103)
Verification
(103)
Complexity
(99)
Simulation
(98)
Data mining
(94)
Speech recognition
(92)
Refinement
(90)
Ordonnancement
(88)
Validation
(79)
Case-based reasoning
(77)
Real-time
(77)
Formal Concept Analysis
(74)
Modélisation
(71)
Formal concept analysis
(69)
Sécurité
(69)
Adaptation
(67)
Fouille de données
(66)
Formal methods
(64)
Raisonnement à partir de cas
(63)
Réseaux de neurones
(62)
Semantics
(61)
Clustering
(59)
Optimization
(59)
Temps réel
(58)
Intelligence économique
(57)
Privacy
(57)
Apprentissage par renforcement
(55)
Ontology
(55)
Termination
(55)
Vérification
(55)
Machine learning
(53)
Performance evaluation
(51)
Linear logic
(50)
Reinforcement learning
(50)
Speech
(50)
Coordination
(49)
Network management
(49)
Apprentissage
(47)
Complexité
(47)
Reconnaissance de la parole
(47)
Xml
(47)
Segmentation
(46)
Information retrieval
(45)
Uml
(44)
Web services
(43)
Annotation
(42)
Modelling
(42)
Monitoring
(42)
Reconnaissance automatique de la parole
(42)
Sémantique
(42)
Deep learning
(41)
Raffinement
(41)
Term rewriting
(41)
Event-B
(40)
Logique linéaire
(40)
Modeling
(40)
Association rules
(39)
Automated deduction
(39)
Automatic speech recognition
(39)
Multicast
(39)
Robustness
(39)
Economic intelligence
(38)
Interoperability
(38)
Embedded systems
(36)
Learning
(36)
Optimisation
(36)
Performance
(36)
B method
(35)
Constraints
(35)
Java
(35)
Management
(35)
Model checking
(35)
Narrowing
(35)
Parole
(35)
Proof
(35)
Recherche d'information
(35)
Supervision
(35)
Augmented reality
(34)
Induction
(34)
M
(34)
Parallelism
(34)
Parallélisme
(34)
Security protocols
(34)
Spécification
(34)
Strategy
(34)
Workflow
(34)
Document analysis
(33)
Real-time systems
(33)
Web sémantique
(33)
Connexionnisme
(32)
Cooperation
(32)
Cryptographic protocols
(32)
Matching
(32)
Recommender systems
(32)
Systèmes embarqués
(32)
Type of deposit
Minimize
Fulltext
(8454)
Notice
(6342)
Annex
(73)
Year
Minimize
2022
(156)
2021
(578)
2020
(599)
2019
(591)
2018
(586)
2017
(580)
2016
(577)
2015
(679)
2014
(694)
2013
(669)
2012
(611)
2011
(752)
2010
(809)
2009
(740)
2008
(730)
2007
(711)
2006
(652)
2005
(581)
2004
(605)
2003
(586)
2002
(556)
2001
(435)
2000
(462)
1999
(403)
1998
(357)
1997
(56)
1996
(36)
1995
(23)
1994
(13)
1993
(9)
1992
(6)
1991
(7)
1990
(8)
1989
(3)
1988
(2)
1987
(2)
1986
(2)
1985
(2)
1978
(1)
Search
Help
Advanced Search…
Simple search…
Default search field (multi-criteria)
Default search field (multi-criteria)
Default search field (multi-criteria) + PDF full text
Titles
Subtitle
Work title
hal_serie_t
Abstract
Full text of PDF document
Keywords
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author: function
Author: idHal (integer)
Author: Identifier
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
hal_anrProjectAcronymProgram_t
ANR project: Code decision (reference)
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country
Publication date: year
Release date: year
hal_publicationDateY_i
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Add
Successfully saved
My saved searches / my alerts
An error occurred while saving
1
2
3
4
5
6
7
8
9
10
Suivant
Dernière
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
×
Merci d'indiquer la raison de votre demande
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
HTML
Advanced export...
Syndicated feeds
RSS
ATOM
tel-01746555
v1
Theses
Abdessamad Imine
.
Conception Formelle d'Algorithmes de Réplication Optimiste Vers l'Edition Collaborative dans les Réseaux Pair-à-Pair
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2006. Français.
⟨NNT : 2006NAN10184⟩
hal-01762605
v1
Conference papers
Chérifa Ben Khelil
,
Chiraz Zribi
,
Denys Duchier
,
Yannick Parmentier
.
Interface syntaxe-sémantique au moyen d’une grammaire d’arbres adjoints pour l’étiquetage sémantique de l’arabe
25e conférence sur le Traitement Automatique des Langues Naturelles (TALN)
, May 2018, Rennes, France
halshs-00359173
v1
Book sections
Audrey Knauf
,
Stéphane Goria
.
Spécification des métiers et compétences impliqués dans le dispositif régional d'intelligence économique
Ludovic François.
Intelligence Territoriale : L'intelligence économique appliquée au territoire
, Lavoisier, pp.71-86, 2008, TEC & DOC
inria-00108055
v1
Book sections
Ye-Qiong Song
,
Françoise Simonot-Lion
,
Nicolas Navet
.
De l'évaluation de performances du système de communication à la validation de l'architecture opérationnelle - cas du système embarqué dans l'automobile
LISI-ENSMA.
Ecole d'été Temps Réel 1999
, Hermes, 15 p, 1999, 2-9514541-1-2
hal-00596719
v1
Journal articles
Martine Cadot
,
Dhouha El Haj Ali
.
Modélisation et extraction des liens complexes entre variables. Application à des données socio-économiques
Revue des Nouvelles Technologies de l'Information
, Editions RNTI, 2011, RNTI-E-21, pp.27-52
tel-01749632
v2
Theses
Karim Dahman
.
Gouvernance et étude de l'impact du changement des processus métiers sur les architectures orientées services : une approche dirigée par les modèles
Architectures Matérielles [cs.AR]. Université de Lorraine, 2012. Français.
⟨NNT : 2012LORR0241⟩
hal-00764708
v1
Conference papers
Mehdi Felhi
,
Antoine Tabbone
,
Nicolas Bonnier
.
Un nouveau descripteur de texte pour la détection des lignes de texte multi-orientées dans les scènes réelles
7ème Colloque International Francophone sur l'Écrit et le Document - CIFED 2012
, Mar 2012, Bordeaux, France
inria-00000253
v1
Conference papers
Amos Abayomi David
,
Sahbi Sidhom
.
Intégration de la démarche d'Intelligence Économique dans l'architecture fonctionnelle d'un système d'information
Le Système National d'Information Economique : Etat et perspectives
, Centre de Recherche sur l'Information Scientifique et Technique(Cerist) - Algérie, Feb 2005, Alger/Algérie
inria-00186676
v1
Conference papers
Jacques Feldmar
,
Jack Sagot
,
Suignard Philippe
.
L'étude Labiao, une aide à l'intégration des étudiants sourds, un partenariat scientifique et pédagogique
Colloque inaugural de l'INS HEA
, Oct 2006, Surresnes, France
inria-00600218
v1
Conference papers
Mehdi Kaytoue
,
Zainab Assaghir
,
Nizar Messai
,
Amedeo Napoli
.
Complémentarité de deux méthodes de classification pour la construction de treillis de concepts à partir de données numériques
17ème conférence en Reconnaissance des Formes et Intelligence Artificielle
, 2010, Caen, France
tel-00551833
v1
Theses
Cherif Smaili
.
Fusion de données multi-capteurs à l'aide d'un réseau bayésien pour l'estimation d'état d'un véhicule
Informatique [cs]. Université Nancy II, 2010. Français
hal-00644874
v1
Conference papers
Bruno Scherrer
,
Matthieu Geist
.
Moindres carrés récursifs pour l'évaluation off-policy d'une politique avec traces d'éligibilité
6ème Journées Francophones de Planification, Décision et Apprentissage pour la conduite de systèmes - JFPDA 2011
, Jun 2011, Rouen, France
hal-01889791
v1
Conference papers
Tatiana Makhalova
,
Sergei Kuznetsov
,
Amedeo Napoli
.
Как улучшить оценку множеств признаков с помощью принципа минимальной длины описания
RCAI-2018 - Russian Conference on Artificial Intelligence
, Sep 2018, Moscou, Russia
hal-02273253
v1
Conference papers
Laure Crochepierre
,
Antoine Marot
,
Vincent Barbesant
,
Benjamin Donnot
,
Lydia Boudjeloud-Assala
.
Utilisation de réseau de neurones siamois en clustering : application aux événements du réseau électrique français
Rencontres de la Société Francophone de Classification
, Centre de Recherche Inria Nancy Grand Est / LORIA, Sep 2019, Nancy, France
hal-02192794
v1
Conference papers
Tatiana Makhalova
,
Sergei Kuznetsov
,
Amedeo Napoli
.
Майнинг множеств признаков на основе сжатия: вероятностный подход
Proceedings of the 17th Russian Conference on Artificial Intelligence
, Russian Association of Artificial Intelligence; Institute of Control Sciences Academician VA Trapeznikov; Ulyanovsk State Technical University; Federal Research Center “Computer Science and Control”, Oct 2019, Ulyanovsk, Russia. pp.164-172
hal-01402986
v2
Journal articles
Agnès Piquard-Kipffer
,
Tamara Léonova
.
Scolarité et handicap : parcours de 170 jeunes dysphasiques ou dyslexiques- dysorthographiques âgés de 6 à 20 ans
ANAE - Approche Neuropsychologique des Apprentissages Chez L'enfant
, ANAE/PLEIOMEDIA, 2017
hal-02977486
v1
Book sections
Hamid Rahkooy
,
Ovidiu Radulescu
,
Thomas Sturm
.
A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks
Computer Algebra in Scientific Computing: 22nd International Workshop - CASC 2020
, pp.492-509, 2020,
⟨10.1007/978-3-030-60026-6_29⟩
hal-03017913
v1
Preprints, Working Papers, ...
Hamid Rahkooy
,
Ovidiu Radulescu
,
Thomas Sturm
.
A Linear Algebra Approach for Detecting Binomiality of Steady State Ideals of Reversible Chemical Reaction Networks
2020
hal-02153795
v1
Journal articles
Oleksii Avilov
,
Anton Popov
,
Vladimir Timofieiev
,
Laurent Bougrain
,
Patrick Henaff
.
ОЦІНКА ЯКОСТІ УЯВНИХ РУХІВ НА ОСНОВІ МАШИННОГО НАВЧАННЯ ДЛЯ ЗАСТОСУВАННЯ В НЕЙРОКОМП’ЮТЕРНИХ ІНТЕРФЕЙСАХ
Microsystems, Electronics and Acoustics
, Oleksii Viktorovych Bogdanov, 2018, 23 (5), pp.25-31.
⟨10.20535/2523-4455.2018.23.5.134021⟩
inria-00100178
v1
Conference papers
Laurent Wendling
,
Antoine Tabbone
.
Détection de flèches dans des documents techniques à partir d'une agrégation de critères géométriques
14e congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle - RFIA'04
, 2004, Toulouse, France, 10 p
tel-01746757
v1
Theses
Charles Henri Alexandre Tison
.
Mise en oeuvre et évaluation d'interactions multimodales orientées communication appliquées au déplacement d'objets graphiques 3D
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2004. Français.
⟨NNT : 2004NAN10174⟩
tel-01746794
v1
Theses
Mouna Benaïssa
.
Ajustement dynamique du délai de présentation des paquets pour le transport de la voix dans les réseaux ad hoc
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2004. Français.
⟨NNT : 2004NAN10029⟩
tel-01752721
v1
Theses
Chedia Dhaoui
.
Les critères de réussite d'un système d'intelligence économique pour un meilleur pilotage stratégique : Proposition d'un Modèle d'Évaluation de la Réussite d'un Système d'Intelligence Économique MERSIE
Sciences de l'information et de la communication. Université Nancy 2, 2008. Français.
⟨NNT : 2008NAN21004⟩
inria-00099481
v1
Conference papers
Javier-Flavio Vigueras-Gomez
,
Marie-Odile Berger
,
Gilles Simon
.
Calibration multiplanaire d'une caméra : augmenter la stabilité en utilisant la sélection de modèles
Journées Francophones des Jeunes Chercheurs en Vision par Ordinateur - ORASIS'2003
, LORIA, INRIA-Lorraine, 2003, Gérardmer, France, pp.147-156
tel-01746153
v2
Theses
Constantinos Makassikis
.
Conception d'un modèle et de frameworks de distribution d'applications sur grappes de PCs avec tolérance aux pannes à faible coût
Réseaux et télécommunications [cs.NI]. Université Henri Poincaré - Nancy 1, 2011. Français.
⟨NNT : 2011NAN10011⟩
inria-00101049
v1
Reports
David Bellot
,
Anne Boyer
,
François Charpillet
.
Vers une approche formelle de la fusion de données en intelligence artificielle : application en télémédecine
[Interne] A02-R-021 || bellot02a, 2002, 26 p
inria-00099422
v1
Conference papers
Rim Al Hulou
,
Olivier Corby
,
Rose Dieng-Kuntz
,
Jérôme Euzenat
,
Carolina Medina Ramirez
et al.
Une plate-forme XML pour représenter des documents et leur contenu pour la mise en oeuvre du Web sémantique
Journées scientifiques Web sémantique
, Oct 2002, Ivry, France, 7 p
hal-01211604
v1
Poster communications
Hoang Nam Ho
,
Mourad Rabah
,
Samuel Nowakowski
,
Pascal Estraillier
.
Personnalisation interactive de parcours pédagogiques par une méthode de décision multicritère à base de traces
7ème Conférence sur les Environnements Informatiques pour l'Apprentissage Humain
, Jun 2015, Agadir, Maroc. pp.429-431
hal-01405981
v1
Conference papers
Hoang Nam Ho
,
Mourad Rabah
,
Samuel Nowakowski
,
Pascal Estraillier
.
Personnalisation interactive de parcours pédagogiques par une méthode de décision multicritère à base de traces
7ème Conférence sur les Environnements Informatiques pour l'Apprentissage Humain (EIAH 2015)
, Jun 2015, Agadir, Maroc. pp.429-431
hal-00419550
v1
Journal articles
Bertrand Gaiffe
,
Laurent Romary
.
« Ce matin, il pleuvait », ou la référence à l'épreuve du temps.
Langages
, Armand Colin (Larousse jusqu'en 2003), 1993, pp.74-91
hal-01936863
v1
Other publications
Véronique Cortier
,
Pierrick Gaudry
,
Stéphane Glondu
.
(a voté) Euh non : a cliqué
2018
inria-00090488
v3
Reports
Frédéric Blanqui
.
(HO)RPO Revisited
[Research Report] RR-5972, INRIA. 2006, pp.20
hal-03619163
v1
Conference papers
Maxime Amblard
.
(In)Cohérence de la conversation
TAL et Linguistique de corpus
, Oct 2021, Nanterre, France
hal-01655955
v1
Directions of work or proceedings
Maxime Amblard
,
Michel Musiol
,
Manuel Rebuschi
,
Jirka Maršík
,
Stefan Jokulsson
.
(In)Coherence of discourse 3
Dec 2015, Nancy, France. 2015
hal-01655957
v2
Directions of work or proceedings
Maxime Amblard
,
Michel Musiol
,
Manuel Rebuschi
,
Marie-Hélène Pierre
,
Stefan Jokulsson
.
(In)Coherence of discourse 4
Mar 2017, Nancy, France. Published by the authors, 2017
hal-02501028
v1
Directions of work or proceedings
Maxime Amblard
,
Michel Musiol
,
Manuel Rebuschi
.
(In)coherence of Discourse. Formal and conceptual issues of language
Springer, 2021, Language, Cognition and Mind (Chungmin Lee “Editor Springer book series)
inria-00108118
v1
Conference papers
Anis Koubaa
,
Ye-Qiong Song
.
(m,k)-WFQ : Integrating (m,k)-Firm Real-Time Constraints into Guaranteed-Rate Networks
Conference on Real-Time Systems - RTS Embedded Systems 2004
, 2004, Paris/France
inria-00000791
v1
Journal articles
Anis Koubaa
,
Ye-Qiong Song
,
Jean-Pierre Thomesse
.
(m,k)-WFQ : Intégration des contraintes temporelles (m,k)-firm dans les réseaux à débit garanti
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques
, Lavoisier, 2005, 24 (8), pp.1013--1046
hal-00561442
v1
Conference papers
Julien Groslambert
,
Jacques Julliand
,
Olga Kouchnarenko
.
{JML}-based Verification of Liveness Properties on a Class in isolation
SAVCBS'06, Specification and Verification of Component-Based Systems
, 2006, United States. pp.41--48
hal-01247991
v1
Conference papers
Gábor Alagi
,
Christoph Weidenbach
.
{NRCL} - a model building approach to the {Bernays-Schönfinkel} fragment
Frontiers of Combining Systems, 10th International Symposium (FroCos 2015)
, 2015, Wroclaw, Poland. pp.69-84,
⟨10.1007/978-3-319-24246-0_5⟩
hal-00563313
v1
Conference papers
Pierre-Cyrille Heam
,
Vincent Hugot
,
Olga Kouchnarenko
.
{SAT} Solvers for Queries over Tree Automata with Constraints
CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010
, 2010, France
inria-00098735
v1
Reports
Horatiu Cirstea
,
Claude Kirchner
.
$\rho$-Calculus. Its Syntax and Basic Properties
[Intern report] 98-R-218 || cirstea98a, 1998, 16 p
hal-00917754
v1
Journal articles
Paul Zimmermann
.
$10^{2098959}$
La Gazette du CINES
, CINES, 2003
hal-03236655
v1
Poster communications
Anne Poszwa
,
A. Grzesznik
,
Anne Gebhardt
,
A. Agat
,
P. Even
et al.
1400 years of man-environment interactions and soil evolution in the Saint-Mont mountain (Remiremont, Vosges)
Historical Ecology for the future - International conference in historical ecology
, May 2021, Metz, France. 2021
hal-02398024
v1
Directions of work or proceedings
Joe Betser
,
Carol Fung
,
Alexander Clemm
,
Jérôme François
,
Ata Shingo
et al.
16th IFIP/IEEE International Symposium on Integrated Network Management (IM 2019) - Experience Session
IEEE. Apr 2019, Washington, United States. IEEE, 2019
hal-00580197
v1
Books
Isabelle Debled-Rennesson
,
Eric Domenjoud
,
Bertrand Kerautret
,
Philippe Even
.
16th international conference on Discrete Geometry for Computer Imagery
Springer-verlag, pp.529, 2011, LNCS
inria-00618324
v1
Directions of work or proceedings
Florence Le Ber
,
Jean Renaud
.
18ème Atelier "Raisonnement à Partir de Cas" RàPC 2010
Florence Le Ber et Jean Renaud. pp.100, 2010
inria-00070192
v2
Conference papers
Paul Zimmermann
,
Bruce Dodson
.
20 years of ECM
7th Algorithmic Number Theory Symposium (ANTS VII)
, 2006, Berlin/Germany, Germany. pp.525--542
hal-01518764
v1
Conference papers
Jean-Baptiste Mouret
,
Konstantinos Chatzilygeroudis
.
20 Years of Reality Gap: a few Thoughts about Simulators in Evolutionary Robotics
Workshop "Simulation in Evolutionary Robotics", Genetic and Evolutionary Computation Conference
, 2017, Berlin, Germany.
⟨10.1145/3067695.3082052⟩
hal-02400510
v1
Directions of work or proceedings
Dominique Méry
,
Shengchao Qin
.
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE)
Dominique Méry and Shengchao Qin.
Theoretical Aspects of Software Engineering (TASE)
, Guillin, China.
IEEE
, 2019, 978-1-7281-3342-3
1
2
3
4
5
6
7
8
9
10
Suivant
Dernière
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
HTML
Advanced export...
Syndicated feeds
RSS
ATOM
Label
Save
Cancel
Compulsory field(s) not filled in.