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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Un nouveau modèle pour la classification non supervisée sous contraintes

Publié en 2014
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Thi-Bich-Hanh DIEP-DAO, Christel VRAIN, Khanh-Chuong DUONG
(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
The 4-way deterministic Periodic Domino Problem is undecidable

Publié en 2014
Type de publication : Autres Publications
Auteur(s) : Bastien LE GLOANNEC

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