Skip to Main content Skip to Navigation


...
hal-01054395v1  Conference papers
Karen FortBruno GuillaumeValentin Stern. ZOMBILINGO : manger des têtes pour annoter en syntaxe de dépendances
TALN - Traitement Automatique des Langues Naturelles, Jul 2014, Marseille, France. pp.15-16
...
hal-01952304v1  Journal articles
Benjamin CamusJulien VaubourgThomas Parisyannick PresseChristine Bourjot et al.  Wrapping DEVS de modèles IP dans MECSYCO pour la co-simulation de systèmes cyber-physiques
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2017, 36 (3-6), pp.185-215. ⟨10.3166/tsi.2017.00010⟩
...
tel-00543961v1  Theses
Charbel Rahhal. Wikis sémantiques distribués sur réseaux pair-à-pair
Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français
hal-01350400v1  Journal articles
Véronique CortierSteve Kremer. Vote par Internet
Interstices, INRIA, 2017
...
hal-00990508v1  Conference papers
Manel TagortiBruno Scherrer. Vitesse de convergence et borne d'erreur pour l'algorithme LSTD($\lambda$)
JFPDA - 9èmes Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes, May 2014, Liège, Belgique
...
edutice-00875615v2  Conference papers
Martine GautierBrigitte Wrobel-Dautcourt. Visualisation dynamique de programmes, artEoz : l'outil qui manquait
Sciences et technologies de l'information et de la communication (STIC) en milieu éducatif, 2013, Clermont-Ferrand, France
hal-00762575v1  Conference papers
Slim OuniLoïc Mangeonjean. VisArtico : visualiser les données articulatoires obtenues par un articulographe
Actes de la conférence conjointe JEP-TALN-RECITAL 2012, Jun 2012, Grenoble, France. pp.129-135
...
hal-01226619v1  Journal articles
Frédéric FondementPierre-Alain MullerBrice WittmanFabrice AmbertFabrice Bouquet et al.  VETESS : IDM, Test et SysML
Génie logiciel, Génie industriel multimédia, 2010, pp.43-48
...
hal-00885965v1  Conference papers
Elias EghoChedy RaïssiToon CaldersNicolas JayAmedeo Napoli. Vers une mesure de similarité pour les séquences complexes
Extraction et gestion des connaissances (EGC'2013), Jan 2013, Toulouse, France. pp.335-340
...
hal-00879614v1  Conference papers
Eric FinickelAbdelkader LahmadiOlivier Festor. Vers une détection automatique des applications malveillantes dans les environnements Android
UbiMob - 9èmes journées francophones Mobilité et Ubiquité - 2013, Jun 2013, Nancy, France
...
hal-00861865v1  Conference papers
My Thao Tangyannick Toussaint. Vers un processus continu d'extraction de connaissances à partir de textes
IC - 24èmes Journées francophones d'Ingénierie des Connaissances, Jul 2013, Lille, France
...
hal-01583863v1  Conference papers
Karën FortBruno GuillaumeNicolas LefèbvreLaura RamírezMathilde Regnault et al.  Vers l'annotation par le jeu de corpus (plus) complexes : le cas de la langue de spécialité
Traitement Automatique des Langues Naturelles (TALN), Jun 2017, Orléans, France
...
tel-00844673v1  Theses
Wilfried Kirschenmann. Vers des noyaux de calcul intensif pérennes
Calcul parallèle, distribué et partagé [cs.DC]. Université de Lorraine, 2012. Français
...
hal-01344905v1  Conference papers
Matthieu Zimmeryann BonifaceAlain Dutech. Vers des architectures acteur-critique neuronales efficaces en données
Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes, Jul 2016, Grenoble, France
inria-00108376v1  Journal articles
Véronique Cortier. Vérifier les protocoles cryptographiques
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2005
inria-00181761v1  Journal articles
yohan BoichutPierre-Cyrille HeamOlga Kouchnarenko. Vérifier automatiquement les protocoles de sécurité
Techniques de l'Ingenieur, Techniques de l'ingénieur, 2007, pp.1-9
...
tel-01767989v1  Theses
Ludovic Robin. Vérification formelle de protocoles basés sur de courtes chaines authentifiées
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0019⟩
hal-00762079v1  Conference papers
Elizabeta FourneretFabrice BouquetMartin OchoaJan JürjensSven Wenzel. Vérification et Test pour des systèmes évolutifs
AFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.150--164
...
hal-01321101v1  Conference papers
Kévin DuarteJean-Marie MonnezEliane Albuisson. Valeur pronostique d'une estimation du volume plasmatique dans l'insuffisance cardiaque
48èmes Journées de Statistique de la Société Française de Statistique, May 2016, Montpellier, France
...
hal-00336411v1  Conference papers
Fabienne Venant. Utiliser des classes de sélection distributionnelle pour désambiguïser les adjectifs
Actes de la 14ème conférence de Traitement automatique des langues naturelles - TALN'07, Jun 2007, Toulouse, France. 10 p
...
hal-03339672v2  Conference papers
youssef AssisLiang LiaoFabien PierreRené AnxionnatErwan Kerrien. Une stratégie de données efficace pour la détection des anévrismes cérébraux avec l'apprentissage profond
ORASIS 2021 - 18èmes journées francophones des jeunes chercheurs en vision par ordinateur, Centre National de la Recherche Scientifique [CNRS], Sep 2021, Saint Ferréol, France
...
hal-02280588v1  Conference papers
Béatrice LinotFrançois CharoyJérôme DinetValerie Shalin. Une perspective computationnelle sur un défi (probable) CRISORSEC
1ère biennale de la sécurité civile : « L’acceptabilité des risques : approches pluridisciplinaires », Ecole nationale supérieure des officiers de sapeurs-pompiers, Jun 2018, Aix-en-Provence, France
...
hal-01560547v1  Conference papers
Timothée Bernard. Une interprétation probabiliste des informations de factivité
24ème Conférence sur le Traitement Automatique des Langues Naturelles, Jun 2017, Orléans, France. pp.69-76
...
hal-00359518v1  Journal articles
Antoine Henrotyannick Privat. Une conduite cylindrique n'est pas optimale pour minimiser l'énergie dissipée par un fluide
Comptes Rendus. Mathématique, Académie des sciences (Paris), 2008, 346 (19-20), pp.1057-1061. ⟨10.1016/j.crma.2008.09.005⟩
...
inria-00449022v1  Journal articles
Laurent BienvenuMathieu Hoyrup. Une brève introduction à la théorie effective de l'aléatoire
Gazette des Mathématiciens, Société Mathématique de France, 2010, 123, pp.35-47
...
hal-00530350v1  Conference papers
Adrian CaciulaRoméo CourbisVioleta FeleaPierre-Cyrille HeamRasvan Ionescu. Une approche parallèle et distribuée pour la complétion d'automates d'arbre
10es Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2010, Jun 2010, Poitiers, France. pp.43
...
hal-00786254v2  Journal articles
Jean-Christophe Bach. Une approche hybride GPL-DSL pour transformer des modèles
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2013, 33 (3), pp.26. ⟨10.3166/tsi.33.175-201⟩
...
hal-01902758v1  Conference papers
Thomas ParisLaurent CiarlettaVincent Chevrier. Une approche composant pour DEVS
JDF 2018 - Les Journées DEVS Francophones, Apr 2018, Cargèse, France
hal-01464484v1  Conference papers
Elias EghoDominique GayNicolas VoisineMarc BoulléFabrice Clérot. Une approche Bayésienne pour l’apprentissage de règles séquentielles de classification
Plateforme de l'Intelligence Artificielle - Applications Pratiques de l'Intelligence Artificielle (PFIA'15), Jul 2015, Rennes, France
...
hal-00601622v1  Conference papers
Maxime AmblardMichel MusiolManuel Rebuschi. Une analyse basée sur la S-DRT pour la modélisation de dialogues pathologiques
Actes de la 18e conférence sur le Traitement Automatique des Langues Naturelles - TALN 2011, Jun 2011, Montpellier, France. pp.93 - 98
...
hal-00736229v1  Conference papers
Matthieu GeistBruno ScherrerAlessandro LazaricMohammad Ghavamzadeh. Un sélecteur de Dantzig pour l'apprentissage par différences temporelles
Journées Francophones sur la planification, la décision et l'apprentissage pour le contrôle des systèmes - JFPDA 2012, May 2012, Villers-lès-Nancy, France. 13 p
...
hal-01054407v1  Conference papers
Guy PerrierMarie CanditoBruno GuillaumeCorentin RibeyreKaren Fort et al.  Un schéma d'annotation en dépendances syntaxiques profondes pour le français
TALN - Traitement Automatique des Langues Naturelles, Jul 2014, Marseille, France. pp.574-579
...
inria-00181135v1  Conference papers
Alain GiorgettiJulien Groslambert. Un programme annoté en vaut deux
Journée Francophone des Langages Applicatifs - JFLA07, Jan 2007, Aix-les-Bains, France
...
inria-00108119v1  Conference papers
Gérald OsterPascal MolliHala Skaf-MolliAbdessamad Imine. Un modèle sûr et générique pour la synchronisation de données divergentes
Premières Journées Francophones : Mobilité et Ubiquité - UbiMob'04, Jun 2004, Nice, France, 9 p
...
inria-00466122v1  Conference papers
Jörn FrankeFrançois CharoyCédric Ulmer. Un modèle centré activité distribué pour la coordination des acteurs de la crise
Workshop Interdisciplinaire sur la Sécurité Globale - WISG'10, Jan 2010, Troyes, France. 7 p
...
hal-02540571v1  Conference papers
Wissem InoubliSabeur AridhiHaithem MezniMondher MaddouriEngelbert Mephu Nguifo. Un algorithme distribué pour le clustering de grands graphes
20ème édition de la conférence francophone "Extraction et gestion des connaissances", Jan 2020, Bruxelles, Belgique
...
inria-00384556v1  Conference papers
Laura KallmeyerWolfgang Maieryannick Parmentier. Un Algorithme d'Analyse de Type Earley pour Grammaires à Concaténation d'Intervalles
Conférence sur le Traitement Automatique des Langues Naturelles - TALN'09, ATALA, Jun 2009, Senlis, France. pp._
...
hal-01403204v1  Conference papers
Agnès Piquard-Kipffer. Un album numérique pour raconter une histoire avec un avatar narrateur
XVIèmes rencontres internationales en orthophonie - Orthophonie et technologies innovantes, Dec 2016, PARIS, France
hal-00751540v1  Journal articles
Nazim Fatès. Turing et la dimension ontologique du jeu
Philosophia Scientiae, Editions Kime, 2012, Alan Turing, 16 (3), pp.7-16
hal-00508922v1  Conference papers
yannick Parmentier. TuLiPA: un environnement d'analyse syntaxico-sémantique pour grammaires d'arbres
First Nancy Workshop on Natural Language Processing (NaTAL'08), Jun 2008, Nancy, France
hal-00925640v1  Conference papers
Anne Bonneau. Troubles du traitement temporel du langage oral : vers des outils en recherche clinique
23eme SFNP congres de la société française de neurologie pédiatrique, SFNP société française de neurologie pédiatrique, Jan 2013, Nancy, France
...
hal-01887884v1  Conference papers
Justine Reynaudyannick ToussaintAmedeo Napoli. Trois approches pour classifier les données du web des données
SFC 2018 - XXVèmes Rencontres de la Société Francophone de Classification, Sep 2018, Paris, France
...
hal-01887820v1  Conference papers
Justine Reynaudyannick ToussaintAmedeo Napoli. Trois approches pour classifier les données du web des données
CNIA/RJCIA 2018 - Conférence Nationale d'Intelligence Artificielle et Rencontres des Jeunes Chercheurs en Intelligence Artificielle, Jul 2018, Nancy, France
hal-00862250v1  Journal articles
Jean-Hyacinthe RamarosonFlorence Le BerBertin RamamonjisoaDominique Hervé. Treillis de Galois pour la fusion de connaissances spatiales sur des territoires villageois malgaches
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2013, 2013 (4-5), pp.595-617
...
tel-03101708v1  Theses
Seny Diatta. Topologie de courbes algébriques planes et projection de surfaces analytiques réelles.
Mathématiques [math]. Université Assane Seck de Ziguinchor (UASZ), 2020. Français. ⟨NNT : 2020UASZ19M2⟩
...
hal-01906519v1  Conference papers
Jean LieberEmmanuel NauerHenri PradeGilles Richard. Tirer parti au mieux des cas sources en raisonnement à partir de cas : approximation, interpolation et extrapolation
JIAF 2018 - 12èmes Journées d'Intelligence Artificielle Fondamentale, Jun 2018, Amiens, France. pp.1-9
...
tel-00765982v2  Habilitation à diriger des recherches
Emmanuel Thomé. Théorie algorithmique des nombres et applications à la cryptanalyse de primitives cryptographiques
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2012
...
hal-02071515v1  Conference papers
Maria Boritchev. Thé, café et licornes -- Traitement de la structure conversationnelle dans la théorie dynamique des types
EJCIM 2019 - École Jeunes Chercheurs et Chercheuses en Informatique Mathématique, Mar 2019, Marseille, France
inria-00429230v1  Journal articles
Frédéric DadeauAmal HaddadThierry Moutet. Test fonctionnel de conformité vis-à-vis d'une politique de contôle d'accès
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2009, Supervision et sécurité dans les grands réseaux, 28 (4), pp.533-563. ⟨10.3166/tsi.28.533-563⟩
...
hal-01239910v1  Conference papers
Agnès Piquard-KipfferOdile MellaJérémy MirandaDenis JouvetLuiza Orosanu. Terminal portable de communication et affichage de la reconnaissance vocale. Enjeux et rapports à l'écrit. Étude préliminaire auprès d'adultes déficients auditifs
Ideki 2015 - 3ème colloque international "Didactiques, Métiers de l’Humain, Intelligence collective : construction de savoirs et de dispositifs didactiques", Dec 2015, Colmar, France. pp.1-15
...
tel-01746342v2  Theses
Guillaume Hoffmann. Tâches de raisonnement en logiques hybrides
Mathématiques [math]. Université Henri Poincaré - Nancy 1, 2010. Français. ⟨NNT : 2010NAN10110⟩
hal-01885979v1  Conference papers
Xavier ManivalLucas NussbaumSébastien DuplessisEmmanuelle Montargès-PelletierPierre Humbert. Table ronde sur les aspects "utilisateurs" : intérêts et retours d’expériences de chercheurs et enseignants-chercheurs du site
Colloque Sciences ouvertes : expériences, enjeux et perspectives, Université de Lorraine; Ministère de l'Enseignement supérieur, de la Recherche et de l'Innovation, Oct 2018, Vandœuvre-lès-Nancy, France
hal-01178316v1  Conference papers
Emmanuelle GaillardJean LieberEmmanuel Nauer. Taaable : un système de raisonnement à partir de cas qui adapte des recettes de cuisine
1ère Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle (APIA 2015), Jul 2015, Rennes, France
inria-00540217v1  Directions of work or proceedings
Khalid Benali. Systèmes d'information collaboratifs. Architectures et modèles
Khalid Benali. 15/3, Lavoisier, pp.138, 2010, Ingénierie des Systèmes d'Information (ISI)
...
hal-00914354v1  Conference papers
Amandine DuboisFrançois Charpillet. Système d'évaluation de la fragilité chez les personnes âgées
JETSAN - Journées d'étude sur la TéléSanté - 2013, May 2013, Fontainebleau, France
...
tel-03050597v1  Theses
Amal Houidhek. Synthèse paramétrique de la parole Arabe
Traitement du signal et de l'image [eess.SP]. Université de Lorraine; Université de Tunis El Manar (Tunisie), 2020. Français. ⟨NNT : 2020LORR0116⟩
...
tel-01293742v1  Theses
Mohammed Anis Mekki. Synthèse et compilation de services web sécurisés
Informatique [cs]. Universite de Lorraine, 2011. Français
...
tel-01536649v1  Theses
Pierre Rolin. Synthèse de vues pour l'initialisation de pose
Vision par ordinateur et reconnaissance de formes [cs.CV]. Université de Lorraine, 2017. Français. ⟨NNT : 2017LORR0025⟩
...
tel-01388378v1  Habilitation à diriger des recherches
Sylvain Lefebvre. Synthèse de textures par l’exemple pour les applications interactives
Synthèse d'image et réalité virtuelle [cs.GR]. Université de Lorraine (Nancy), 2014
...
hal-01104230v1  Poster communications
Pierre-André VuissozFreddy OdilleEmmanuel VincentJacques Felblingeryves Laprie. Synchronisation vocale et mouvement compensé en reconstruction pour une ciné IRM de la parole
2e Congrès de la SFRMBM (Société Française de Résonance Magnétique en Biologie et Médecine), Mar 2015, Grenoble, France
...
hal-00336290v1  Conference papers
Karen FortBruno Guillaume. Sylva : plate-forme de validation multi-niveaux de lexiques
Traitement Automatique des Langues Naturelles, Jun 2008, Avignon, France. pp.0
...
tel-00561061v1  Theses
Christophe Guébert. Suture en chirurgie virtuelle : simulation interactive et modèles hétérogènes
Modélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 2010. Français
...
hal-01671011v1  Conference papers
Miguel CouceiroJimmy DevilletJean-Luc Marichal. Sur les uninormes discrètes idempotentes
LFA 2017 – 26èmes Rencontres Francophones sur la Logique Floue et ses Applications, Oct 2017, Amiens, France
...
hal-03081320v1  Conference papers
Olivier BuffetJilles DibangoyeAurélien DelageAbdallah SaffidineVincent Thomas. Sur le principe d'optimalité de Bellman pour les zs-POSG
JFPDA 2020 - Journées Francophones surla Planification, la Décision et l’Apprentissagepour la conduite de systèmes, Jun 2020, Angers (virtuel), France. pp.1-3
hal-00921291v1  Conference papers
Bruno ScherrerBoris Lesner. Sur l'utilisation de politiques non-stationnaires pour les processus de décision Markoviens à horizon infini
JFPDA - 8èmes Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes - 2013, Jul 2013, Lille, France
...
hal-01656033v1  Conference papers
Miguel CouceiroPierre MercurialiRomain Péchoux. Sur l'efficacité des systèmes de formes normales de fonctions Booléennes
LFA 2017 - 26èmes Rencontres Francophones sur la Logique Floue et ses Applications, Oct 2017, Amiens, France. pp.1-8
hal-01093637v1  Conference papers
Miguel CouceiroErkko LehtonenKarsten Schölzel. Sur des classes de fonctions à seuil caractérisables par des contraintes relationnelles
LFA 2013 - 22ème Rencontres francophones sur la Logique Floue et ses Applications, Oct 2013, Reims, France. pp.145-152
...
hal-01022496v1  Journal articles
Aymen BaouabOlivier PerrinClaude Godart. Supervision et vérification décentralisées de chorégraphies de services
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2014, 19, pp.61-84. ⟨10.3166/isi.19.2.61-84⟩
...
hal-00828498v1  Conference papers
Aymen BaouabOlivier PerrinClaude Godart. Supervision Décentralisée des Chorégraphies de Services
31ème Congrès INFormatique des ORganisations et Systèmes d'Information et de Décision (INFORSID 2013), May 2013, Sorbonne, Paris, France
...
tel-00836717v1  Theses
Imen Jemaa. Suivi de Formants par analyse en Multirésolution
Interface homme-machine [cs.HC]. Université de Lorraine; Faculté des Sciences de Tunis, 2013. Français
...
hal-01266344v1  Conference papers
Sébastien da SilvaFlorence Le BerClaire Lavigne. Structures de haies dans un paysage agricole : une étude par chemin de Hilbert adaptatif et chaînes de Markov
EGC 2016 -- 16èemes Journées Francophones "Extraction et Gestion des Connaissances", Jan 2016, Reims, France. pp.279--290