Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1613

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
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
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
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
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
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
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
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
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
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 national avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Martin PERES, Jonathan ROUZAUD-CORNABAS, Benjamin VENELLE, Jigar SOLANKI
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
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
Basics of pretopology
Publié en 2011
Type de publication : Ouvrage ou 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
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
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
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
Prototyping a Library of Algorithmic Skeletons with Bulk Synchronous Parallel ML
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, Wadoud BOUSDIRA, Noman JAVED, Julien TESSON
Exact Algorithms for L(2,1)-Labeling of Graphs
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Frédéric HAVET, Martin KLAZAR, Jan KRATOCHVIL, Dieter KRATSCH
An Information Flow Approach for Preventing Race Conditions: Dynamic Protection of the Linux OS
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Patrice CLEMENTE, Christian TOINARD, Jonathan ROUZAUD-CORNABAS
Rice's Theorem for µ-Limit Sets of Cellular Automata
Publié en 2011
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Martin DELACOURT
Champs Markoviens Conditionnels pour l'extraction d'information
Publié en 2011
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Isabelle TELLIER, Marc TOMMASI
Good Types are useful for Learning
Publié en 2011
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Isabelle TELLIER, Daniela DUDAU-SOFRONIE
Abstract geometrical computation 5: embedding computable analysis
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
Abstract geometrical computation 4: small Turing universal signal machines
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
On minimum (Kq; k) stable graphs
Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Henri THUILLIER, Jean-Marie VANHERPE, Adam Pawel WOJDA
Interconnection network with a shared whiteboard: Impact of (a)synchronicity on computing power
Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Florent BECKER, Adrian KOSOWSKI, Nicolas NISSE, Ivan RAPAPORT, Karol SUCHAN
Functional Term Rewriting Systems towards Symbolic Model-Checking
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Yohan BOICHUT, Jean-Michel COUVREUR, Duy Tung NGUYEN
An exact algorithm for the Maximum Leaf Spanning Tree problem
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Henning FERNAU, Joachim KNEIS, Dieter KRATSCH, Alexander LANGER, Daniel RAIBLE, Peter ROSSMANITH
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
On Fulkerson conjecture
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
From Manual Cyber Attacks Forensic to Automatic Characterization of Attackers' Profiles J. Briffaut, P. Clemente, J.-F. Lalande, J. Rouzaud-Cornabas
Publié en 2011
Type de publication : Autres Publications
Auteur(s) : Jérémy BRIFFAUT, Patrice CLEMENTE, Jean-François LALANDE, Jonathan ROUZAUD-CORNABAS
Acquisition de structures lexico-sémantiques à partir de textes : un nouveau cadre de travail fondé sur une structuration prétopologique
Publié en 2011
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaël DIAS, Vincent LEVORATO
An exact algorithm for connected red-blue dominating set
Publié en 2011
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Faisal ABU-KHZAM, Amer MOUAWAD
A Formal Programming Model of 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