Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1613

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
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
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
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
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
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
Universalities in Cellular Automata
Publié en 2012
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Nicolas OLLINGER
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
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
Maximum Number of Minimal Feedback Vertex Sets in Chordal Graphs and Cographs
Publié en 2012
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jean-François COUTURIER, Pinar HEGGERNES, Pim VAN ’T HOF, Yngve VILLANGER
Collision-based Computing
Publié en 2012
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Andrew ADAMATZKY
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
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
High level languages for efficient parallel programming.
Publié en 2012
Type de publication : Conférence donnée sur invitation
Auteur(s) : Sébastien LIMET
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
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 : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Maurice MARGENSTERN, Klaus SUTNER
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
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
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
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
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
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
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
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
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
Exponential Algorithms for the Two Parallel Machine Scheduling Problem
Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Christophe LENTÉ, Ameur SOUKHAL, Vincent T'KINDT
Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels
Publié en 2011
Type de publication : Thèse
Auteur(s) : Julien TESSON
A pretopological framework for the automatic construction of lexical-semantic structures from texts
Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Davide BUSCALDI, Vincent LEVORATO, Gaël DIAS
Metaprogrammed algorithmic skeletons : implementations, performances and semantics
Publié en 2011
Type de publication : Thèse
Auteur(s) : Noman JAVED
Detection of Communities in Directed Networks based on Strongly p-Connected Components
Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Vincent LEVORATO, Coralie PETERMANN
Introducing fractal computation
Publié en 2011
Type de publication : Conférence donnée sur invitation
Auteur(s) : Jérôme DURAND-LOSE
Model-Theory of Property Grammars with Features
Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Denys DUCHIER, Thi-bich-hanh DIEP-DAO, Yannick PARMENTIER
GPU-accelerated atom and dynamic bond visualization using hyperballs: a unified algorithm for balls, sticks, and hyperboloids.
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sophie ROBERT, Matthieu CHAVENT, Antoine VANEL, Alex TEK, Bruno LEVY, Bruno RAFFIN, Marc BAADEN
Intégration de contraintes must-link et cannot-link pour la classification : une approche indépendante de l'algorithme
Publié en 2011
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Matthieu EXBRAYAT, Jacques-Henri SUBLEMONTIER, Lionel MARTIN
Cross-framework Grammar Engineering using Constraint-driven Metagrammars
Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Simon PETITJEAN
Simulating physical attacks in smart card C codes: the jump attack case
Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pascal BERTHOME, Karine HEYDEMANN, Xavier KAUFFMANN-TOURKESTANSKY, Jean-François LALANDE
PIGA-HIPS: Protection of a shared HPC cluster
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Damien GROS
PEWS Platform : a web services composition environment
Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Cheikh BA, Martin A. MUSICANTE
Characterizing Conclusive Approximations by Logical Formulae
Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yohan BOICHUT, Thi-bich-hanh DIEP-DAO, Valérie MURAT
An Efficient Skew-insensitive Algorithm for Join Processing on Grid Architectures
Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mostafa BAMHA, Frédéric LOULERGUE, Mohamad AL HAJJ HASSAN
New Tools for Exploring, Analysing and Categorising Medieval Scripts
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Florence CLOPPET, Hani DAHER, Véronique ÉGLIN, Hubert EMPTOZ, Guillaume JOUTEL, Frank LEBOURGEOIS, Lionel MARTIN, Ikram MOALLA, Imran SIDDIQI, Nicole VINCENT
Unification modulo Block Chaining
Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Siva ANANTHARAMAN, Christopher BOUCHARD, Paliath NARENDRAN, Michael RUSINOWITCH
Type System for a Safe Execution of Parallel Programs in BSML
Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Frédéric GAVA, Louis GESBERT
Attribute Grammar for XML Integrity Constraint Validation
Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Béatrice BOUCHOU, Maria Adriana LIMA

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