Skip to Main content Skip to Navigation


hal-01970505v1  Conference papers
Jean-Pierre Chevrot. Acquisition du langage et variétés sociales des langues : quand la sociolinguistique rencontre l’éthologie,
Rencontre des membres grenoblois de l’Institut Universitaire de France, Jun 2014, Grenoble, France
hal-00916970v1  Conference papers
Simon MalinowskiThomas GuyetRené QuiniouRomain Tavenard. 1d-SAX : une nouvelle représentation symbolique pour les séries temporelles
Conférence Extraction et Gestion de Connaissances, Jan 2014, Rennes, France
...
hal-01254247v1  Journal articles
Serge AbiteboulFabien GandonFabian Suchanek. A la recherche des connaissances du Web...
1024 : Bulletin de la Société Informatique de France, Société Informatique de France, 2014, pp.20
hal-00946513v1  Conference papers
Nicolas Dupin. A parallel VNS scheme with ILP neighbourhoods. Applications to industrial problems: Unit Commitment Problems and VRPTW
ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
hal-00946363v1  Conference papers
Andrea GrossoBernardetta AddisGiuliana CarelloElena Tànfani. A rolling horizon framework for the OR planning under uncertain surgery duration: deterministic versus robust approach
ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
hal-00946499v1  Conference papers
Chuan XuAbdel LisserRendl Frenz. A semidefiinite programming relaxation for Vertex Separator Problem
ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
hal-00946325v1  Conference papers
Sofia Zaourar-MichelJérôme Malick. Accélération de la méthode de décomposition de Benders
ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
...
tel-01750793v2  Theses
Jano Yazbeck. Accrochage immatériel sûr et précis de véhicules automatiques
Intelligence artificielle [cs.AI]. Université de Lorraine, 2014. Français. ⟨NNT : 2014LORR0070⟩
hal-01969169v1  Conference papers
Jean-Pierre Chevrot. Acquisition des liaisons, constructions, lexique : une approche basée sur l’usage [conférence invitée]
Centre de Recherche sur le Langage, l’Esprit et le Cerveau, UQAM,, Dec 2014, Montréal, Canada
hal-01969166v1  Conference papers
Jean-Pierre Chevrot. Acquisition du langage et variation sociolinguistique : données et réflexions théoriques pour un domaine en émergence [conférence invitée]
Université Laval, Département de langue, linguistique et traduction, May 2014, Québec, Canada
hal-01970942v1  Conference papers
Jean-Pierre Chevrot. Acquisition du langage et variation sociolinguistique: émergence d’un domaine entre sciences cognitives et sciences sociales [conférence invitée]
Laboratoire Gipsa Lab (UMR 5216), Département Parole et Cognition, CNRS & Grenoble Institut National Polytechnique, Jan 2014, Grenoble, France
...
hal-01187103v1  Directions of work or proceedings
Claude FrassonJean-Marc LabatFabien GandonDavid CassagneClement Jonquet et al.  Actes de la 9ème conférence des Technologies de l’Information et de la Communication pour l’Enseignement (TICE 2014)
Claude Frasson; Jean-Marc Labat; Fabien Gandon; David Cassagne; Clement Jonquet; Stefano A. Cerri; Philippe Pujas. TICE: Technologies de l’Information et de la Communication pour l’Enseignement, Nov 2014, Béziers, France. IUT Béziers, 2014
...
hal-01010292v1  Directions of work or proceedings
Catherine Faron Zucker. Actes des 25es journées francophones d'Ingénierie des Connaissances (IC 2014)
Catherine Faron-Zucker. France. Conférence IC, pp.300, 2014
...
hal-01055907v1  Directions of work or proceedings
Catherine DuboisLaurence DuchienNicole Levy. Actes des Sixièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel
Catherine Dubois; Laurence Duchien; Nicole Levy. France. Conservatoire National des Arts et Métiers, pp.239, 2014
...
hal-01089621v1  Conference papers
Alix GogueyGéry CasiezThomas PietrzakDaniel VogelNicolas Roussel. Adoiraccourcix : Sélection de Commandes sur Écrans Tactiles Multi-Points par Identification des Doigts
Proceedings of the AFIHM Conférence Francophone sur l’interaction Homme-Machine (IHM 2014), Oct 2014, Lille, France. pp.28-37, ⟨10.1145/2670444.2670446⟩
hal-00946389v1  Conference papers
Ons SassiAmmar Oulamara. Affectation des tournées aux véhicules électriques et optimisation de la recharge : complexité et approches de résolution
ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
...
hal-01027719v1  Conference papers
Vincent Claveau. Agrégation de sac-de-sacs-de-mots pour la recherche d'information par modèles vectoriels
14 ème conférence Extraction et Gestion des Connaissances, EGC 2014, Jan 2014, Rennes, France. 6 p
hal-00918432v1  Journal articles
Robin Lamarche-PerrinLucas Mello SchnorrJean-Marc VincentYves Demazeau. Agrégation de traces pour la visualisation de grands systèmes distribués
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2014
...
hal-01097173v1  Conference papers
Lucie MontuelleErwan Le Pennec. Agrégation PAC-bayésienne d'estimateurs par projection
46e Journées de Statistique, SFdS, Jun 2014, Rennes, France
...
hal-01016413v1  Poster communications
Léa Guizol. Agrégation pour la réparation de liens
Catherine Faron-Zucker. IC: Ingénierie des Connaissances, May 2014, Clermont-Ferrand, France. 25es Journées francophones d'Ingénierie des Connaissances, pp.275-277, 2014
...
hal-01065862v1  Conference papers
Damien DosimontGuillaume HuardJean-Marc Vincent. Agrégation temporelle pour l'analyse de traces volumineuses
10ème Atelier en Evaluation de Performances, Jun 2014, Sophia Antipolis, France
hal-01184950v1  Journal articles
Irina IllinaDominique FohrGeorges Linares. Ajout de nouveaux noms propres au vocabulaire d’un système de transcription en utilisant un corpus diachronique
Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2014, 55 (2), pp.47-72
hal-01063499v1  Conference papers
Grégory SmitsOlivier PivertMarie-Jeanne Lesot. Ajustement automatique de vocabulaire expert par scission de modalité
Rencontres Francophones sur la Logique Floue et ses Applications (LFA'14), Oct 2014, Cargèse, France
...
hal-01107721v1  Journal articles
Mathieu GiraudMarc Rigaudière. Algorithmes pour l’analyse de la musique tonale
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2014, Informatique musicale, 33 (7-8), pp.567-586. ⟨10.3166/tsi.33.567-586⟩
...
hal-01111722v1  Conference papers
Fabien Rozar. Amélioration de la Scalabilité Mémoire du code GYSELA
ComPAS, Apr 2014, Neuchâtel, Suisse
hal-01093053v1  Conference papers
Virginie LallemandMaría Naya-Plasencia. Amélioration des attaques différentielles sur KLEIN
Journées Codage et Cryptographie 2014, Mar 2014, Les Sept Laux, France
hal-01092790v1  Conference papers
Anne CanteautJoëlle Roué. Amélioration des critères de résistance aux attaques différentielles
Journées codage et cryptographie 2014, Mar 2014, Les sept Laux, France
hal-01098454v1  Conference papers
Raymond A. MarieSoazic Francisco. Amélioration des performances de soutien par la cannibalisation
19th Congrès de Maîtrise des risques et sûreté de fonctionnement, Oct 2014, Dijon, France
...
hal-00988875v1  Conference papers
Christian BarillotYogesh KarpateAlessandro CrimiOlivier Commowick. Analyse d'images spatio-temporelles dans la Sclérose en Plaques
Reconnaissance de Formes et Intelligence Artificielle (RFIA) 2014, Jun 2014, Rouen, France
hal-01110338v1  Conference papers
Marc BagnolAmina DoumaneAlexis Saurin. Analyse de dépendances et correction des réseaux de preuve
JFLA 2014 - Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France
hal-01080824v1  Journal articles
Dario ColazzoFrançois GoasdouéIoana ManolescuAlexandra Roatis. Analyse de données RDF. Lentilles pour graphes sémantiques
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2014, Gestion de données incertaines et distribuées, 19 (4), pp.87-117. ⟨10.3166/ISI.19.4.87-117⟩
...
tel-01143779v1  Theses
Paul Lemaitre. Analyse de sensibilité en fiabilité des structures
Mécanique des structures [physics.class-ph]. Université de Bordeaux, 2014. Français. ⟨NNT : 2014BORD0061⟩
...
hal-00989532v1  Conference papers
Alexis MartinGeneroso PaganoJérôme CorrenozVania Marangozova-Martin. Analyse de systèmes embarqués par structuration de traces d'exécution
ComPAS 2014 : conférence en parallélisme, architecture et systèmes, Apr 2014, Neuchâtel, Suisse
...
hal-01081503v1  Master thesis
Thomas FradetNicolas Lefèbvre. ANALYSE DE TRACES ET ERGONOMIE, Étude du MOOC COURLIS
Environnements Informatiques pour l'Apprentissage Humain. 2014
hal-01059572v1  Conference papers
Wael Ben MessaoudEric VezzoliMarie-Ange BuenoBetty Lemaire-Semail. Analyse des modulations de frottement par effet squeeze film et électrovibration: validité de la complémentarité
Journées Internationales Francophones de Tribologie - JIFT 2014, Laboratoire de Physique et Mécanique Textiles (LPMT), May 2014, Mulhouse, France
...
tel-01096411v1  Habilitation à diriger des recherches
Jean-Francois Scheid. Analyse et approximation numérique de systèmes d'interaction fluide-structure et de modèles de champ-de-phase
Mathématiques [math]. Université de Lorraine, 2014
hal-00937849v1  Journal articles
Juan David Cruz GomezCécile BothorelFrançois Poulet. Analyse intégrée des réseaux sociaux pour la détection et la visualisation de communautés
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2014, 33 (4), pp.399-427
...
hal-01300059v1  Journal articles
Radhouane Fekih-SalemNahla AbdellatifTewfik SariJérôme Harmand. Analyse mathématique d'un modèle de digestion anaérobie à trois étapes
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2014, 17, pp.53-71
...
hal-01107638v1  Reports
Tangi MigotJocelyne Erhel. Analyse mathématique de modèles géochimiques
[Rapport de recherche] INRIA Rennes, équipe SAGE. 2014
hal-00946357v1  Conference papers
Patricio ReyesAlonso Silva. Analysis of Myopic Network Covering Algorithms.
ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
...
lirmm-01054924v1  Journal articles
Mathieu RocheMaguelonne TeisseireBruno CrémilleuxPierre GançarskiChristian Sallaberry et al.  Animitex : Analyse d'Images fondée sur des Informations Textuelles
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2014, 19 (3), pp.163-167. ⟨10.3199/ISI.18.1.1⟩
...
hal-01096838v1  Poster communications
Elise ArnaudEric BlayoGeorges-Henri CottetAgnès HamonKévin Le Calvez et al.  APP pour les maths en L1
Journée APP, Jun 2014, Grenoble, France. 2014
...
tel-01073518v2  Theses
Eric Heitz. Apparence multi-échelles pour le rendu réaliste et efficace des surfaces complexes
Traitement des images [eess.IV]. Université de Grenoble, 2014. Français. ⟨NNT : 2014GRENM046⟩
hal-01078220v1  Journal articles
Gregor GösslerDaniel Le MétayerEduardo MazzaMarie-Laure PotetLacramioara Astefanoaei. Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2014, 33 (1-2), pp.63-84. ⟨10.3166/tsi.33.63-84⟩
hal-01063853v1  Books
Sylvain ConchonJean-Christophe Filliâtre. Apprendre à programmer avec OCaml
Eyrolles, pp.429, 2014, Noire, 9782212136784
hal-01098686v1  Conference papers
Mehdi FelhiAntoine TabboneMaria-Valezzka Ortiz-Segovia. Approche hybride de segmentation de page à base d'un descripteur de traits
Colloque International Francophone sur l’Écrit et le Document (CIFED), Mar 2014, Nancy, France
hal-01254452v1  Journal articles
Mehdi FelhiAntoine TabboneMaria V. Ortiz Segovia. Approche hybride de segmentation de pages à base d’un descripteur de traits
Revue des Sciences et Technologies de l'Information (Série IDocument Numérique), 2014, 17 (3), ⟨10.3166/dn.17.3.9-30⟩
hal-01096245v1  Book sections
Dumitru Potop-ButucaruYves Sorel. Approche synchrone et ordonnancement
Maryline Chetto. Ordonnancement dans les systèmes temps réel, ISTE, 2014, 978-1-78405-039-9
hal-01062855v1  Conference papers
Christophe NivotFrançois DufourBenoîte de Saporta. Approximation de problèmes d'arrêt optimal dans un cadre partiellement observable
Meeting on Reliability, Security and Quality Assurance, 2014, Talence, France
...
tel-00904887v2  Theses
Pierre Glanc. Approximation numérique de l'équation de Vlasov par des méthodes de type remapping conservatif
Equations aux dérivées partielles [math.AP]. Université de Strasbourg, 2014. Français
hal-00913503v1  Book sections
Elisa NakagawaFlavio OquendoJosé Carlos Maldonado. Architectures de référence : concepts et processus
Architectures logicielles : principes, techniques et outils, Hermès Sciences, pp.1-34, 2014, 978-2-7462-4517-4
hal-01057115v1  Book sections
Mohamed ZouariMaria-Teresa SegarraKhalil Drira. Architectures logicielles et outils : gestion distribuée et coordonnée de la reconfiguration dynamique (Chap. 8)
Architectures logicielles : Principes, techniques et outils, Editions Hermes Sciences-Lavoisier, 44p., 2014, Informatique et systèmes d'information : Recherche, technologie, applications, 978-2-7462-4517-4
hal-01098109v1  Book sections
Mathieu AcherPhilippe ColletPhilippe Lahire. Architectures logicielles et variabilité multiple
Architectures logicielles : principes, techniques et outils, Lavoisier, 2014
hal-00770580v1  Book sections
Leila AmgoudPhilippe BesnardClaudette CayrolPhilippe ChatalicMarie-Christine Lagasquie-Schiex. Argumentation et raisonnement en présence de contradictions
Pierre Marquis and Odile Papini and Henri Prade. Panorama de l'intelligence artificielle Ses bases méthodologiques, ses développements, 1, Cépaduès, 2014, Représentation des connaissances et frtomalisation des raisonnements
...
hal-00942711v1  Conference papers
Vincent ChabotMaëlle NodetNicolas PapadakisArthur Vidard. Assimilation de séquences d'images : vers une prise en compte des corrélations spatiales au sein des erreurs d'observation
EGC 2014 - 14èmes journées Francophones "Extraction et Gestion des Connaissances", Jan 2014, Rennes, France. pp.1-11
...
lirmm-01104196v1  Book sections
Tarek ZernadjiChouki TibermacineRégis FleurquinSalah Sadou. Assistance à l’évolution du logiciel dirigée par la qualité
Évolution et maintenance des systèmes logiciels, 2014, Chapitre 9, 9782746245549
tel-01111858v1  Habilitation à diriger des recherches
Christine Azevedo Coste. Assistance fonctionnelle : exploiter les fonctions résiduelles du système sensori-moteur déficient
Sciences de l'ingénieur [physics]. Université Montpellier 2, 2014
...
hal-01091327v1  Conference papers
E GodefroyEric TotelM HurfinF MajorczykA Maaroufi. Automatiser la construction de règles de corrélation : prérequis et processus
C&ESAR 2014 - Détection et réaction face aux attaques informatiques, Nov 2014, Rennes, France. pp.9
hal-01063411v1  Book sections
Nicole BidoitPatrick BoscLaurence CholvyOlivier PivertMarie-Christine Rousset. Bases de données et intelligence artificielle
Pierre Marquis and Odile Papini and Henri Prade. Panorama actuel de l'intelligence artificielle: ses bases méthodologiques, ses développements, Cépaduès, 2014
...
hal-01089616v1  Poster communications
Charles PerinPierre DragicevicJean-Daniel Fekete. Bertifier: New Interactions for Crafting Tabular Visualizations
IHM'14, 26e conférence francophone sur l'Interaction Homme-Machine, Oct 2014, Lille, France. pp.16-17, 2014
...
hal-01077506v3  Book sections
Yann Ponty. Bio-algorithmique des ARN : petite promenade aux interfaces
Eric Sopena. 1024 - Bulletin de la société informatique de France, 4, SIF, pp.23--53, 2014
hal-02795516v1  Book sections
François CosteClaire NédellecThomas SchiexJean-Philippe Vert. Bioinformatique
Panorama de l'Intelligence Artificielle : Vol 3 : L'intelligence artificielle : frontières et applications, 3, Cepadues Editions, 374 p., 2014, 9782364930438
hal-00857379v1  Book sections
François CosteClaire NédellecThomas SchiexJean-Philippe Vert. Bioinformatique
Pierre Marquis and Odile Papini and Henri Prade. Panorama de l'intelligence artificielle Ses bases méthodologiques, ses développements, 3, Cépaduès, 2014
...
hal-01098841v1  Book sections
Olivier Colliot. Biomarqueurs IRM de la maladie d’Alzheimer : apport du traitement des images
Tillement Jean-Paul; Hauw Jean-Jacques; Papadopoulos Vassilios. Vieillissement et démences : un défi médical, scientifique et socio-économique, Lavoisier, pp.25-37, 2014, Rapports de l’Académie Nationale de Médecine
...
tel-01066752v1  Theses
Sébastien Tavenas. Bornes inférieures et supérieures dans les circuits arithmétiques
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. Français. ⟨NNT : 2014ENSL0921⟩
hal-00946285v1  Conference papers
Sylvie BornePierre FouilhouxRoland GrappeMathieu LacroixPierre Pesneau. Branch-and-Cut algorithm for the connected-cut problem
ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France
hal-01078400v1  Books
Martin AndlerLiliane BelSylvie Benzoni-GavageThierry GoudonCyril Imbert et al.  Brèves de maths
Nouveau Monde Editions, 2014, 978-2-36583-896-2
...
hal-01093131v1  Poster communications
Jason LambertGilles RougeronLionel Lacassagne. Calcul de champ ultrasonore interactif pour le contrôle non destructif
LES JOURNÉES COFREND 2014, May 2014, Bordeaux, France
...
hal-00985582v1  Conference papers
Antonia MasucciCédric Adjih. Capacité de Diffusion avec Codage Réseau dans les Grilles Toriques
ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4
hal-01101292v1  Conference papers
Louise van OudenhoveLudovic MailleretXavier Fauvergue. Caractérisation des réponses des parasitoïdes aux défenses induites des plantes
Entomophagistes, Université Catholique de Louvain (UCLouvain). BEL. Earth and Life Institute., 2014, Louvain-la-Neuve, Belgique