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


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
...
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
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
hal-00977445v1  Conference papers
Hiyon YooSébastien Le MaguerElisabeth Delais-RoussarieNelly BarbotDamien Lolive. Evaluation d'un algorithme de chunking appliqué à la dictée
JEP - 30ème édition des Journées d'Etudes sur la Parole, Jun 2014, Le Mans, 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-00988584v1  Conference papers
Philippe XuFranck DavoineThierry Denoeux. Transformation de scores SVM en fonctions de croyance
19ème congrès national sur la Reconnaissance de Formes et l'Intelligence Artificielle (RFIA'14), Jun 2014, Rouen, 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
...
tel-01110333v1  Theses
Feng Xing. Méthode de décomposition de domaines pour l’équation de Schrödinger
Analyse numérique [math.NA]. Université Lille 1 - Sciences et Technologies, 2014. Français
...
hal-00911845v1  Book sections
Guillaume WaignierAnne-Françoise Le MeurLaurence Duchien. Contrôle de la fiabilité des logiciels à évoluer : un canevas pour le développement incrémental et itératif de logiciels à composants et orientés service
Abdelhak-Djamel Seriai. Les systèmes logiciels : évolution, maintenance et rénovation (traité IC2, série informatique et si), Hermes Science Publications, 2014
...
tel-00965926v1  Theses
Ahmed Wade. Complexité de l'exploration par agent mobile des graphes dynamiques
Algorithme et structure de données [cs.DS]. Université de Bordeaux, 2014. Français
...
cel-01239701v1  Lectures
Jean Vuillemin. Systeme digital : de l'algorithme au circuit
Licence. Systeme Digital : de l'algorithme au circuit, DI/ENS Paris, France. 2014, pp.275
hal-01350221v1  Journal articles
Emmanuel VincentJoanna Jongwane. Quand les sons se séparent
Interstices, INRIA, 2014
...
hal-01005477v1  Conference papers
Éric Villemonte de la Clergerie. Jouer avec des analyseurs syntaxiques
TALN 2014, ATALA, Jul 2014, Marseilles, France
hal-01090763v1  Books
Guillaume Villemaud. Les communications multi-*
Presses académiques francophones, 2014, 978-3-8381-7436-5
...
hal-00955087v1  Book sections
Thierry ViévilleEstelle Tassy. La physicienne et la prof d'informatique
Serge Abiteboul. http://binaire.blog.lemonde.fr, lemonde.fr, 2014
hal-01104668v1  Conference papers
Maxime VéronOlivier MarinSébastien Monnet. Matchmaking dans les jeux mutlijoueurs en ligne : étudier les traces utilisateurs pour améliorer l’expérience de jeu
Conférence d’informatique en Parallélisme, Architecture et Système, Apr 2014, Neuchâtel, Suisse
...
tel-01111039v1  Theses
Florent Ventimiglia. Schémas numérique d'ordre élevé en temps et en espace pour l'équation des ondes du premier ordre. Application à la Reverse Time Migration.
Equations aux dérivées partielles [math.AP]. Université de Pau et des Pays de l'Adour, 2014. Français
...
tel-01111810v1  Habilitation à diriger des recherches
Nicolas Vauchelet. Contributions mathématiques à l'étude de modèles décrivant le mouvement de particules confinées et de micro-organismes
Equations aux dérivées partielles [math.AP]. Université Pierre et Marie Curie, 2014
hal-01010890v1  Conference papers
Gilles VanwormhoudtBernard CarréOlivier CaronChristophe Tombelle. Recherche de sous-modèles
CIEL 2014, Troisième Conférence en IngénieriE du Logiciel,, Jun 2014, Paris, France. pp.126
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
hal-02997657v1  Journal articles
Egizio ValceschiniBernard Hubert. Un parcours dans les mondes de la recherche agronomique. L’Inra et le Cirad
Histoire de la recherche contemporaine : la revue du Comité pour l’histoire du CNRS , CNRS Éditions, 2014, Tome III (2), pp.106-112. ⟨10.4000/hrc.786⟩
...
tel-01077934v1  Theses
Théophile Trunck. Trigraphes de Berge apprivoisés
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. Français. ⟨NNT : 2014ENSL0929⟩
hal-01147922v1  Directions of work or proceedings
Charlotte Truchet. Revue d'Intelligence Artificielle
France. 28 (5), Hermès, pp.521-636, 2014
...
hal-01091007v1  Conference papers
Delphine TriboutLucie BarquePauline HaasRichard Huyghe. De la simplicité en morphologie
Congrès Mondial de Linguistique Française (CMLF 2014), Jul 2014, Berlin, Allemagne. ⟨10.1051/shsconf/20140801182⟩
...
hal-01089635v1  Conference papers
Molka Tounsi DhouibCatherine FaronArnaud ZuckerOlivier CorbyCatherine Jacquemard et al.  Transformation et visualisation de données RDF à partir d’un corpus annoté de textes médiévaux latins
Atelier Visualisation d’information, fouille visuelle de données, 26e conférence francophone sur l'Interaction Homme-Machine IHM'14, Oct 2014, Lille, France. pp.63-68
...
hal-01096374v1  Conference papers
Bayrem TounsiLuce Brotcorne. Modélisation et résolution d'un problème de gestion d'entrepôt avec prise en compte du transport
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-01027442v1  Conference papers
Adrien TodeschiniFrancois CaronMarie Chavent. Complétion de matrice de rang faible probabiliste à l'aide d'algorithmes de régularisation spectrale adaptatifs
46e Journées de Statistique, Société Française de Statistique, Jun 2014, Rennes, France
hal-01061471v1  Journal articles
Arnaud Tisserand. Circuits électroniques pour la génération de nombres aléatoires
Techniques de l'Ingenieur, Techniques de l'ingénieur, 2014
inserm-00933691v1  Journal articles
Rodolphe ThiébautBoris P. HejblumLaura Richert. L’analyse des « Big Data » en recherche clinique
Epidemiology and Public Health / Revue d'Epidémiologie et de Santé Publique, Elsevier Masson, 2014, 62 (1), pp.1-4. ⟨10.1016/j.respe.2013.12.021⟩
...
hal-01052806v1  Conference papers
Nicolas ThélyFabienne MoreauVincent ClaveauElsa Tolone. La critique d'art au banc d'essai des humanités numériques
Digital intelligence, DI 2014, Sep 2014, Nantes, France. 5 p
...
tel-01099853v1  Theses
Matthieu Texier. Gestion dynamique du parallélisme dans les architectures multi-cœurs pour applications mobiles
Traitement du signal et de l'image [eess.SP]. Université de Rennes 1, 2014. Français
...
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⟩