Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1575

Appendix of the paper "From document to program embeddings: can distributional hypothesis really be used on programming languages?
Publié en 2024
Type de publication : Autres Publications
Auteur(s) : Thibaut MARTINET, Guillaume CLEUZIOU, Matthieu EXBRAYAT, Frédéric FLOUVAT
Continuous Authentication Leveraging Matrix Profile
Publié en 2024
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas ANCIAUX, Luis IBANEZ-LISSEN, Jose MARIA DE FUENTES, Lorena GONZALES-MANZANO
Concerto-D in Maude
Publié en 2024
Type de publication : Logiciel
Auteur(s) : Frédéric LOULERGUE, Farid ARFI, Hélène COULLON, Jolan PHILIPPE, Simon ROBILLARD
LAMBDA: Alignement de Points de Repère et Adaptation de Domaine Basée sur des Mélanges
Publié en 2024
Type de publication : Autres Publications
Auteur(s) : Thibaut MARTINET, Guillaume METZLER
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
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) : Cristina Yassue MORIMOTO, Aurora Trinidad Ramirez POZO, Marcílio Carlos Pereira DE SOUTO
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
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
Towards a Matrix Profile-based detection of private activities in Teleworking Energy Consumption
Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Haoying ZHANG, Nicolas ANCIAUX, Benjamin NGUYEN, Mariem BRAHEM, José Maria DE FUENTES
Extensive and Secure Data Management System with Vulnerable Extension Code
Publié en 2024
Type de publication : Communications sans actes
Auteur(s) : Xinqing LI, Nicolas ANCIAUX, Iulian SANDU POPA
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, Farid ARFI, Hélène COULLON, Jolan PHILIPPE, 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) : Anaïs LEFEUVRE-HALFTERMEYER, Lisa HOIRY, Cherifa BEN KHELIL, Jean-Yves ANTOINE, 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) : Najet HADJ MOHAMED, Agata SAVARY, Cherifa BEN KHELIL, Jean-Yves ANTOINE, 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
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) : Anaïs LEFEUVRE-HALFTERMEYER, Jean-Yves ANTOINE
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
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) : Lisa HOIRY, Frédéric RAYAR, Jean-Yves ANTOINE, 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, 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
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 : Traduction
Auteur(s) : Jouitteau Mélanie, Antoine Jean-Yves, Grobol Loïc, Millour Alice
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
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
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
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
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) : Mélanie JOUITTEAU, Alice MILLOUR, Jean-Yves ANTOINE, 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

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