Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1752

Two Rounds Are Enough for Reconstructing Any Graph (Class) in the Congested Clique Model

Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Pedro MONTEALEGRE, Sebastian PEREZ-SALAZAR, Ivan RAPAPORT
A Context-driven Querying System for Urban Graph Analysis

Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Luiz GOMES-JR.
Self-Assembly of 3-d Structures Using 2-d Folding Tiles

Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérôme DURAND-LOSE, Jacob HENDRICKS, Matthew J. PATITZ, Ian PERKINS, Michael SHARP
Urban Graph Analysis on a Context-driven Querying System

Publié en 2018
Type de publication : Autres Publications
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Luiz GOMES-JR
A new syntactic-semantic interface for ArabTAG an Arabic Tree Adjoining grammar

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Chérifa BEN KHELIL, Chiraz ZRIBI
Implementing Algorithmic Skeletons with Bulk Synchronous Parallel ML

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE
A Java Framework for High Level Parallel Programming Using Powerlists

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Virginia NICULESCU, Darius BUFNEA, Adrian STERCA
Aide à la planification de la prise en charge d’enfants handicapés moteurs

Publié en 2017
Type de publication : Autres Publications
Auteur(s) : Laurent BOBELIN, Christian TOINARD, Killian DURAND, Nadège FICHOT, Adrien JOUSSE, Yannick KERGOSIEN, Marie-Elisabeth LABAT, Amandine ROYER
Personalized Anonymization or the art of Private (Fair ?) Data Processing

Publié en 2017
Type de publication : Communications sans actes
Auteur(s) : Benjamin NGUYEN
A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-Michel COUVREUR, Joaquín EZPELETA
Lecture Notes in Business Information Processing
Hamming Quasi-Cyclic (HQC)

Publié en 2017
Type de publication : Autres Publications
Auteur(s) : Carlos AGUILAR MELCHOR, Nicolas ARAGON, Slim BETTAIEB, Loïc BIDOUX, Olivier BLAZY, Jean-Christophe DENEUVILLE, Philippe GABORIT, Edoardo PERSICHETTI, Gilles ZÉMOR
LOCKER - LOw rank parity ChecK codes EncRyption

Publié en 2017
Type de publication : Autres Publications
Auteur(s) : Nicolas ARAGON, Olivier BLAZY, Jean-Christophe DENEUVILLE, Philippe GABORIT, Adrien HAUTEVILLE, Olivier RUATTA, Jean-Pierre TILLICH, Gilles ZÉMOR
LAKE - Low rAnk parity check codes Key Exchange

Publié en 2017
Type de publication : Autres Publications
Auteur(s) : Nicolas ARAGON, Olivier BLAZY, Jean-Christophe DENEUVILLE, Philippe GABORIT, Adrien HAUTEVILLE, Olivier RUATTA, Jean-Pierre TILLICH, Gilles ZÉMOR
Rank Quasi-Cyclic (RQC)

Publié en 2017
Type de publication : Autres Publications
Auteur(s) : Carlos AGUILAR MELCHOR, Nicolas ARAGON, Slim BETTAIEB, Loïc BIDOUX, Olivier BLAZY, Jean-Christophe DENEUVILLE, Philippe GABORIT, Gilles ZÉMOR
Ouroboros-R

Publié en 2017
Type de publication : Autres Publications
Auteur(s) : Carlos AGUILAR MELCHOR, Nicolas ARAGON, Slim BETTAIEB, Loïc BIDOUX, Olivier BLAZY, Jean-Christophe DENEUVILLE, Philippe GABORIT, Adrien HAUTEVILLE, Gilles ZÉMOR
Non-asymptotic method estimation and applications for fractional order systems

Publié en 2017
Type de publication : Thèse
Auteur(s) : Xing WEI
A Verified Accumulate Algorithmic Skeleton

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE
A multi-scale modeling approach for systems of systems architectures

Publié en 2017
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Cédric EICHLER, Ilhem KHLIF, Mohamed Hadj KACEM, Ahmed Hadj KACEM
Post-Mortem Practices in the Mesolithic of Brittany : A Multi-Modal Digital Approach

Publié en 2017
Type de publication : Communications sans actes
Auteur(s) : Jean-Baptiste BARREAU, Ronan GAUGNE, Grégor MARCHAND, Jorge CALVO GÓMEZ, Rozenn COLLETER, Valérie GOURANTON
Sur-approximations non régulières et terminaison pour l’analyse d’accessibilité

Publié en 2017
Type de publication : Thèse
Auteur(s) : Vivien PELLETIER
Three Notes on Distributed Property Testing

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Guy EVEN, Orr FISCHER, Pierre FRAIGNIAUD, Tzlil GONEN, Reut LEVI, Moti MEDINA, Pedro MONTEALEGRE, Olivetti DENNIS, Rotem OSHMAN, Ivan RAPAPORT
GPFinder: Tracking the Invisible in Android Malware

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mourad LESLOUS, Valérie VIET TRIEM TONG, Jean-François LALANDE, Thomas GENET
12th International Conference on Malicious and Unwanted Software
COveR

Publié en 2017
Type de publication : Logiciel
Auteur(s) : Guillaume CLEUZIOU, Nicolas HIOT
When it comes to Querying Semantic Cultural Heritage Data

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Béatrice BOUCHOU MARKHOFF, T .B. NGUYEN, Cheikh NIANG
Temporal@ODIL Project: Adapting ISO-TimeML to Syntactic Treebanks for the Temporal Annotation of Spoken Speech

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-yves ANTOINE, Anaïs LEFEUVRE-HALFTERMEYER, Jakub WASZCZUK, Lotfi ABOUDA, Emmanuel SCHANG, Agata SAVARY
A BSPlib-style API for Bulk Synchronous Parallel ML

Publié en 2017
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Frédéric LOULERGUE
Multiword expression-aware A* TAG parsing revisited

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yannick PARMENTIER, Jakub WASZCZUK, Agata SAVARY
MapFIM: Memory Aware Parallelized Frequent Itemset Mining in Very Large Datasets

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mostafa BAMHA, Christel VRAIN, Khanh-Chuong DUONG, Arnaud GIACOMETTI, Dominique LI, Arnaud SOULET
Understanding Information Hiding to Secure Communications and to Prevent Exfiltration of Mobile Data

Publié en 2017
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Luca CAVIGLIONE, Mauro GAGGERO, Jean-François LALANDE, Wojciech MAZURCZYK
Understanding Interactions in Complex Systems: toward a Science of Interactions

Publié en 2017
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Christel VRAIN, Nicolas DEBARSY, Stéphane CORDIER, Cem ERTUR, François NEMO, Déborah NOURRIT-LUCAS, Gérard POISSON
Toward an Epistemic-Logical Theory of Categorization

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sabine FRITTELLA, Willem CONRADIE, Alessandra PALMIGIANO, Apostolos TZIMOULIS, Nachoem WIJNBERG
An Hierarchical Labeling Technique for Interactive Computation of Watersheds

Publié en 2017
Type de publication : Communications sans actes
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Kevin BOURGEOIS, Victor ESSAYAN
Formalization of a Big Graph API in Coq

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jolan PHILIPPE, Wadoud BOUSDIRA, Frédéric LOULERGUE
A Software Test Approach to Evaluate the Enforcement of a Workflow Engine

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Laurent BOBELIN, Christian TOINARD, Tuan TRAN, Stéphane MOINARD
Towards a Verified Parallel Implementation of Frequent Itemset Mining

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Christopher WHITNEY
E-HandicapScale : an open and secure way to promote and improve diagnostics of disabled patients

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Laurent BOBELIN, Christian TOINARD, Andrès GIL, Marie-Elisabeth LABAT
Proceedings of the 2017 International Conference on Health Informatics and Medical Systems
What is Fair Data Processing ?

Publié en 2017
Type de publication : Communications sans actes
Auteur(s) : Benjamin NGUYEN
https://www.isi-web.org/index.php/publications/proceedings
Textual Alignment in SPMD Programs

Publié en 2017
Type de publication : Autres Publications
Auteur(s) : Frédéric DABROWSKI
Un outil pour la manipulation de ressources arborées

Publié en 2017
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Yannick PARMENTIER
Sciences participatives et TALN: jusqu'où ? comment ? pourquoi ?

Publié en 2017
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Jean-yves ANTOINE, Anaïs LEFEUVRE-HALFTERMEYER
Annotation d’expressions polylexicales verbales en français

Publié en 2017
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Yannick PARMENTIER, Jean-yves ANTOINE, Marie CANDITO, Mathieu CONSTANT, Carlos RAMISCH, Agata SAVARY, Caroline PASQUER
Actes de TALN
Produire des ressources électroniques à partir de descriptions formelles : application aux langues peu dotées

Publié en 2017
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Simon PETITJEAN, Emmanuel SCHANG
L'important c'est de participer" : positive #ironie. Analyse de sentiments et détection de l'ironie Les systèmes du LIUM et d'OCTO

Publié en 2017
Type de publication : Communications sans actes
Auteur(s) : Amira BARHOUMI, Vincent LEVORATO, Nicolas DUGUÉ, Nathalie CAMELIN
Les chaînes coréférentielles en créole de la Guadeloupe

Publié en 2017
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Jean-yves ANTOINE, Anaïs LEFEUVRE-HALFTERMEYER, Emmanuel SCHANG
Graph Constraints in Urban Computing: Dealing with conditions in processing urban data

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Laurent D'ORAZIO, Carmem HARA, Nadia KOZIEVITCH, Martin MUSICANTE
Efficient Implicit Parallel Patterns for Geographic Information System

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sophie ROBERT, Sébastien LIMET, Kevin BOURGEOIS, Victor ESSAYAN
Procedia Computer Science
A multi-level optimization strategy to improve the performance of the stencil computation

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sylvain JUBERTIE, Gauthier SORNET, Fabrice DUPROS
Permutive one-way cellular automata and the finiteness problem for automaton groups

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Martin DELACOURT, Nicolas OLLINGER
Proceedings CiE 2017 in Turku
Imperative BSPlib-style Communications in Bulk Synchronous Parallel ML

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE
On the Computational Complexity of the Freezing Non-strict Majority Automata

Publié en 2017
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas OLLINGER, Eric GOLES, Diego MALDONADO, Pedro MONTEALEGRE
Lecture Notes in Computer Science

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