Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1635

A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations

Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pascal BERTHOMÉ, Frédéric LOULERGUE, Salwa SOUAF
Data layout and SIMD abstraction layers: decoupling interfaces from implementations

Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sylvain JUBERTIE, Ian MASLIAH, Joel FALCOU
A Denotational Semantics of Textually Aligned 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
International Conference on High Performance Computing & Simulation
Impact of vectorization and multithreading on performance and energy consumption on Jetson boards

Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sylvain JUBERTIE, Emmanuel MELIN, Naly RALIRAVAKA, Emmanuel BODÈLE, Pablo ESCOT BOCANEGRA
Parallel Programming with OCaml: A Tutorial

Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathias BOURGOIN, Frédéric LOULERGUE, Victor ALLOMBERT
Strong Security Guarantees: From Alloy to Coq (Research Poster)

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, Salwa SOUAF
Descriptive Clustering: ILP and CP Formulations with Applications

Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, Christel VRAIN, Chia-Tung KUO, S. S. RAVI, Ian DAVIDSON
Programming BSP and Multi-BSP algorithms in ML

Publié en 2018
Type de publication : Communications sans actes
Auteur(s) : Victor ALLOMBERT, Frédéric GAVA
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
Software Tool Support for Modular Reasoning in Modal Logics of Actions

Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sabine FRITTELLA, Samuel BALCO, Giuseppe GRECO, Alexander KURZ, Alessandra PALMIGIANO
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 : Ouvrage ou 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
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
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
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 : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN
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
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
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
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
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
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
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
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
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

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