Publications du LIMOS
Les publications sont issues de la collection LIMOS de
HAL
Pour sélectionner les thèses, les HDR, ou les rapports de recherche, choisissez le type de document (TYPE DOC) correspondant.
5316 documents
| Date publi Type |
Co-auteurs Titre journal ou conférence |
Domaines |
|---|---|---|
| 2023
ART 
|
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
dont LIMOS : Pascal LAFOURCADE , Léo ROBERT , Physical ZKP protocols for Nurimisaki and Kurodoko Theoretical Computer Science - 2023 |
Informatique/Cryptographie et sécurité |
| 2023
ART
|
Mario Flores-Gómez, Valeria Borodin, Stéphane Dauzère-Pérès
dont LIMOS : Valeria BORODIN , Stéphane DAUZERE PERES , Maximizing the service level on the makespan in the stochastic flexible job-shop scheduling problem Computers and Operations Research - 2023 |
Maths |
| 2023
ART
|
Eric Bourreau, Gérard Fleury, Philippe Lacomme
dont LIMOS : Philippe LACOMME , Gérard FLEURY , Adiabatic based Algorithm for SAT: A comprehensive algorithmic description Physica A: Statistical Mechanics and its Applications - 2023 |
|
| 2023
SOFTWARE
|
Mohsen Hadavi, Maxime Lefrançois
dont LIMOS : Maxime LEFRANCOIS , MicroPython urdflib |
Informatique/Langage de programmation |
| 2023
REPORT
|
Maxime Lefrançois, David Gnabasik
dont LIMOS : David GNABASIK , Maxime LEFRANCOIS , ETSI TC SmartM2M. SmartM2M ; Study for SAREF ontology patterns and usage guidelines |
Informatique/Langage de programmation |
| 2023
SOFTWARE
|
Maxime Lefrançois, Omar Qawasmeh
dont LIMOS : Maxime LEFRANCOIS , SAREF Pipeline |
Informatique/Langage de programmation |
| 2023
COMM
|
Samuel Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert
dont LIMOS : Pascal LAFOURCADE , Léo ROBERT , Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun IWSEC : International Workshop on Security - 2023 |
Informatique/Cryptographie et sécurité |
| 2023
UNDEFINED
|
Charlie Sire, Yann Richet, Rodolphe Le Riche, Didier Rullière, Jérémy Rohmer, Lucie Pheulpin
dont LIMOS : Rodolphe LE RICHE , Charlie SIRE , FunQuant: A R package to perform quantization in the context of rare events and time-consuming simulations |
Statistiques |
| 2023
UNDEFINED
|
Caroline Brosse, Oscar Defrain, Kazuhiro Kurita, Vincent Limouzy, Takeaki Uno, Kunihiro Wasa
dont LIMOS : Oscar DEFRAIN , Caroline BROSSE , Vincent LIMOUZY , On the hardness of inclusion-wise minimal separators enumeration |
Informatique/Mathématique discrète |
| 2023
COMM
|
Maxime Lefrançois
dont LIMOS : Maxime LEFRANCOIS , Governance of the ETSI SAREF suite of ontologies: past, current situation, and the road ahead” by SAREF Semantic Artefact Governance Workshop - 2023 |
Informatique/Web |
| 2023
COMM
|
Dibyayan Chakraborty, Jérémie Chalopin, Florent Foucaud, Yann Vaxès
dont LIMOS : Florent FOUCAUD , Isometric Path Complexity of Graphs 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023) - 2023 |
Informatique/Mathématique discrète |
| 2023
COMM
|
Asma Gasmi, Vincent Augusto, Jenny Faucheu, Claire Morin, Xavier Serpaggi
dont LIMOS : Vincent AUGUSTO , Asma GASMI , Anomaly Detection in Sleep Habits Using Deep Learning 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE) - 2023 |
Statistiques |
| 2023
ART
|
Julia L Fleck, Daniëlle Hooijenga, Raksmey Phan, Xiaolan Xie, Vincent Augusto, Pierre-Etienne Heudel
dont LIMOS : Vincent AUGUSTO , Xiaolan XIE , Raksmey PHAN , Adjuvant therapeutic strategy decision support for an elderly population with localized breast cancer: A monocentric cohort retrospective study PLoS ONE - 2023 |
Sciences du vivant |
| 2023
COMM
|
Sylvain Lapeyrade, Christophe Rey
dont LIMOS : Christophe REY , Sylvain LAPEYRADE , Non-Player Character Decision-Making With Prolog and Ontologies 2023 IEEE Conference on Games (CoG) - 2023 |
|
| 2023
COMM
|
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
dont LIMOS : Matthieu PY , Proofs and Certificates for Max-SAT (Extended Abstract) * International Joint Conference on Artificial Intelligence - 2023 |
Informatique/Intelligence artificielle |
| 2023
POSTER
|
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
dont LIMOS : Matthieu PY , Proofs and Certificates for Max-SAT |
Informatique/Intelligence artificielle |
| 2023
COMM
|
Radu Ciucanu, Pascal Lafourcade, Gael Marcadet, Marta Soare
dont LIMOS : Radu CIUCANU , Pascal LAFOURCADE , Gael MARCADET , SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits (Extended Abstract) Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23} - 2023 |
|
| 2023
COMM
|
Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete, Léo Robert
dont LIMOS : Pascal LAFOURCADE , Léo ROBERT , How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment USENIX 2023 - The 32nd USENIX Security Symposium - 2023 |
Informatique/Cryptographie et sécurité |
| 2023
ART
|
Mohadese Basirati, Romain Billot, Patrick Meyer
dont LIMOS : Mohadese BASIRATI , Two Parameter-Tuned Multi-Objective Evolutionary-Based Algorithms for Zoning Management in Marine Spatial Planning Annals of Mathematics and Artificial Intelligence - 2023 |
Maths |
| 2023
ART
|
Yan Gerard
dont LIMOS : Yan GERARD , Reconstruction of Convex Sets from One or Two X-rays Fundamenta Informaticae - 2023 |
|
| 2023
ART
|
Jérémy Rohmer, Charlie Sire, Sophie Lecacheux, Déborah Idier, Rodrigo Pedreros
dont LIMOS : Charlie SIRE , Improved metamodels for predicting high-dimensional outputs by accounting for the dependence structure of the latent variables: application to marine flooding Stochastic Environmental Research and Risk Assessment - 2023 |
Planetes et univers |
| 2023
ART
|
Lhouari Nourine, Simon Vilmin
dont LIMOS : Lhouari NOURINE , Simon VILMIN , The enumeration of meet-irreducible elements based on hierarchical decompositions of implicational bases Theoretical Computer Science - 2023 |
Informatique/Mathématique discrète |
| 2023
ART
|
Subhadeep Ranjan Dev, Sanjana Dey, Florent Foucaud, Ralf Klasing, Tuomo Lehtilä
dont LIMOS : Florent FOUCAUD , The RED-BLUE SEPARATION problem on graphs Theoretical Computer Science - 2023 |
Informatique/Mathématique discrète |
| 2023
ART
|
Zhihao Peng, Vincent Augusto, Lionel Perrier, Xiaolan Xie
dont LIMOS : Vincent AUGUSTO , Xiaolan XIE , Zhihao PENG , Optimal Process Mining of Traces With Events and Transition Attributes With Application to Care Pathways of Cancer Patients IEEE Transactions on Automation Science and Engineering - 2023 |
Sciences du vivant |
| 2023
COMM
|
Fatma-Zohra Hannou, Victor Charpenay, Maxime Lefrançois, Catherine Roussey, Antoine Zimmermann, Fabien Gandon
dont LIMOS : Victor CHARPENAY , Antoine ZIMMERMANN , Maxime LEFRANCOIS , The ACIMOV Methodology: Agile and Continuous Integration for Modular Ontologies and Vocabularies MK 2023 - 2nd Workshop on Modular Knowledge associated with FOIS 2023 - the 13th International Conference on Formal Ontology in Information Systems - 2023 |
Informatique/Intelligence artificielle |
| 2023
THESE
|
Eloise Yollande Molé Kamga
dont LIMOS : Pilotage synchronisé de la production d'énergie et d'activités de services de véhicules autonomes ou partiellement autonomes |
Informatique/Intelligence artificielle |
| 2023
COMM
|
Kathrin Land, Luis Gustavo Nardin, Birgit Vogel-Heuser
dont LIMOS : Luis Gustavo NARDIN , Increasing Robustness of Agents’ Decision-Making in Production Automation using Sanctioning 2023 IEEE 21st International Conference on Industrial Informatics (INDIN) - 2023 |
Informatique/Système multi-agents |
| 2023
THESE
|
Michel Kamel
dont LIMOS : Michel KAMEL , Advanced Probabilistic & Statistical/Machine learning Models For Anomaly Detection: Application in Telecommunication Industry |
Maths |
| 2023
COMM
|
Marc Grossouvre, Didier Rullière
dont LIMOS : Marc GROSSOUVRE , What geostatistical model for uncertainly geolocated Energy Performance Certificates (EPC)? Spatial Statistics 2023: Climate and the Environment - 2023 |
Statistiques |
| 2023
COMM
|
Mouloud Iferroudjene, Victor Charpenay, Antoine Zimmermann
dont LIMOS : Victor CHARPENAY , Antoine ZIMMERMANN , Mouloud IFERROUDJENE , FB15k-CVT: A Challenging Dataset for Knowledge Graph Embedding Models SeReCo Summer Workshop 2023 - 2023 |
Informatique/Web |
| 2023
COMM
|
Zehor Hounas
dont LIMOS : A hybrid approach of semantic modeling and co-simulation for a better consideration of physical phenomena in a smart building SeReCo Summer Workshop 2023 - 2023 |
Informatique/Web |
| 2023
COMM
|
Mohadese Basirati, Erfan Hassannayebi, Zahra Mohammadnazari, Mohammad Alipour-Vaezi
dont LIMOS : Mohadese BASIRATI , Application of Multi-Criteria Decision-Making Methods for Human Resource’s Task Scheduling in Multi-Sided Platforms 6th Euroepan IEOM Conference - 2023 |
Informatique/Recherche opérationnelle |
| 2023
ART
|
Fabien Feschet, Jacques-Olivier Lachaud
dont LIMOS : Fabien FESCHET , An Envelope Operator for Full Convexity to Define Polyhedral Models in Digital Spaces Journal of Mathematical Imaging and Vision - 2023 |
|
| 2023
COMM
|
Yousouf Taghzouti
dont LIMOS : Yousouf TAGHZOUTI , Enable Decentralised Semantic Content Negotiation through Equivalence Links SeReCo Summer Workshop 2023 - 2023 |
Informatique/Web |
| 2023
UNDEFINED
|
Florent Foucaud, Esther Galby, Liana Khazaliya, Shaohua Li, Fionn Mc Inerney, Roohani Sharma, Prafullkumar Tale
dont LIMOS : Florent FOUCAUD , Problems in NP can Admit Double-Exponential Lower Bounds when Parameterized by Treewidth or Vertex Cover |
Informatique/Algorithme et structure de données |
| 2023
UNDEFINED
|
Alexandre Guitton, Megumi Kaneko, Nancy El Rachkidy
dont LIMOS : Nancy EL RACHKIDY , Alexandre GUITTON , Optimality and Approximation Ratios of Demodulator Allocation Strategies in LoRa Multi-Gateway Networks |
Informatique/Réseaux et télécommunications |
| 2023
COMM
|
Mohamed Gharafi, Nikolaus Hansen, Dimo Brockhoff, Rodolphe Le Riche
dont LIMOS : Rodolphe LE RICHE , Multiobjective optimization with a quadratic surrogate-assisted CMA-ES GECCO 2023 - Genetic and Evolutionary Computation Conference - 2023 |
Informatique/Apprentissage |
| 2023
ART
|
Florent Foucaud, Reza Naserasr, Rongxing Xu
dont LIMOS : Florent FOUCAUD , Extended Double Covers and Homomorphism Bounds of Signed Graphs The Electronic Journal of Combinatorics - 2023 |
Informatique/Mathématique discrète |
| 2023
ART
|
Florent Foucaud, Tuomo Lehtilä
dont LIMOS : Florent FOUCAUD , Bounds and Extremal Graphs for Total Dominating Identifying Codes The Electronic Journal of Combinatorics - 2023 |
Informatique/Mathématique discrète |
| 2023
COMM
|
Abdallah Amine Melakhsou, Mireille Batton-Hubert
dont LIMOS : Mireille BATTON HUBERT , Abdallah Amine MELAKHSOU , Explainable Abnormal Time Series Subsequence Detection Using Random Convolutional Kernels 4th International Conference, DeLTA 2023 : Deep Learning Theory and Applications - 2023 |
Informatique/Modélisation et simulation |
| 2023
COMM
|
Nesrine Hafiene, Luis Nardin, Antoine Zimmermann, Olivier Boissier
dont LIMOS : Antoine ZIMMERMANN , Olivier BOISSIER , Nesrine HAFIENE , Governing Online Forum Interactions with Multi-agent System: A Reddit Use Case with the JaCaMo Platform PAAMS 2023: Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics - 2023 |
Informatique/Système multi-agents |
| 2023
ART
|
Abdallah Amine Melakhsou, Mireille Batton-Hubert, Nicolas Casoetto
dont LIMOS : Mireille BATTON HUBERT , Abdallah Amine MELAKHSOU , Welding fault detection and diagnosis using one-class SVM with distance substitution kernels and random convolutional kernel transform International Journal of Advanced Manufacturing Technology - 2023 |
Informatique/Modélisation et simulation |
| 2023
LECTURE
|
Rodolphe Le Riche
dont LIMOS : Rodolphe LE RICHE , Bayesian and evolutionary optimization: searching from both sides |
Informatique/Recherche opérationnelle |
| 2023
COMM
|
Arthur Kramer, Fernanda Rêgo, Katyanne Farias
dont LIMOS : Arthur KRAMER , Transshipment station location problem in the context of solid waste management of the Brazilian state of Rio Grande do Norte Conférence: IFORS 2023 - The 23rd Conference of the International Federation of Operational Research Societies - 2023 |
Informatique/Modélisation et simulation |
| 2023
COMM
|
Clémentine Gritti, Frédéric A Hayek, Pascal Lafourcade
dont LIMOS : Pascal LAFOURCADE , Generic Blockchain on Generic Human Behavior SECRYPT 2023 - 2023 |
|
| 2023
ART
|
Jie Zhang, Yaoxiang Yu, Vincent Barra, Xiaoming Ruan, Yu Chen, Bo Cai
dont LIMOS : Vincent BARRA , Feasibility study on using house-tree-person drawings for automatic analysis of depression Computer Methods in Biomechanics and Biomedical Engineering - 2023 |
Informatique/Apprentissage |
| 2023
ART
|
Julien Pelamatti, Rodolphe Le Riche, Céline Helbert, Christophette Blanchet-Scalliet
dont LIMOS : Rodolphe LE RICHE , Coupling and selecting constraints in Bayesian optimization under uncertainties Optimization and Engineering - 2023 |
Informatique/Modélisation et simulation |
| 2023
COMM
|
X Goblet, Christophe Rey, Adrien Collange
dont LIMOS : Christophe REY , Adrien COLLANGE , Hybridation opérationnelle des logiques OWL2 et ASP pour améliorer l'expressivité déclarative 9ème Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle APIA@PFIA2023 - 2023 |
Informatique/Intelligence artificielle |
| 2023
ART
|
Dr Harish, T Gowtham, Amirthan Arunachalam, Ms Narassima, Damien Lamy, M Thenarasu
dont LIMOS : Damien LAMY , Productivity improvement by application of simulation and lean approaches in an multimodel assembly line Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture - 2023 |
Sciences de l'ingenieur |
| 2023
ART
|
Alaa Daoud, Flavien Balbo, Paolo Gianessi, Gauthier Picard
dont LIMOS : Paolo GIANESSI , Flavien BALBO , Alaa DAOUD , AV-OLRA : Une modélisation générique pour le problème de l’allocation des ressources dans le domaine du transport à la demande Revue Ouverte d'Intelligence Artificielle - 2023 |
Physique |