Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1635

Des textes communautaires à la recommandation

Publié en 2011
Type de publication : Thèse
Auteur(s) : Damien POIRIER
Toponym Disambiguation in Information Retrieval

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Davide BUSCALDI
A New Chaos-Based Cryptosystem for Secure Transmitted Images

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Awad ABIR
8ème édition de l'atelier "Fouille de données complexes" : complexité liée aux données multiples

Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Guillaume CLEUZIOU, Cyril DE RUNZ, Mustapha LEBBAH, Cédric WEMMERT
Apprentissage génératif de la structure de réseaux logiques de Markov à partir d'un graphe des prédicats

Publié en 2011
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Christel VRAIN, Quang-Thang DINH
Interconnection network with a shared whiteboard: Impact of (a)synchronicity on computing power

Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Florent BECKER, Adrian KOSOWSKI, Nicolas NISSE, Ivan RAPAPORT, Karol SUCHAN
On Fulkerson conjecture

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Towards Finding Optimal Polytrees

Publié en 2011
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Serge GASPERS, Mikko KOIVISTO, Sebastian ORDYNIAK, Stefan SZEIDER
An exact algorithm for connected red-blue dominating set

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Faisal ABU-KHZAM, Amer MOUAWAD
Bulking I: an Abstract Theory of Bulking

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Nicolas OLLINGER, Marianne DELORME, Jacques MAZOYER, Guillaume THEYSSIER
Cologne-Twente Workshop on Graphs and Combinatorial Optimization CTW 2011

Publié en 2011
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jean-François COUTURIER, Villa MONDRAGONE, Ludovica ADACHER, Marta FLAMINI, Gianmaria LEO, Gaia NICOSIA, Andrea PACIFICI, Veronica PICCIALLI
From Manual Cyber Attacks Forensic to Automatic Characterization of Attackers' Profiles J. Briffaut, P. Clemente, J.-F. Lalande, J. Rouzaud-Cornabas

Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Jérémy BRIFFAUT, Patrice CLEMENTE, Jean-François LALANDE, Jonathan ROUZAUD-CORNABAS
An exact algorithm for the Maximum Leaf Spanning Tree problem

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Henning FERNAU, Joachim KNEIS, Dieter KRATSCH, Alexander LANGER, Daniel RAIBLE, Peter ROSSMANITH
Branch and Recharge: Exact Algorithms for Generalized Domination

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Fedor V. FOMIN, Petr A. GOLOVACH, Jan KRATOCHVIL, Dieter KRATSCH
Reconstruire un graphe en une ronde

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Florent BECKER, Ioan TODINCA, Martin MATAMALA, Nicolas NISSE, Ivan RAPAPORT, Karol SUCHAN
Abstract geometrical computation 5: embedding computable analysis

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
Sort & Search Exponential-Time Algorithms for Scheduling Problems,

Publié en 2011
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Christophe LENTÉ, Ameur SOUKHAL, Vincent T'KINDT
Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML

Publié en 2011
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Wadoud BOUSDIRA, Frédéric LOULERGUE, Louis GESBERT
Verification of a Heat Diffusion Simulation written with Orléans Skeleton Library

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, Noman JAVED
Breaking the $2^n$-barrier for Irredundance: Two lines of attack

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Daniel BINKELE-RAIBLE, Ljiljana BRANKOVIC, Marek CYGAN, Henning FERNAU, Joachim KNEIS, Dieter KRATSCH, Alexander LANGER, Marcin PILIPCZUK, Peter ROSSMANITH, Jakub Onufry WOJTASZCZYK
Bulking II: Classifications of cellular automata

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Nicolas OLLINGER, Marianne DELORME, Jacques MAZOYER, Guillaume THEYSSIER
Parallel Programming and Performance Predictability with Orléans Skeleton Library

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, Noman JAVED
Security and Virtualization: a Survey

Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Patrice CLEMENTE, Jonathan ROUZAUD-CORNABAS
Clustering multi-vues : une approche centralisée

Publié en 2011
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Matthieu EXBRAYAT, Jacques-Henri SUBLEMONTIER, Lionel MARTIN
Calculs parallèles pour le traitement des gros volumes de données liées aux risques environnementaux.

Publié en 2011
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Sébastien LIMET, Emmanuel MELIN, Sophie ROBERT, Hélène COULLON, Audrey LATAPIE, Daniel PIERRE, Xavier THOMAS
Exact Algorithm for the Maximum Induced Planar Subgraph Problem

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Fedor V. FOMIN, Yngve VILLANGER
Informative Polythetic Hierarchical Ephemeral Clustering

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaël DIAS, David MACHADO
Algorithmes Exponentiels Pour Des Problèmes D'Ordonnancement à Une Machine Et Machines Parallèles

Publié en 2011
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Christophe LENTÉ, Ameur SOUKHAL, Vincent T'KINDT
Good Types are useful for Learning

Publié en 2011
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Isabelle TELLIER, Daniela DUDAU-SOFRONIE
Prototyping a Library of Algorithmic Skeletons with Bulk Synchronous Parallel ML

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, Wadoud BOUSDIRA, Noman JAVED, Julien TESSON
Abstract geometrical computation 4: small Turing universal signal machines

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
Functional Term Rewriting Systems towards Symbolic Model-Checking

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Yohan BOICHUT, Jean-Michel COUVREUR, Duy Tung NGUYEN
An Information Flow Approach for Preventing Race Conditions: Dynamic Protection of the Linux OS

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Patrice CLEMENTE, Christian TOINARD, Jonathan ROUZAUD-CORNABAS
Champs Markoviens Conditionnels pour l'extraction d'information

Publié en 2011
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Isabelle TELLIER, Marc TOMMASI
Annoter ESLO1 par des cascades de transducteurs et par apprentissage automatique

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Iris ESHKOL-TARAVELLA, Denis MAUREL, Isabelle TELLIER, Nathalie FRIBURGER, Samer TAALAB
Rice's Theorem for µ-Limit Sets of Cellular Automata

Publié en 2011
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Martin DELACOURT
On minimum (Kq; k) stable graphs

Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Henri THUILLIER, Jean-Marie VANHERPE, Adam Pawel WOJDA
Int. J. Unconventional Computing, 7(4), Special issue on New Worlds of Computation (NWC '09)

Publié en 2011
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE
Exponential-time algorithms for scheduling problems

Publié en 2011
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Christophe LENTÉ, Ameur SOUKHAL, Vincent T'KINDT
Exact Algorithms for L(2,1)-Labeling of Graphs

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Frédéric HAVET, Martin KLAZAR, Jan KRATOCHVIL, Dieter KRATSCH
A Formal Programming Model of Orléans Skeleton Library

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, Noman JAVED
Adding a referee to an interconnection network: What can(not) be computed in one round.

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Florent BECKER, Ioan TODINCA, Martin MATAMALA, Nicolas NISSE, Ivan RAPAPORT, Karol SUCHAN
Acquisition de structures lexico-sémantiques à partir de textes : un nouveau cadre de travail fondé sur une structuration prétopologique

Publié en 2011
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaël DIAS, Vincent LEVORATO
Information Digestion

Publié en 2010
Type de publication : HDR
Auteur(s) : Gaël DIAS
Systematic Development of Correct Bulk Synchronous Parallel Programs

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, Louis GESBERT, Zhenjiang HU, Kiminori MATSUZAKI, Julien TESSON
Formalisation de propriétés de sécurité pour la protection des systèmes d'exploitation

Publié en 2010
Type de publication : Thèse
Auteur(s) : Jonathan ROUZAUD-CORNABAS
Fractal parallelism: Solving sat in bounded space and time

Publié en 2010
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
Discriminative Markov Logic Network Structure Learning based on Propositionalization and chi 2-test

Publié en 2010
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
On measures of the edge uncolorability of graphs with maximum degree thre

Publié en 2010
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET
Une Modélisation des Grammaires de Propriétés sous forme de Problème de Satisfaction de Contraintes

Publié en 2010
Type de publication : Autres Publications
Auteur(s) : Denys DUCHIER, Thi-bich-hanh DIEP-DAO, Yannick PARMENTIER, Willy LESAINT

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