Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1779

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
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
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
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
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
The Journal of Supercomputing volume 76, page 4976 (2020)

Publié en 2020
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Frédéric DABROWSKI
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
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
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
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
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
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
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
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
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.
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 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
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
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
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
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
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
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
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

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