Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1575

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
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
Techniques d'anonymisation

Publié en 2014
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Benjamin NGUYEN
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
Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining

Publié en 2014
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Christopher BOUCHARD, Paliath NARENDRAN, Michaël RUSINOWITCH
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
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
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
PaPDAS - Parallel Program Development with Algorithmic Skeletons

Publié en 2014
Type de publication : Communications sans actes
Auteur(s) : Frédéric LOULERGUE
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
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
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
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
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
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
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
Squelettes algorithmiques pour la programmation et l'exécution efficaces de codes parallèles

Publié en 2013
Type de publication : Thèse
Auteur(s) : Joeffrey LEGAUX
FullSWOF_Paral: Comparison of two parallelization strategies (MPI and SKELGIS) on a software designed for hydrology applications

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Stéphane CORDIER, Hélène COULLON, Olivier DELESTRE, Christian LAGUERRE, Minh Hoang LE, Daniel PIERRE, Georges SADAKA
Security for Cloud Environment through Information Flow Properties Formalization with a First-Order Temporal Logic

Publié en 2013
Type de publication : Autres Publications
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Arnaud LEFRAY, Jonathan ROUZAUD-CORNABAS
Time Series Symbolization and Search for Frequent Patterns

Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Van Hoan MAI
Access Control and Security Properties Requirements Specification for Clouds' SecLAs

Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Patrice CLEMENTE, Asma GUESMI
A Privacy-Preserving Contactless Transport Service for NFC Smartphones

Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ghada ARFAOUI, Sébastien GAMBS, Patrick LACHARME, Jean-François LALANDE, Lescuyer ROCH, Jean-Claude PAILLÈS
A Filtering Algorithm for Constrained Clustering with Within-Cluster Sum of Dissimilarities Criterion

Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thi-Bich-Hanh DIEP-DAO, Christel VRAIN, Khanh-Chuong DUONG
Maximal Set of XML Functional Dependencies over Multiple Systems

Publié en 2013
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Joshua AMAVI
Rôle communautaire des capitalistes sociaux dans Twitter

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É, Vincent LABATUT
Definition of security metrics for the Cloud Computing and security-aware virtual machine placement algorithms

Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christian TOINARD, Eddy CARON, Le ANH DUNG, Arnaud LEFRAY
An Unified FPT Algorithm for Width of Partition Functions

Publié en 2013
Type de publication : Autres Publications
Auteur(s) : Pascal BERTHOME, Tom BOUVIER, Frédéric MAZOIT, Nicolas NISSE, Ronan PARDO SOARES
A Declarative Framework for Constrained Clustering

Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thi-Bich-Hanh DIEP-DAO, Christel VRAIN, Khanh-Chuong DUONG
Learning a Markov Logic network for supervised gene regulatory network inference

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Christel VRAIN, Celine BROUARD, Julie DUBOIS, David CASTEL, Marie-Anne DEBILY, Florence D'ALCHÉ-BUC
Hiding privacy leaks in Android applications using low-attention raising covert channels

Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-François LALANDE, Steffen WENDZEL
XMG : eXtensible MetaGrammar

Publié en 2013
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Denys DUCHIER, Benoît CRABBÉ, Claire GARDENT, Joseph LE ROUX, Yannick PARMENTIER
7th International Workshop on Constraint Solving and Language Processing (CSLP'12). Selected and Revised Papers

Publié en 2013
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER
Unsupervised collaborative boosting of clustering: an unifying framework for multi-view clustering, multiple consensus clusterings and alternative clustering

Publié en 2013
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jacques-Henri SUBLEMONTIER
Post-Retrieval Clustering Using Third-Order Similarity Measures

Publié en 2013
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
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
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
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
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB), Special Issue BSB 2012

Publié en 2013
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Marcilio PEREIRA DE SOUTO, M. KANN
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
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

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