Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1590

Proceedings of the ESSLLI 2013 Workshop: High-level Methodologies for Grammar Engineering (HMGE'13)
Publié en 2013
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER
Coupling Trees and Frames through XMG
Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Timm LICHTE, Alexander DIEZ, Simon PETITJEAN
Multiplicity within clustering: challenges and unifications
Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jacques-Henri SUBLEMONTIER
Automatic Refinement of Service Compositions
Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Sophie ROBERT, Umberto DA COSTA, Martin MUSICANTE
Algorithmic skeleton library for scientific simulations : 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
Irrationality is needed to compute with signal machines with only three speeds
Publié en 2013
Type de publication : Conférence donnée sur invitation
Auteur(s) : Jérôme DURAND-LOSE
Lecture Notes in Computer Science
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB), Special Issue BSB 2012
Publié en 2013
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Marcilio PEREIRA DE SOUTO, M. KANN
PIGA-Cluster: a distributed architecture integrating a shared and resilient reference monitor to enforce mandatory access control in the HPC environment
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èle géométrique de calcul : fractales et barrières de complexité
Publié en 2013
Type de publication : Thèse
Auteur(s) : Maxime SENOT
Over-approximating Descendants by Synchronized Tree Languages
Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yohan BOICHUT, Jacques CHABIN, Pierre RETY
Boosting collaboratif de classifieurs non supervisés : une plateforme unificatrice pour le clustering multi-vues, le consensus de clusterings multiple et la recherche de clusterings alternatifs
Publié en 2013
Type de publication : Communications sans actes
Auteur(s) : Jacques-Henri SUBLEMONTIER
Security Enhanced Java: Mandatory Access Control for the Java 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, Benjamin VENELLE, Laurent CLÉVY, C. TOINARD
Security-Aware Models for Clouds
Publié en 2013
Type de publication : Poster
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Arnaud LEFRAY, Eddy CARON, Jonathan ROUZAUD-CORNABAS, Zhang HUAXI YULIN, Aline BOUSQUET
Un modèle général pour la classification non supervisée sous contraintes d'utilisateur
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
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 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
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
Domination-like problems parameterized by tree-width
Publié en 2013
Type de publication : Autres Publications
Auteur(s) : Mathieu CHAPELLE
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
A Research Survey on Large XML Data: Streaming, Selectivity Estimation and Parallelism
Publié en 2013
Type de publication : Ouvrage ou 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
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
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
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 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É
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
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
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
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
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
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
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
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
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
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É
Managing Arbitrary Distributions of Arrays in Orléans Skeleton Library
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
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
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
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
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
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
SocCap - Detection and Characterization of Social Capitalists
Publié en 2013
Type de publication : Logiciel
Auteur(s) : Anthony PEREZ, Nicolas DUGUÉ, Vincent LABATUT
The Unary Arithmetical Algorithm in Bimodular Number Systems
Publié en 2013
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Martin DELACOURT, Petr KURKA
Honeypot forensics for system and network SIEM design
Publié en 2013
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jérémy BRIFFAUT, Patrice CLEMENTE, Jean-François LALANDE, Jonathan ROUZAUD-CORNABAS
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

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