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