Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1590

An Enrolment Gateway for Data Security in Heterogeneous Industrial Internet of Things
Publié en 2020
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Cédric EICHLER, Pascal BERTHOME, Fergal MARTIN-TRICOT
Recursive Expressions for SPARQL Property Paths
Publié en 2020
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ciro MEDEIROS, Umberto COSTA, Semyon GRIGOREV, Martin MUSICANTE
Ethical reasoning and protocols for improving the scientific integrity
Publié en 2020
Type de publication : Poster
Auteur(s) : Christian TOINARD
Actes des 2èmes journées scientifiques du Groupement de Recherche Linguistique Informatique Formelle et de Terrain (LIFT).
Publié en 2020
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Thierry POIBEAU, Yannick PARMENTIER, Emmanuel SCHANG
Transforming powerlist-based divide-and-conquer programs for an improved execution model
Publié en 2020
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Frédéric LOULERGUE, Virginia NICULESCU
Specification of side-effect management techniques for semantic graph sanitization
Publié en 2020
Type de publication : Autres Publications
Auteur(s) : Jacques CHABIN, Cédric EICHLER, Mirian HALFELD-FERRARI, Nicolas HIOT
The Impact of Locality in the Broadcast Congested Clique Model
Publié en 2020
Type de publication : Revue internationale à comité de lecture
Auteur(s) : F. BECKER, P. MONTEALEGRE, I. RAPAPORT, I. TODINCA
Self-assembly of 3-D structures using 2-D folding tiles
Publié en 2020
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jérôme DURAND-LOSE, Jacob HENDRICKS, Matthew PATITZ, Ian PERKINS, Michael SHARP
Soundness of a Dataflow Analysis for Memory Monitoring
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Frédéric LOULERGUE, Dara LY, Nikolai KOSMATOV, Julien SIGNOLES
New List Skeletons for the Python Skeleton Library
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, Jolan PHILIPPE
Apprentissage d'espaces prétopologiques pour l'extraction de connaissances structurées
Publié en 2019
Type de publication : Thèse
Auteur(s) : Gaëtan CAILLAUT
Automatic Optimization of Python Skeletal Parallel Programs
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, Jolan PHILIPPE
Therapeutic advice issued by a geriatric mobile team and 3-year mortality in older inpatients
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Frédéric MOAL, Pierre-Yves PARÉ, Hélène RIVIÈRE, Raphaelle HUREAUX, Marion CHAPPE, Laurence SPIESSER-ROBELET, Cédric ANNWEILER
Classification of Engraved Pottery Sherds Mixing Deep-Learning Features by Compact Bilinear Pooling
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Matthieu EXBRAYAT, Aladine CHETOUANI, Sylvie TREUILLET, Sébastien JESSET
Combiner parseur automatique et révision manuelle pour la constitution d'un corpus arboré de parole spontanée : retour d'expérience sur le corpus ODIL_syntaxe
Publié en 2019
Type de publication : Poster
Auteur(s) : Anaïs LEFEUVRE-HALFTERMEYER, Ilaine WANG, Aurore PELLETIER, Jakub WASZCZUK, Jean-Yves ANTOINE, Lotfi ABOUDA, Emmanuel SCHANG, Agata SAVARY
Secure Best Arm Identification in Multi-Armed Bandits
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Radu CIUCANU, Marta SOARE, Pascal LAFOURCADE, Marius LOMBARD-PLATET
oMAC : Open Model for Automotive Cybersecurity
Publié en 2019
Type de publication : Communications sans actes
Auteur(s) : Vincent HUGOT, Christian TOINARD, Adrien JOUSSE, Benjamin VENELLE
Modeling Concurrent Behaviors as Words
Publié en 2019
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Yohan BOICHUT, Jean-Michel COUVREUR, Xavier FERRY, Mohamadou Tafsir SAKHO
A denotational semantics of textually aligned SPMD Program
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Frédéric DABROWSKI
Strengthening the Murty-Simon conjecture on diameter 2 critical graphs
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Antoine DAILLY, Florent FOUCAUD, Adriana HANSBERG
Parameterized Algorithms for Finding Square Roots
Publié en 2019
Type de publication : Autres Publications
Auteur(s) : Manfred COCHEFERT, Jean-François COUTURIER, Petr A. GOLOVACH, Dieter KRATSCH, Daniël PAULUSMA
How Complex Is Your Classification Problem?: A Survey on Measuring Classification Complexity
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Marcilio PEREIRA DE SOUTO, Ana LORENA, Luís GARCIA, Jens LEHMANN, Tin Kam HO
Parallèlisme des calculs numériques appliqué aux géosciences
Publié en 2019
Type de publication : Thèse
Auteur(s) : Gauthier SORNET
Consistent updating of databases with marked nulls
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Dominique LAURENT
Extending Atomic Chain Swaps
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérémy BRIFFAUT, Benjamin NGUYEN, Jean-Yves ZIÉ, Jean-Christophe DENEUVILLE
Parameterized Complexity of Edge-Coloured and Signed Graph Homomorphism Problems
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Florent FOUCAUD, Hervé HOCQUARD, Dimitri LAJOU, Valia MITSOU, Theo PIERRON
Probabilistic Epistemic Updates on Algebras
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sabine FRITTELLA, Willem CONRADIE, Alessandra PALMIGIANO, Apostolos TZIMOULIS, Nachoem WIJNBERG
Enumeration and maximum number of minimal dominating sets for chordal graphs
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Petr GOLOVACH, Dieter KRATSCH, Mohamed Yosri SAYADI
Towards more precise rewriting approximations
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Yohan BOICHUT, Jacques CHABIN, Pierre RETY
Redonner du sens à l’accord interannotateurs : vers une interprétation des mesures d’accord en termes de reproductibilité de l’annotation
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Anaïs LEFEUVRE-HALFTERMEYER, Dany BREGEON, Jean-Yves ANTOINE, Jeanne VILLANEAU
Unification modulo Lists with Reverse, Relation with Certain Word Equations
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Peter HIBBS, Paliath NARENDRAN, Michaël RUSINOWITCH
Lecture Notes in Artificial Intelligence, LNAI, Springer-Verlag.
Unification modulo Lists with Reverse as Solving Simple Sets of Word Equations
Publié en 2019
Type de publication : Autres Publications
Auteur(s) : Siva ANANTHARAMAN, Peter HIBBS, Paliath NARENDRAN, Michael RUSINOWITCH
Formally verified software countermeasures for control-flow integrity of smart card C code
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Pascal BERTHOME, Karine HEYDEMANN, Jean-François LALANDE
Secure Intersection with MapReduce
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Radu CIUCANU, Matthieu GIRAUD, Pascal LAFOURCADE, Lihua YE
Secure and Efficient Matrix Multiplication with MapReduce
Publié en 2019
Type de publication : Conférence donnée sur invitation
Auteur(s) : Radu CIUCANU, Matthieu GIRAUD, Pascal LAFOURCADE, Lihua YE
Secure Strassen-Winograd Matrix Multiplication with MapReduce
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Radu CIUCANU, Matthieu GIRAUD, Pascal LAFOURCADE, Lihua YE
Analysis and Automatic Processing of Discourse
Publié en 2019
Type de publication : Poster
Auteur(s) : Anaïs LEFEUVRE-HALFTERMEYER, Manon CASSIER, Julien LONGHI, Damien NOUVEL, Agata JACKIEWICZ, Jean-Yves ANTOINE
Transforming non textually aligned SPMD programs into textually aligned SPMD programs by using rewriting rules
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Wadoud BOUSDIRA
Enumeration and maximum number of maximal irredundant sets for chordal graphs
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Petr GOLOVACH, Dieter KRATSCH, Mohamed Yosri SAYADI
SEmantic Networks of Data: Utility and Privacy
Publié en 2019
Type de publication : Poster
Auteur(s) : Cédric EICHLER, Pascal BERTHOME, Jacques CHABIN, Mirian HALFELD-FERRARI, Benjamin NGUYEN, Rachid ECHAHED, Frederic PROST
On Distributed Merlin-Arthur Decision Protocols
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Pierre FRAIGNIAUD, Pedro MONTEALEGRE, Rotem OSHMAN, Rapaport IVAN
PySke: Algorithmic Skeletons for Python
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jolan PHILIPPE, Frédéric LOULERGUE
Un corpus libre, évolutif et versionné en entités nommées du français
Publié en 2019
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Yoann DUPONT
Enumeration of Minimal Connected Dominating Sets in chordal bipartite graphs
Publié en 2019
Type de publication : Communications sans actes
Auteur(s) : Mathieu LIEDLOFF, Benjamin GRAS
Towards automatically optimizing PySke programs (poster)
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jolan PHILIPPE, Frédéric LOULERGUE
Static Analysis for BSPlib Programs
Publié en 2019
Type de publication : Thèse
Auteur(s) : Filip JAKOBSSON
Automatic Generation of Bulk-Synchronous Parallel code
Publié en 2019
Type de publication : Thèse
Auteur(s) : Thibaut TACHON
On-demand Relational Concept Analysis
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Alexandre BAZIN, Jessie CARBONNEL, Marianne HUCHARD, Giacomo KAHN, Priscilla KEIP, Amirouche OUZERDINE
Reduction and Introducers in d-contexts
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Alexandre BAZIN, Giacomo KAHN
Construction semi-automatique d'une grammaire d'arbres adjoints pour l'analyse syntaxico-sémantique de l'arabe
Publié en 2019
Type de publication : Thèse
Auteur(s) : Cherifa BEN KHELIL

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