Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1851

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 : Communications sans actes
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Chérifa BEN KHELIL, Chiraz ZRIBI
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
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
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
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
Algorithms Parameterized by Vertex Cover and Modular Width, Through Potential Maximal Cliques

Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Ioan TODINCA, Fedor V. FOMIN, Pedro MONTEALEGRE
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 : Chapitre d'ouvrages scientifiques
Auteur(s) : Christel VRAIN, Nicolas LACHICHE
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
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
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
Automatic Cost Analysis for Imperative BSP Programs

Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Arvid JAKOBSSON
Machines, Computations, and Universality

Publié en 2018
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Sergey VERLAN
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
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 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
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
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
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) : Christel VRAIN, Thomas LAMPERT, Thi-Bich-Hanh DIEP-DAO, Baptiste LAFABREGUE, Nicolas SERRETTE, Germain FORESTIER, Bruno CRÉMILLEUX, Pierre GANCARSKI
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
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
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
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
Simulation and Intrinsic Universality Among Reversible Cellular Automata, the Partition Cellular Automata Leverage

Publié en 2018
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE
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
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
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
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

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