Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1613

Describing Music with MetaGrammars
Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Simon PETITJEAN
Approximating the Throughput by Coolest First Scheduling
Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christoph DÜRR, Ioannis MILIS, Julien ROBERT, Georgios ZOIS
Approximation and Online Algorithms
Markov Logic Network for supervised gene regulation inference: application to the ID2 regulatory network in human keratinocytes
Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Christel VRAIN, Celine BROUARD, Julie DUBOIS, David CASTEL, Marie-Anne DEBILY, Florence D'ALCHÉ-BUC
Experiments in Parallel Matrix Multiplication on Multi-Core Systems
Publié en 2012
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
A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays
Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Wadoud BOUSDIRA, Frédéric LOULERGUE, Julien TESSON
Advanced protection of workflow sessions with SEWebSession
Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christian TOINARD, Maxime FONDA, Stéphane MOINARD
Unconventional Computation and Natural Computation (UCNC '12)
Publié en 2012
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Nataša JONOSKA
Proceedings of the Seventh International Workshop on Constraint Solving and Language Processing (CSLP'12)
Publié en 2012
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER
Repackaging Android applications for auditing access to private data
Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pascal BERTHOME, Thomas FÉCHEROLLE, Nicolas GUILLOTEAU, Jean-François LALANDE
High level model of control flow attacks for smart card functional security
Publié en 2012
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
Compacting Security Signatures for PIGA IDS
Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pascal BERTHOME, Jérémy BRIFFAUT, Pierre CLAIRET
FIELDS : Flow Intrusion Extrusion Largescale Detection System
Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Christian TOINARD, Nicolas GRENÈCHE, Quentin NARVOR
On the parameterized complexity of coloring graphs in the absence of a linear forest
Publié en 2012
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-François COUTURIER, Petr A. GOLOVACH, Dieter KRATSCH, Daniël PAULUSMA
HoneyCloud: elastic honeypots - On-attack provisioning of high-interaction honeypots
Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Patrice CLEMENTE, Jean-François LALANDE, Jonathan ROUZAUD-CORNABAS
Protecting resources in an open and trusted peer-to-peer network
Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-François LALANDE, David RODRIGUEZ
Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine
Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas OLLINGER, Rodrigo TORRES, Anahi GAJARDO
Okm : une librairie R pour la classification recouvrante
Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Léo ROUSSEAU
MAC protection of the OpenNebula Cloud environment
Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Z. AFOULKI, A. BOUSQUET, J. BRIFFAUT, J. ROUZAUD-CORNABAS, C. TOINARD
Weak Inclusion for Recursive XML Types
Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pierre RETY, Jacques CHABIN, Joshua AMAVI
Towards Verified Cloud Computing Environments
Publié en 2012
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, Nikolai KOSMATOV, Matthieu LEMERRE
Metagrammars as Logic Programs
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, Simon PETITJEAN
Unification modulo Synchronous Distributivity
Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Serdar ERBATUR, Christopher LYNCH, Paliath NARENDRAN, Michael RUSINOWITCH
Une librairie de squelettes algorithmiques par blocs sur structure de données 2D
Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Sébastien LIMET, Hélène COULLON
Substitutions and Strongly Deterministic Tilesets
Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas OLLINGER, Bastien LE GLOANNEC
Comment ajouter de la privacy after design pour les applications Android ?
Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Pascal BERTHOME, Jean-François LALANDE
On the Formal Verification of Computer Simulations
Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Frédéric LOULERGUE
Décrire la morphologie des verbes en ikota au moyen d'une métagrammaire
Publié en 2012
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Brunelle MAGNANA EKOUKOU, Simon PETITJEAN, Emmanuel SCHANG
19e conférence sur le Traitement Automatique des Langues Naturelles (TALN 2012) - Atelier sur le traitement automatique des langues africaines (TALAf 2012)
Contrôle d'accès mandataire pour Windows 7
Publié en 2012
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Christian TOINARD, Jérémy BRIFFAUT, Damien GROS
SSTIC
Apprentissage automatique d'un chunker pour le français
Publié en 2012
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Denys DUCHIER, Isabelle TELLIER, Iris ESHKOL, Arnaud COURMET, Mathieu MARTINET
Describing Morphologically-rich Languages using Metagrammars: a Look at Verbs in Ikota
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, Brunelle MAGNANA EKOUKOU, Simon PETITJEAN, Emmanuel SCHANG
Analyse Syntaxique par Contraintes pour les Grammaires de Propriétés à Traits
Publié en 2012
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Denys DUCHIER, Thi-bich-hanh DIEP-DAO, Yannick PARMENTIER
Branch and Learn pour l'acquisition de CSP
Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Christian BESSIERE, Remi COLETTA, Frédéric KORICHE, Arnaud LALLOUET, Matthieu LOPEZ
Towards a Self-consistent Orbital Evolution for EMRIs
Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Alessandro D. A. M. SPALLICCI, P. RITTER, S. JUBERTIE, Sylvaine CORDIER, S. AOUDIA
Computing in the fractal cloud: modular generic solvers for SAT and Q-SAT variants.
Publié en 2012
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
Advanced MAC in HPC systems: performance improvement
Publié en 2012
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
Classification unilatéralement-connexe prétopologique : une extension de la librairie PretopoLIB
Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Coralie PETERMANN, Vincent LEVORATO, Marc BUI
Reed's conjecture on some special classes of graphs
Publié en 2012
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Bicolored independent sets and bicliques
Publié en 2012
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jean-François COUTURIER, Dieter KRATSCH
Reed's Conjecture on hole expansions
Publié en 2012
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Initialization of masses by the Okm for the belief function theory: Application to system biology
Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Sébastien REGIS, Andrei DONCESCU, M. TAKIZAWA
Un modèle pour la composition d'applications de visualisation et d'interaction continue avec des simulations scientifiques
Publié en 2012
Type de publication : Thèse
Auteur(s) : Ahmed TURKI
Signal machines: localization of isolated accumulation
Publié en 2012
Type de publication : Communications sans actes
Auteur(s) : Jérôme DURAND-LOSE
Unification modulo Chaining
Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Christopher BOUCHARD, Paliath NARENDRAN, Michaël RUSINOWITCH
Interactive and progressive constraint definition for dimensionality reduction and visualization
Publié en 2012
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Matthieu EXBRAYAT, Guillaume CLEUZIOU, Frédéric MOAL, Lionel MARTIN
A Branch-and-Reduce Algorithm for Finding a Minimum Independent Dominating Set
Publié en 2012
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Serge GASPERS
Unification modulo Homomorphic Encryption
Publié en 2012
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Hai LIN, Christopher LYNCH, Paliath NARENDRAN, Michael RUSINOWITCH
Exploitation de l'Asymétrie entre Termes pour l'Extraction Automatique de Taxonomies à partir de Textes.
Publié en 2012
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Davide BUSCALDI, Gaël DIAS, Vincent LEVORATO
Tools for parsimonious edge-colouring of graphs with maximum degree three
Publié en 2012
Type de publication : Autres Publications
Auteur(s) : Jean-Luc FOUQUET, Jean-Marie VANHERPE
Implementation of exponential and parametrized algorithms in the AGAPE project
Publié en 2012
Type de publication : Autres Publications
Auteur(s) : Pascal BERTHOME, Jean-François LALANDE, Vincent LEVORATO
L'ordinateur et les langues
Publié en 2012
Type de publication : Autres Publications
Auteur(s) : Jérôme DURAND-LOSE, Yannick PARMENTIER, Gabriel BERGOUNIOUX, Emmanuel SCHANG, Denis MAUREL, Agata SAVARY

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