Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1575

Beyond Classes of Graphs with “Few” Minimal Separators: FPT Results Through Potential Maximal Cliques
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Ioan TODINCA, Pedro MONTEALEGRE
Monitoring and Forecasting the Impact of the 2018 Summer Heatwave on Vegetation
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Clément ALBERGEL, Emanuel DUTRA, Bertrand BONAN, Yongjun ZHENG, Simon MUNIER, Gianpaolo BALSAMO, Patricia DE ROSNAY, Joaquin MUNOZ-SABATER, Jean-Christophe CALVET
Teaching Android Mobile Security
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Pascal BERTHOME, Jean-François LALANDE, Valérie VIET TRIEM TONG, Pierre GRAUX, Guillaume HIET, Wojciech MAZURCZYK, Habiba CHAOUI
An $O(n^2)$ time algorithm for the minimal permutation completion problem
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Anthony PEREZ, Ioan TODINCA, Christophe CRESPELLE
Logics for Unordered Trees with Data Constraints
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Adrien BOIRET, Vincent HUGOT, Joachim NIEHREN, Ralf TREINEN
Atelier : Sécurité informatique et protection de la vie privée : pratiques et perspectives dans les entreprises
Publié en 2019
Type de publication : Conférence donnée sur invitation
Auteur(s) : Benjamin NGUYEN, Françoise FESSANT, Arnaud HOURSON, Lucas LAISE
Extraction de communautés ego-centrées par apprentissage supervisé d'espaces prétopologiques.
Publié en 2019
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaëtan CAILLAUT, Nicolas DUGUÉ
Tutoriel : Anonymization Techniques : Theory and Practice
Publié en 2019
Type de publication : Conférence donnée sur invitation
Auteur(s) : Benjamin NGUYEN
Safe Usage of Registers in BSPlib (Preprint)
Publié en 2019
Type de publication : Autres Publications
Auteur(s) : Frédéric DABROWSKI, Wadoud BOUSDIRA, Arvid JAKOBSSON
A computational account of virtual travelers in the Montagovian generative lexicon
Publié en 2019
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Anaïs LEFEUVRE-HALFTERMEYER, Richard MOOT, Christian RETORÉ
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
A First Step in the Translation of Alloy to Coq
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Salwa SOUAF
Constrained Distance Based Clustering for Satellite Image Time-Series
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Thi-Bich-Hanh DIEP-DAO, Christel VRAIN, Thomas LAMPERT, Baptiste LAFABREGUE, Nicolas SERRETTE, Pierre GANÇARSKI
Integrating multiple satellite observations into a coherent dataset to monitor the full water cycle – application to the Mediterranean region
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Victor PELLET, Filipe AIRES, Simon MUNIER, Diego FERNÁNDEZ PRIETO, Gabriel JORDÀ, Wouter Arnoud DORIGO, Jan POLCHER, Luca BROCCA
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
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
Representation and Parsing of Multiword Expressions
Publié en 2019
Type de publication : 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 : 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
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
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
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 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
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
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) : Frédéric LOULERGUE, Jolan PHILIPPE
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
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

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