Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1613

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
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 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
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
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
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
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
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
Int. J. Unconventional Computing, 9(1-2), special issue on New Worlds of Computation (NWC '11)
Publié en 2013
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE
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
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
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
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
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É
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
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
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
Future Generation Comp. Syst. 29(3) special issue on Recent developments in high performance computing and security
Publié en 2013
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Waleed SMARI, Luca SPALAZZI, Yacine ZEMALI
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 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
Sparse Square Roots
Publié en 2013
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Manfred COCHEFERT, Jean-François COUTURIER, Petr A. GOLOVACH, Dieter KRATSCH, Daniël PAULUSMA
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
PIGA-Cloud : une protection obligatoire des environnements d'informatique en nuage
Publié en 2013
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Z. AFOULKI, Aline BOUSQUET, Laurent CLÉVY, Jonathan ROUZAUD-CORNABAS, Benjamin VENELLE
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
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
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 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
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
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
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
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
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
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
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
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
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
SPTrack: Visual Analysis of Information Flows within SELinux Policies and Attack Logs
Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Patrice CLEMENTE, Bangaly KABA, Jonathan ROUZAUD-CORNABAS, Marc ALEXANDRE, Guillaume AUJAY
Classification non supervisée : de la multiplicité des données à la multiplicité des analyses
Publié en 2012
Type de publication : Thèse
Auteur(s) : Jacques-Henri SUBLEMONTIER
Analyses sécuritaires de code de carte à puce sous attaques physiques simulées
Publié en 2012
Type de publication : Thèse
Auteur(s) : Xavier KAUFFMANN-TOURKESTANSKY
Equational Abstraction Refinement for Certified Tree Regular Model Checking
Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yohan BOICHUT, Benoit BOYER, Thomas GENET, Axel LEGAY
Osom: A method for building overlapping topological maps
Publié en 2012
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Guillaume CLEUZIOU
(Circular) backbone colouring: tree backbones in planar graphs
Publié en 2012
Type de publication : Autres Publications
Auteur(s) : Mathieu LIEDLOFF, Ioan TODINCA, Frédéric HAVET, Andrew KING
Compression de signatures pour PIGA IDS
Publié en 2012
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Pascal BERTHOME, Jérémy BRIFFAUT, Pierre CLAIRET
PIGA-Windows : contrôle des flux d'information avancés sur les systèmes d'exploitation Windows 7
Publié en 2012
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Damien GROS, Mathieu BLANC
Describing São Tomense Using a Tree-Adjoining Meta-Grammar
Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Emmanuel SCHANG, Brunelle MAGNANA EKOUKOU, Simon PETITJEAN
Contributions à la résolution de contraintes du premier ordre
Publié en 2012
Type de publication : Autres Publications
Auteur(s) : Khalil DJELLOUL
A Link-Based Method for Propositionalization
Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Christel VRAIN, Quang-Thang DINH

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