Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1779

Complexity and algorithms for injective edge-coloring in graphs

Publié en 2021
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Florent FOUCAUD, Hervé HOCQUARD, Dimitri LAJOU
On the Complexity of Broadcast Domination and Multipacking in Digraphs

Publié en 2021
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Florent FOUCAUD, Anthony PEREZ, Benjamin GRAS, Florian SIKORA
DOING : Intelligent Data – from data to knowledge (workshop of ADBIS 2021)

Publié en 2021
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Mirian HALFELD-FERRARI, Carmem HARA
A cubic vertex-kernel for Trivially Perfect Editing

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mael DUMAS, Anthony PEREZ, Ioan TODINCA
Graph rewriting rules for RDF database evolution: optimizing side-effect processing

Publié en 2021
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jacques CHABIN, Cédric EICHLER, Mirian HALFELD-FERRARI, Nicolas HIOT
Querying Linked Data: how to ensure user's quality requirements

Publié en 2021
Type de publication : Autres Publications
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Béatrice MARKHOFF, Thanh Binh NGUYEN
Rice's theorem for generic limit sets of cellular automata

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Martin DELACOURT
27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2021)
Rice’s Theorem for Generic Limit Sets of Cellular Automata

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Martin DELACOURT
Open Access Series in Informatics (OASIcs), 27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2021)
Cryptanalysis of a code-based signature scheme without trapdoors

Publié en 2021
Type de publication : Autres Publications
Auteur(s) : Marco BALDI, Jean-Christophe DENEUVILLE, Edoardo PERSICHETTI, Paolo SANTINI
Compact Distributed Certification of Planar Graphs

Publié en 2021
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Laurent FEUILLOLEY, Pierre FRAIGNIAUD, Pedro MONTEALEGRE, Ivan RAPAPORT, Éric RÉMILA
Multi-instance learning of pretopological spaces to model complex propagation phenomena: Application to lexical taxonomy learning

Publié en 2021
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Gaëtan CAILLAUT
Learning student program embeddings using abstract execution traces

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Frédéric FLOUVAT
Analyse en dépendances du français avec des plongements contextualisés

Publié en 2021
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Loïc GROBOL, Benoît CRABBÉ
Actes de la 28e Conférence sur le Traitement Automatique des Langues Naturelles
Completion to Chordal Distance-Hereditary Graphs: A Quartic Vertex-Kernel

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Anthony PEREZ, Christophe CRESPELLE, Benjamin GRAS
Unlinkable and Invisible $\gamma$-Sanitizable Signatures

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Xavier BULTEL, Angèle BOSSUAT
A model transformation approach for multiscale modeling of software architectures applied to smart cities

Publié en 2021
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Cédric EICHLER, Ilhem KHLIF, Mohamed HADJ KACEM, Khalil DRIRA, Ahmed HADJ KACEM
Secure Outsourced Data Analytics

Publié en 2021
Type de publication : HDR
Auteur(s) : Radu CIUCANU
Apprentissage de représentations pour l'enseignement de la programmation : une approche centrée enseignant

Publié en 2021
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Matthieu EXBRAYAT, Frédéric FLOUVAT, Julien ROBERT, Romuald THION
10e Conférence sur les Environnements Informatiques pour l’Apprentissage Humain
Actes de l'atelier APIMU 2021 @ EIAH : Apprendre la Pensée Informatique de la Maternelle à l'Université

Publié en 2021
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Yannick PARMENTIER, Julien BROISIN, Christophe DECLERCQ, Cédric FLUCKIGER, Yvan PETER, Yann SECQ
Donner du sens à l’objet numérique dans la formation des futur·e·s professeur·e·s des écoles

Publié en 2021
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Yannick PARMENTIER, Sylvie KIRCHMEYER
Actes de l'atelier Apprendre la Pensée Informatique de la Maternelle à l'Université.
A Scalable MapReduce Similarity Join Algorithm Using LSH

Publié en 2021
Type de publication : Autres Publications
Auteur(s) : Sébastien RIVAULT, Mostafa BAMHA, Sébastien LIMET, Sophie ROBERT
Cliques in exact distance powers of graphs of given maximum degree

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Florent FOUCAUD, Suchismita MISHRA, Narayanan NARAYANAN, Reza NASERASR, Petru VALICOV
On Single-Valuedness in Textually Aligned SPMD Programs

Publié en 2021
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Frédéric DABROWSKI
Analysis of the dynamics and influence of the research work of Prof. Liu Zeyuan in China featuring a new hybrid approach combining community detection with topic tracking

Publié en 2021
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Anthony PEREZ, Jean-Charles LAMIREL, Younes GUEDDARI, Yuqi WANG, Pascal CUXAC, Nicolas DUGUÉ
Plateforme de modélisation hydrogéologique nationale AQUI-FR

Publié en 2021
Type de publication : Autres Publications
Auteur(s) : Florence HABETS, Nadia AMRAOUI, Dominique THIÉRY, Jean-Pierre VERGNES, Thierry MOREL, Patrick LE MOIGNE, Simon MUNIER, Delphine LEROUX, Jean-Raynald DE DREUZY, Laurent LONGUEVERGNE, Philippe ACKERER, François BESSON, Pierre ETCHEVERS, Fabienne ROUSSET, Jean-Marie WILLEMET, Pascal VIENNOT, Nicolas GALLOIS
SINr: Fast Computing of Sparse Interpretable Node Representations is not a Sin!

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Anthony PEREZ, Thibault PROUTEAU, Victor CONNES, Nicolas DUGUÉ, Jean-Charles LAMIREL, Nathalie CAMELIN, Sylvain MEIGNIER
Lecture Notes in Computer Science,
Assessing the data complexity of imbalanced datasets

Publié en 2021
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Marcilio PEREIRA DE SOUTO, Victor BARELLA, Luís P.F. GARCIA, Ana LORENA, André C.P.L.F. DE CARVALHO
Portability across Arm NEON and SVE vector instruction sets using the NSIMD library: a case study on a Seismic Spectral-Element kernel

Publié en 2021
Type de publication : Communications sans actes
Auteur(s) : Sylvain JUBERTIE, Kenny PEOU, Guillaume QUINTIN, Fabrice DUPROS
Automatic recovering the number k of clusters in the data by active query selection

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marcilio PEREIRA DE SOUTO, Hério SOUSA, Reginaldo KUROSHU, Ana Carolina LORENA
Implementation of a Medical Data Warehouse Framework to Support Decisions

Publié en 2021
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Nedra AMARA, Olfa LAMOUCHI, Said GATTOUFI
Reflection on the Design of Parallel Programming Frameworks

Publié en 2021
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Frédéric LOULERGUE, Virginia NICULESCU, Adrian STERCA
GeST: A New Image Segmentation Technique based on Graph Embedding

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Anthony PEREZ
Role-Based Access Control on Graph Databases

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Cristina CIFERRI, Carmem HARA, Raqueline PENTEADO
Apprentissage d'embeddings de codes pour l'enseignement de la programmation : une approche fondée sur l'analyse des traces d'exécution

Publié en 2021
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Guillaume CLEUZIOU, Frédéric FLOUVAT
Artificial Intelligence. What is it, exactly?

Publié en 2021
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Christel VRAIN, Frédéric ALEXANDRE, Christian BESSIERE, Jean-François BONNEFON, Tristan CAZENAVE, Raja CHATILA, Antoine CORNUEJOLS, Frédéric CUPPENS, Sébastien DESTERCKE, Béatrice DAILLE, Jérôme EUZENAT, Jean-Gabriel GANASCIA, Malik GHALLAB, Christian WOLF, Catherine PELACHAUD, Nicolas MAUDET, Matthieu GEIST, Sébastien KONIECZNY, Frédéric KORICHE, Jérôme LANG, Pierre MARQUIS, Marie-Christine ROUSSET, Engelbert MEPHU-NGUIFO, Jacques NICOLAS, Vianney PERCHET, Philippe DAGUE, Patrick SAINT DIZIER, Frédéric SAUBION, Christine SOLNON, Karim TABIA
DOING@DEFT : utilisation de lexiques pour une classification efficace de cas cliniques

Publié en 2021
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Nicolas HIOT, Anne-Lyse MINARD, Flora BADIN
Actes de la 28e Conférence sur le Traitement Automatique des Langues Naturelles. Atelier DÉfi Fouille de Textes (DEFT)
Abstract Geometrical Computation 10: An Intrinsically Universal Family of Signal Machines

Publié en 2021
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Florent BECKER, Jérôme DURAND-LOSE, Aurélien EMMANUEL, Shahrzad HEYDARSHAHI, Tom BESSON, Mohammad-Hadi FOROUGHMAND-ARAABI, Sama GOLIAEI
Exact square coloring of subcubic planar graphs

Publié en 2021
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Florent FOUCAUD, Hervé HOCQUARD, Suchismita MISHRA, Narayanan NARAYANAN, Reza NASERASR, Eric SOPENA, Petru VALICOV
Characterizing extremal graphs for open neighbourhood location-domination

Publié en 2021
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Florent FOUCAUD, Narges GHAREGHANI, Aida ROSHANY-TABRIZI, Pouyeh SHARIFANI
Special Issue on MCU 2018

Publié en 2021
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, Jarkko KARI, Sergey VERLAN
Standard Matching-Choice Expressions for Defining Path Queries in Graph Databases

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ciro MEDEIROS, Umberto COSTA, Martin MUSICANTE
A Scalable MapReduce Similarity Join Computation Using LSH

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien RIVAULT, Mostafa BAMHA, Sophie ROBERT, Sébastien LIMET
The Formal-Language-Constrained Graph Minimization Problem

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Ciro MEDEIROS, Martin MUSICANTE
Efficient and Systematic Partitioning of Large and Deep Neural Networks for Parallelization

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sébastien LIMET, Sophie ROBERT, Haoran WANG, Chong LI, Thibaut TACHON, Hongxing WANG, Sheng YANG
Tests and Proofs

Publié en 2021
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Frédéric LOULERGUE, Franz WOTAWA
How to (Legally) Keep Secrets from Mobile Operators

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Xavier BULTEL, Ghada ARFAOUI, Olivier BLAZY, Pierre-Alain FOUQUE, Thibaut JACQUES, Adina NEDELCU, Cristina ONETE
Abstract Geometrical Computation 11: Slanted Firing Squad Synchronisation on Signal Machines

Publié en 2021
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jérôme DURAND-LOSE, Aurélien EMMANUEL
Generic Plaintext Equality and Inequality Proofs

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Xavier BULTEL, Olivier BLAZY, Pascal LAFOURCADE, Octavio PEREZ-KEMPNER
Projet SENDUP : SEmantic Networks of Data: Utility and Privacy

Publié en 2021
Type de publication : Communications sans actes
Auteur(s) : Cédric EICHLER
Secure Outsourcing of Multi-Armed Bandits

Publié en 2020
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

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