Publications HAL de la structure 24471

2025

Communication dans un congrès

titre
A Comparative Analysis of Neuro-symbolic Methods for Link Prediction
auteur
Guillaume Olivier Delplanque, Luisa Sophie Werner, Nabil Layaïda, Pierre Genevès
article
NeSy 2025 - Proceedings of the 19th International Conference on Neurosymbolic Learning and Reasoning, Sep 2025, Santa Cruz, California, United States
Accès au texte intégral et bibtex
https://hal.science/hal-04991391/file/A_Comparative_Analysis_of_Nesy_methods_for_link_prediction.pdf BibTex
titre
Identifiability in Causal Abstractions: A Hierarchy of Criteria
auteur
Clément Yvernes, Emilie Devijver, Marianne Clausel, Éric Gaussier
article
1st Workshop on Causal Abstractions and Representations (CAR) at UAI, Jul 2025, Rio de Jaineiro, Brazil
Accès au texte intégral et bibtex
https://hal.science/hal-05144103/file/A_Hierarchy_of_Identifiability_in_Causal_Abstractions.pdf BibTex
titre
The Political Dimension of Problematizing ICT-related Sustainability Issues
auteur
Baptiste de Goër, Sophie Quinton
article
ICT4S 2025 - International Conference on Information and Communications Technology for Sustainability, Jun 2025, Dublin, Ireland. pp.1-12
Accès au texte intégral et bibtex
https://inria.hal.science/hal-05064545/file/main.pdf BibTex
titre
Early Length of Stay Prediction at Admission in Short-Stay Hospitals
auteur
Mohamed Gharbi, Christine Verdier, Maria Di Mascolo, Jean-Marc Babouchkine
article
Research Challenges in Information Science, May 2025, Sevilla, Spain. pp.52-66, ⟨10.1007/978-3-031-92471-2_4⟩
Accès au bibtex
BibTex

Pré-publication, Document de travail

titre
On Scaling Neurosymbolic Programming through Guided Logical Inference
auteur
Thomas Jean-Michel Valentin, Luisa Sophie Werner, Pierre Genevès, Nabil Layaïda
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-04914004/file/paper_arxiv.pdf BibTex

2024

Article de blog scientifique

titre
Parler de durabilité en cours d'informatique au lycée
auteur
Baptiste de Goër
article
2024
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04644556/file/QDLR_Durabilite_informatique_lycee.pdf BibTex

Communication dans un congrès

titre
Optimizing Diverse Information Exposure in Social Graphs
auteur
Jonathan Colin, Silviu Maniu
article
BigData 2024 - IEEE International Conference on Big Data, Dec 2024, Washington, United States. pp.519-528, ⟨10.1109/BigData62323.2024.10825032⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04895827/file/colin2024optimizing.pdf BibTex
titre
Discovering a Representative Set of Link Keys in RDF Datasets
auteur
Nacira Abbas, Alexandre Bazin, Jérôme David, Amedeo Napoli
article
EKAW 2024 - 24th International Conference on Knowledge Engineering and Knowledge Management, Nov 2024, Amsterdam, Netherlands. pp.53-68, ⟨10.1007/978-3-031-77792-9_4⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04884974/file/abbas2024a.pdf BibTex
titre
Une enquête sur les perceptions de la mobilité pour informer un simulateur multi-agent de choix modal
auteur
Carole Adam, Benoit Gaudou
article
Les 32èmes Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2024), Nov 2024, Cargèse, France
Accès au bibtex
BibTex
titre
Méthode d'évaluation des effets de la morphologie des bâtiments voisins sur l'irradiation solaire
auteur
Khaoula Raboudi, Abdelkader Ben Saci, Gilles Bisson, Danielle Ziébelin, Patrick Reignier
article
International Days on Thermal Science and Energy - JITH 2024, ALI TOUDERT Fazia; BELKADI-HANNACHI Nazila; TRABELSI Abdelkrim, Oct 2024, Paris, France. https://jith.eu/index.php/jith-2024/jith-2024-proceedings
Accès au bibtex
BibTex
titre
Un simulateur multi-agent du choix modal avec des biais de perception et des habitudes
auteur
Carole Adam, Benoit Gaudou
article
Swiss Mobility Conference, Sep 2024, Lausanne, Switzerland
Accès au texte intégral et bibtex
https://hal.science/hal-04595855/file/Adam-Gaudou_SMC_2024-hal.pdf BibTex
titre
Identifiability of total effects from abstractions of time series causal graphs
auteur
Charles Assaad, Emilie Devijver, Éric Gaussier, Gregor Gössler, Anouar Meynaoui
article
40th Conference on Uncertainty in Artificial Intelligence, Association for Uncertainty in Artificial Intelligence (AUAI), Jul 2024, Barcelone, Spain
Accès au texte intégral et bibtex
https://hal.science/hal-04250602/file/Identification_Summary_UAI24_Camera_Ready.pdf BibTex
titre
Causal Debugging for Concurrent Systems
auteur
Ivan Lanese, Gregor Gössler
article
RC 2024 - 16th International Conference on Reversible Computation, Jul 2024, Torun, Poland. pp.3-9, ⟨10.1007/978-3-031-62076-8_1⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04610282/file/published.pdf BibTex
titre
Reversibility with Holes
auteur
Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani
article
RC 2024 - 16th International Conference on Reversible Computation, Jul 2024, Torun, Poland. pp.69 - 74, ⟨10.1007/978-3-031-62076-8_5⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04610283/file/published.pdf BibTex
titre
A Small-Step Semantics for Janus
auteur
Pietro Lami, Ivan Lanese, Jean-Bernard Stefani
article
RC 2024 - 16th International Conference on Reversible Computation, Jul 2024, Torun, Poland. pp.105 - 123, ⟨10.1007/978-3-031-62076-8_8⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04610285/file/published.pdf BibTex
titre
Jeu sérieux sur la transition vers des mobilités urbaines durables
auteur
Kevin Chapuis, Franck Taillandier, Carole Adam
article
Jeux & Enjeux 2024, Christophe Le Page, Jun 2024, Montpellier, France
Accès au texte intégral et bibtex
https://ird.hal.science/ird-04823826/file/SimSwitch_J%26E.pdf BibTex
titre
Towards semantic enrichment of Earth Observation data: The LEODS framework
auteur
Daniela F Milon-Flores, Camille Bernard, Jérôme Gensel, Gregory Giuliani, Bruno Chatenoux, Hy Dao
article
Proceedings of the 27th AGILE Conference on Geographic Information Science, 4–7 Sept. 2024, Jun 2024, Glasgow, United Kingdom. pp.1-12, ⟨10.5194/agile-giss-5-11-2024⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04703062/file/TLEODS.pdf BibTex
titre
A Fast Plan Enumerator for Recursive Queries
auteur
Amela Fejza, Pierre Genevès, Nabil Layaïda
article
ICDE 2024 - 40th IEEE International Conference On Data Engineering, May 2024, Utrecht, Netherlands. pp.1-4
Accès au texte intégral et bibtex
https://hal.science/hal-04578576/file/conference_101719.pdf BibTex
titre
Adaptation of the Multi-Concept Multivariate Elo Rating System to Medical Students' Training Data
auteur
Erva Nihan Kandemir, Jill-Jênn Vie, Adam Hegel Sanchez Ayte, Olivier Palombi, Franck Ramus
article
LAK 2024 - The 14th Learning Analytics and Knowledge Conference, Mar 2024, Kyoto, Japan. pp.1-10, ⟨10.1145/3636555.3636858⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04371748/file/LAK24_96_preprint_HAL.pdf BibTex
titre
In-depth analysis of Kubernetes manifest verification tools for robust CNF deployment
auteur
Boubacar Diarra, Karine Guillouard, Meryem Ouzzif, Philippe Merle, Jean-Bernard Stefani
article
ICIN 2024 - Conference on Innovation in Clouds, Internet and Networks, DNAC, Mar 2024, Paris, France. pp.1-8
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04421758/file/icin-camera-ready.pdf BibTex
titre
Reproduce, Replicate, Reevaluate. The Long but Safe Way to Extend Machine Learning Methods
auteur
Luisa Sophie Werner, Nabil Layaïda, Pierre Genevès, Jérôme Euzenat, Damien Graux
article
AAAI 2024 - 38th Annual AAAI Conference on Artificial Intelligence, Feb 2024, Vancouver, Canada. pp.1-9
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04035305/file/paper.pdf BibTex
titre
Taking conviviality seriously (extended abstract)
auteur
Sophie Quinton, Jean-Bernard Stefani
article
2024 - 1st conference on Undone Science in Computer Science, Feb 2024, Nantes, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.science/hal-04448759/file/Taking-conviviality-seriously-UCS-final.pdf BibTex
titre
Informatique et durabilité, une difficile transposition didactique
auteur
Baptiste de Goër, Hersch Micha, Sophie Quinton
article
DidaSTIC 2024 - Colloque Didapro 10 sur la Didactique de l’informatique et des STIC, Jan 2024, Louvain-La-Neuve, Belgique. pp.23-32
Accès au texte intégral et bibtex
https://hal.science/hal-04482133/file/503001.pdf BibTex

Chapitre d'ouvrage

titre
Chapitre VII.2 - Coopérations internationales et laboratoires mixtes : Mexique et Brésil
auteur
Michel Adiba, Jean-Pierre Giraudin, Ofelia Cervantes, José Celso Freire Junior, Nicolas Maillard, José Palazzo Moreira de Oliveira, José Valdeni de Lima, Genoveva Vargas-Solar
article
Michel Adiba; Jean-Pierre Giraudin. Du Big Data à l'IA - 60 ans d’expérience en traitement des données, des informations et des connaissances à Grenoble, UGA Editions, p. 889-904, 2024, Prométhée, 978-2-37747-488-2
Accès au bibtex
BibTex
titre
Chapitre III.4 - Données et connaissances pour le son et la parole
auteur
Ofelia Cervantes, Michel Adiba, Jean Caelen, Yolanda Fernández
article
Michel Adiba; Jean-Pierre Giraudin. Du Big Data à l’IA - 60 ans d’expérience en traitement des données, des informations et des connaissances à Grenoble, UGA Editions, p. 503-519, 2024, Prométhée, 978-2-37747-488-2
Accès au bibtex
BibTex
titre
Chapitre IV.5 - Systèmes d’Information Géographique
auteur
Jérôme Gensel, Paule-Annick Davoine, Marlène Villanova-Oliver
article
Michel Adiba; Jean-Pierre Giraudin. Du Big Data à l'IA - 60 ans d’expérience en traitement des données, des informations et des connaissances à Grenoble, UGA Editions, p. 645-684, 2024, Prométhée, 978-2-37747-488-2
Accès au bibtex
BibTex
titre
Chapitre IV.3. Interrogation du Web sémantique
auteur
Marie-Christine Rousset, Jérôme David, Jérôme Euzenat, Nabil Layaïda
article
Michel Adiba; Jean-Pierre Giraudin. Du Big Data à l’IA - 60 ans d’expérience en traitement des données, des informations et des connaissances à Grenoble, UGA Editions, p. 603-623, 2024, Prométhée, 978-2-37747-488-2
Accès au bibtex
BibTex
titre
Chapitre V.2 - Services logiciels et technologies intelligentes pour le Big Data
auteur
Genoveva Vargas-Solar, Michel Adiba, Christophe Bobineau, Thierry Coupaye
article
Michel Adiba; Jean-Pierre Giraudin. Du Big Data à l’IA - 60 ans d’expérience en traitement des données, des informations et des connaissances à Grenoble, UGA Editions, p. 731-764, 2024, Prométhée, 978-2-37747-488-2
Accès au bibtex
BibTex
titre
Chapitre III.3 - Applications médicales : du dossier patient aux plateformes de santé
auteur
Jean-Pierre Giraudin, Michel Adiba, Christian Lenne, Alexandre Moreau Gaudry, Pascal Mossuz, Christine Verdier
article
Michel Adiba; Jean-Pierre Giraudin. Du Big Data à l'IA - 60 ans d’expérience en traitement des données, des informations et des connaissances à Grenoble, UGA Editions, p. 457-501, 2024, Prométhée, 978-2-37747-488-2
Accès au bibtex
BibTex
titre
Chapitre III.5 - Données et connaissances pour la CAO
auteur
Michel Adiba, Jean-Pierre Giraudin, Christian Jullien, François Rechenmann, Dominique Rieu
article
Michel Adiba; Jean-Pierre Giraudin. Du Big Data à l’IA - 60 ans d’expérience en traitement des données, des informations et des connaissances à Grenoble, UGA Editions, p. 521-55É, 2024, Prométhée, 978-2-37747-488-2
Accès au bibtex
BibTex
titre
Chapitre II.1. Des données relationnelles aux objets multimédias
auteur
Claude Delobel, Michel Adiba, Boualem Benatallah, Marlon Dumas, Mauricio Lopez, Hervé Martin, José Palazzo Moreira de Oliveira, Fernando Velez
article
Michel Adiba; Jean-Pierre Giraudin. Du Big Data à l’IA - 60 ans d’expérience en traitement des données, des informations et des connaissances à Grenoble, UGA Editions, p. 149-243, 2024, Prométhée, 978-2-37747-488-2
Accès au bibtex
BibTex
titre
Chapitre IV.1 - Informatique sociale et sciences participatives
auteur
Sihem Amer-Yahia, Amélie Favreau, Paule-Annick Davoine, Philippe Mulhem, Marie-Christine Rousset, Juliette Sénéchal, Alexandre Termier
article
Michel Adiba; Jean-Pierre Giraudin. Du Big Data à l’IA - 60 ans d’expérience en traitement des données, des informations et des connaissances à Grenoble, UGA Editions, p. 559-583, 2024, Prométhée, 978-2-37747-488-2
Accès au bibtex
BibTex
titre
Incorporating Uncertainty Into Victim Location Processes in the Mountains: A Methodological, Software and Cognitive Approach
auteur
Matthieu Viry, Mattia Bunel, Marlène Villanova, Ana-Maria Olteanu-Raimond, C. Duchêne, Paule-Annick Davoine
article
François Pinet; Mireille Batton-Hubert; Eric Desjardin. Geographical Data Imperfection 2: Use Cases, 2, Wiley; ISTE, pp.95-125, 2024, 9781786302984. ⟨10.1002/9781119507352.ch5⟩
Accès au bibtex
BibTex
titre
Interrogation du web sémantique
auteur
Jérôme David, Jérôme Euzenat, Nabil Layaïda, Marie-Christine Rousset
article
Michel Adiba; Jean-Pierre Giraudin. Du big data à l'IA: 60 ans d'expérience en traitement des données, des informations et des connaissances à Grenoble, UGA Éditions, pp.603-623, 2024, 978-2-37747-488-2
Accès au texte intégral et bibtex
https://hal.science/hal-04884916/file/david2024a.pdf BibTex

N°spécial de revue/special issue

titre
Introduction to the Special Issue on Specification and Design Languages (FDL 2021)
auteur
Julien Deantoni, Alain Girault, Daniel Grosse
article
ACM Transactions on Embedded Computing Systems (TECS), 23 (5), pp.1-4, 2024, ⟨10.1145/3677316⟩
Accès au bibtex
BibTex

Mémoire d'étudiant

titre
Approximate weighted model counting for neural probabilistic reasoning
auteur
Thomas Valentin
article
Computer Science [cs]. 2024
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04856616/file/StartProject.pdf BibTex

Ouvrages

titre
Du Big Data à l'IA - 60 ans d’expérience en traitement des données, des informations et des connaissances à Grenoble
auteur
Michel Adiba, Jean-Pierre Giraudin
article
UGA Editions, 2024, Prométhée, Mireille Albrieux; Mickaël V. Cherrier, 978-2-37747-488-2
Accès au bibtex
BibTex

Rapport

titre
Transformations de Graphe pour la Minimisation du Pic Mémoire par Ordonnancement
auteur
Pascal Fradet, Alain Girault, Alexandre Honorat
article
RR-9554, Inria - Research Centre Grenoble – Rhône-Alpes. 2024, pp.1-42
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04688921/file/RR-9554.pdf BibTex

Thèse

titre
Comment évaluer le potentiel d'une solution numérique face à l'urgence écologique ? Application aux plateformes de covoiturage régulier à l'échelle locale
auteur
Aina Rasoldier
article
Systèmes embarqués. Université Grenoble Alpes [2020-..], 2024. Français. ⟨NNT : 2024GRALM004⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04702139/file/RASOLDIER_2024_archivage.pdf BibTex

Pré-publication, Document de travail

titre
Digitalisation as threat to resilience: what if there are no more semiconductors?
auteur
Ludmila Courtillat-Piazza, Sophie Quinton, Clement Marquet
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04926341/file/workshop-proposal-v4.pdf BibTex

2023

Article dans une revue

titre
Agent-based epidemics simulation to compare and explain screening and vaccination prioritization strategies
auteur
Carole Adam, Hélène Arduin
article
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2023, ⟨10.1177/00375497231178303⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04510554/file/2210.13089v1.pdf BibTex

Communication dans un congrès

titre
GeoChangeViz: visualizing Knowledge Graphs about changes in geographical divisions
auteur
Camille Bernard, Matthieu Viry, Marlène Villanova-Oliver, Jérôme Gensel
article
ISWC 2023 THE 22ND INTERNATIONAL SEMANTIC WEB CONFERENCE, Nov 2023, Athènes, Grèce, Greece
Accès au texte intégral et bibtex
https://hal.science/hal-04357933/file/GeoChangeViz-20230913.pdf BibTex
titre
Active Inference of EFSMs Without Reset
auteur
Michael Foster, Roland Groz, Catherine Oriat, Adenilso Simao, Germán Vega, Neil Walkinshaw
article
ICFEM 2023, Nov 2023, Brisbane, Australia. pp.29-46, ⟨10.1007/978-981-99-7584-6_3⟩
Accès au bibtex
BibTex
titre
The Mu-RA System for Recursive Path Queries over Graphs
auteur
Amela Fejza, Pierre Genevès, Nabil Layaïda, Sarah Chlyah
article
CIKM 2023 - 32nd ACM International Conference on Information and Knowledge Management, Oct 2023, Birmingham, United Kingdom. ⟨10.1145/3583780.3614756⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03517826/file/cikm-2023.pdf BibTex
titre
Knowledge Enhanced Graph Neural Networks for Graph Completion
auteur
Luisa Werner, Nabil Layaïda, Pierre Genevès, Sarah Chlyah
article
DSAA 2023 - The 10th IEEE International Conference on Data Science and Advanced Analytics, Oct 2023, Thessalokini, Greece
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04041691/file/conference_dsaa.pdf BibTex
titre
Detection and semantic description of changes in Earth Observation Time Series data
auteur
Daniela F. Milon-Flores, Camille Bernard, Jérôme Gensel, Gregory Giuliani
article
Workshop MACLEAN 2023 on Machine Learning for Earth Observation, Sep 2023, Torino, Italy, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-04357877/file/MACLEAN_paper.pdf BibTex
titre
A Semantics of Core Erlang with Handling of Signals
auteur
Aurélie Kong Win Chang, Jerome Feret, Gregor Gössler
article
Erlang 2023 - 22nd ACM SIGPLAN International Workshop on Erlang, Sep 2023, Seattle WA, United States. pp.31-38, ⟨10.1145/3609022.3609417⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04222884/file/erlang2023.pdf BibTex
titre
Interactive simulation of inertia created by mobility habits
auteur
Carole Adam
article
54th International Simulation and Gaming Conference (ISAGA 2023), Jul 2023, La Rochelle, France. pp.624-626
Accès au texte intégral et bibtex
https://hal.science/hal-04510586/file/adam-final-habits.pdf BibTex
titre
Simulating the impact of cognitive biases on the mobility transition ⋆
auteur
Carole Adam
article
International Simulation and Gaming Conference (ISAGA), Nicolas Bécu, Jul 2023, La Rochelle, France
Accès au texte intégral et bibtex
https://hal.science/hal-04510564/file/Adam-final-biases-mobility.pdf BibTex
titre
Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization
auteur
Pascal Fradet, Alain Girault, Alexandre Honorat
article
LCTES 2023 - 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2023, Orlando (FL), United States. pp.76-86, ⟨10.1145/3589610.3596280⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04163123/file/main.pdf BibTex