Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1575

Synchronous cooperative threading model in MSSL
Publié en 2023
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Darine RAMMAL, Wadoud BOUSDIRA, Frédéric DABROWSKI
Guest editorial: Advances in intelligent data, data engineering, and information systems
Publié en 2023
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Mirian HALFELD-FERRARI, Paolo CERAVOLO, Sonja RISTIC, Yaser JARARWEH, Dimitrios KATSAROS
A security architecture for the internet of medical things
Publié en 2023
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Patrice CLEMENTE, Marko HÖLBL
Guest Editor’s Note: High-Level Parallel Programming 2021
Publié en 2023
Type de publication : Direction d'ouvrages scientifiques
Auteur(s) : Frédéric LOULERGUE, Virginia NICULESCU
A domain-theoretic model construction for Coquand/Huet's calcu-lus of constructions
Publié en 2023
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Dieter SPREEN
Local Certification of Graphs with Bounded Genus
Publié en 2023
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Ioan TODINCA, Laurent FEUILLOLEY, Pierre FRAIGNIAUD, Pedro MONTEALEGRE, Ivan RAPAPORT, Eric RÉMILA
Specification of data and databases
Publié en 2023
Type de publication : Autres Publications
Auteur(s) : Cédric EICHLER
Drawing numerable linear orderings
Publié en 2023
Type de publication : Poster
Auteur(s) : Jérôme DURAND-LOSE LABORATOIRE D'INFORMATIQUE FONDAMENTALE D'ORLEANS
On graphs coverable by k shortest paths
Publié en 2022
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mael DUMAS, Anthony PEREZ, Ioan TODINCA, Florent FOUCAUD
Towards a SaaS application providing an ethical support for human caregiving of people living at home
Publié en 2022
Type de publication : Communications sans actes
Auteur(s) : Pierre BOUCHET, Sophie JACQUOT, Christian TOINARD
Mandatory protection checked against the automotive sector’s safety objectives
Publié en 2022
Type de publication : Thèse
Auteur(s) : Adrien JOUSSE
SMSG: Profiling-Free Parallelism Modeling for Distributed Training of DNN
Publié en 2022
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sophie ROBERT, Sébastien LIMET, Haoran WANG, Thibaut TACHON, Chong LI
Formalisation d'un vérificateur dynamique de propriétés mémoire pour programmes C
Publié en 2022
Type de publication : Thèse
Auteur(s) : Dara LY
Computing Power of Hybrid Models in Synchronous Networks
Publié en 2022
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Ioan TODINCA, Pierre FRAIGNIAUD, Pedro MONTEALEGRE, Pablo PAREDES, Ivan RAPAPORT, Martín RÍOS-WILSON
Revisiting and Improving Upper Bounds for Identifying Codes
Publié en 2022
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Florent FOUCAUD, Tuomo LEHTILÄ
Improving the Efficiency of Report and Trace Ring Signatures
Publié en 2022
Type de publication : Communications sans actes
Auteur(s) : Xavier BULTEL, Ashley FRASER, Elizabeth QUAGLIA
Moderate exponential-time algorithms for scheduling problems
Publié en 2022
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Vincent T’KINDT, Federico DELLA CROCE
Presenting an event through the description of related tweets clusters
Publié en 2022
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
Complexity and algorithms for Isometric Path Cover on chordal graphs and beyond
Publié en 2022
Type de publication : Autres Publications
Auteur(s) : Dibyayan CHAKRABORTY, Antoine DAILLY, Sandip DAS, Florent FOUCAUD, Harmender GAHLAWAT, Subir KUMAR GHOSH
Implicit parallelism for neural network acceleration
Publié en 2022
Type de publication : Thèse
Auteur(s) : Haoran WANG
Modeling Lifelong Pathway Co-construction
Publié en 2022
Type de publication : Communications sans actes
Auteur(s) : Patrick MARCEL, Nicolas RINGUET, Nicolas LABROCHE, Thomas DEVOGELE, Christophe BORTOLASO
Evaluating Diversity of Multiword Expressions in Annotated Text
Publié en 2022
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Adam LION-BOUTON, Yağmur ÖZTÜRK, Agata SAVARY, Jean-Yves ANTOINE
Proceedings of the 29th International Conference on Computational Linguistics
Brief Announcement: Computing Power of Hybrid Models in Synchronous Networks
Publié en 2022
Type de publication : Communications sans actes
Auteur(s) : Ioan TODINCA, Pierre FRAIGNIAUD, Pedro MONTEALEGRE, Pablo PAREDES, Ivan RAPAPORT, Martín RÍOS-WILSON
Knowledge Integration in Deep Clustering
Publié en 2022
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Christel VRAIN, Thi-Bich-Hanh DIEP-DAO, Nguyen-Viet-Dung NGHIEM
On constant-time quantum annealing and guaranteed approximations for graph optimization problems
Publié en 2022
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Arthur BRAIDA, Ioan TODINCA, Simon MARTIEL
Relation Extraction from Clinical Cases for a Knowledge Graph
Publié en 2022
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Nicolas HIOT, Mirian HALFELD-FERRARI, Agata SAVARY, Alena SILVANOVICH, Anne-Lyse MINARD
It’s Too Noisy in Here: Using Projection to Improve Differential Privacy on RDF Graphs
Publié en 2022
Type de publication : Communications sans actes
Auteur(s) : Sara TAKI, Cédric EICHLER, Benjamin NGUYEN
Enumerating Minimal Connected Dominating Sets
Publié en 2022
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu LIEDLOFF, Faisal ABU-KHZAM, Henning FERNAU, Benjamin GRAS, Kevin MANN
Leibniz International Proceedings in Informatics (LIPIcs)
An analysis of the admissibility of the objective functions applied in evolutionary multi-objective clustering
Publié en 2022
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Cristina MORIMOTO, Aurora POZO, Marcílio C.P. DE SOUTO
Privacy Analysis with a Distributed Transition System and a Data-Wise Metric
Publié en 2022
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Siva ANANTHARAMAN, Sabine FRITTELLA, Benjamin NGUYEN
Privacy Operators for Semantic Graph Databases as Graph Rewriting
Publié en 2022
Type de publication : Communications sans actes
Auteur(s) : Adrien BOIRET, Cédric EICHLER, Benjamin NGUYEN
Improvements on graph path queries : expression, evaluation, and minimum-weight satisfiability
Publié en 2022
Type de publication : Thèse
Auteur(s) : Ciro MORAIS MEDEIROS
Paraconsistent Gödel Modal Logic
Publié en 2022
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Sabine FRITTELLA, Marta BÍLKOVÁ, Daniil KOZHEMIACHENKO
Anchored Constrained Clustering Ensemble
Publié en 2022
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Mathieu GUILBERT, Christel VRAIN, Thi-Bich-Hanh DIEP-DAO, Marcilio PEREIRA DE SOUTO
Towards Explainable Deep Learning for Image Captioning through Representation Space Perturbation
Publié en 2022
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sofiane ELGUENDOUZE, Marcilio PEREIRA DE SOUTO, Anaïs LEFEUVRE-HALFTERMEYER, Adel HAFIANE
IEEE Transactions on Neural Networks and Learning Systems
Intégration incrémentale de contraintes pour le clustering avec la programmation par contraintes
Publié en 2022
Type de publication : Publications dans les actes d'un congrès national avec comité de lecture
Auteur(s) : Aymeric BEAUCHAMP, Thi-Bich-Hanh DIEP-DAO, Christel VRAIN, Samir LOUDNI
Des clusters de tweets aux tags de descriptions : présentation d'un évènement par la caractérisation de ses manifestations
Publié en 2022
Type de publication : Communications sans actes
Auteur(s) : Olivier GRACIANNE, Anaïs LEFEUVRE-HALFTERMEYER, Thi-Bich-Hanh DIEP-DAO
BERTrade: Using Contextual Embeddings to Parse Old French
Publié en 2022
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Loïc GROBOL, Mathilde REGNAULT, Pedro ORTIZ SUAREZ, Benoît SAGOT, Laurent ROMARY, Benoît CRABBÉ
Proceedings of the 13th Language Resources and Evaluation Conference
It’s too noisy in here: using projection to improve Differential Privacy on RDF graphs
Publié en 2022
Type de publication : Communications sans actes
Auteur(s) : Sara TAKI, Cédric EICHLER, Benjamin NGUYEN
The Red-Blue Separation Problem on Graphs
Publié en 2022
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Subhadeep Ranjan DEV, Sanjana DEY, Florent FOUCAUD, Ralf KLASING, Tuomo LEHTILÄ
LOCALITY AND APPROXIMATION IN QUANTUM ANNEALING
Publié en 2022
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Arthur BRAIDA
Direction matters in complex networks: A theoretical and applied study for greedy modularity optimization
Publié en 2022
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Anthony PEREZ, Nicolas DUGUÉ
Random Dilated Shapelet Transform: A New Approach for Time Series Shapelets
Publié en 2022
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Antoine GUILLAUME, Christel VRAIN, Wael ELLOUMI
Towards a Scalable Set Similarity Join using MapReduce and LSH
Publié en 2022
Type de publication : Communications sans actes
Auteur(s) : Sébastien RIVAULT, Mostafa BAMHA, Sophie ROBERT, Sébastien LIMET
Le calcul numérique
Publié en 2022
Type de publication : Chapitre d'ouvrages scientifiques
Auteur(s) : Nicolas OLLINGER
Zero-Knowledge Proof of Knowledge for Peg Solitaire
Publié en 2022
Type de publication : Communications sans actes
Auteur(s) : Xavier BULTEL
11th International Conference on Fun with Algorithms (FUN 2022)
A Methodology for the Comparison of Human Judgments With Metrics for Coreference Resolution
Publié en 2022
Type de publication : Communications sans actes
Auteur(s) : Anaïs LEFEUVRE-HALFTERMEYER, Sylvie BILLOT, Mariya BOROVIKOVA, Loïc GROBOL
Back on SEmantic Networks of Data: Utility and Privacy
Publié en 2022
Type de publication : Communications sans actes
Auteur(s) : Cédric EICHLER, Jacques CHABIN, Nicolas HIOT, Benjamin NGUYEN, Rachid ECHAHED, Mirian H. FERRARI, Frédéric PROST
Enseigner les preuves à divulgation nulle sur des chiffrements sans prérequis d'arithmétique
Publié en 2022
Type de publication : Communications sans actes
Auteur(s) : Xavier BULTEL
On Turedo Hierarchies and Intrinsic Universality
Publié en 2022
Type de publication : Autres Publications
Auteur(s) : Samuel NALIN, Guillaume THEYSSIER

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