Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1575

Confluence of Prefix-Constrained Rewrite Systems
Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nirina ANDRIANARIVELO, Pierre RETY
Data Complexity Measures for Imbalanced Classification Tasks
Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marcilio PEREIRA DE SOUTO, Victor BARELLA, Luis GARCIA, Ana Carolina LORENA, Andre DE CARVALHO
Improving genomics-based predictions for precision medicine through active elicitation of expert knowledge
Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Marta SOARE, Iiris SUNDIN, Tomi PELTOLA, Luana MICALLEF, Homayun AFRABANDPEY, Muntasir MAMUN MAJUMDER, Pedram DAEE, Chen HE, Baris SERIM, Aki HAVULINNA, Caroline HECKMAN, Giulio JACUCCI, Pekka MARTTINEN, Samuel KASKI
The Case for Personalized Anonymization of Database Query Results
Publié en 2018
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Benjamin NGUYEN, Axel MICHEL, Philippe PUCHERAL
Ghosts for Lists: from Axiomatic to Executable Specifications
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
Toward a Formal Multiscale Architectural Framework for Emerging Properties Analysis in Systems of Systems
Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Laurent BOBELIN, Cédric EICHLER, Khalil DRIRA
Ouroboros-E: An Efficient Lattice-based Key-Exchange Protocol
Publié en 2018
Type de publication : Communications sans actes
Auteur(s) : Jean-Christophe DENEUVILLE, Philippe GABORIT, Qian GUO, Thomas JOHANSSON
Post-Quantum Cryptography: tomorrow’s security
Publié en 2018
Type de publication : Communications sans actes
Auteur(s) : Jean-Christophe DENEUVILLE
GeoSkelSL: A Python High-Level DSL for Parallel Computing in Geosciences.
Publié en 2018
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
A reasoning approach towards Ethics-Based Medicine and care of disabled people
Publié en 2018
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Christian TOINARD, Jean-Claude FONDRAS, Marie-Elisabeth LABAT
Des listes et leurs fantômes : vérification d'un module critique de Contiki avec FRAMA-C
Publié en 2018
Type de publication : Communications sans actes
Auteur(s) : Frédéric LOULERGUE, Allan BLANCHARD, Nikolai KOSMATOV
Delegating Elliptic-Curve Operations with Homomorphic Encryption
Publié en 2018
Type de publication : Communications sans actes
Auteur(s) : Carlos AGUILAR MELCHOR, Jean-Christophe DENEUVILLE, Philippe GABORIT, Tancrède LEPOINT, Thomas RICOSSET
Handling Pregel's limits in big graphs processing in the presence of high degree vertices
Publié en 2018
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN
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
Personalized k-anonymity
Publié en 2018
Type de publication : Communications sans actes
Auteur(s) : Benjamin NGUYEN
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, Chérifa BEN KHELIL, Chiraz ZRIBI, Yannick PARMENTIER
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
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
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
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
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
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, Chérifa BEN KHELIL, Chiraz ZRIBI, Yannick PARMENTIER
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
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
Automatic Cost Analysis for Imperative BSP Programs
Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Arvid JAKOBSSON
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
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
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
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
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
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
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
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.
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
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
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
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

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