Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1851

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
List Coloring in the Absence of a Linear Forest

Publié en 2011
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Jean-François COUTURIER, Petr A. GOLOVACH, Dieter KRATSCH, Daniël PAULUSMA
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
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
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
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
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
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
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
Security and Virtualization: a Survey

Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Patrice CLEMENTE, Jonathan ROUZAUD-CORNABAS
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
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
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
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
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, Yannick PARMENTIER, Willy LESAINT, Thi-Bich-Hanh DIEP-DAO
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
Heuristic Method for Discriminative Structure Learning of Markov Logic Networks

Publié en 2010
Type de publication : Autres Publications
Auteur(s) : Matthieu EXBRAYAT, Christel VRAIN, Quang-Thang DINH
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
Adding a referee to an interconnection network: What can(not) be computed in one round.

Publié en 2010
Type de publication : Autres Publications
Auteur(s) : Florent BECKER, Ioan TODINCA, Martin MATAMALA, Nicolas NISSE, Ivan RAPAPORT, Karol SUCHAN
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
Generative structure learning for 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
Property Grammar Parsing Seen as a Constraint Optimization Problem

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Willy LESAINT, Thi-Bich-Hanh DIEP-DAO
Discrete Signal Machine via Pretopology - one step from signal machines to cellular automata

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Vincent LEVORATO, Maxime SENOT
An Information Flow Approach for Preventing Race Conditions: Dynamic Protection of the Linux OS

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Patrice CLEMENTE, Christian TOINARD, Jonathan ROUZAUD-CORNABAS
Protection of a Shared HPC Cluster

Publié en 2010
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, Thibault COULLET, Maxime FONDA
Equational Abstraction Refinement for Certified Tree Regular Model Checking

Publié en 2010
Type de publication : Autres Publications
Auteur(s) : Yohan BOICHUT, Benoît BOYER, Thomas GENET, Axel LEGAY
Abstracting Markov Networks

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christel VRAIN, Lorenza SAITTA
Parallel Computing of Catchment Basin of Rivers in Large Digital Elevation Model

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Emmanuel MELIN, Hiep-Thuan DO
Variante à noyaux pour la classification multi-vues non supervisée

Publié en 2010
Type de publication : Communications sans actes
Auteur(s) : Guillaume CLEUZIOU, Matthieu EXBRAYAT, Jacques-Henri SUBLEMONTIER, Lionel MARTIN
Mandatory access control for shared HPC clusters: setup and performance evaluation

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu BLANC, Jean-François LALANDE
Learning discriminant rules as a minimal saturation search

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christel VRAIN, Matthieu LOPEZ, Lionel MARTIN
Attack model for verification of interval security properties for smart card C codes

Publié en 2010
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
Une modélisation en CSP des grammaires de propriétés

Publié en 2010
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Willy LESAINT, Thi-Bich-Hanh DIEP-DAO
Problèmes d'apprentissage de contraintes

Publié en 2010
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Arnaud LALLOUET, Matthieu LOPEZ, Lionel MARTIN
An $O(n^2)$-time Algorithm for the Minimal Interval Completion Problem

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Christophe CRESPELLE
Etiqueter un corpus oral par apprentissage automatique à l'aide de connaissances linguistiques

Publié en 2010
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sylvie BILLOT, Iris ESHKOL, Isabelle TELLIER, Samer TAALAB
The coordinates of isolated accumulations are exactly computable real numbers

Publié en 2010
Type de publication : Communications sans actes
Auteur(s) : Jérôme DURAND-LOSE

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