Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1752

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
Universalities in Cellular Automata

Publié en 2012
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Nicolas OLLINGER
High level languages for efficient parallel programming.

Publié en 2012
Type de publication : Conférence donnée sur invitation
Auteur(s) : Sébastien LIMET
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
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
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
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
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
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
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
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
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 : Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Maurice MARGENSTERN, Klaus SUTNER
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
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
PREFACE: Special Issue on High-Level Parallel Programming and Applications

Publié en 2011
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Frédéric LOULERGUE, Gaétan HAINS
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
Introducing fractal computation

Publié en 2011
Type de publication : Conférence donnée sur invitation
Auteur(s) : Jérôme DURAND-LOSE
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
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 BERTHOMÉ, 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
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
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
Unification modulo Block Chaining

Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Siva ANANTHARAMAN, Christopher BOUCHARD, Paliath NARENDRAN, Michael RUSINOWITCH
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
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
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
Visual characterization and diversity quantification of chemical libraries: 1. creation of delimited reference chemical subspaces.

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Vincent LE GUILLOUX, Lionel COLLIANDRE, Stéphane BOURG, Guillaume GUÉNEGOU, Julie DUBOIS-CHEVALIER, Luc MORIN-ALLORY
PIGA-Virt: an Advanced Distributed MAC Protection of Virtual Systems

Publié en 2011
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, Emilie LEFEBVRE
SYNEMA: visual monitoring of network and system security sensors

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Patrice CLEMENTE, Aline BOUSQUET, Jean-François LALANDE
Generative Structure Learning for Markov Logic Networks Based on Graph of Predicates

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Christel VRAIN, Quang-Thang DINH
Proceedings of IJCAI 2011
Weak Inclusion for XML Types

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Pierre RETY, Joshua AMAVI
Approaches to Disambiguating Toponyms

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Davide BUSCALDI

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