Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1831

Graph Rewriting Rules for RDF Database Evolution Management

Publié en 2020
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jacques CHABIN, Cédric EICHLER, Mirian HALFELD-FERRARI, Nicolas HIOT
Proceedings of the International Conference on Information Integration and Web-based Applications & Services
DOING@DEFT : cascade de CRF pour l'annotation d'entités cliniques imbriquées

Publié en 2020
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Nicolas HIOT, Mirian HALFELD-FERRARI, Anne-Lyse MINARD, Andréane ROQUES, Agata SAVARY
Actes de la 6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Atelier DÉfi Fouille de Textes
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
L’intelligence Artificielle: De quoi s’agit-il vraiment ?

Publié en 2020
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Christel VRAIN, Frédéric ALEXANDRE, Leila AMGOUD, Christian BESSIERE, Jean-François BONNEFON, Tristan CAZENAVE, Raja CHATILA, Antoine CORNUEJOLS, Frédéric CUPPENS, Sébastien DESTERCKE, Béatrice DAILLE, Didier DUBOIS, Jérôme EUZENAT, Jean-Gabriel GANASCIA, Malik GHALLAB, Matthieu GEIST, Andreas HERZIG, Sébastien KONIECZNY, Frédéric KORICHE, Jérôme LANG, Frédéric MARIS, Pierre MARQUIS, Nicolas MAUDET, Engelbert MEPHU-NGUIFO, Jacques NICOLAS, Catherine PELACHAUD, Vianney PERCHET, Henri PRADE, Marie-Christine ROUSSET, Patrick SAINT DIZIER, Frédéric SAUBION, Christine SOLNON, Karim TABIA, Tim VAN DE CRUYS, Christian WOLF
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
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
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
oMAC : Open Model for Automotive Cybersecurity

Publié en 2019
Type de publication : Poster
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) : Florent FOUCAUD, Antoine DAILLY, 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.
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 BERTHOMÉ, 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) : 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
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
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
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
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
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
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

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