Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1590

Combining Users Feedback as a Source of Knowledge for Feature Selection in Regression
Publié en 2018
Type de publication : Autres Publications
Auteur(s) : Marta SOARE, Loujain LIEKAH, Emilie MORVANT, Amaury HABRARD
An ML implementation of the MULTI-BSP model
Publié en 2018
Type de publication : Communications sans actes
Auteur(s) : Victor ALLOMBERT, Frédéric GAVA
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 BERTHOME, Frédéric LOULERGUE, Salwa SOUAF
Towards the Generation of Correct Java Programs (Research Poster)
Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jolan PHILIPPE, Frédéric LOULERGUE
A Lesson on Verification of IoT Software with 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
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
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
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
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
Performance Analysis of SIMD vectorization of High-Order Finite-Element kernels
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
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
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
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
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 : 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
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, Chérifa BEN KHELIL, Chiraz ZRIBI, Yannick PARMENTIER
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
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 : Ouvrage ou 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, Chérifa BEN KHELIL, Chiraz ZRIBI, Yannick PARMENTIER

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