Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1575

Detection of Communities in Directed Networks based on Strongly p-Connected Components

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Vincent LEVORATO, Coralie PETERMANN
Model-Theory of Property Grammars with Features

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Denys DUCHIER, Thi-Bich-Hanh DIEP-DAO, Yannick PARMENTIER
GPU-accelerated atom and dynamic bond visualization using hyperballs: a unified algorithm for balls, sticks, and hyperboloids.

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sophie ROBERT, Matthieu CHAVENT, Antoine VANEL, Alex TEK, Bruno LEVY, Bruno RAFFIN, Marc BAADEN
Intégration de contraintes must-link et cannot-link pour la classification : une approche indépendante de l'algorithme

Publié en 2011
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Matthieu EXBRAYAT, Jacques-Henri SUBLEMONTIER, Lionel MARTIN
Cross-framework Grammar Engineering using Constraint-driven Metagrammars

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Simon PETITJEAN
Simulating physical attacks in smart card C codes: the jump attack case

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pascal BERTHOME, Karine HEYDEMANN, Xavier KAUFFMANN-TOURKESTANSKY, Jean-François LALANDE
PIGA-HIPS: Protection of a shared HPC cluster

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Mathieu BLANC, Damien GROS
PEWS Platform : a web services composition environment

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Cheikh BA, Martin A. MUSICANTE
Type System for a Safe Execution of Parallel Programs in BSML

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Frédéric GAVA, Louis GESBERT
New Tools for Exploring, Analysing and Categorising Medieval Scripts

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Florence CLOPPET, Hani DAHER, Véronique ÉGLIN, Hubert EMPTOZ, Guillaume JOUTEL, Frank LEBOURGEOIS, Lionel MARTIN, Ikram MOALLA, Imran SIDDIQI, Nicole VINCENT
Unification modulo Block Chaining

Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Siva ANANTHARAMAN, Christopher BOUCHARD, Paliath NARENDRAN, Michael RUSINOWITCH
An Efficient Skew-insensitive Algorithm for Join Processing on Grid Architectures

Publié en 2011
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
Characterizing Conclusive Approximations by Logical Formulae

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yohan BOICHUT, Thi-Bich-Hanh DIEP-DAO, Valérie MURAT
Attribute Grammar for XML Integrity Constraint Validation

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Béatrice BOUCHOU, Maria Adriana LIMA
Visual characterization and diversity quantification of chemical libraries: 1. creation of delimited reference chemical subspaces.

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Vincent LE GUILLOUX, Lionel COLLIANDRE, Stéphane BOURG, Guillaume GUÉNEGOU, Julie DUBOIS-CHEVALIER, Luc MORIN-ALLORY
PIGA-Virt: an Advanced Distributed MAC Protection of Virtual Systems

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Jonathan ROUZAUD-CORNABAS, Emilie LEFEBVRE
SYNEMA: visual monitoring of network and system security sensors

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Patrice CLEMENTE, Aline BOUSQUET, Jean-François LALANDE
Generative Structure Learning for Markov Logic Networks Based on Graph of Predicates

Publié en 2011
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
Proceedings of IJCAI 2011
Weak Inclusion for XML Types

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Pierre RETY, Joshua AMAVI
Approaches to Disambiguating Toponyms

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Davide BUSCALDI
Coherence and Performance for Interactive Scientific Visualisation Applications

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Ahmed TURKI
Intégrer des connaissances linguistiques dans un CRF : application à l'apprentissage d'un segmenteur-étiqueteur du français

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Denys DUCHIER, Sylvie BILLOT, Mathieu CONSTANT, Isabelle TELLIER, Yoann DUPONT, Anthony SIGOGNE
Controlling an iteration-wise coherence in dataflow

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Ahmed TURKI
Clustering semi-supervisé : intégration de contraintes utilisateur dans le processus de découverte de classes

Publié en 2011
Type de publication : Communications sans actes
Auteur(s) : Jacques-Henri SUBLEMONTIER
Construction automatique d'applications de visualisation scientifique interactives sous contraintes de cohérence

Publié en 2011
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Ahmed TURKI
Tutorial on Cellular Automata

Publié en 2011
Type de publication : Conférence donnée sur invitation
Auteur(s) : Nicolas OLLINGER
A Verified Bulk Synchronous Parallel ML Heat Diffusion Simulation

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Julien TESSON
Procedia Computer Science
Solving Q-SAT in bounded space and time by geometrical computation

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Denys DUCHIER, Jérôme DURAND-LOSE, Maxime SENOT
Modeling Groups in Social Networks

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Vincent LEVORATO
Geometrical accumulations and computably enumerable real numbers (extended abstract)

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
La géo-simulation, outil de prédiction de phénomènes socio-économiques Le cas de l’Egypte

Publié en 2011
Type de publication : Conférence donnée sur invitation
Auteur(s) : Hala BAYOUMI, Marie-Françoise COUREL, Vincent LEVORATO
Parallel Computing Flow Accumulation in Large Digital Elevation Models

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Emmanuel MELIN, Hiep-Thuan DO
Computing with signals: a generic and modular signal machine for satisfiability problems

Publié en 2011
Type de publication : Communications sans actes
Auteur(s) : Denys DUCHIER, Jérôme DURAND-LOSE, Maxime SENOT
Attaques physiques à haut niveau pour le test de la sécurité des cartes à puce

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pascal BERTHOME, Karine HEYDEMANN, Xavier KAUFFMANN-TOURKESTANSKY, Jean-François LALANDE
PIGA-OS : retour sur le système d'exploitation vainqueur du défi sécurité

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Martin PERES, Jonathan ROUZAUD-CORNABAS, Jigar SOLANKI, Benjamin VENELLE
Machines à signaux: origine, puissance, retour au raisonnable

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérôme DURAND-LOSE, Maxime SENOT, Vincent LEVORATO
Explicit Query Diversification for Geographical Information Retrieval

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Davide BUSCALDI, Paolo ROSSO
Passage retrieval in legal texts

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Paolo ROSSO, Santiago CORREA, Davide BUSCALDI
Basics of pretopology

Publié en 2011
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Marcel BRISSAUD, Michel LAMURE, Jean-Jacques MILAN, Jean-Paul AURAY, Nicolas NICOLOYANNIS, Gérard DURU, Michel TERRENOIRE, Daniel TOUNISSOUX, Djamel Abdelkader ZIGHED, Stéphane BONNEVAY, Thanh Van LE, Marc BUI, Soufian BEN AMOR, Vincent LEVORATO, Nadia KABACHI
Jaeger's graphs and compatible linear partitions

Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Henri THUILLIER, Jean-Marie VANHERPE, Adam Pawel WOJDA
A new bound for parsimonious edge-colouring of graphs with maximum degree three.

Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Des textes communautaires à la recommandation

Publié en 2011
Type de publication : Thèse
Auteur(s) : Damien POIRIER
Toponym Disambiguation in Information Retrieval

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Davide BUSCALDI
A New Chaos-Based Cryptosystem for Secure Transmitted Images

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Awad ABIR
Apprentissage génératif de la structure de réseaux logiques de Markov à partir d'un graphe des prédicats

Publié en 2011
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Christel VRAIN, Quang-Thang DINH
8ème édition de l'atelier "Fouille de données complexes" : complexité liée aux données multiples

Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Guillaume CLEUZIOU, Cyril DE RUNZ, Mustapha LEBBAH, Cédric WEMMERT
Branch and Recharge: Exact Algorithms for Generalized Domination

Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Fedor V. FOMIN, Petr A. GOLOVACH, Jan KRATOCHVIL, Dieter KRATSCH
Int. J. Unconventional Computing, 7(4), Special issue on New Worlds of Computation (NWC '09)

Publié en 2011
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE
Algorithmes Exponentiels Pour Des Problèmes D'Ordonnancement à Une Machine Et Machines Parallèles

Publié en 2011
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Christophe LENTÉ, Ameur SOUKHAL, Vincent T'KINDT
Parallel Programming and Performance Predictability with Orléans Skeleton Library

Publié en 2011
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Noman JAVED

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