Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1779

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
Handling Data-skew Effects in Join Operations using MapReduce

Publié en 2014
Type de publication : Communications sans actes
Auteur(s) : Frédéric LOULERGUE, Mostafa BAMHA, Mohamad AL HAJJ HASSAN
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
Blood Flow Arterial Network Simulation with the Implicit Parallelism Library SkelGIS

Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Hélène COULLON, Jose-Maria FULLANA, Pierre-Yves LAGRÉE, Xiaofei WANG
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 BERTHOMÉ, 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
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
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
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
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
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
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
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
Certified Parallel Program Calculation in Coq: A Tutorial

Publié en 2014
Type de publication : Communications sans actes
Auteur(s) : Frédéric LOULERGUE, Julien TESSON
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
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
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
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
Sentiment Analysis on Microblogs for Natural Disasters Management: a Study on the 2014 Genoa Floodings

Publié en 2014
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Irazú HERNANDEZ-FARIAS, Davide BUSCALDI
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
Techniques d'anonymisation

Publié en 2014
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Benjamin NGUYEN
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
Mandatory access protection within cloud systems

Publié en 2014
Type de publication : 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
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
PaPDAS - Parallel Program Development with Algorithmic Skeletons

Publié en 2014
Type de publication : Communications sans actes
Auteur(s) : Frédéric LOULERGUE
Algorithmique de l’apprentissage artificiel et de la fouille de données.

Publié en 2014
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Christel VRAIN, Antoine CORNUÉJOLS, Jean-Daniel ZUCKER
The 4-way deterministic Periodic Domino Problem is undecidable

Publié en 2014
Type de publication : Autres Publications
Auteur(s) : Bastien LE GLOANNEC
Exponential Algorithms for Scheduling Problems

Publié en 2014
Type de publication : Autres Publications
Auteur(s) : Mathieu LIEDLOFF, Christophe LENTÉ, Ameur SOUKHAL, Vincent T'KINDT
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
Int. J. Natural Computing 13(2), special issue on Unconventional Computation and Natural Computation (UCNC '12)

Publié en 2014
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Nataša JONOSKA
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
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
Algorithms parameterized by vertex cover and modular width, through potential maximal cliques

Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Ioan TODINCA, Fedor V. FOMIN, Pedro MONTEALEGRE-BARBA
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
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
(Circular) backbone colouring: forest backbones in planar graphs

Publié en 2014
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Ioan TODINCA, Frédéric HAVET, Andrew D. KING

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