Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1575

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
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
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
Int. J. Unconventional Computing, 7(4), Special issue on New Worlds of Computation (NWC '09)

Publié en 2011
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE
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
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
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
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
Rice's Theorem for µ-Limit Sets of Cellular Automata

Publié en 2011
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Martin DELACOURT
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
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
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
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
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
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
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
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
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
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
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
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
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
Champs Markoviens Conditionnels pour l'extraction d'information

Publié en 2011
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Isabelle TELLIER, Marc TOMMASI
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
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
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 4: small Turing universal signal machines

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
Cologne-Twente Workshop on Graphs and Combinatorial Optimization CTW 2011

Publié en 2011
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Jean-François COUTURIER, Villa MONDRAGONE, Ludovica ADACHER, Marta FLAMINI, Gianmaria LEO, Gaia NICOSIA, Andrea PACIFICI, Veronica PICCIALLI
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
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
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
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
Good Types are useful for Learning

Publié en 2011
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Isabelle TELLIER, Daniela DUDAU-SOFRONIE
Heuristic Method for Discriminative Structure Learning of Markov Logic Networks

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
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, Willy LESAINT, Yannick PARMENTIER
From a Generic Framework for Expressing Integrity Properties to a Dynamic MAC Enforcement for Operating Systems

Publié en 2010
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Patrice CLEMENTE, Christian TOINARD, Jonathan ROUZAUD-CORNABAS
Prise en compte de connaissances pour la visualisation par l'intégration interactive de contraintes

Publié en 2010
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Guillaume CLEUZIOU, Frédéric MOAL, Lionel MARTIN
On Learning Constraint Problems

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christel VRAIN, Arnaud LALLOUET, Matthieu LOPEZ, Lionel MARTIN
A 3D Data Intensive Tele-immersive Grid

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Emmanuel MELIN, Benjamin PETIT, Thomas DUPEUX, Benoît BOSSAVIT, Joeffrey LEGAUX, Bruno RAFFIN, Jean-Sébastien FRANCO, Ingo ASSENMACHER, Edmond BOYER
Vérification symbolique de modèles à l'aide de systèmes de ré-écriture dédiés

Publié en 2010
Type de publication : Thèse
Auteur(s) : Duy-Tùng NGUYÊN
On $(K_{q},k)$ stable graphs with minimum size-Abstract

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Minimal tree language extensions: a keystone of XML type compatibility and evolution

Publié en 2010
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, Martin A. MUSICANTE
Reducing the Cold-Start Problem in Content Recommendation Through Opinion Classification

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Damien POIRIER, Françoise FESSANT, Isabelle TELLIER
A Distributed and Collaborative Dynamic Load Balancer for Virtual Machine

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jonathan ROUZAUD-CORNABAS

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