Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1752

Belief Based on Inconsistent Information

Publié en 2022
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sabine FRITTELLA, Marta BÍLKOVÁ, Ondrej MAJER, Sajad NAZARI
CCA Secure A Posteriori Openable Encryption in the Standard Model

Publié en 2022
Type de publication : Communications sans actes
Auteur(s) : Xavier BULTEL
Topics in Cryptology – CT-RSA 2022
Freezing, Bounded-Change and Convergent Cellular Automata

Publié en 2022
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Nicolas OLLINGER, Guillaume THEYSSIER
Graph Modification for Edge-Coloured and Signed Graph Homomorphism Problems: Parameterized and Classical Complexity

Publié en 2022
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Florent FOUCAUD, Hervé HOCQUARD, Dimitri LAJOU, Valia MITSOU, Théo PIERRON
Smallest $C_{2l+1}$-critical graphs of odd-girth $2k+1$

Publié en 2022
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Florent FOUCAUD, Laurent BEAUDOU, Reza NASERASR
On the Power of Recursive Word-Functions Without Concatenation

Publié en 2022
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérôme DURAND-LOSE
Modular termination of prefix-constrained term rewrite systems

Publié en 2022
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Nirina ANDRIANARIVELO, Pierre RETY
A Scalable Similarity Join Algorithm Based on MapReduce and LSH

Publié en 2022
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sébastien RIVAULT, Mostafa BAMHA, Sébastien LIMET, Sophie ROBERT
Monitoring the edges of a graph using distances

Publié en 2022
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Florent FOUCAUD, Shih-Shun KAO, Ralf KLASING, Mirka MILLER, Joe RYAN
Machines, Computations, and Universality

Publié en 2022
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Jérôme DURAND-LOSE, György VASZIL
An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets

Publié en 2021
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Jules CHOUQUET, Lionel VAUX
Clustering and knowledge integration

Publié en 2021
Type de publication : Thèse
Auteur(s) : Nguyen-Viet-Dung NGHIEM
A safe dynamic access control providing mandatory automotive cybersecurity

Publié en 2021
Type de publication : Communications sans actes
Auteur(s) : Vincent HUGOT, Christian TOINARD, Adrien JOUSSE, Benjamin VENELLE
2021 International Conference on Computational Science and Computational Intelligence (CSCI)
Multi-objective Clustering: A Data-Driven Analysis of MOCLE, MOCK and Delta-MOCK

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, Adriano KULTZAK, Cristina MORIMOTO, Aurora POZO
Proc. of the International Conference on Information Processing (ICONIP 2021)
Generic Construction for Identity-based Proxy Blind Signature

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Xavier BULTEL, Pascal LAFOURCADE, Charles OLIVIER-ANCLIN, Léo ROBERT
Evaluating Data Characterization Measures for Clustering Problems in Meta-learning

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, Luiz FERNANDES, Ana LORENA
LNCS
The role of randomness in the broadcast congested clique model

Publié en 2021
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Florent BECKER, Ioan TODINCA, Pedro MONTEALEGRE, Ivan RAPAPORT
Comparing Graph Data Science Libraries for Querying and Analysing Datasets: Towards Data Science Queries on Graphs

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Genoveva VARGAS-SOLAR, Pierre MARREC
Automatisation du suivi de la phénologie de la processionnaire du pin

Publié en 2021
Type de publication : Conférence donnée sur invitation
Auteur(s) : Frédéric MOAL, Louis GROSS, Alexis BERNARD, Patrick PINEAU, Alain ROQUES, Laura POITOU, Christelle ROBINET, Mathieu LAPARIE, Maurane BURADINO, Anne Sophie BRINQUIN, Jérôme ROUSSELET
DashBot: An ML-Guided Dashboard Generation System Authors' Copy

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Radu CIUCANU, Marta SOARE, Sandrine DA COL, Nassim BOUAROUR, Sihem AMER-YAHIA
Experience report: Teaching code analysis and verification using Frama-C

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Salwa SOUAF
Privacy Over RDF datasets

Publié en 2021
Type de publication : Poster
Auteur(s) : Sara TAKI, Cédric EICHLER, Benjamin NGUYEN
Using projection to improve Differential Privacy on RDF graphs

Publié en 2021
Type de publication : Communications sans actes
Auteur(s) : Sara TAKI, Cédric EICHLER, Benjamin NGUYEN
On the approximation hardness of geodetic set and its variants

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Tom DAVOT, Lucas ISENMANN, Jocelyn THIEBAUT
Charte éthique et déontologique de l'ICVL : une proposition

Publié en 2021
Type de publication : Autres Publications
Auteur(s) : Jean-yves ANTOINE, Sylvie BILLOT, Guillaume CLEUZIOU, Matthieu EXBRAYAT, Béatrice BOUCHOU MARKHOFF, Jean-Yves RAMEL
Secure key distribution in heterogeneous interoperable industrial Internet of Things

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Cédric EICHLER, Pascal BERTHOMÉ, Fergal MARTIN-TRICOT
2021 17th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob)
Phénologie de la processionnaire du pin : vers de nouveaux outils de suivi à distance et en temps réel

Publié en 2021
Type de publication : Communications sans actes
Auteur(s) : Frédéric MOAL, Jérôme ROUSSELET, Louis GROSS, Alexis BERNARD, Patrick PINEAU, Maurane BURADINO, Mathieu LAPARIE
On Commutative Gelfand Rings

Publié en 2021
Type de publication : Revue internationale à comité de lecture
Auteur(s) : A ALIABAD, M BADIE, Sajad NAZARI
Polynomial Kernels for Strictly Chordal Edge Modification Problems

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
Application of the vectorization library NSIMD to the EFISPEC3D kernel

Publié en 2021
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sylvain JUBERTIE, Guillaume QUINTIN, Florent DE MARTIN, Kenny PÉOU
Conference Proceedings, Fifth EAGE Workshop on High Performance Computing for Upstream, Sep 2021, Volume 2021, p.1 - 5
Constraint Tableaux for Two-Dimensional Fuzzy Logics

Publié en 2021
Type de publication : Communications sans actes
Auteur(s) : Sabine FRITTELLA, Marta BÍLKOVÁ, Daniil KOZHEMIACHENKO
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
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é.

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