Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1575

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 : 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
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
Towards more precise rewriting approximations
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Yohan BOICHUT, Jacques CHABIN, Pierre RETY
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 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
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
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
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
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
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) : Frédéric LOULERGUE, Jolan PHILIPPE
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) : Frédéric LOULERGUE, Jolan PHILIPPE
Automatic Generation of Bulk-Synchronous Parallel code
Publié en 2019
Type de publication : Thèse
Auteur(s) : Thibaut TACHON
Static Analysis for BSPlib Programs
Publié en 2019
Type de publication : Thèse
Auteur(s) : Filip JAKOBSSON
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
Syntactic Parsing versus MWEs: What can fMRI signal tell us
Publié en 2019
Type de publication : Conférence donnée sur invitation
Auteur(s) : Murielle FABRE, Yoann DUPONT, Éric VILLEMONTE DE LA CLERGERIE
On the Fly Reconfiguration of BPaaS Based on SaaS Services Federation and SAT Solving Techniques
Publié en 2019
Type de publication : Communications sans actes
Auteur(s) : Mouna REKIK, Abderrahim AIT WAKRIME, Nasredine CHENIKI, Yacine SAM
La logique contre les fantômes: comparaison de deux approches pour la preuve d'un module de listes chaînées *
Publié en 2019
Type de publication : Conférence donnée sur invitation
Auteur(s) : Frédéric LOULERGUE, Allan BLANCHARD, Nikolai KOSMATOV
Bisplit graphs satisfy the Chen-Chvátal conjecture
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Laurent BEAUDOU, Giacomo KAHN, Matthieu ROSENFELD
Sémantique distributionnelle et diachronie
Publié en 2019
Type de publication : Conférence donnée sur invitation
Auteur(s) : Guillaume DESAGULIER, Ilaine WANG
Industrial Internet of Things: Security of Interoperability
Publié en 2019
Type de publication : Poster
Auteur(s) : Cédric EICHLER, Pascal BERTHOME, Fergal MARTIN-TRICOT
Towards Full Proof Automation in Frama-C Using Auto-active Verification
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, Allan BLANCHARD, Nikolai KOSMATOV
Constraint Games for stable and optimal allocation of demands in SDN
Publié en 2019
Type de publication : Autres Publications
Auteur(s) : Anthony PALMIERI, Arnaud LALLOUET, Luc PONS
Learning pretopological spaces to extract ego-centered communities
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaëtan CAILLAUT, Nicolas DUGUÉ
Logic against Ghosts: Comparison of Two Proof Approaches for a List Module
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, Allan BLANCHARD, Nikolai KOSMATOV
Personalising privacy contraints in Generalization-based Anonymization Models
Publié en 2019
Type de publication : Thèse
Auteur(s) : Axel MICHEL
Safe Usage of Registers in BSPlib
Publié en 2019
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Wadoud BOUSDIRA, Frédéric DABROWSKI, Arvid JAKOBSSON
to appear
Parallel programming with Coq: Map and reduce skeletons on trees
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
LL-based query answering over RDF databases
Publié en 2019
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ciro MEDEIROS, Martin MUSICANTE, Umberto COSTA

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