Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1613

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
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
Privacy Over RDF datasets
Publié en 2021
Type de publication : Poster
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 BERTHOME, 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
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
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
On the Complexity of Broadcast Domination and Multipacking in Digraphs
Publié en 2021
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Anthony PEREZ, Florent FOUCAUD, Benjamin GRAS, Florian SIKORA
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
DOING : Intelligent Data – from data to knowledge (workshop of ADBIS 2021)
Publié en 2021
Type de publication : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Mirian HALFELD-FERRARI, Carmem HARA
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 : Ouvrage ou Chapitre d'ouvrages scientifiques
Auteur(s) : Nedra AMARA, Olfa LAMOUCHI, Said GATTOUFI

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