Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1799

É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
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
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
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
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
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
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
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
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
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
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
WhyBSML 0.2

Publié en 2024
Type de publication : Logiciel
Auteur(s) : Frédéric LOULERGUE, Olivia PROUST
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
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
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
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
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

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