Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1851

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) : Christel VRAIN, Thi-Bich-Hanh DIEP-DAO
Knowledge graph-based image classification

Publié en 2024
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Franck anael MBIAYA, Christel VRAIN, Frédéric ROS, Thi-Bich-Hanh DIEP-DAO, Yves LUCAS
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
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
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
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
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
WhyBSML 0.2

Publié en 2024
Type de publication : Logiciel
Auteur(s) : Frédéric LOULERGUE, Olivia PROUST
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
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
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
Teaching critical approaches. A resource drawn from research to help teachers foster pupils’ ability to engage in critical approaches across different contexts

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
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
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
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
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
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) : 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
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
Facsimiles-based deep learning for matching relief-printed decorations on medieval ceramic sherds

Publié en 2023
Type de publication : Communications sans actes
Auteur(s) : Matthieu EXBRAYAT, Khawla BRAHIM, Sylvie TREUILLET, Sebastien JESSET
D3 - Final Use-Cases Specification

Publié en 2023
Type de publication : Autres Publications
Auteur(s) : Cédric EICHLER, Benjamin NGUYEN, Sara TAKI, Adrien BOIRET
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
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
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
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
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) : Yannick PARMENTIER, Duy NGO
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, Jean-yves ANTOINE, Lisa HOIRY, Cherifa BEN KHELIL, Frédéric RAYAR, 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, Christel VRAIN, Thi-Bich-Hanh DIEP-DAO, 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.
Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey

Publié en 2023
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Frédéric LOULERGUE, Hélène COULLON, Ludovic HENRIO, Simon ROBILLARD
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

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