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.
5331 documents
Date publi Type |
Co-auteurs Titre journal ou conférence |
Domaines |
---|---|---|
2020
COMM ![]() |
Camilo Murillo Coba, Xavier Boucher, François Vuillaume, Alexandre Gay, Jesus Gonzalez-Feliu
dont LIMOS : Xavier BOUCHER , Value Proposition in Smart PSS Engineering: Case Study in the Residential Heating Appliance Industry PRO-VE 2020, 21st IFIP Working Conference on Virtual Enterprises - 2020 |
Informatique/Modélisation et simulation |
2020
COMM ![]() |
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
dont LIMOS : Pascal LAFOURCADE , Léo ROBERT , Physical Zero-Knowledge Proof for Suguru Puzzle 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems SSS 2020 - 2020 |
Informatique/Cryptographie et sécurité |
2020
ART ![]() |
Viet Hung Nguyen, Michel Minoux
dont LIMOS : Viet Hung NGUYEN , Linear size MIP formulation of Max-Cut: new properties, links with cycle inequalities and computational results Optimization Letters - 2020 |
Maths |
2020
COMM ![]() |
Isabelle Veissier, Nicolas Wagner, Marie-Madeleine Mialon, Romain Lardy, Dorothee Ledoux, Mathieu Silberberg, Bruno Meunier
dont LIMOS : Nicolas WAGNER , Potential benefits and risks of using Precision Livestock Farming technologies to manage animal welfare -Recent developments at INRAE AWRN Workshop: benefit and challenges of PLF technologies - 2020 |
Sciences du vivant |
2020
COMM ![]() |
Christian Laforest, Timothée Martinod
dont LIMOS : Christian LAFOREST , Timothée MARTINOD , Sur la complexité de l'indépendant dominant avec obligation dans les graphes 22e Journées Graphes et Algorithmes - 2020 |
Informatique/Complexité |
2020
COMM ![]() |
Antoine Pierné, Khaled Medini, Malek Masmoudi
dont LIMOS : Khaled MEDINI , Economic Assessment Of Ramp-Up Strategies In Multi-Variant Production MOSIM 2020 - 2020 |
Informatique/Modélisation et simulation |
2020
COMM ![]() |
Alexandre Bardakoff, Bruno Bachelet, Timothy Blattner, Walid Keyrouz, Gerson C. Kroiz, Loïc Yon
dont LIMOS : Bruno BACHELET , Alexandre BARDAKOFF , Loïc YON , Hedgehog: Understandable Scheduler-Free Heterogeneous Asynchronous Multithreaded Data-Flow Graphs IEEE/ACM 3rd Annual Parallel Applications Workshop: Alternatives To MPI+X (PAW-ATM) - 2020 |
Informatique/Calcul parallèle, distribué et partagé |
2020
COMM ![]() |
Youssef Lahrichi, L. Deroussi, Nathalie Grangeon, Sylvie Norre
dont LIMOS : Nathalie GRANGEON , Sylvie NORRE , Laurent DEROUSSI , Youssef LAHRICHI , A MIN-MAX PATH APPROACH FOR BALANCING ROBOTIC ASSEMBLY LINES WITH SEQUENCE-DEPENDENT SETUP TIMES 13ème CONFERENCE INTERNATIONALE DE MODELISATION, OPTIMISATION ET SIMULATION (MOSIM2020), 12-14 Nov 2020, AGADIR, Maroc - 2020 |
Sciences de l'ingenieur |
2020
ART ![]() |
Khaled Medini, Stefan Wiesner, Milad Poursoltan, David Romero
dont LIMOS : Khaled MEDINI , Ramping Up Customer-Centric Modular Design Projects: Mobile App Development for Pandemic Relief Systems - 2020 |
Informatique/Modélisation et simulation |
2020
COMM ![]() |
Radu Ciucanu, Pascal Lafourcade
dont LIMOS : Radu CIUCANU , Pascal LAFOURCADE , Demonstration of GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation International Semantic Web Conference (ISWC) - Demo Track - 2020 |
Informatique/Base de données |
2020
ART ![]() |
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
dont LIMOS : Pascal LAFOURCADE , Xavier BULTEL , A Faster Cryptographer's Conspiracy Santa Theoretical Computer Science - 2020 |
Informatique/Cryptographie et sécurité |
2020
ART ![]() |
Oussama Ben-Ammar, Philippe Castagliola, Alexandre Dolgui, Faicel Hnaien
dont LIMOS : Alexandre DOLGUI , A hybrid genetic algorithm for a multilevel assembly replenishment planning problem with stochastic lead times Computers & Industrial Engineering - 2020 |
Informatique/Recherche opérationnelle |
2020
ART ![]() |
Yipeng Huang, Andréa Cynthia Santos, Christophe Duhamel
dont LIMOS : Christophe DUHAMEL , Model and methods to address urban road network problems with disruptions International Transactions in Operational Research - 2020 |
Informatique/Recherche opérationnelle |
2020
UNDEFINED ![]() |
Nabil Kazi-Tani, Didier Rullière
dont LIMOS : Didier RULLIERE , A new proof of Williamson's representation of multiply monotone functions |
Maths |
2020
THESE ![]() |
Nicolas Wagner
dont LIMOS : Nicolas WAGNER , Détection des modifications de l’organisation circadienne des activités des animaux en relation avec des états pré-pathologiques, un stress, ou un événement de reproduction |
Informatique/Technologies Émergeantes |
2020
COMM ![]() |
Paul-Marie Grollemund, Pascal Lafourcade, Kevin Thiry-Atighehchi, Ariane Tichit
dont LIMOS : Pascal LAFOURCADE , Proof of Behavior The 2nd Tokenomics Conference on Blockchain Economics, Security and Protocols - 2020 |
Informatique/Cryptographie et sécurité |
2020
THESE ![]() |
Nicolas Garland
dont LIMOS : Nicolas GARLAND , Métamodélisation introspective pour l’analyse des phénomènes physiques simulés. Formalisation dans le cadre du krigeage et intégration algorithmique en optimisation et inversion. |
Maths |
2020
COMM ![]() |
Alexandre F Boyer, David R C Hill, Christophe Haen, Federico Stagni
dont LIMOS : David HILL , Pilot-Job Provisioning through CREAM Computing Elements on the Worldwide LHC Computing Grid 34th European Simulation and Modelling Conference (ESM) - 2020 |
Informatique/Calcul parallèle, distribué et partagé |
2020
COMM ![]() |
Stéphanie Bayard, Frédéric Grimaud, Xavier Delorme
dont LIMOS : Frédéric GRIMAUD , Xavier DELORME , Stéphanie BAYARD , Discrete Event Simulation framework for Demand Driven MRP performances evaluation 34th annual European Simulation and Modelling Conference (ESM 2020) - 2020 |
Informatique/Modélisation et simulation |
2020
COMM ![]() |
Alexis Pereda, David R.C. Hill, Claude Mazel, Bruno Bachelet
dont LIMOS : David HILL , Bruno BACHELET , Alexis PEREDA , Claude MAZEL , Repeatability with Random Numbers Using Algorithmic Skeletons 34th European Simulation and Modelling Conference (ESM) - 2020 |
Informatique/Génie logiciel |
2020
COUV ![]() |
Najib Mohamed Najid, Pierre Castagna, K. Kouiss
dont LIMOS : System Engineering-Based Methodology to Design Reconfigurable Manufacturing Systems |
Informatique/Modélisation et simulation |
2020
COUV ![]() |
Audrey Cerqueus, Xavier Delorme, Alexandre Dolgui
dont LIMOS : Audrey CERQUEUS , Xavier DELORME , Alexandre DOLGUI , Analysis of the Scalability for Different Configurations of Lines |
Informatique/Modélisation et simulation |
2020
COMM ![]() |
M. Rousseau, Khaled Medini, David Romero, Thorsten Wuest
dont LIMOS : Khaled MEDINI , Configurators as a means to Leverage Customer-Centric Sustainable Systems – Evidence from the 3D-Printing Domain 8th CIRP Global Web Conference (CIRPe 2020) - 2020 |
Informatique/Modélisation et simulation |
2020
THESE ![]() |
Samira Abboud
dont LIMOS : Samira ABBOUD , Study and improvement of long range communication technologies for wireless sensor networks |
Informatique/Technologies Émergeantes |
2020
THESE ![]() |
Amaury Delamaire
dont LIMOS : Contributions sur la structure morphosyntaxique des graphies terminologiques et sur l’hybridation entre terminologie et modèles de thèmes |
|
2020
COMM ![]() |
Ali Khodadad, Marie-Laure Baron
dont LIMOS : Les déterminants du choix des modes de transport massifiés par les prestataires de services logistiques : le cas du transport ferroviaire 13èmes Rencontres Internationales de la Recherche en Logistique et SCM - 2020 |
Sciences de l'homme et de la societe |
2020
THESE ![]() |
Kergann Le Cornec
dont LIMOS : Kergann LE CORNEC , Apprentissage Few Shot et méthode d'élagage pour la détection d'émotions sur bases de données restreintes |
Informatique/Réseau de neurones |
2020
OTHER ![]() |
Séverine Fleury, Pascal Lafourcade, Malika More, Mognos Marianne
dont LIMOS : Malika MORE , Pascal LAFOURCADE , TRIER POUR MIEUX COMPARER |
|
2020
ART ![]() |
Wei-Ting Yang, Jakey Blue, Agnès Roussy, Jacques Pinaton, Marco Reis
dont LIMOS : Agnes ROUSSY , Wei-Ting YANG , A physics-informed Run-to-Run control framework for semiconductor manufacturing Expert Systems with Applications - 2020 |
Informatique/Apprentissage |
2020
ART ![]() |
Estelle Altazin, Stéphane Dauzère-Pérès, François Ramond, Sabine Trefond
dont LIMOS : Stéphane DAUZERE PERES , Estelle ALTAZIN , A multi-objective optimization-simulation approach for real time rescheduling in dense railway systems European Journal of Operational Research - 2020 |
Informatique/Recherche opérationnelle |
2020
ART ![]() |
Ali Mamadou Mamadou, Joël Toussaint, Gérard Chalhoub
dont LIMOS : Gérard CHALHOUB , Joël TOUSSAINT , Ali MAMADOU MAMADOU , Survey on Wireless Networks Coexistence: Resource Sharing in the 5G Era Mobile Networks and Applications - 2020 |
|
2020
ART ![]() |
Jing Wen, Na Geng, Xiaolan Xie
dont LIMOS : Xiaolan XIE , Optimal insertion of customers with waiting time targets Computers and Operations Research - 2020 |
Informatique/Recherche opérationnelle |
2020
ART ![]() |
Julian Eduardo Plazas, Sandro Bimonte, Christophe de Vaulx, Michel Schneider, Quang-Duy Nguyen, Jean-Pierre Chanet, Hongling Shi, Kun Mean Hou, Juan Carlos Corrales
dont LIMOS : Kun Mean HOU , Michel SCHNEIDER , Christophe DE VAULX , Hongling SHI , A conceptual data model and its automatic implementation for IoT-based business intelligence applications IEEE Internet of Things Journal - 2020 |
Informatique/Réseaux et télécommunications |
2020
ISSUE ![]() |
Engelbert Mephu Nguifo, Emmanuel Adam, Laurent Simon, Dominique Longin
dont LIMOS : Engelbert MEPHU NGUIFO , PFIA 2020 |
Informatique/Logique en informatique |
2020
ART ![]() |
Pascal Lafourcade, Marius Lombard-Platet
dont LIMOS : Pascal LAFOURCADE , Marius LOMBARD-PLATET , About blockchain interoperability Information Processing Letters - 2020 |
|
2020
ART ![]() |
Jerry Lonlac, Engelbert Mephu Nguifo
dont LIMOS : Engelbert MEPHU NGUIFO , A novel algorithm for searching frequent gradual patterns from an ordered data set Intelligent Data Analysis - 2020 |
Informatique/Intelligence artificielle |
2020
COMM ![]() |
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
dont LIMOS : Pascal LAFOURCADE , Vers l'infini et au delà ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - 2020 |
Informatique/Algorithme et structure de données |
2020
COMM ![]() |
Lélia Blin, Anaïs Durand, Sébastien Tixeuil
dont LIMOS : Anaïs DURAND , On peut tromper mille personnes mille fois, mais pas plus ALGOTEL 2020 - 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - 2020 |
Informatique/Calcul parallèle, distribué et partagé |
2020
COMM ![]() |
Karine Altisen, Stéphane Devismes, Anaïs Durand, Colette Johnen, Franck Petit
dont LIMOS : Anaïs DURAND , Élection Autostabilisante dans les Réseaux à Haute Dynamicité ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - 2020 |
Informatique/Réseaux et télécommunications |
2020
VIDEO ![]() |
Pascal Lafourcade
dont LIMOS : Pascal LAFOURCADE , Fonctionnement et appropriation de la Blockchain : des success stories en auvergne. Block4coop |
Informatique/Cryptographie et sécurité |
2020
COMM ![]() |
Nicolas Wagner, Violaine Antoine, Jonas Koko, Marie-Madeleine Mialon, Romain Lardy, Isabelle Veissier
dont LIMOS : Jonas KOKO , Violaine ANTOINE , Nicolas WAGNER , Comparison of Machine Learning Methods to Detect Anomalies in the Activity of Dairy Cows International Symposium on Methodologies for Intelligent Systems (ISMIS) - 2020 |
Informatique/Réseau de neurones |
2020
REPORT ![]() |
Christian Laforest, Timothée Martinod
dont LIMOS : Christian LAFOREST , Timothée MARTINOD , On the complexity of Independent Dominating Set with Obligations in graphs |
Informatique/Complexité |
2020
THESE ![]() |
Rui Sa Shibasaki
dont LIMOS : Rui SA SHIBASAKI , Lagrangian Decomposition Methods for Large-Scale Fixed-Charge Capacitated Multicommodity Network Design Problem |
Informatique/Algorithme et structure de données |
2020
COMM ![]() |
Hervé Kerivin, Annegret K. Wagler
dont LIMOS : Hervé KERIVIN , Annegret WAGLER , On superperfection of edge-intersection graphs of paths CTW 2020 - 2020 |
Maths |
2020
COMM ![]() |
Michael Franklin Mbouopda, Engelbert Mephu Nguifo
dont LIMOS : Engelbert MEPHU NGUIFO , Michael Franklin MBOUOPDA , Classification of Uncertain Time Series by Propagating Uncertainty in Shapelet Transform ECML/PKDD Tutorial and Workshop on Uncertainty in Machine Learning - 2020 |
Informatique/Apprentissage |
2020
SOFTWARE ![]() |
E. Delage, Bastien Doreau
dont LIMOS : Bastien DOREAU , Exemple d'utilisation de l'API HAL : Affichage dans une page HTML des publications par auteur au moyen de son IdHAL |
Informatique/Recherche d'information |
2020
UNDEFINED ![]() |
Ousmane Issa, Angela Bonifati, Farouk Toumani
dont LIMOS : Farouk TOUMANI , Ousmane ISSA , A relational framework for inconsistency-aware query answering |
Informatique/Base de données |
2020
COMM ![]() |
Isabelle Veissier, Nicolas Wagner, Marie-Madeleine Mialon, Romain Lardy, Dorothee Ledoux, Alice de Boyer Des Roches, Mathieu Silberberg, Bruno Meunier, Violaine Antoine, Jonas Koko
dont LIMOS : Jonas KOKO , Violaine ANTOINE , Nicolas WAGNER , Detection of early behavioural signs of disease as a way to manage animal health Workshop on precision livestock farming and social interactions in dairy cattle - 2020 |
Sciences du vivant |
2020
COMM ![]() |
Mamadou Moustapha Kanté, Christophe Paul, Dimitrios M. Thilikos
dont LIMOS : Mamadou KANTE , A linear fixed parameter tractable algorithm for connected pathwidth ESA 2020 - 28th Annual European Symposium on Algorithms - 2020 |
Informatique/Algorithme et structure de données |
2020
ART ![]() |
Hugo de Oliveira, Vincent Augusto, Baptiste Jouaneton, Ludovic Lamarsalle, Martin Prodel, Xiaolan Xie
dont LIMOS : Vincent AUGUSTO , Xiaolan XIE , Automatic and Explainable Labeling of Medical Event Logs with Autoencoding IEEE Journal of Biomedical and Health Informatics - 2020 |
Informatique/Intelligence artificielle |