Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1779

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
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
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
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
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
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
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
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
Two variants of the OKM for Overlapping Clustering

Publié en 2010
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Guillaume CLEUZIOU
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 BERTHOMÉ, Madiagne DIALLO, Serigne GUEYE
Colorings with Few Colors: Counting, Enumeration and Combinatorial Bounds

Publié en 2010
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Petr A. GOLOVACH, Dieter KRATSCH, Jean-François COUTURIER
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
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
Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML

Publié en 2010
Type de publication : Autres Publications
Auteur(s) : Wadoud BOUSDIRA, Frédéric LOULERGUE, L. GESBERT
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
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
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
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
Functional Term Rewriting Systems

Publié en 2010
Type de publication : Autres Publications
Auteur(s) : Yohan BOICHUT, Jean-Michel COUVREUR, Duy Tung NGUYEN
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
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
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
New Chaotic Permutation Methods for Image Encryption

Publié en 2010
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Awad ABIR, Abdelhakim SAADANE
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
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
Massively Parallel Automata in Euclidean Space-Time

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
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
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
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
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
An Efficient Parallel Algorithm for Evaluating Join Queries on Heterogeneous Distributed Systems

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN
Parallélisme et équilibrage de charges dans le traitement de la jointure sur des architectures distribuées.

Publié en 2009
Type de publication : Thèse
Auteur(s) : Mohamad AL HAJJ HASSAN
Trust and privacy in attribute based access control for collaboration environments

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Patrice CLEMENTE, Waleed SMARI, Jian ZHU
Trust and privacy in attribute based access control for collaboration environments

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Patrice CLEMENTE, Waleed SMARI, Jian ZHU
Integrating Heterogeneous Simulation Codes in FlowVR Interactive Applications

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Ahmed TURKI
CoFKM : a Centralized Method for Multiple-View Clustering

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Matthieu EXBRAYAT, Lionel MARTIN, Jacques-Henri SUBLEMONTIER
Impact of a varying capacity on the all pairs 2-route network flows

Publié en 2009
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Pascal BERTHOMÉ, Madiagne DIALLO, Serigne GUEYE
Formalization of security properties: enforcement for MAC operating systems and verification of dynamic MAC policies

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Jean-François LALANDE
On isomorphic linear partitions in cubic graphs

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Henri THUILLIER, Jean-Marie VANHERPE, Adam Pawel WOJDA
On the perfect matching index of Cubic Graphs

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Impact of a varying capacity on the all pairs 2-route network flows

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pascal BERTHOMÉ, Madiagne DIALLO, Serigne GUEYE
Approches Statistique et Linguistique Pour la Classification de Textes d'Opinion Portant sur les Films

Publié en 2009
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Damien POIRIER, Françoise FESSANT, Cécile BOTHOREL, Emilie GUIMIER DE NEEF, Marc BOULLÉ
The Strong Perfect Graph Conjecture: 40 years of Attempts, and its Resolution

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Florian ROUSSEL, Irena RUSU, Henri THUILLIER
From decomposable to residual theories

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Khalil DJELLOUL

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