Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1779

Verified Parallel Programming in Coq with Bulk Synchronous Parallel Homomorphisms

Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Frédéric LOULERGUE, Julien TESSON
Parallélisme, équilibrage de charges et extensibilité dans le traitement des mégadonnées sur des systèmes à grande échelle

Publié en 2024
Type de publication : Thèse
Auteur(s) : Sébastien RIVAULT
Construction automatique de bases de données pour le domaine médical : Intégration de texte et maintien de la cohérence

Publié en 2024
Type de publication : Thèse
Auteur(s) : Nicolas HIOT
Least-Cost Firing Sequences Estimation in P-Time Labeled Petri Nets Systems

Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Clément LECOMTE, Patrice BONHOMME
An adaptive evolutionary multi-objective clustering based on the data properties of the base partitions

Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Marcilio PEREIRA DE SOUTO, Cristina Yassue MORIMOTO, Aurora Trinidad Ramirez POZO
Cube query interestingness: Novelty, relevance, peculiarity and surprise

Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Patrick MARCEL, Dimos GKITSAKIS, Spyridon KALOUDIS, Eirini MOUSELLI, Veronika PERALTA, Panos VASSILIADIS
Detecting $K_{2,3}$ as an Induced Minor

Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mael DUMAS, Anthony PEREZ, Clément DALLARD, Claire HILAIRE, Martin MILANIČ, Nicolas TROTIGNON
Lecture Notes in Computer Science
Mapping relational databases to RDF and its impact on privacy

Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Sara TAKI, Adrien BOIRET, Cédric EICHLER, Benjamin NGUYEN
Système de gestion de données extensif et sécurisé avec code d'extension vulnérable

Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Xinqing LI, Nicolas ANCIAUX, Iulian SANDU POPA
Vers une détection des activités privées dans la consommation énergétique en télétravail basée sur le profil matriciel

Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Haoying ZHANG, Nicolas ANCIAUX, Benjamin NGUYEN, Mariem BRAHEM, José Maria DE FUENTES
reteLLMe: Design Rules for using Large Language Models to Protect the Privacy of Individuals in their Textual Contributions

Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Cédric EICHLER, Adrien BOIRET, Nicolas ANCIAUX, Mariem BRAHEM, Jasmine WATISSEE, Jose MARIA DE FUENTES
Un nouveau PET pour la collecte de données via des formulaires avec minimisation des données, précision totale et consentement éclairé

Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Nicolas ANCIAUX, Sabine FRITTELLA, Benjamin NGUYEN, Baptiste JOFFROY, Guillaume SCERRI
Emotional data querying: The BI scenario

Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Patrick MARCEL, Sandro BIMONTE, Stefano RIZZI
CEUR workshop proceedings
An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization

Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Jolan PHILIPPE, Farid ARFI, Hélène COULLON, Simon ROBILLARD
Analog Quantum Computing for NP-Hard Combinatorial Graph Problems

Publié en 2024
Type de publication : Thèse
Auteur(s) : Arthur BRAIDA
Even-Cycle Detection in the Randomized and Quantum CONGEST Model

Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Pierre FRAIGNIAUD, Maël LUCE, Frédéric MAGNIEZ
On Graphs Coverable by k Shortest Paths

Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mael DUMAS, Florent FOUCAUD, Anthony PEREZ, Ioan TODINCA
CAA : quelles configurations pour les claviers virtuels ? Retours sur trois focus groups réalisés en structures de rééducation

Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Jean-yves ANTOINE, Anaïs LEFEUVRE-HALFTERMEYER, Lisa HOIRY, Cherifa BEN KHELIL, Mathieu THEBAUD, Samuel POUPLIN, Frédéric RAYAR, Mathieu RAYNAL
Combiner la vérification déductive avec l'analyse de forme

Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Téo BERNIER, Yani ZIANI, Frédéric LOULERGUE, Nikolai KOSMATOV
Physical Ring Signature

Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Xavier BULTEL
LIPIcs, Volume 291, 12th International Conference on Fun with Algorithms (FUN 2024)
Strict Self-Assembly of Discrete Self-Similar Fractal Shapes

Publié en 2024
Type de publication : Autres Publications
Auteur(s) : Florent BECKER
Lexicons Gain the Upper Hand in Arabic MWE Identification

Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-yves ANTOINE, Najet HADJ MOHAMED, Agata SAVARY, Cherifa BEN KHELIL, Iskandar KESKES, Lamia Hadrich BELGUITH
Proceedings of the Joint Workshop on Multiword Expressions and Universal Dependencies (MWE-UD) @ LREC-COLING 2024
LSH SimilarityJoin Pattern in FastFlow

Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sébastien RIVAULT, Mostafa BAMHA, Sophie ROBERT, Sébastien LIMET, Nicolò TONCI, Massimo TORQUATI
Image-text crisis tweet categorization:a caption-based approach

Publié en 2024
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Badreddine FARAH, Guillaume CLEUZIOU, Anaïs LEFEUVRE-HALFTERMEYER, Cécile GRACIANNE, Adel HAFIANE, Raphaël CANALS
M-CATNAT: A Multimodal dataset to analyze French tweets during natural disasters

Publié en 2024
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Badreddine FARAH, Guillaume CLEUZIOU, Anaïs LEFEUVRE-HALFTERMEYER, Omar EL BACHYR, Cécile GRACIANNE, Samuel AUCLAIR, Adel HAFIANE, Raphaël CANALS
A Robust Secure Communication Protocol for Wireless Sensor Networks in Industrial Environments

Publié en 2024
Type de publication : Autres Publications
Auteur(s) : Nedra AMARA, Muhammad Shoaib SHOAIB, Ahmed Junaid JUNAID, Nasir Sayed SAYED
On the power of threshold-based algorithms for detecting cycles in the CONGEST model

Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Pierre FRAIGNIAUD, Maël LUCE
Applying Multiple Instance Learning for Breast Cancer Lesion Detection in Mammography Images

Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Nedra AMARA, Said GATTOUFI
Synergies between machine learning and reasoning - An introduction by the Kay R. Amel group

Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Christel VRAIN, Ismaïl BAAJ, Zied BOURAOUI, Antoine CORNUÉJOLS, Thierry DENOEUX, Sébastien DESTERCKE, Didier DUBOIS, Marie-Jeanne LESOT, João MARQUES-SILVA, Jérôme MENGIN, Henri PRADE, Steven SCHOCKAERT, Mathieu SERRURIER, Olivier STRAUSS
Tight Lieb–Robinson Bound for approximation ratio in quantum annealing

Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Arthur BRAIDA, Ioan TODINCA, Simon MARTIEL
Évaluation éthique de l'impact du numérique : 10 ans plus tard, une typologie mise à jour pour la détermination des risques et de leurs vulnérabilités dans une perspective conséquentialiste

Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-yves ANTOINE, Anaïs LEFEUVRE-HALFTERMEYER
https://members.loria.fr/KFort/files/fichiers_cours/ActesJEEthiqueEtTAL2024.pdf
DataFix

Publié en 2024
Type de publication : Logiciel
Auteur(s) : Nicolas HIOT, Jacques CHABIN, Mirian HALFELD-FERRARI, Dominique LAURENT
A passive assessment of homecare need with a Rasch model

Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Pierre BOUCHET, Christian TOINARD, Sophie JACQUOT
A new PET for Data Collection via Forms with Data Minimization, Full Accuracy and Informed Consent

Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas ANCIAUX, Sabine FRITTELLA, Benjamin NGUYEN, Baptiste JOFFROY, Guillaume SCERRI
EDBT
RéoLoc : Réorganisation dynamique des caractères sur un clavier à défilement automatique ligne/colonne

Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Jean-yves ANTOINE, Lisa HOIRY, Frédéric RAYAR, Cherifa BEN KHELIL, Mathieu RAYNAL
Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021

Publié en 2024
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Frédéric LOULERGUE, Wolfgang AHRENDT, Heike WEHRHEIM
Explaining cube measures through Intentional Analytics

Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Patrick MARCEL, Matteo FRANCIA, Stefano RIZZI
Avoided level crossings with exponentially closing gaps in quantum annealing

Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Arthur BRAIDA, Ioan TODINCA, Simon MARTIEL
Knowledge graph-based image classification

Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Franck anael MBIAYA, Christel VRAIN, Thi-bich-hanh DIEP-DAO, Frédéric ROS, Yves LUCAS
A review on declarative approaches for constrained clustering

Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Thi-bich-hanh DIEP-DAO, Christel VRAIN
Stratification pour le pronostic de patients atteints de la sclérose latérale amyotrophique

Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Patrick MARCEL, Guillaume TEJEDOR, Veronika PERALTA, Nicolas LABROCHE, Hélène BLASCO, Hugo ALARCAN
Vers des requêtes déclaratives en science des données : EASI-GDS pour Neo4J.

Publié en 2024
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Lingchen WANG, Valentin BOUVRESSE, Virgile CRVENKA, Genoveva VARGAS-SOLAR
Revue des Nouvelles Technologies de l'Information
Memory safety for synchronous reactive programming

Publié en 2024
Type de publication : Thèse
Auteur(s) : Darine RAMMAL
Explainable Artificial Intelligence approaches for Image Captioning

Publié en 2024
Type de publication : Thèse
Auteur(s) : Sofiane ELGUENDOUZE
M-CATNAT: A Multimodal dataset to analyze French tweets during natural disasters

Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Badreddine FARAH, Guillaume CLEUZIOU, Anaïs LEFEUVRE-HALFTERMEYER, Omar EL BACHYR, Cécile GRACIANNE, Samuel AUCLAIR, Adel HAFIANE, Raphaël CANALS
Graph rewriting primitives for semantic graph databases sanitization

Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Adrien BOIRET, Cédric EICHLER, Benjamin NGUYEN, Sara TAKI
A Meta-Theorem for Distributed Certification

Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Pierre FRAIGNIAUD, Pedro MONTEALEGRE, Ivan RAPAPORT
Sound runtime assertion checking for memory properties via program transformation

Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Frédéric LOULERGUE, Dara LY, Nikolai KOSMATOV, Julien SIGNOLES
Yezh Ar Vro - The language of the country : Building the appropriation of data collection applications

Publié en 2024
Type de publication : Autres Publications
Auteur(s) : Jean-yves ANTOINE, Mélanie JOUITTEAU, Alice MILLOUR, Loïc GROBOL
Teaching critical approaches

Publié en 2024
Type de publication : Autres Publications
Auteur(s) : Nathanaël JEUNE, Christophe ADOURIAN, Ignacio ATAL, François AUDIGIER, Virginie BAGNEUX, Charlotte BARBIER, Juliette BENELLI, Sabine BOSLER, Aline BOUSQUET, Antonin BROI, Elodie CALLIS, Jérôme CHARLON, Marc-André ETHIER, Mathieu GAGNON, Nicolas GAUBE, Philippe HUBERT, Stéphanie HUC, Laurence JANIN, Camille LAKHLIFI, Maryline LAKHLIFI, Arnaud LONGUEVILLE, Adeline LUCCHESI, Céline MONTET, Nicolas PETIT, Maxime QUENTIN, Karine RAMON, Charlie RENARD, Gilles SAHUT, Céline SCHÖPFER, Nathan TEYSSERON, Audrey BEDEL, Kévin DE CHECCHI, Gwen PALLARES

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