Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1590

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
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
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
WhyBSML 0.2
Publié en 2024
Type de publication : Logiciel
Auteur(s) : Frédéric LOULERGUE, Olivia PROUST
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
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) : Mélanie JOUITTEAU, Alice MILLOUR, Jean-Yves ANTOINE, Loïc GROBOL
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
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) : Marina SEGHIER, Alice MILLOUR, Jean-Yves ANTOINE
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
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
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
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) : William SOTO, Yannick PARMENTIER, 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
Granon: un moteur formel de procédures d'assainissement de données graphes
Publié en 2023
Type de publication : Autres Publications
Auteur(s) : Adrien BOIRET, Cédric EICHLER, Benjamin NGUYEN, Sara TAKI
Verified High Performance Computing: the SyDPaCC Approach
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, AbdelAli ED-DBALI
LNCS
Distributed Certification for Classes of Dense Graphs
Publié en 2023
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Pierre FRAIGNIAUD, Frédéric MAZOIT, Pedro MONTEALEGRE, Ivan RAPAPORT
D3 - Final Use-Cases Specification
Publié en 2023
Type de publication : Autres Publications
Auteur(s) : Cédric EICHLER, Benjamin NGUYEN, Sara TAKI, Adrien BOIRET
False Positive Reduction of Pulmonary Nodule on CT image using Attention-based Multiple Instance Learning
Publié en 2023
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Vincent NGUYEN, Chi Cuong NGUYEN, Giang Son TRAN
CBMI '23: Proceedings of the 20th International Conference on Content-based Multimedia IndexingSeptember 2023
Paraconsistent and fuzzy modal logics for reasoning about uncertainty
Publié en 2023
Type de publication : Thèse
Auteur(s) : Daniil KOZHEMIACHENKO
Tutorial: Collaborative Analysis and Verification of C Programs with Frama-C
Publié en 2023
Type de publication : Communications sans actes
Auteur(s) : Frédéric LOULERGUE
DNA Tile Self-Assembly for 3D-Surfaces: Towards Genus Identification
Publié en 2023
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Florent BECKER, Shahrzad HEYDARSHAHI
LIPIcs
Towards Sentence-level Text Readability Assessment for French
Publié en 2023
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Duy NGO, Yannick PARMENTIER
Proceedings of the Second Workshop on Text Simplification, Accessibility and Readability (TSAR@RANLP2023)
An Improved Kernelization Algorithm for Trivially Perfect Editing
Publié en 2023
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mael DUMAS, Anthony PEREZ
International Symposium on Parameterized and Exact Computation (IPEC), Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Managing Linked Nulls in Property Graphs: Tools to Ensure Consistency and Reduce Redundancy
Publié en 2023
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jacques CHABIN, Mirian HALFELD-FERRARI, Nicolas HIOT, Dominique LAURENT
LNCS
Databases and Information Systems: Contributions from ADBIS 2023 Workshops and Doctoral Consortium
Publié en 2023
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mirian HALFELD-FERRARI, Adam PRZYBYŁEK, Aleksandra KARPUS, Allel HADJALI, Anton DIGNÖS, Carmem HARA, Danae Pla KARIDI, Ester ZUMPANO, Fabio PERSIA, Genoveva VARGAS-SOLAR, George PAPASTEFANATOS, Giancarlo SPERLÌ, Giorgos GIANNOPOULOS, Ivan LUKOVIĆ, Julien ALIGON, Manolis TERROVITIS, Marek GRZEGOROWSKI, Mariella BONOMO, Nicolas LABROCHE, Paul MONSARRAT, Richard CHBEIR, Sana SELLAMI, Seshu TIRUPATHI, Simona ROMBO, Slavica KORDIĆ, Sonja RISTIĆ, Tommaso DI NOIA, Torben Bach PEDERSEN, Vincenzo MOSCATO
New Trends in Database and Information Systems: ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4–7, 2023, Proceedings
STAACS3: Simulation Tool for AAC with Single-Switch Scanning
Publié en 2023
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Anaïs LEFEUVRE-HALFTERMEYER, Lisa HOIRY, Cherifa BEN KHELIL, Frédéric RAYAR, Jean-Yves ANTOINE, Mathieu RAYNAL
Studies in Health Technology and Informatics
Incremental Constrained Clustering by Minimal Weighted Modification
Publié en 2023
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Aymeric BEAUCHAMP, Thi-Bich-Hanh DIEP-DAO, Christel VRAIN, Samir LOUDNI
Leibniz International Proceedings in Informatics (LIPIcs)
SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits (Extended Abstract)
Publié en 2023
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Radu CIUCANU, Marta SOARE, Pascal LAFOURCADE, Gael MARCADET
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence Journal Track.
Explainability in image captioning based on the latent space
Publié en 2023
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sofiane ELGUENDOUZE, Marcilio PEREIRA DE SOUTO, Anaïs LEFEUVRE-HALFTERMEYER, Adel HAFIANE
What you need is what you get: adapting word prediction of Augmentative and Alternative Communication aids to youth language
Publié en 2023
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Anaïs LEFEUVRE-HALFTERMEYER, Chérifa BEN KHELIL, Frédéric RAYAR, Jean-Yves ANTOINE, Lisa HOIRY, Mathieu RAYNAL
HCI International 2023 Posters: 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part II
Towards Verified Scalable Parallel Computing with Coq and Spark
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, Jolan PHILIPPE
Towards Intrusion Detection Systems Dedicated to Agriculture Based on Federated Learning
Publié en 2023
Type de publication : Poster
Auteur(s) : Laurent BOBELIN, Pascal BERTHOME, Usman ISAH
Energy Aware Strategy for Discrete Event Systems using Inhibitor P-Time Petri nets and Deep Reinforcement Learning
Publié en 2023
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Clément LECOMTE, Patrice BONHOMME

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