Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1752

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
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
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
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
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
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
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
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
Combining Deductive Verification with Shape Analysis

Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Téo BERNIER, Yani ZIANI, Frédéric LOULERGUE, Nikolai KOSMATOV
The Graph Coloring Game on 4 × n-Grids

Publié en 2024
Type de publication : Autres Publications
Auteur(s) : Caroline BROSSE, Nicolas MARTINS, Nicolas NISSE, Rudini SAMPAIO
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
Distributed Model Checking on Graphs of Bounded Treedepth

Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Fedor FOMIN, Pierre FRAIGNIAUD, Pedro MONTEALEGRE, Ivan RAPAPORT
LIPIcs
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
WhyBSML 0.2

Publié en 2024
Type de publication : Logiciel
Auteur(s) : Frédéric LOULERGUE, Olivia PROUST
Linked Data Sanitization with Differential Privacy

Publié en 2023
Type de publication : Thèse
Auteur(s) : Sara TAKI
Self-Assembly on Various Surfaces

Publié en 2023
Type de publication : Thèse
Auteur(s) : Shahrzad HEYDARSHAHI
Modification et couverture de graphes : Approches paramétrées

Publié en 2023
Type de publication : Thèse
Auteur(s) : Mael DUMAS
Exploration de micro-posts d'actualité : représentation, structuration et description

Publié en 2023
Type de publication : Thèse
Auteur(s) : Olivier GRACIANNE
Courbes d'accumulations des machines à signaux

Publié en 2023
Type de publication : Thèse
Auteur(s) : Aurélien EMMANUEL
ViGPTQA - State-of-the-Art LLMs for Vietnamese Question Answering: System Overview, Core Models Training, and Evaluations

Publié en 2023
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Vincent NGUYEN, Minh Thuan NGUYEN, Khanh Tung TRAN, Xuan-Son VU
Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing: Industry Track
Demo : Data Minimization and Informed Consent in Administrative Forms

Publié en 2023
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
Complexity-Driven Sampling for Bagging

Publié en 2023
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Marcilio PEREIRA DE SOUTO, Carmen LANCHO, Isaac MARTIN DE DIEGO
Descripteurs Linguistiques et Caractérisation Objective des Catégories Textuelles

Publié en 2023
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jean-yves ANTOINE, Marina SEGHIER, Alice MILLOUR
Actes des 5èmes journées du Groupement de Recherche CNRS « Linguistique Informatique, Formelle et de Terrain »
Towards Formal Verification of a TPM Software Stack

Publié en 2023
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yani ZIANI, Frédéric LOULERGUE, Téo BERNIER, Nikolai KOSMATOV, Daniel Gracia PÉREZ
Identifying relevant descriptors for tweet sets

Publié en 2023
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Olivier GRACIANNE, Anaïs LEFEUVRE-HALFTERMEYER, Thi-bich-hanh DIEP-DAO
Verified Scalable Parallel Computing with Why3

Publié en 2023
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Frédéric LOULERGUE, Olivia PROUST
Phylogeny-Inspired Soft Prompts For Data-to-Text Generation in Low-Resource Languages

Publié en 2023
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Yannick PARMENTIER, William SOTO MARTINEZ, Claire GARDENT
On relations between properties in transitive Turing machines

Publié en 2023
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Nicolas OLLINGER, Rodrigo TORRES-AVILÉS, Anahí GAJARDO

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