Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1613

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
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
M-CATNAT: A Multimodal dataset to analyze French tweets during natural disasters
Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Badreddine FARAH, Guillaume CLEUZIOU, Anaïs LEFEUVRE-HALFTERMEYER, Omar EL BACHYR, Cécile GRACIANNE, Samuel AUCLAIR, Adel HAFIANE, Raphaël CANALS
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
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
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
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
ArchiTXT
Publié en 2024
Type de publication : Logiciel
Auteur(s) : Nicolas HIOT, Jacques CHABIN, Mirian HALFELD-FERRARI
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
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, Nicolas LABROCHE, Veronika PERALTA, Hélène BLASCO, Hugo ALARCAN
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 : Traduction
Auteur(s) : Jouitteau Mélanie, Antoine Jean-Yves, Grobol Loïc, Millour Alice
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
Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey
Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Frédéric LOULERGUE, Hélène COULLON, Ludovic HENRIO, Simon ROBILLARD
WhyBSML 0.2
Publié en 2024
Type de publication : Logiciel
Auteur(s) : Frédéric LOULERGUE, Olivia PROUST
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
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
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
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
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
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) : Minh Thuan NGUYEN, Khanh Tung TRAN, Nhu Van NGUYEN, 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

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