Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1752

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

Publié en 2010
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Guillaume CLEUZIOU
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
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
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
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
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
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
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
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
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
On-the-fly Emptiness Check of Transition-Based Streett Automata

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Michel COUVREUR, Alexandre DURET-LUTZ, Denis POITRENAUD
Grammar Error Detection with Best Approximated Parse

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Philippe PROST
Security properties in an open peer-to-peer network

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Christian TOINARD, Jean-François LALANDE, David RODRIGUEZ
An Elementary Chromatic Reduction for Gain Graphs and Special Hyperplane Arrangements

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Pascal BERTHOMÉ, Raul CORDOVIL, David FORGE, Veronique VENTOS, Thomas ZASLAVSKY
How to Tackle Integer Weighted Automata Positivity

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yohan BOICHUT, Pierre-Cyrille HEAM, Olga KOUCHNARENKO
Dedicated smart card security checking based on property driven model

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Francis CHAMBEROT, Xavier KAUFFMANN-TOURKESTANSKY
Unification Modulo Homomorphic Encryption

Publié en 2009
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
An exact algorithm for the Maximum Leaf Spanning Tree problem

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Henning FERNAU, Joachim KNEIS, Dieter KRATSCH, Alexander LANGER, Daniel RAIBLE, Peter ROSSMANITH
Classification non-supervisée de données multi-représentées par une approche collaborative.

Publié en 2009
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Matthieu EXBRAYAT, Lionel MARTIN, Jacques-Henri SUBLEMONTIER
A Multithreaded solving algorithm for QCSP+

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémie VAUTARD, Arnaud LALLOUET
OSL: Optimized Bulk Synchronous Parallel Skeletons on Distributed Arrays

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Noman JAVED
Abstract Geometrical Computation and Computable Analysis

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
Sort and search: Exact algorithms for generalized domination

Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Fedor V. FOMIN, Petr A. GOLOVACH, Jan KRATOCHVIL, Dieter KRATSCH
Annotation fonctionnelle de corpus arborés avec des Champs Aléatoires Conditionnels

Publié en 2009
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Erwan MOREAU, Isabelle TELLIER, Antonio BALVET, Grégoire LAURENCE, Antoine ROZENKNOP, Thierry POIBEAU
Analyse relâchée à base de contraintes

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Philippe PROST
A New Approach to Enforce the Security Properties of a Clustered High-Interaction Honeypot

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Jonathan ROUZAUD-CORNABAS, Yacine ZEMALI
Pathwidth is NP-Hard for Weighted Trees

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Rodica MIHAI
De l'integration de la collaboration au sein du processus de clustering pour le traitement de données multi-représentées

Publié en 2009
Type de publication : Communications sans actes
Auteur(s) : Guillaume CLEUZIOU, Matthieu EXBRAYAT, Jacques-Henri SUBLEMONTIER, Lionel MARTIN
SEC&SI: Un défi pour la réalisation d'un système d'exploitation cloisonné et sécurisé pour l'Internaute: Le Projet SPACLik

Publié en 2009
Type de publication : Conférence donnée sur invitation
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Jonathan ROUZAUD-CORNABAS
The Crotal SRL System : a Generic Tool Based on Tree-structured CRF

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Erwan MOREAU, Isabelle TELLIER
Décidabilité de contraintes du premier ordre par contraintes duales

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Khalil DJELLOUL
Exact Exponential-Time Algorithms for Finding Bicliques in a Graph

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Henning FERNAU, Serge GASPERS, Dieter KRATSCH, Daniel RAIBLE
8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization
Problèmes d'optimisation avec des contraintes quantifiées

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marco BENEDETTI, Arnaud LALLOUET, Jeremie VAUTARD
Un algorithme de décision dans l'algèbre des arbres finis ou infinis et des queues

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO
CoFKM : un modèle de clustering flou collaboratif pour les données multi-représentées

Publié en 2009
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Matthieu EXBRAYAT, Lionel MARTIN, Jacques-Henri SUBLEMONTIER
Toward a real MLS/SELinux system for end users: an empirical study

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Patrice CLEMENTE, Mathieu BLANC, Steve-William KISSI
Enforcement of security properties for dynamic MAC policies

Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Jean-François LALANDE, Mathieu BLANC

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