Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1613

Personalized k-anonymity
Publié en 2018
Type de publication : Communications sans actes
Auteur(s) : Benjamin NGUYEN
Apport des dépendances syntaxiques et des patrons séquentiels à l'extraction de relations
Publié en 2018
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Kata GÁBOR, Nadège LECHEVREL, Isabelle TELLIER, Thierry CHARNOIS, Haifa ZARGAYOUNA, Davide BUSCALDI
Classification par paires de mention pour la résolution des coréférences en français parlé interactif
Publié en 2018
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Maëlle BRASSIER, Alexis PURET, Augustin VOISIN-MARRAS, Loïc GROBOL
HPC & Co strike back: Where are distributed paradigms heading toward?
Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sébastien LIMET, Alessio MERLO, Luca SPALAZZI
Interface syntaxe-sémantique au moyen d’une grammaire d’arbres adjoints pour l’étiquetage sémantique de l’arabe
Publié en 2018
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Chérifa BEN KHELIL, Chiraz ZRIBI
Efficient Encryption From Random Quasi-Cyclic Codes
Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Carlos AGUILAR MELCHOR, Olivier BLAZY, Jean-Christophe DENEUVILLE, Philippe GABORIT, Gilles ZÉMOR
Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development
Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Gaétan HAINS, Arvid JAKOBSSON, Youry KHMELEVSKY
Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C
Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Allan BLANCHARD, Nikolai KOSMATOV
Approximating any Logic Program by a CS-Program
Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yohan BOICHUT, Pierre RETY, Vivien PELLETIER
Discrétisation automatique de machines à signaux en automates cellulaires
Publié en 2018
Type de publication : Thèse
Auteur(s) : Tom BESSON
Correctness by construction and style preserving reconfigurations of system of systems
Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Cédric EICHLER, Khalil DRIRA, Thierry MONTEIL, Patricia STOLF
SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing
Textual Alignment in SPMD Programs
Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric DABROWSKI
A refinement-based approach for specifying multi-scale software architectures
Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Cédric EICHLER, Ilhem KHLIF, Imen TOUNSI, Mohamed Hadj KACEM, Ahmed Hadj KACEM
Enseigner la pensée informatique à l'école primaire : formation initiale et continue des professeurs
Publié en 2018
Type de publication : Communications sans actes
Auteur(s) : Yannick PARMENTIER
Late Breaking Papers of the 27th International Conference on Inductive Logic Programming, Orléans, France, September 4-6, 2017
Publié en 2018
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Christel VRAIN, Nicolas LACHICHE
Exact exponential algorithms for 3-machine flowshop scheduling problems
Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Lei SHANG, Christophe LENTÉ, Vincent T'KINDT
Detection and classification of the breast abnormalities in Digital Mammograms via Linear Support Vector Machine
Publié en 2018
Type de publication : Communications sans actes
Auteur(s) : Amara NEDRA, Muhammad SHOAIB, Said GATTOUFI
Data-layout reorganization for an efficient intra-node assembly of a Spectral Finite-Element Method
Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sylvain JUBERTIE, Sébastien LIMET, Gauthier SORNET, Fabrice DUPROS, Florent DE MARTIN, Philippe THIERRY
To appear in CPS proceedings
BANYAN. XI. The BANYAN Σ Multivariate Bayesian Algorithm to Identify Members of Young Associations with 150 pc
Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jonathan GAGNÉ, Eric MAMAJEK, Lison MALO, Adric RIEDEL, David RODRIGUEZ, David LAFRENIÈRE, Jacqueline FAHERTY, Olivier ROY-LOUBIER, Laurent PUEYO, Annie ROBIN, Rene DOYON
Constraint Programming for Data Mining and for Natural Language Processing
Publié en 2018
Type de publication : HDR
Auteur(s) : Thi-bich-hanh DIEP-DAO
Inductive Logic Programming - 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers.
Publié en 2018
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Christel VRAIN, Nicolas LACHICHE
A semi-automatically generated TAG for Arabic: Dealing with linguistic phenomena
Publié en 2018
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
Vectorization of a spectral finite-element numerical kernel
Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sylvain JUBERTIE, Fabrice DUPROS, Florent DE MARTIN
On the complexity of two-dimensional signed majority cellular automata
Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Eric GOLES, Pedro MONTEALEGRE, Kévin PERROT, Guillaume THEYSSIER
Fixing improper colorings of graphs
Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Valentin GARNERO, Konstanty JUNOSZA-SZANIAWSKI, Pedro MONTEALEGRE, Paweł RZĄŻEWSKI
Automatic Cost Analysis for Imperative BSP Programs
Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Arvid JAKOBSSON
De l’éthique de la numérisation de la santé à la numérisation de l’éthique de la santé
Publié en 2018
Type de publication : Communications sans actes
Auteur(s) : Christian TOINARD, Jean-Claude FONDRAS, Marie-Elisabeth LABAT
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.
Abstract geometrical computation 8: Small machines, accumulations & rationality
Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Florent BECKER, Jérôme DURAND-LOSE, Vincent LEVORATO, Mathieu CHAPELLE, Maxime SENOT
The Impact of Locality on the Detection of Cycles in the Broadcast Congested Clique Model
Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Florent BECKER, Ioan TODINCA, Pedro MONTEALEGRE, Ivan RAPAPORT
Constrained distance based clustering for time-series: a comparative and experimental study
Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, Christel VRAIN, Thomas LAMPERT, Baptiste LAFABREGUE, Nicolas SERRETTE, Germain FORESTIER, Bruno CRÉMILLEUX, Pierre GANCARSKI
Simulation and Intrinsic Universality Among Reversible Cellular Automata, the Partition Cellular Automata Leverage
Publié en 2018
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE
Urban Data Consistency in RDF: A Case Study of Curitiba Transportation System
Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Carmem S. HARA, Nádia P. KOZIEVITCH, Flavio R. UBER
Validating Data from Semantic Web Providers
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, Béatrice MARKHOFF, Thanh Binh NGUYEN
SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings
The many facets of upper domination
Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Cristina BAZGAN, Ljiljana BRANKOVIC, Katrin CASEL, Henning FERNAU, Klaus JANSEN, Kim-Manuel KLEIN, Michael LAMPIS, Jérôme MONNOT, Vangelis Th. PASCHOS
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
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
MapFIM+: Memory Aware Parallelized Frequent Itemset Mining In Very Large Datasets
Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mostafa BAMHA, Christel VRAIN, Khanh-Chuong DUONG, Arnaud GIACOMETTI, D. LI HAOYUAN, Arnaud SOULET
Building a syntactic-semantic interface for a semi-automatically generated TAG for Arabic
Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Chérifa BEN KHELIL, Chiraz ZRIBI
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
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
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
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
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
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
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
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
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

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