Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1590

OSL: Optimized Bulk Synchronous Parallel Skeletons on Distributed Arrays
Publié en 2009
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 and Computable Analysis
Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
Sort and search: Exact algorithms for generalized domination
Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Fedor V. FOMIN, Petr A. GOLOVACH, Jan KRATOCHVIL, Dieter KRATSCH
Analyse relâchée à base de contraintes
Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Philippe PROST
Annotation fonctionnelle de corpus arborés avec des Champs Aléatoires Conditionnels
Publié en 2009
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Erwan MOREAU, Isabelle TELLIER, Antonio BALVET, Grégoire LAURENCE, Antoine ROZENKNOP, Thierry POIBEAU
A New Approach to Enforce the Security Properties of a Clustered High-Interaction Honeypot
Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Jonathan ROUZAUD-CORNABAS, Yacine ZEMALI
Pathwidth is NP-Hard for Weighted Trees
Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Rodica MIHAI
De l'integration de la collaboration au sein du processus de clustering pour le traitement de données multi-représentées
Publié en 2009
Type de publication : Communications sans actes
Auteur(s) : Guillaume CLEUZIOU, Matthieu EXBRAYAT, Jacques-Henri SUBLEMONTIER, Lionel MARTIN
SEC&SI: Un défi pour la réalisation d'un système d'exploitation cloisonné et sécurisé pour l'Internaute: Le Projet SPACLik
Publié en 2009
Type de publication : Conférence donnée sur invitation
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Jonathan ROUZAUD-CORNABAS
The Crotal SRL System : a Generic Tool Based on Tree-structured CRF
Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Erwan MOREAU, Isabelle TELLIER
Un algorithme de décision dans l'algèbre des arbres finis ou infinis et des queues
Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thi-Bich-Hanh DIEP-DAO
Exact Exponential-Time Algorithms for Finding Bicliques in a Graph
Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Henning FERNAU, Serge GASPERS, Dieter KRATSCH, Daniel RAIBLE
8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization
Décidabilité de contraintes du premier ordre par contraintes duales
Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Khalil DJELLOUL
Problèmes d'optimisation avec des contraintes quantifiées
Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marco BENEDETTI, Arnaud LALLOUET, Jeremie VAUTARD
Toward a real MLS/SELinux system for end users: an empirical study
Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Patrice CLEMENTE, Mathieu BLANC, Steve-William KISSI
Mandatory access control implantation against potential NFS vulnerabilities
Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu BLANC, Kévin GUÉRIN, Jean-François LALANDE, Vincent LE PORT
Authorisation session management in on-demand resource provisioning in collaborative applications
Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christian TOINARD, Yuri DEMCHENKO, Cees DE LAAT, Thierry DENYS
Generation of role based access control security policies for Java collaborative applications
Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Xavier KAUFFMANN-TOURKESTANSKY, Jean-François LALANDE, Waleed SMARI
Enforcement of security properties for dynamic MAC policies
Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Jean-François LALANDE, Mathieu BLANC
A full first-order constraints solver for decomposable theories
Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Khalil DJELLOUL
Classification of malicious distributed SELinux activities
Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Patrice CLEMENTE, Christian TOINARD, Mathieu BLANC, Jonathan ROUZAUD-CORNABAS
Security and results of a large-scale high-interaction honeypot
Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Jean-François LALANDE
On the perfect matching index of bridgeless cubic graphs
Publié en 2009
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Interactive Physical Simulation on Multicore Architectures
Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Everton HERMANN, Bruno RAFFIN, François FAURE
From exponential to almost linear decomposability of finite or infinite trees
Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Khalil DJELLOUL
Regroupement de données multi-représentées : une approche par k-moyenne flou
Publié en 2009
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Matthieu EXBRAYAT, Jacques-Henri SUBLEMONTIER, Lionel MARTIN
Gaze Based Quality Assessment of Visual Media Understanding
Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean MARTINET, Adel LABLACK, Stanislas LEW, Chabane DJERABA
Extending an XML Type using Updated Data
Publié en 2009
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Mirian HALFELD-FERRARI, Béatrice BOUCHOU, Denio DUARTE, Martin A. MUSICANTE
Exponential time algorithms for the minimum dominating set problem on some graph classes
Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Ioan TODINCA, Serge GASPERS, Dieter KRATSCH
On odd and semi-odd linear partitions of cubic graphs
Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Henri THUILLIER, Jean-Marie VANHERPE, Adam Pawel WOJDA
Initialisation des masses dévidence par les Okm pour la théorie des fonctions de croyance. Application aux bioprocédés
Publié en 2009
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Yann PERMAL, Sébatsien DANICHERT, Sébastien REGIS
An Efficient Pipelined Parallel Join Algorithm on Heterogeneous Distributed Architectures
Publié en 2009
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN
Cellular automata, Universality of
Publié en 2009
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE
OKMED et WOKM : deux variantes de OKM pour la classification recouvrante
Publié en 2009
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU
Computing branchwidth via efficient triangulations and blocks
Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Fedor V. FOMIN, Frédéric MAZOIT
Petri Net Unfoldings -- Properties
Publié en 2009
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jean-Michel COUVREUR, Denis POITRENAUD
Handling Non Left-Linear Rules When Completing Tree Automata
Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Yohan BOICHUT, Roméo COURBIS, Pierre-Cyrille HÉAM, Olga KOUCHNARENKO
Pretopological classification based on the kolomogorov complexity
Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Vincent LEVORATO, Thanh Van LE, Marc BUI, Michel LAMURE
On normal partitions in cubic graphs
Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Apprentissage automatique pour le TAL : Préface
Publié en 2009
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Isabelle TELLIER
TAL, numéro "Apprentissage automatique pour le TAL
Publié en 2009
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Isabelle TELLIER, Mark STEEDMAN
Mixing convergence and deflection strategies for packet routing in all-optical networks
Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Pascal BERTHOME, Dominique BARTH, Dominique CHIARONI, Jean-Michel FOURNEAU, Christian LAFOREST, Sandrine VIAL
Int. J. Fundamenta Informaticae, 91(1-2), special issue on Machines, Computations and Universality (MCU '07)
Publié en 2009
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Maurice MARGENSTERN
Partitions versus sets : a case of duality
Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Laurent LYAUDET, Frédéric MAZOIT, Stéphan THOMASSÉ
Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives
Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Yohan BOICHUT, Pierre-Cyrille HÉAM, Olga KOUCHNARENKO
FlowVR-SciViz: a component-based framework for interactive scientific visualization
Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Ahmed TURKI
Contraintes d'intégrité pour XML : visite guidée par une syntaxe homogène
Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Béatrice BOUCHOU, Maria Adriana VIDIGAL DE LIMA ABRARO
Parallel Computing of Catchment Basins in Large Digital Elevation Model
Publié en 2009
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
Minimal interval completion through graph exploration
Publié en 2009
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Karol SUCHAN
Constructing brambles
Publié en 2009
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Mathieu CHAPELLE, Frédéric MAZOIT

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