Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1613

Preface to special issue on Inductive Logic Programming, ILP 2017 and 2018
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Christel VRAIN, Nicolas LACHICHE, Fabrizio RIGUZZI, Elena BELLODI, Riccardo ZESE
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group)
Publié en 2019
Type de publication : Autres Publications
Auteur(s) : Christel VRAIN, Zied BOURAOUI, Antoine CORNUÉJOLS, Thierry DENŒUX, Sébastien DESTERCKE, Didier DUBOIS, Romain GUILLAUME, Joao MARQUES-SILVA, Jérôme MENGIN, Henri PRADE, Steven SCHOCKAERT, Mathieu SERRURIER
Personal Data Management Systems: The security and functionality standpoint
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Nicolas ANCIAUX, Benjamin NGUYEN, Philippe BONNET, Luc BOUGANIM, Philippe PUCHERAL, Iulian SANDU-POPA, Guillaume SCERRI
Representation and Parsing of Multiword Expressions
Publié en 2019
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Yannick PARMENTIER, Jakub WASZCZUK
Cryptanalysis of a code-based one-time signature
Publié en 2018
Type de publication : Autres Publications
Auteur(s) : Jean-Christophe DENEUVILLE, Philippe GABORIT
Bringing a Feature Selection Metric from Machine Learning to Complex Networks
Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Anthony PEREZ, Nicolas DUGUÉ, Jean-Charles LAMIREL
Studies in Computational Intelligence
L'interrogation du web de données garantissant des réponses valides par rapport à des critères donnés
Publié en 2018
Type de publication : Thèse
Auteur(s) : Thanh Binh NGUYEN
Sentential negation and negative words in Guadeloupean Creole
Publié en 2018
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Simon PETITJEAN, Emmanuel SCHANG
Universalité et complexité des automates cellulaires coagulants
Publié en 2018
Type de publication : Thèse
Auteur(s) : Diego MALDONADO
Toward performance prediction for Multi-BSP programs in ML
Publié en 2018
Type de publication : Communications sans actes
Auteur(s) : Victor ALLOMBERT, Frédéric GAVA, Julien TESSON
Secure Joins with MapReduce
Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Xavier BULTEL, Radu CIUCANU, Matthieu GIRAUD, Pascal LAFOURCADE, Lihua YE
Interopérabilité dans l'Internet des Objets : Étude et mise en œuvre
Publié en 2018
Type de publication : Poster
Auteur(s) : Pascal BERTHOME, Cédric EICHLER, Fergal MARTIN-TRICOT
Verified Programs for Frequent Itemset Mining
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, Christopher WHITNEY
Interactive Bulk Synchronous Parallel Functional Programming in a Browser
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, Julien TESSON
Classification of Ceramic Shards Based on Convolutional Neural Network
Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Aladine CHETOUANI, Teddy DEBROUTELLE, Sylvie TREUILLET, Sébastien JESSET
Computing square roots of graphs with low maximum degree
Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Manfred COCHEFERT, Jean-François COUTURIER, Petr A. GOLOVACH, Dieter KRATSCH, Daniël PAULUSMA, Anthony STEWART
Exact algorithms for weak Roman domination
Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Anthony PEREZ, Mathieu CHAPELLE, Manfred COCHEFERT, Jean-Fraņcois COUTURIER, Dieter KRATSCH, Romain LETOURNEUR
Fast-Parallel Algorithms for Freezing Totalistic Asynchronous Cellular Automata
Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas OLLINGER, Eric GOLES, Diego MALDONADO, Pedro MONTEALEGRE-BARBA
On Aperiodic Reversible Turing Machines (invited talk)
Publié en 2018
Type de publication : Conférence donnée sur invitation
Auteur(s) : Nicolas OLLINGER
Reversible Computation 10th International Conference (RC 2018)
MMFilter: A CHR-Based Solver for Generation of Executions under Weak Memory Models
Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Frédéric LOULERGUE, Allan BLANCHARD, Nikolai KOSMATOV
Classifier Recommendation Using Data Complexity Measures
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, Luis GARCIA, Ana Carolina LORENA, Tin HO
Dysregulation of apoptosis and autophagy gene expression in peripheral blood mononuclear cells of efficiently treated HIV-infected patients
Publié en 2018
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Frédéric MOAL, Amandine SERRANO, Saïd EL HADDAD, Thierry PRAZUCK, Eric LEGAC, Chloé ROBIN, Fabienne BRULÉ-MORABITO, Stéphane CHARPENTIER, Thierry NORMAND, Alain LEGRAND, Laurent HOCQUELOUX, Lucile MOLLET
Universality in Freezing Cellular Automata
Publié en 2018
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Florent BECKER, Nicolas OLLINGER, Diego MALDONADO, Guillaume THEYSSIER
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
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
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
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
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
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
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
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
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
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 : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Mostafa BAMHA, Mohamad AL HAJJ HASSAN

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