Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1575

Software countermeasures for control flow integrity of smart card C codes
Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pascal BERTHOME, Jean-François LALANDE, Karine HEYDEMANN
A ToolBox for Conservative XML Schema Evolution and Document Adaptation
Publié en 2014
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, Joshua AMAVI
Implementing powerlists with Bulk Synchronous Parallel ML
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, Julien TESSON, Virginia NICULESCU
Catamorphism generation and fusion using Coq
Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Simon ROBILLARD
Knight tiles: particles and collisions in the realm of 4-way deterministic tilings
Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas OLLINGER, Bastien LE GLOANNEC
Implementation and Performance Analysis of SkelGIS for Network Mesh-Based Simulations
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
Identifying the Community Roles of Social Capitalists in the Twitter Network
Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Anthony PEREZ, Nicolas DUGUÉ, Vincent LABATUT
Vitamins : Visual and In Situ Analytics for Molecular Interactive Simulation
Publié en 2014
Type de publication : Autres Publications
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Marc BAADEN, Matthieu DREHER, Nicolas FEREY, Jessica PREVOTEAU-JONQUET, Bruno RAFFIN, Mikael TRELLET
A Fast Chaos-Based Pseudo-Random Bit Generator Using Binary64 Floating-Point Arithmetic
Publié en 2014
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Michael FRANÇOIS, David DEFOUR, Christophe NEGRE
PVis - Partitions' Visualizer: extracting knowledge by visualizing a collection of partitions
Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marcilio PEREIRA DE SOUTO, Katti FACELI, Tieme SAKATA, Andre DE CARVALHO
Issues on Sampling Negative Examples for Predicting Prokaryotic Promoters
Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marcilio PEREIRA DE SOUTO, Eduardo GUSMÃO
Query Log Driven Web Search Results Clustering
Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, José G. MORENO, Gaël DIAS
Lexical Disambiguation in LTAG using Left Context
Publié en 2014
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Claire GARDENT, Yannick PARMENTIER, Guy PERRIER, Sylvain SCHMITZ
An Advanced Security-Aware Cloud Architecture
Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Laurent BOBELIN, Jérémy BRIFFAUT, Christian TOINARD, Aline BOUSQUET, Eddy CARON, Jean-François COUTURIER, Arnaud LEFRAY, Jonathan ROUZAUD-CORNABAS
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
Protection obligatoire répartie : usage pour le calcul intensif et les postes de travail
Publié en 2014
Type de publication : Thèse
Auteur(s) : Damien GROS
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
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
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) : Gosse BOUMA, Yannick PARMENTIER
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
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
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
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
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
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
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
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
PaPDAS - Parallel Program Development with Algorithmic Skeletons
Publié en 2014
Type de publication : Communications sans actes
Auteur(s) : Frédéric LOULERGUE
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
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

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