Archives ouvertes (HAL)

Publications HAL du LIFO

Nombre de publications : 1613

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
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Ä
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
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
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) : Jean-yves ANTOINE, Adam LION-BOUTON, Yağmur ÖZTÜRK, Agata SAVARY
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
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
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
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
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
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 : Ouvrage ou 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É
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
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
Le calcul numérique
Publié en 2022
Type de publication : Ouvrage ou 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
Pairing-free secure-channel establishment in mobile networks with fine-grained lawful interception
Publié en 2022
Type de publication : Poster
Auteur(s) : Xavier BULTEL, Cristina ONETE
SAC '22: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing
Detecting Nested Structures Through Evolutionary Multi-objective Clustering
Publié en 2022
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Cristina MORIMOTO, Aurora POZO, Marcílio DE SOUTO
Distributed Transition Systems with Tags for Privacy Analysis
Publié en 2022
Type de publication : Autres Publications
Auteur(s) : Siva ANANTHARAMAN, Sabine FRITTELLA, Benjamin NGUYEN
Generating Arabic TAG for syntax-semantics analysis
Publié en 2022
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Denys DUCHIER, Yannick PARMENTIER, Cherifa BEN KHELIL, Chiraz BEN OTHMANE ZRIBI
Is Old French tougher to parse ?
Publié en 2022
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Loïc GROBOL, Sophie PRÉVOST, Benoît CRABBÉ
Proceedings of the 20th International Workshop on Treebanks and Linguistic Theories (TLT, SyntaxFest 2021)
Belief Based on Inconsistent Information
Publié en 2022
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Sabine FRITTELLA, Marta BÍLKOVÁ, Ondrej MAJER, Sajad NAZARI
CCA Secure A Posteriori Openable Encryption in the Standard Model
Publié en 2022
Type de publication : Communications sans actes
Auteur(s) : Xavier BULTEL
Topics in Cryptology – CT-RSA 2022
Freezing, Bounded-Change and Convergent Cellular Automata
Publié en 2022
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Nicolas OLLINGER, Guillaume THEYSSIER
Graph Modification for Edge-Coloured and Signed Graph Homomorphism Problems: Parameterized and Classical Complexity
Publié en 2022
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Florent FOUCAUD, Hervé HOCQUARD, Dimitri LAJOU, Valia MITSOU, Théo PIERRON
A Scalable Similarity Join Algorithm Based on MapReduce and LSH
Publié en 2022
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Sébastien RIVAULT, Mostafa BAMHA, Sébastien LIMET, Sophie ROBERT
Modular termination of prefix-constrained term rewrite systems
Publié en 2022
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Nirina ANDRIANARIVELO, Pierre RETY
Smallest $C_{2l+1}$-critical graphs of odd-girth $2k+1$
Publié en 2022
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Laurent BEAUDOU, Florent FOUCAUD, Reza NASERASR
Monitoring the edges of a graph using distances
Publié en 2022
Type de publication : Revue internationale à comité de lecture
Auteur(s) : Florent FOUCAUD, Shih-Shun KAO, Ralf KLASING, Mirka MILLER, Joe RYAN
On the Power of Recursive Word-Functions Without Concatenation
Publié en 2022
Type de publication : Publications dans les actes d'un congrès international avec comité de lecture
Auteur(s) : Jérôme DURAND-LOSE

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