Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1590

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
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
The 4-way deterministic Periodic Domino Problem is undecidable
Publié en 2014
Type de publication : Autres Publications
Auteur(s) : Bastien LE GLOANNEC
The Simultaneous Number-in-Hand Communication Model for Networks: Private Coins, Public Coins and Determinism
Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Pedro MONTEALEGRE-BARBA, Ivan RAPAPORT
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
Algorithmique de l’apprentissage artificiel et de la fouille de données.
Publié en 2014
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Christel VRAIN, Antoine CORNUÉJOLS, Jean-Daniel ZUCKER
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
Handling Data-skew Effects in Join Operations using MapReduce
Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mostafa BAMHA, Frédéric LOULERGUE, Mohamad AL HAJJ HASSAN
Int. J. Natural Computing 13(2), special issue on Unconventional Computation and Natural Computation (UCNC '12)
Publié en 2014
Type de publication : Ouvrage ou 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
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
Exponential Algorithms for Scheduling Problems
Publié en 2014
Type de publication : Autres Publications
Auteur(s) : Mathieu LIEDLOFF, Christophe LENTÉ, Ameur SOUKHAL, Vincent T'KINDT
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
PaPDAS - Parallel Program Development with Algorithmic Skeletons
Publié en 2014
Type de publication : Communications sans actes
Auteur(s) : Frédéric LOULERGUE
Techniques d'anonymisation
Publié en 2014
Type de publication : Revue nationale à comité de lecture
Auteur(s) : Benjamin NGUYEN
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 : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Irazú HERNANDEZ-FARIAS, Davide BUSCALDI
Algorithms parameterized by vertex cover and modular width, through potential maximal cliques
Publié en 2014
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Ioan TODINCA, Fedor V. FOMIN, Pedro MONTEALEGRE-BARBA
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
Nested Atomic Sections with Thread Escape: A Formal Definition
Publié en 2014
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
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
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
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
(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
Mandatory access protection within cloud systems
Publié en 2014
Type de publication : Ouvrage ou 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
Calcul de programmes parallèles avec Coq
Publié en 2014
Type de publication : Autres Publications
Auteur(s) : Frédéric LOULERGUE
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
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
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
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
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
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
7th International Workshop on Constraint Solving and Language Processing (CSLP'12). Selected and Revised Papers
Publié en 2013
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER
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
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

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