Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1779

Reed's Conjecture on hole expansions

Publié en 2012
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Initialization of masses by the Okm for the belief function theory: Application to system biology

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Sébastien REGIS, Andrei DONCESCU, M. TAKIZAWA
Un modèle pour la composition d'applications de visualisation et d'interaction continue avec des simulations scientifiques

Publié en 2012
Type de publication : Thèse
Auteur(s) : Ahmed TURKI
Signal machines: localization of isolated accumulation

Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Jérôme DURAND-LOSE
Unification modulo Chaining

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Christopher BOUCHARD, Paliath NARENDRAN, Michaël RUSINOWITCH
Interactive and progressive constraint definition for dimensionality reduction and visualization

Publié en 2012
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Matthieu EXBRAYAT, Guillaume CLEUZIOU, Frédéric MOAL, Lionel MARTIN
A Branch-and-Reduce Algorithm for Finding a Minimum Independent Dominating Set

Publié en 2012
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Serge GASPERS
Unification modulo Homomorphic Encryption

Publié en 2012
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Hai LIN, Christopher LYNCH, Paliath NARENDRAN, Michael RUSINOWITCH
Exploitation de l'Asymétrie entre Termes pour l'Extraction Automatique de Taxonomies à partir de Textes.

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Davide BUSCALDI, Gaël DIAS, Vincent LEVORATO
Tools for parsimonious edge-colouring of graphs with maximum degree three

Publié en 2012
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Implementation of exponential and parametrized algorithms in the AGAPE project

Publié en 2012
Type de publication : Autres Publications
Auteur(s) : Pascal BERTHOMÉ, Jean-François LALANDE, Vincent LEVORATO
Construction automatique d'applications de visualisation scientifique interactive fortement cohérentes

Publié en 2012
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Ahmed TURKI
On $({K}\_{q},k)$ stable graphs with small $k$

Publié en 2012
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Henri THUILLIER, Jean-Marie VANHERPE, Adam Pawel WOJDA
String rewriting and security analysis: an extension of a result of Book and Otto

Publié en 2012
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Paliath NARENDRAN, Michael RUSINOWITCH
Determining the L(2,1)-Span in Polynomial Space

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Konstanty JUNOSZA-SZANIAWSKI, Jan KRATOCHVIL, Pawel RZAZEWSKI
Universalities in Cellular Automata

Publié en 2012
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Nicolas OLLINGER
Collision-based Computing

Publié en 2012
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Andrew ADAMATZKY
On removable edges in 3-connected cubic graphs

Publié en 2012
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Henri THUILLIER
On $({K}\_{q},k)$ vertex stable graphs with minimum size

Publié en 2012
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Henri THUILLIER, Jean-Marie VANHERPE, Adam Pawel WOJDA
Extension de OKM à la norme L1 et comparaison de classifications recouvrantes

Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Guillaume CLEUZIOU, Francisco DE A. T. DE CARVALHO, Léo ROUSSEAU
High level languages for efficient parallel programming.

Publié en 2012
Type de publication : Conférence donnée sur invitation
Auteur(s) : Sébastien LIMET
L'ordinateur et les langues

Publié en 2012
Type de publication : Autres Publications
Auteur(s) : Jérôme DURAND-LOSE, Yannick PARMENTIER, Gabriel BERGOUNIOUX, Emmanuel SCHANG, Denis MAUREL, Agata SAVARY
Généralisation de la méthode Trier et Chercher : application à des problèmes à machines parallèles

Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Christophe LENTÉ, Ameur SOUKHAL, Vincent T'KINDT
A Grammarware for the Incremental Validation of Integrity Constraints on XML Documents under Multiple Updates

Publié en 2012
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Béatrice BOUCHOU, Maria Adriana LIMA
Scheduling parallel machines with exponential algorithms

Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Christophe LENTÉ, Ameur SOUKHAL, Vincent T'KINDT
Finite State Transducers for Modular Möbius Number Systems

Publié en 2012
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Martin DELACOURT, Petr KURKA
Identification of Overlapping Clusters with Small Overlaps

Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Guillaume CLEUZIOU, Chiheb-Eddine BEN N'CIR, Nadia ESSOUSSI
Abstract geometrical computation 6: a reversible, conservative and rational based model for black hole computation

Publié en 2012
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
Complexité au pire des cas d'algorithmes exponentiels pour des problèmes de séquencement

Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Christophe LENTÉ, Ameur SOUKHAL, Vincent T'KINDT
On Independent Sets and Bicliques in Graphs

Publié en 2012
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Serge GASPERS, Dieter KRATSCH
Maximum Number of Minimal Feedback Vertex Sets in Chordal Graphs and Cographs

Publié en 2012
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Jean-François COUTURIER, Pinar HEGGERNES, Pim VAN ’T HOF, Yngve VILLANGER
Modified Traffic Cellular Automaton for the Density Classification Task

Publié en 2012
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jarkko KARI, Bastien LE GLOANNEC
A note on planar graphs with large width parameters and small grid-minors

Publié en 2012
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Alexander GRIGORIEV, Bert MARCHAL, Natalya USOTSKAYA
Abstract geometrical computation 7: Geometrical accumulations and computably enumerable real numbers

Publié en 2012
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
Int. J. of Foundations of Computer Science, 23(7), Special issue on Frontier between decidability and undecidability and related problems

Publié en 2012
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Maurice MARGENSTERN, Klaus SUTNER
Minimal Dominating Sets in Graph Classes: Combinatorial Bounds and Enumeration

Publié en 2012
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Jean-François COUTURIER, Pinar HEGGERNES, Pim VAN’T HOF, Dieter KRATSCH
Allowing Each Node to Communicate Only Once in a Distributed System: Shared Whiteboard Models

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Florent BECKER, Adrian KOSOWSKI, Nicolas NISSE, Ivan RAPAPORT, Karol SUCHAN
On Finding Optimal Polytrees

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Serge GASPERS, Mikko KOIVISTO, Sebastian ORDYNIAK, Stefan SZEIDER
Scheduling parallel machines with exponential algorithms

Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Christophe LENTÉ, Ameur SOUKHAL, Vincent T'KINDT
Property Grammar Parsing Seen as a Constraint Optimization Problem

Publié en 2012
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Denys DUCHIER, Thi-bich-hanh DIEP-DAO, Yannick PARMENTIER, Willy LESAINT
On $(K_q,k)$ vertex stable with minimum size

Publié en 2012
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Henri THUILLIER, Jean-Marie VANHERPE, Adam Pawel WOJDA
Security and Virtualization: a Survey

Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Patrice CLEMENTE, Jonathan ROUZAUD-CORNABAS
On (K_{q},k) stable graphs with small k

Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Henri THUILLIER, Jean-Marie VANHERPE, Adam Pawel WOJDA
Extensibilité des moyens de traitements pour les données issues des vastes systèmes d'informations géographiques

Publié en 2011
Type de publication : Thèse
Auteur(s) : Hiep-Thuan DO
Integrating pairwise constraints into clustering algorithms: optimization-based approaches

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Matthieu EXBRAYAT, Jacques-Henri SUBLEMONTIER, Lionel MARTIN
Apprentissage de problèmes de contraintes

Publié en 2011
Type de publication : Thèse
Auteur(s) : Matthieu LOPEZ
Chimiothèques ; vers une approche rationnelle de la sélection de sous-chimiothèques

Publié en 2011
Type de publication : Thèse
Auteur(s) : Julie DUBOIS-CHEVALIER
Décompositions de graphes : quelques limites et obstructions

Publié en 2011
Type de publication : Thèse
Auteur(s) : Mathieu CHAPELLE
Statistical relational learning : Structure learning for Markov logic networks

Publié en 2011
Type de publication : Thèse
Auteur(s) : Quang-Thang DINH
Lexical Disambiguation in LTAG using Left Context

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yannick PARMENTIER, Claire GARDENT, Guy PERRIER, Sylvain SCHMITZ

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