Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1613

On the Number of Minimal Dominating Sets on Cobipartite and Interval Graphs
Publié en 2014
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Jean-François COUTURIER, Romain LETOURNEUR
Approche algorithmique pour l’amélioration des performances du système de détection d’intrusions PIGA
Publié en 2014
Type de publication : Thèse
Auteur(s) : Pierre CLAIRET
Un pass de transport anonyme et intraçable pour mobile NFC
Publié en 2014
Type de publication : Communications sans actes
Auteur(s) : Ghada ARFAOUI, Guillaume DABOSVILLE, Sébastien GAMBS, Patrick LACHARME, Jean-François LALANDE
A Privacy Preserving Post-Payment Mobile Ticketing Protocol for Transport Systems
Publié en 2014
Type de publication : Communications sans actes
Auteur(s) : Ghada ARFAOUI, Jean-François LALANDE
Classification non supervisée mono et bi-objectif par la programmation par contraintes
Publié en 2014
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, Christel VRAIN, Khanh-Chuong DUONG
Modulight : A Framework for Efficient Dynamic Interactive Scientific Visualization
Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Millian POQUET
Protection obligatoire des serveurs d’applications Web : application aux processus métiers
Publié en 2014
Type de publication : Thèse
Auteur(s) : Maxime FONDA
ExaViz: a Flexible Framework to Analyse, Steer and Interact with Molecular Dynamics Simulations
Publié en 2014
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sophie ROBERT, Sébastien LIMET, Matthieu DREHER, Jessica PREVOTEAU-JONQUET, Mikael TRELLET, Marc PIUZZI, Marc BAADEN, Bruno RAFFIN, Nicolas FÉREY
On Correcting XML Documents with Respect to a Schema
Publié en 2014
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Joshua AMAVI, Béatrice BOUCHOU, Agata SAVARY
Solving Capacitated Dominating Set by using covering by subsets and maximum matching
Publié en 2014
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Ioan TODINCA, Yngve VILLANGER
Modulight : un framework efficace pour la visualisation scientifique interactive dynamique
Publié en 2014
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Millian POQUET
Generalization of c-means for identifying non-disjoint clusters with overlap regulation
Publié en 2014
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Chiheb-Eddine BEN N'CIR, Nadia ESSOUSSI
A Pseudo-Random Bit Generator Based on Three Chaotic Logistic Maps and IEEE 754-2008 Floating-Point Arithmetic
Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pascal BERTHOME, Michael FRANÇOIS, David DEFOUR
Trusted Execution Environments: A look under the hood
Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ghada ARFAOUI, Saïd GHAROUT, Jacques TRAORÉ
Preference-Driven Refinement of Service Compositions
Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Sophie ROBERT, Cheikh BA, Umberto COSTA, Rémy FERRE, Martin A. MUSICANTE, Veronika PERALTA
Proceedings of the 14th Conference of the European Chapter of the Association for Computational Linguistics
Publié en 2014
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Yannick PARMENTIER, Gosse BOUMA
Un titre de transport sur mobile NFC respectueux de la vie privée
Publié en 2014
Type de publication : Conférence donnée sur invitation
Auteur(s) : Jean-François LALANDE
De la sécurité de la virtualisation à la sécurité des Clouds
Publié en 2014
Type de publication : Conférence donnée sur invitation
Auteur(s) : Patrice CLEMENTE
Core decomposition in Directed Networks: Kernelization and Strong Connectivity
Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Vincent LEVORATO
Social capitalists on Twitter: detection, evolution and behavioral analysis
Publié en 2014
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Anthony PEREZ, Nicolas DUGUÉ
Model-Theory and Implementation of Property Grammars with Features
Publié en 2014
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Denys DUCHIER, Thi-bich-hanh DIEP-DAO, Yannick PARMENTIER
Calcul de grands sous-graphes induits à l'aide des séparateurs minimaux et de la logique MSO
Publié en 2014
Type de publication : Communications sans actes
Auteur(s) : Ioan TODINCA, Fedor V. FOMIN, Yngve VILLANGER
An extended attribute based access control model with trust and privacy: Application to a collaborative crisis management system
Publié en 2014
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Patrice CLEMENTE, Waleed SMARI, Jean-François LALANDE
Apprentissage non supervisé de dépendances syntaxiques à partir de texte étiqueté, plusieurs variantes de PCFG légères
Publié en 2014
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Christel VRAIN, Marie ARCADIAS, Edmond LASSALLE
Généralisation des k-moyennes pour produire des recouvrements ajustables
Publié en 2014
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Chiheb-Eddine BEN N'CIR, Nadia ESSOUSSI
Passage aux noyaux en classification recouvrante
Publié en 2014
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU
Identification de rôles communautaires dans des réseaux orientés appliquée à Twitter
Publié en 2014
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Anthony PEREZ, Nicolas DUGUÉ, Vincent LABATUT
Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining
Publié en 2014
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Christopher BOUCHARD, Paliath NARENDRAN, Michaël RUSINOWITCH
An out-of-core GPU approach for accelerating geostatistical interpolation
Publié en 2014
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sylvain JUBERTIE, Victor ALLOMBERT, David MICHÉA, Fabrice DUPROS, Christian BELLIER, Bernard BOURGINE, Hideo AOCHI
Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives
Publié en 2014
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Abderrahim AIT WAKRIME
Techniques d'anonymisation
Publié en 2014
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Benjamin NGUYEN
A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction
Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Kento EMOTO, Julien TESSON
PaPDAS - Parallel Program Development with Algorithmic Skeletons
Publié en 2014
Type de publication : Communications sans actes
Auteur(s) : Frédéric LOULERGUE
Maximal Set of XML Functional Dependencies for the Integration of Multiple Systems
Publié en 2014
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Joshua AMAVI
Exponential Algorithms for Scheduling Problems
Publié en 2014
Type de publication : Autres Publications
Auteur(s) : Mathieu LIEDLOFF, Christophe LENTÉ, Ameur SOUKHAL, Vincent T'KINDT
Development Effort and Performance Trade-off in High-Level Parallel Programming
Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sylvain JUBERTIE, Frédéric LOULERGUE, Joeffrey LEGAUX
Comparaison entre performances et effort de développement dans la programmation parallèle
Publié en 2014
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Joeffrey LEGAUX
Nested Atomic Sections with Thread Escape: A Formal Definition
Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric DABROWSKI, Frédéric LOULERGUE, Thomas PINSARD
Calcul de programmes parallèles avec Coq
Publié en 2014
Type de publication : Autres Publications
Auteur(s) : Frédéric LOULERGUE
A Scalable and Skew-insensitive Algorithm for Join Operations using Map/Reduce Model
Publié en 2014
Type de publication : Autres Publications
Auteur(s) : Mostafa BAMHA, Frédéric LOULERGUE
Dérivation formelle et extraction d'un programme data-parallèle pour le problème des valeurs inférieures les plus proches
Publié en 2014
Type de publication : Communications sans actes
Auteur(s) : Frédéric LOULERGUE, Simon ROBILLARD, Julien TESSON, Joeffrey LEGAUX, Zhenjiang HU
Graph-Theoretic Concepts in Computer Science - 40th International Workshop, WG 2014
Publié en 2014
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Ioan TODINCA, Dieter KRATSCH
Sentiment Analysis on Microblogs for Natural Disasters Management: a Study on the 2014 Genoa Floodings
Publié en 2014
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Irazú HERNANDEZ-FARIAS, Davide BUSCALDI
Handling Data-skew Effects in Join Operations using MapReduce
Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mostafa BAMHA, Frédéric LOULERGUE, Mohamad AL HAJJ HASSAN
Int. J. Natural Computing 13(2), special issue on Unconventional Computation and Natural Computation (UCNC '12)
Publié en 2014
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Nataša JONOSKA
The Simultaneous Number-in-Hand Communication Model for Networks: Private Coins, Public Coins and Determinism
Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Pedro MONTEALEGRE-BARBA, Ivan RAPAPORT
Mandatory access protection within cloud systems
Publié en 2014
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Aline BOUSQUET, Laurent CLÉVY, Damien GROS, Arnaud LEFRAY, Jonathan ROUZAUD-CORNABAS, Benjamin VENELLE
Blood Flow Arterial Network Simulation with the Implicit Parallelism Library SkelGIS
Publié en 2014
Type de publication : Communications sans actes
Auteur(s) : Sébastien LIMET, Hélène COULLON, Jose-Maria FULLANA, Pierre-Yves LAGRÉE, Xiaofei WANG
Algorithmique de l’apprentissage artificiel et de la fouille de données.
Publié en 2014
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Christel VRAIN, Antoine CORNUÉJOLS, Jean-Daniel ZUCKER
Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values Problem
Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Simon ROBILLARD, Julien TESSON, Joeffrey LEGAUX, Zhenjiang HU

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