 |
 |
 |
|
|
||
|---|---|---|
| hal-01054395v1
Conference papers
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
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
Wikis sémantiques distribués sur réseaux pair-à-pair Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français |
||
|
|
||
| hal-00990508v1
Conference papers
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
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
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
VETESS : IDM, Test et SysML Génie logiciel, Génie industriel multimédia, 2010, pp.43-48 |
||
| hal-00885965v1
Conference papers
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
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 |
||
| tel-00552247v1
Habilitation à diriger des recherches
Vers une approche systémique et multivues pour l'analyse de données et la recherche d'information : un nouveau paradigme Mathématiques [math]. Université Nancy II, 2010 |
||
| tel-01752233v2
Theses
Vers un système de capture du mouvement humain en 3D pour un robot mobile évoluant dans un environnement encombré Intelligence artificielle [cs.AI]. Université de Lorraine, 2016. Français. ⟨NNT : 2016LORR0045⟩ |
||
| hal-00861865v1
Conference papers
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-00600510v1
Conference papers
Vers la détection des dislocations à gauche dans les transcriptions automatiques du Français parlé / Towards automatic recognition of left dislocation in transcriptions of Spoken French Traitement Automatique des Langues Naturelles - TALN'2011, Jun 2011, Montpellier, France. pp.6 |
||
| hal-01583863v1
Conference papers
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
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
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é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
Vérifier automatiquement les protocoles de sécurité Techniques de l'Ingenieur, Techniques de l'ingénieur, 2007, pp.1-9 |
||
| tel-01767989v1
Theses
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
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 |
||
| tel-01751786v2
Theses
Vérification dynamique formelle de propriétés temporelles sur des applications distribuées réelles Informatique [cs]. Université de Lorraine, 2015. Français. ⟨NNT : 2015LORR0090⟩ |
||
| tel-00193300v1
Theses
Vérification des protocoles cryptographiques : Comparaison des modèles symboliques avec une application des résultats --- Etude des protocoles récursifs Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2007. Français |
||
| tel-01749592v3
Theses
Vérification des contraintes temporelles de bout-en-bout dans le contexte AutoSar Systèmes embarqués. Université de Lorraine, 2012. Français. ⟨NNT : 2012LORR0384⟩ |
||
|
|
||
| hal-00913723v1
Other publications
VAMPIRE - Analyse, observation et prévention de vulnérabilités dans l'Internet du futur - Compte-rendu de fin de projet 2013 |
||
| hal-02994505v1
Conference papers
Validation de ER$\alpha$36 comme marqueur prédictif de susceptibilité aux nonylphénols in vivo et in vitro Journée PNR-EST de l’ANSES, Oct 2017, Paris, France |
||
| hal-01321101v1
Conference papers
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
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-03622867v1
Master thesis
Utilisation des modèles thématiques pour détecter les signaux au sein des conversations clients en centre d’appel Informatique [cs]. 2021 |
||
| hal-01294910v1
Preprints, Working Papers, ...
Usages et utilisateurs de Grid’5000: stratégie pour l’accès aux ressources 2016 |
||
| hal-03339672v2
Conference papers
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
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 |
||
| inria-00101058v1
Reports
Une méthodologie d'encapsulation de fonctions C, C++ et FORTRAN dans TCL [Interne] A02-R-097 || magoules02e, 2002, 23 p |
||
| hal-01560547v1
Conference papers
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-00989991v1
Reports
Une étude comparative de quelques schémas d'approximation de type iterations sur les politiques [Rapport de recherche] 2014 |
||
| hal-00359518v1
Journal articles
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
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 |
||
| tel-03598291v1
Theses
Une approche stochastique à base d’arbres aléatoires pour le calcul de dissimilarités : application au clustering pour diverses structures de données Informatique [cs]. Université de Lorraine, 2021. Français. ⟨NNT : 2021LORR0181⟩ |
||
| hal-00530350v1
Conference papers
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
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-00910294v1
Conference papers
Une approche fondée sur le raisonnement à partir de cas pour la mise à jour interactive d'objets du Web sémantique 21ème atelier Français de Raisonnement à Partir de Cas (RàPC), 2013, Lille, France |
||
| hal-01902758v1
Conference papers
Une approche composant pour DEVS JDF 2018 - Les Journées DEVS Francophones, Apr 2018, Cargèse, France |
||
| hal-02161066v1
Conference papers
Une Approche Bayésienne pour la reconnaissance des périodes de sommeil à l'aide de capteurs de mouvement Journées d'Etude sur la TéléSanté, Sorbonne Universités, May 2019, Paris, France |
||
| hal-01464484v1
Conference papers
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
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 |
||
| tel-00919997v1
Theses
Un wiki sémantique pour la gestion des connaissances décisionnelles - Application à la cancérologie Intelligence artificielle [cs.AI]. Université de Lorraine, 2013. Français |
||
| hal-00736229v1
Conference papers
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
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
Un programme annoté en vaut deux Journée Francophone des Langages Applicatifs - JFLA07, Jan 2007, Aix-les-Bains, France |
||
| inria-00000407v1
Other publications
Un outil d'aide à la conception de protocoles cryptographiques 2005 |
||
| hal-00614060v1
Conference papers
Un nouvel algorithme incrémental de gaz neuronal croissant basé sur l'étiquetage des clusters par maximisation de vraisemblance : application au clustering des gros corpus de données textuelles hétérogènes Sixième colloque : Veille Stratégique Scientifique et Technologique - VSST'2010, Oct 2010, Toulouse, France. pp.00 |
||
| inria-00108119v1
Conference papers
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
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-00816149v1
Journal articles
Un exemple d'application des mathématiques à l'environnement littoral : La dynamique à long terme des dunes marines dans les zones soumises à la marée. Modélisation, Analyse, Homogénéisation et Simulation Matapli, Société de Mathématiques Appliquées et Industrielles (SMAI), 2013, pp.129 --140 |
||
| hal-02540571v1
Conference papers
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
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
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
Turing et la dimension ontologique du jeu Philosophia Scientiae, Editions Kime, 2012, Alan Turing, 16 (3), pp.7-16 |
||
| hal-00508922v1
Conference papers
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-01236087v1
Reports
Truffinet": Inférence de réseaux d'interactions microbiennes dans la truffe. Rapport scientique du PEPS Mirabelles 2014 [Rapport de recherche] IECL ; INRIA BIGS. 2015 |
||
| hal-00925640v1
Conference papers
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
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
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
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 |
||
| hal-01188477v1
Conference papers
Transforming quantitative variables into qualitative ones: rationale and method. Application to French intonation. ASI-8, Nov 2015, Radès, France |
||
| hal-00343457v1
Preprints, Working Papers, ...
Tout ce que vous avez toujours voulu savoir sur Maxwell sans jamais oser le demander 2008 |
||
|
|
||
| tel-03101708v1
Theses
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
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
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
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
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
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
Tâches de raisonnement en logiques hybrides Mathématiques [math]. Université Henri Poincaré - Nancy 1, 2010. Français. ⟨NNT : 2010NAN10110⟩ |
||
| hal-01885979v1
Conference papers
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
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
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-01894581v2
Master thesis
Système robuste de diagnostic décentralisé à l'aide d'automates cellulaires simples Automates cellulaires et gaz sur réseau [nlin.CG]. 2018 |
||
| hal-00914354v1
Conference papers
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
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
Synthèse et compilation de services web sécurisés Informatique [cs]. Universite de Lorraine, 2011. Français |
||
| tel-01536649v1
Theses
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
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 |
||
| tel-03079349v1
Theses
Synthèse audiovisuelle de la parole expressive : modélisation des émotions par apprentissage profond Informatique [cs]. Université de Lorraine, 2020. Français. ⟨NNT : 2020LORR0137⟩ |
||
| hal-01104230v1
Poster communications
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-01079273v1
Conference papers
Synchronisation syntaxe-sémantique, des grammaires minimalistes catégorielles (GMC) aux Constraint Languages for Lambda Structures (CLLS) RECITAL, Jun 2005, Dourdan, France. pp.6 - 10 |
||
| hal-00336290v1
Conference papers
Sylva : plate-forme de validation multi-niveaux de lexiques Traitement Automatique des Langues Naturelles, Jun 2008, Avignon, France. pp.0 |
||
| tel-00561061v1
Theses
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 |
||
| tel-00587949v1
Theses
Sur quelques problèmes d'observateurs, Applications à certains modèles d'écosystème aquatique Mathématiques [math]. Université de Ouagadougou, 2009. Français |
||
| hal-01671011v1
Conference papers
Sur les uninormes discrètes idempotentes LFA 2017 – 26èmes Rencontres Francophones sur la Logique Floue et ses Applications, Oct 2017, Amiens, France |
||
| tel-03202757v1
Theses
Sur les systèmes de formes normales pour représenter efficacement des fonctions multivaluées Informatique [cs]. Université de Lorraine, 2020. Français. ⟨NNT : 2020LORR0241⟩ |
||
| hal-03081320v1
Conference papers
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
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
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
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
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
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
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
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 |
||
|
|
||
