Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1799

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É
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
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
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
Soundness of a Dataflow Analysis for Memory Monitoring

Publié en 2018
Type de publication : Communications sans actes
Auteur(s) : Frédéric LOULERGUE, Dara LY, Nikolai KOSMATOV, Julien SIGNOLES
Interopérabilité dans l'Internet des Objets : Étude et mise en œuvre

Publié en 2018
Type de publication : Poster
Auteur(s) : Pascal BERTHOMÉ, 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
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
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
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
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 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
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 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
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
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
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
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
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
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
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
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
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 : 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 : 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