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.
5595 documents
| Date publi Type |
Co-auteurs Titre journal ou conférence |
Domaines |
|---|---|---|
| 2023
COMM 
|
Dipayan Chakraborty, Florent Foucaud, Tuomo Lehtilä
dont LIMOS : Dipayan CHAKRABORTY , Florent FOUCAUD , Identifying codes in bipartite graphs of given maximum degree 12th Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS 2023) - 2023 |
Maths |
| 2023
COMM
|
Dibyayan Chakraborty, Florent Foucaud, Anni Hakanen
dont LIMOS : Anni HAKANEN , Florent FOUCAUD , Distance-Based Covering Problems for Graphs of Given Cyclomatic Number 24th International Symposium on Fundamentals of Computation Theory (FCT 2023) - 2023 |
Maths |
| 2023
PROCEEDINGS
|
Anis Fradi, Chafik Samir
dont LIMOS : Anis FRADI , Chafik SAMIR , A New Framework for Classifying Probability Density Functions |
Statistiques |
| 2023
COMM
|
Khadija Lahlou, Khaled Medini, Thorsten Wuest, Qussay Jarrar
dont LIMOS : Khaled MEDINI , Business Process Reengineering in Agile Manufacturing – A Mixed Method Research IFIP International Conference on Advances in Production Management Systems (APMS) - 2023 |
Sciences de l'ingenieur |
| 2023
COMM
|
Farzaneh Mahmoudi, Alireza Eshghi, Mohadese Basirati, Erfan Hassannayebi
dont LIMOS : Mohadese BASIRATI , A Simulation Optimization Approach to Inventory Optimization in Supply Chain Networks IFIP International Conference on Advances in Production Management Systems - 2023 |
Informatique/Recherche opérationnelle |
| 2023
COMM
|
Ehsan Yadegari, Damien Lamy, Xavier Delorme
dont LIMOS : Xavier DELORME , Damien LAMY , Ehsan YADEGARI , Reactive Flexible Job Shop Problem with Stress Level Consideration Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023 - 2023 |
Sciences de l'ingenieur |
| 2023
COMM
|
Mohammad Pourmatin, Amir Fayaz-Heidari, Moein Moeini-Aghtaie, Erfan Hassannayebi, Mohadese Basirati
dont LIMOS : Mohadese BASIRATI , Investigating the Sustainable Development of Charging Stations for Plug-in Electric Vehicles: A System Dynamics Approach IFIP International Conference on Advances in Production Management Systems - 2023 |
Informatique/Recherche opérationnelle |
| 2023
ART
|
Antoine Dailly, Elżbieta Sidorowicz
dont LIMOS : Antoine DAILLY , Neighbour sum distinguishing edge-weightings with local constraints Discrete Applied Mathematics - 2023 |
Maths |
| 2023
COMM
|
Azelle Courtial, Jérémy Kalsron, Bérénice Le Mao, Quentin Potié, Guillaume Touya, Laura Wenclik
dont LIMOS : Jérémy KALSRON , Text-to-map generation: an exploration of current potentials CartoAI: AI for cartography - 2023 |
|
| 2023
COMM
|
Sébastien Salva, Jarod Sue
dont LIMOS : Sébastien SALVA , Jarod SUE , Automated Test Case Generation for Service Composition from Event Logs 2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW) - 2023 |
Informatique/Génie logiciel |
| 2023
THESE
|
Caroline Brosse
dont LIMOS : Caroline BROSSE , Efficient enumeration algorithms for minimal graph completions and deletions |
Informatique/Algorithme et structure de données |
| 2023
THESE
|
Abdallah Amine Melakhsou
dont LIMOS : Abdallah Amine MELAKHSOU , Apprentissage statistique et automatique pour la détection des défauts de soudures : application à la fabrication de ballons d’eau chaude sanitaire |
Maths |
| 2023
COMM
|
Elise Decaesteker Théophile -, Thomas Roméro, Antonio Freitas, Michel Misson
dont LIMOS : Antonio FREITAS , Michel MISSON , Feedback on a fortification technique for exchanges of 802.15.4 data frames for real-time, critical data collection application 11th Annual IEEE International Conference on Wireless for Space and Extreme Environments (WISEE 2023) - 2023 |
Informatique/Réseaux et télécommunications |
| 2023
ART
|
Virginia Ardévol Martínez, Marco Caoduro, Laurent Feuilloley, Jonathan Narboni, Pegah Pournajafi, Jean-Florent Raymond
dont LIMOS : Jean-florent RAYMOND , A lower bound for constant-size local certification Theoretical Computer Science - 2023 |
Informatique/Calcul parallèle, distribué et partagé |
| 2023
ART
|
Fatiha Bendali, Jean Mailfert, Eloise Mole Kamga, Alain Quilliot, Hélène Toussaint
dont LIMOS : Fatiha BENDALI AMOR , Jean MAILFERT , Alain QUILLIOT , Hélène TOUSSAINT , Models, Algorithms and Approximation Results for a Bi-Level Synchronized Knapsack Problem Cybernetics and Systems - 2023 |
Informatique/Recherche opérationnelle |
| 2023
ART
|
Minh Hieu Nguyen, Mourad Baïou, Viet Hung Nguyen, Thi Quynh Trang Vo
dont LIMOS : Mourad BAIOU , Viet Hung NGUYEN , Thi Quynh Trang VO , Minh Hieu NGUYEN , Generalized nash fairness solutions for bi‐objective minimization problems Networks - 2023 |
|
| 2023
COMM
|
Axel Mascaro, Christophe Rey
dont LIMOS : Christophe REY , Axel MASCARO , Commonality Subtraction Operator for the EL Description Logic Description Logics 2023 - 2023 |
Informatique/Logique en informatique |
| 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
|
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
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
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 , Didier RULLIERE , FunQuant: A R package to perform quantization in the context of rare events and time-consuming simulations |
Maths |
| 2023
ART
|
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 Information Processing Letters - 2023 |
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
COMM
|
Lucas Berterottière, Stéphane Dauzère-Pérès, Claude Yugma
dont LIMOS : Claude YUGMA , Stéphane DAUZERE PERES , Complexity and Solution Methods for a Single-Machine Scheduling Problem with Limited Buffer Space and Transportation Resource 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE) - 2023 |
Informatique/Recherche opérationnelle |
| 2023
ART
|
Julia L Fleck, Daniëlle Hooijenga, Raksmey Phan, Xiaolan Xie, Vincent Augusto, Pierre-Etienne Heudel
dont LIMOS : Vincent AUGUSTO , Xiaolan XIE , Julia LIMA FLECK , 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
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
POSTER
|
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
dont LIMOS : Matthieu PY , Proofs and Certificates for Max-SAT |
Informatique/Intelligence artificielle |
| 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 |
Maths |
| 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 |
Maths |
| 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 |
Maths |
| 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 - 2. Workshop on Modular Knowledge associated with FOIS 2023 - 13. International Conference on Formal Ontology in Information Systems - 2023 |
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
|
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/Réseau de neurones |
| 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 : Didier RULLIERE , 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 : Zehor Thilleli HOUNAS , 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 |