Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1575

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
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
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
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
Good Types are useful for Learning
Publié en 2011
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Isabelle TELLIER, Daniela DUDAU-SOFRONIE
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
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
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
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
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
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
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
Champs Markoviens Conditionnels pour l'extraction d'information
Publié en 2011
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Isabelle TELLIER, Marc TOMMASI
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
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
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
On Fulkerson conjecture
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
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
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