Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1613

A reversible and conservative model based on rational signal machines for Black hole computation
Publié en 2010
Type de publication : Communications sans actes
Auteur(s) : Jérôme DURAND-LOSE
The coordinates of isolated accumulations are exactly computable real numbers
Publié en 2010
Type de publication : Communications sans actes
Auteur(s) : Jérôme DURAND-LOSE
Etiqueter un corpus oral par apprentissage automatique à l'aide de connaissances linguistiques
Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sylvie BILLOT, Iris ESHKOL, Isabelle TELLIER, Samer TAALAB
Modeling the Complex Dynamics of Distributed Communities of the Web with Pretopology
Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Vincent LEVORATO, Marc BUI
A Parameterized Route to Exact Puzzles: Breaking the $2^n$-barrier for irredundancy
Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Ljiljana BRANKOVIC, Henning FERNAU, Joachim KNEIS, Dieter KRATSCH, Alexander LANGER, Daniel RAIBLE, Peter ROSSMANITH
A Dynamic End-to-End Security for Coordinating Multiple Protections within a Linux Desktop
Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Martin PERES
Towards Text-Based Recommendations
Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Damien POIRIER, Isabelle TELLIER, Françoise FESSANT, Julien SCHLUTH
QCSP non bloquants : un cas spécial de problèmes quantifiés
Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Arnaud LALLOUET, Jérémie VAUTARD
Modélisation et résolution de problèmes de décision et d'optimisation hiérarchiques en utilisant des contraintes quantifiées
Publié en 2010
Type de publication : Thèse
Auteur(s) : Jérémie VAUTARD
Toward distant interactive VR Visualization of Large Parallel Simulations
Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Emmanuel MELIN, Sophie ROBERT, Simon ARVAUX
Cap Unification: Application to Protocol Security modulo Homomorphic Encryption
Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Hai LIN, Christopher LYNCH, Paliath NARENDRAN, Michael RUSINOWITCH
Semi-join Computation on Distributed File Systems Using Map-Reduce-Merge Model
Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN
La Classification d'Opinion comme préambule à la Recommandation Automatique de Contenus
Publié en 2010
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Damien POIRIER
A Scalable Parallel Algorithm for Join Queries Evaluation on Heterogeneous Distributed Systems
Publié en 2010
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN
Systematic Development of Functional Bulk Synchronous Parallel Programs
Publié en 2010
Type de publication : Autres Publications
Auteur(s) : Frédéric LOULERGUE, Julien TESSON, Zhenjiang HU, Kiminori MATSUZAKI, Louis GESBERT
Seidel complementation on ($P_5$, $House$, $Bull$)-free graphs
Publié en 2010
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
POS-tagging for Oral Texts with CRF and Category Decomposition
Publié en 2010
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Isabelle TELLIER, Iris ESHKOL, Samer TAALAB, Jean-Philippe PROST
Iterative Compression and Exact Algorithms
Publié en 2010
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Fedor V. FOMIN, Serge GASPERS, Dieter KRATSCH, Saket SAURABH
Complexité d'algorithmes exponentiels : application au domaine de l'ordonnancement
Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Christophe LENTÉ, Emmanuel NERON, Ameur SOUKHAL, Vincent T'KINDT
CoFKM : un modèle de clustering flou collaboratif pour les données multi-représentées
Publié en 2010
Type de publication : Communications sans actes
Auteur(s) : Jacques-Henri SUBLEMONTIER
Real-Time Monitoring of Ocaml programs
Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sylvain CONCHON, Jean-Christophe FILLIÂTRE, Fabrice LE FESSANT, Julien ROBERT, Guillaume VON TOKARSKI
Une méthode mixte d'analyse d'un réseau social: classification prétopologique et centralité d'intermédiarité
Publié en 2010
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Vincent LEVORATO
Intégration interactive de contraintes pour la réduction de dimensions et la visualisation
Publié en 2010
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Guillaume CLEUZIOU, Frédéric MOAL, Lionel MARTIN
Intégration interactive de connaissances pour la visualisation de données dans un cadre semi-supervisé
Publié en 2010
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Guillaume CLEUZIOU, Frédéric MOAL, Lionel MARTIN
Apprentissage de spécifications de CSP
Publié en 2010
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Matthieu LOPEZ, Lionel MARTIN
PretopoLib: la librairie JAVA de la Prétopologie
Publié en 2010
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Vincent LEVORATO, Soufian BEN AMOR
Les grammaires à concaténation d'intervalles : un formalisme pivot pour l'analyse syntaxique ?
Publié en 2010
Type de publication : Autres Publications
Auteur(s) : Yannick PARMENTIER
An integrity security property based on information flows : Application to the enforcement of a classical operating system
Publié en 2010
Type de publication : Communications sans actes
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Patrice CLEMENTE, Jonathan ROUZAUD-CORNABAS
Construction géométrique pour résoudre SAT en temps constant
Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Denys DUCHIER, Jérôme DURAND-LOSE, Maxime SENOT
New Chaotic Permutation Methods for Image Encryption
Publié en 2010
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Awad ABIR, Abdelhakim SAADANE
Exact exponential-time algorithms for finding bicliques
Publié en 2010
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Daniel BINKELE-RAIBLE, Henning FERNAU, Serge GASPERS
De la Classification d'Opinion à la Recommandation : l'Apport des Textes Communautaires
Publié en 2010
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Damien POIRIER, Françoise FESSANT, Isabelle TELLIER
On a sub-class of cubic graphs containing the Flower Snarks
Publié en 2010
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Henri THUILLIER, Jean-Marie VANHERPE
Mácajová and \v{S}koviera Conjecture on Cubic Graphs.
Publié en 2010
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
TuLiPA - Parsing Extensions of TAG with Range Concatenation Grammars
Publié en 2010
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Yannick PARMENTIER, Laura KALLMEYER, Wolfgang MAIER, Johannes DELLERT
Program Calculation in Coq
Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Julien TESSON, Hideki HASHIMOTO, Zhenjiang HU, Masato TAKEICHI
Minimal Extensions of Tree Languages: Application to XML Schema Evolution
Publié en 2010
Type de publication : Communications sans actes
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Pierre RETY, Martin A. MUSICANTE
On the Expressive Power of Permanents and Perfect Matchings of Matrices of Bounded Pathwidth/Cliquewidth
Publié en 2010
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Laurent LYAUDET, Uffe FLARUP
On a family of cubic graphs containing the ower snarks
Publié en 2010
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Henri THUILLIER, Jean-Marie VANHERPE
On a family of cubic graphs containing the flower snarks
Publié en 2010
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Henri THUILLIER, Jean-Marie VANHERPE
Two variants of the OKM for Overlapping Clustering
Publié en 2010
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Guillaume CLEUZIOU
A simple framework to generate parallel application for geospatial processing.
Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Emmanuel MELIN, Hélène COULLON
Modélisation Prétopologique pour la Structuration Sémantico-Lexicale
Publié en 2010
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaël DIAS, Vincent LEVORATO
Functional Parallel Programming with Revised Bulk Synchronous Parallel ML
Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Wadoud BOUSDIRA, Frédéric LOULERGUE, Frédéric GAVA, Louis GESBERT, Guillaume PETIOT
Evolution entre 2007 et 2009 de la résistance de Pseudomonas aeruginosa à la ciprofloxacine en fonction de la consommation des fluoroquinolones au CHU d'Angers
Publié en 2010
Type de publication : Communications sans actes
Auteur(s) : Frédéric MOAL, Marie KEMPF, L. WAGNER, Marie Anne CLERC, Jean-Paul KOWALCZYK, Matthieu EVEILLARD, Marie-Laure JOLY-GUILLOU
Initialisation des fonctions de masses par classification recouvrante en théorie des fonctions de croyance. Application aux bioprocédés
Publié en 2010
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Sébastien REGIS, Jean-Gabriel MAIZEROI
Functional Term Rewriting Systems
Publié en 2010
Type de publication : Autres Publications
Auteur(s) : Yohan BOICHUT, Jean-Michel COUVREUR, Duy Tung NGUYEN
Evolution entre 2007 et 2009 de la résistance des Entérobactéries et de Pseudomonas aeruginosa à la ciprofloxacine, en fonction de la consommation de fluoroquinolones au CHU d'Angers
Publié en 2010
Type de publication : Communications sans actes
Auteur(s) : Frédéric MOAL, Marie KEMPF, L. WAGNER, A. ROBELET, Matthieu EVEILLARD, Marie-Laure JOLY-GUILLOU, Marie Anne CLERC
Sensitivity analysis on the all pairs q-route flows in a network
Publié en 2010
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Pascal BERTHOME, Madiagne DIALLO, Serigne GUEYE
OSOM : un algorithme de construction de cartes topologiques recouvrantes
Publié en 2010
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU

Laboratoire d'Informatique Fondamentale d'Orléans

Laboratoire d'Informatique Fondamentale d'Orléans

Laboratoire d'Informatique Fondamentale d'Orléans

Publications HAL du LIFO

Carte

Informations