Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1575

Parallelization of Shallow-Water Equations with the Algorithmic Skeleton Library SkelGIS

Publié en 2013
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, Hoang LE MINH
Interactive Molecular Dynamics: Scaling up to Large Systems

Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Matthieu DREHER, Marc PIUZZI, Turki AHMED, Chavent MATTHIEU, Marc BAADEN, Nicolas FÉREY, Bruno RAFFIN
Mandatory Access Control for the Android Dalvik Virtual Machine

Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Aline BOUSQUET, Laurent CLÉVY, Benjamin VENELLE
Mandatory access control with a multi-level reference monitor: PIGA-cluster

Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Damien GROS
Modélisation des applications de visualisation scientifique interactives

Publié en 2013
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Abderrahim AIT WAKRIME
Domination-like problems parameterized by tree-width

Publié en 2013
Type de publication : Autres Publications
Auteur(s) : Mathieu CHAPELLE
A Research Survey on Large XML Data: Streaming, Selectivity Estimation and Parallelism

Publié en 2013
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Muath ALRAMMAL, Gaétan HAINS
Conservative Type Extensions for XML Data

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Pierre RETY, Martin A. MUSICANTE
Minimal dominating sets in graph classes: Combinatorial bounds and enumeration

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-François COUTURIER, Pinar HEGGERNES, Pim VAN ’T HOF, Dieter KRATSCH
Linear vertex-kernels for several dense Ranking r-Constraint Satisfaction Problems

Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Anthony PEREZ
Attacking Smartphone Privacy Using Local Covert Channels

Publié en 2013
Type de publication : Communications sans actes
Auteur(s) : Jean-François LALANDE, Steffen WENDZEL
Filtering XFD Toward Interoperability (short paper)

Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Joshua AMAVI
Improving Mandatory Access Control for HPC clusters

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu BLANC, Jean-François LALANDE
Intégration de connaissances pour l'aide à la décision en classification non supervisée

Publié en 2013
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Jacques-Henri SUBLEMONTIER
Une approche en programmation par contraintes pour la classification non supervisée

Publié en 2013
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
Une plateforme collaborative pour la recherche de consensus ou d'alternatives en classification non-supervisée

Publié en 2013
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Jacques-Henri SUBLEMONTIER
Les capitalistes sociaux sur Twitter : détection via des mesures de similarité

Publié en 2013
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Anthony PEREZ, Nicolas DUGUÉ
Performances de la Librairie de Squelettes Algorithmiques SkelGIS

Publié en 2013
Type de publication : Communications sans actes
Auteur(s) : Sébastien LIMET, Hélène COULLON, Hoang LE MINH
Powerlists in Coq: Programming and Reasoning

Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Virginia NICULESCU, Simon ROBILLARD
Programming with BSP Homomorphisms

Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Joeffrey LEGAUX, Zhenjiang HU, Kiminori MATSUZAKI, Julien TESSON
A Pseudo-Random Bit Generator Using Three Chaotic Logistic Maps

Publié en 2013
Type de publication : Autres Publications
Auteur(s) : Michael FRANÇOIS, David DEFOUR
Polynomial kernels for Proper Interval Completion and related problems

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Anthony PEREZ, Stéphane BESSY
A Study of worst-case complexity for parallel machine scheduling problems based on an extension of the Sort & Search method

Publié en 2013
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Vincent T'KINDT, Christophe LENTÉ
On minimum $({K}\_{q},k)$ stable graphs

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Henri THUILLIER, Jean-Marie VANHERPE, Adam Pawel WOJDA
On the (non-)existence of polynomial kernels for $P_l$-free edge modification problems

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Anthony PEREZ, Sylvain GUILLEMOT, Frédéric HAVET, Christophe PAUL
Branching processes of general Petri nets

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Michel COUVREUR, Denis POITRENAUD, Pascal WEIL
Sparse Square Roots

Publié en 2013
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Manfred COCHEFERT, Jean-François COUTURIER, Petr A. GOLOVACH, Dieter KRATSCH, Daniël PAULUSMA
The complexity of the bootstraping percolation and other problems

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Eric GOLES, Pedro MONTEALEGRE-BARBA
An O(n^2)-time algorithm for the minimal interval completion problem

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Christophe CRESPELLE
OSL: an algorithmic skeleton library with exceptions

Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Sylvain JUBERTIE, Joeffrey LEGAUX
QuantMiner for Mining Quantitative Association Rules

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Christel VRAIN, Ansaf SALLEB-AOUISSI, Cyril NORTET, Xiangrong KONG, Vivek RATHOD, Daniel CASSARD
PIGA-Cloud : une protection obligatoire des environnements d'informatique en nuage

Publié en 2013
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Z. AFOULKI, Aline BOUSQUET, Laurent CLÉVY, Jonathan ROUZAUD-CORNABAS, Benjamin VENELLE
SocCap - Detection and Characterization of Social Capitalists

Publié en 2013
Type de publication : Logiciel
Auteur(s) : Anthony PEREZ, Nicolas DUGUÉ, Vincent LABATUT
Colorings with few Colors: Counting, Enumeration and Combinatorial Bounds

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Jean-François COUTURIER, Petr A. GOLOVACH, Dieter KRATSCH, Artem V. PYATKIN
On an extension of the Sort & Search method with application to scheduling theory

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Christophe LENTÉ, Ameur SOUKHAL, Vincent T'KINDT
Determining the L(2, 1)-span in polynomial space

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Konstanty JUNOSZA-SZANIAWSKI, Jan KRATOCHVIL, Pawel RZAZEWSKI
Future Generation Comp. Syst. 29(3) special issue on Recent developments in high performance computing and security

Publié en 2013
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Waleed SMARI, Luca SPALAZZI, Yacine ZEMALI
A tight bound on the number of minimal dominating sets in split graph

Publié en 2013
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Jean-François COUTURIER
A scalable parallel minimum spanning tree algorithm for catchment basin delimitation in large digital elevation models

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sébastien LIMET, Emmanuel MELIN, Hiep-Thuan DO
The Unary Arithmetical Algorithm in Bimodular Number Systems

Publié en 2013
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Martin DELACOURT, Petr KURKA
Detecting Social Capitalists on Twitter Using Similarity Measures

Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Anthony PEREZ, Nicolas DUGUÉ
Seeding the Cloud: An Innovative Approach to Grow Trust in Cloud Based Infrastructures

Publié en 2013
Type de publication : Communications sans actes
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Stéphane BETGE-BREZETZ, Aline BOUSQUET, Eddy CARON, Laurent CLÉVY, Marie-Pascale DUPONT, Guy-Bertrand KAMGA, Jean-Marc LAMBERT, Arnaud LEFRAY, Bertrand MARQUET, Jonathan ROUZAUD-CORNABAS, Lamiel TOCH, Benjamin VENELLE
Fast exact algorithm for L(2,1)-labeling of graphs

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Konstanty JUNOSZA-SZANIAWSKI, Jan KRATOCHVIL, Peter ROSSMANITH, Pawel RZAZEWSKI
On Compatible Normal Odd Partitions in Cubic Graphs

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
On parsimonious edge-colouring of graphs with maximum degree three

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Nested Atomic Sections with Thread Escape: An Operational Semantics

Publié en 2013
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
Extraction et gestion des connaissances (EGC'2013), Actes, 29 janvier - 01 février 2013, Toulouse, France

Publié en 2013
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Christel VRAIN, André PÉNINOU, Florence SÈDES
Exact and Parameterized Algorithms for Max Internal Spanning Tree

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Daniel BINKELE-RAIBLE, Henning FERNAU, Serge GASPERS
Int. J. Unconventional Computing, 9(1-2), special issue on New Worlds of Computation (NWC '11)

Publié en 2013
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE
An Alert Prediction Model for Cloud Infrastructure Monitoring

Publié en 2013
Type de publication : Autres Publications
Auteur(s) : Sayanta MALLICK, Gaétan HAINS, Cheikh Sadibou DEME

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