Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1752

MAC protection of the OpenNebula Cloud environment

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Z. AFOULKI, A. BOUSQUET, J. BRIFFAUT, J. ROUZAUD-CORNABAS, C. TOINARD
Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas OLLINGER, Rodrigo TORRES, Anahi GAJARDO
Okm : une librairie R pour la classification recouvrante

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Léo ROUSSEAU
Metagrammars as Logic Programs

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Simon PETITJEAN
Towards Verified Cloud Computing Environments

Publié en 2012
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, Nikolai KOSMATOV, Matthieu LEMERRE
Weak Inclusion for Recursive XML Types

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pierre RETY, Jacques CHABIN, Joshua AMAVI
Unification modulo Synchronous Distributivity

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Serdar ERBATUR, Christopher LYNCH, Paliath NARENDRAN, Michael RUSINOWITCH
Une librairie de squelettes algorithmiques par blocs sur structure de données 2D

Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Sébastien LIMET, Hélène COULLON
Substitutions and Strongly Deterministic Tilesets

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas OLLINGER, Bastien LE GLOANNEC
Comment ajouter de la privacy after design pour les applications Android ?

Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Pascal BERTHOMÉ, Jean-François LALANDE
On the Formal Verification of Computer Simulations

Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Frédéric LOULERGUE
Décrire la morphologie des verbes en ikota au moyen d'une métagrammaire

Publié en 2012
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Brunelle MAGNANA EKOUKOU, Simon PETITJEAN, Emmanuel SCHANG
19e conférence sur le Traitement Automatique des Langues Naturelles (TALN 2012) - Atelier sur le traitement automatique des langues africaines (TALAf 2012)
Contrôle d'accès mandataire pour Windows 7

Publié en 2012
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Christian TOINARD, Jérémy BRIFFAUT, Damien GROS
SSTIC
Apprentissage automatique d'un chunker pour le français

Publié en 2012
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Denys DUCHIER, Isabelle TELLIER, Iris ESHKOL, Arnaud COURMET, Mathieu MARTINET
Describing Morphologically-rich Languages using Metagrammars: a Look at Verbs in Ikota

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Brunelle MAGNANA EKOUKOU, Simon PETITJEAN, Emmanuel SCHANG
Branch and Learn pour l'acquisition de CSP

Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Christian BESSIERE, Remi COLETTA, Frédéric KORICHE, Arnaud LALLOUET, Matthieu LOPEZ
Analyse Syntaxique par Contraintes pour les Grammaires de Propriétés à Traits

Publié en 2012
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Denys DUCHIER, Thi-bich-hanh DIEP-DAO, Yannick PARMENTIER
Towards a Self-consistent Orbital Evolution for EMRIs

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Alessandro D. A. M. SPALLICCI, P. RITTER, S. JUBERTIE, Sylvaine CORDIER, S. AOUDIA
Advanced MAC in HPC systems: performance improvement

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Damien GROS, Mathieu BLANC
Computing in the fractal cloud: modular generic solvers for SAT and Q-SAT variants.

Publié en 2012
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
Advanced MAC in HPC systems: performance improvement

Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Damien GROS
Classification unilatéralement-connexe prétopologique : une extension de la librairie PretopoLIB

Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Coralie PETERMANN, Vincent LEVORATO, Marc BUI
Reed's conjecture on some special classes of graphs

Publié en 2012
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Bicolored independent sets and bicliques

Publié en 2012
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-François COUTURIER, Dieter KRATSCH
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
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
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

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