Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1635

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
Graph Rewriting System for Consistent Evolution of RDF/S databases

Publié en 2020
Type de publication : Autres Publications
Auteur(s) : Jacques CHABIN, Cédric EICHLER, Mirian HALFELD-FERRARI, Nicolas HIOT
Pattern-driven Design of a Multiparadigm Parallel Programming Framework

Publié en 2020
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Virginia NICULESCU, Darius BUFNEA, Adrian STERCA
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
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
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
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
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, Jean-yves ANTOINE, Ilaine WANG, Aurore PELLETIER, Jakub WASZCZUK, 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) : Jean-yves ANTOINE, Anaïs LEFEUVRE-HALFTERMEYER, Dany BREGEON, 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.
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 BERTHOMÉ, Karine HEYDEMANN, Jean-François LALANDE
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
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) : Jean-yves ANTOINE, Anaïs LEFEUVRE-HALFTERMEYER, Manon CASSIER, Julien LONGHI, Damien NOUVEL, Agata JACKIEWICZ
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
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 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
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
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
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
SEmantic Networks of Data: Utility and Privacy

Publié en 2019
Type de publication : Poster
Auteur(s) : Cédric EICHLER, Pascal BERTHOMÉ, Jacques CHABIN, Mirian HALFELD-FERRARI, Benjamin NGUYEN, Rachid ECHAHED, Frederic PROST
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
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
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
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

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