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.
  • 5311 documents

    Date publi
    Type
    Co-auteurs
    Titre
    journal ou conférence
    Domaines
    2017
    ART
    N Corrado, Nicolas Durrande, M Gherlone, J Hensman, M Mattone, C. Surace
    dont LIMOS : Nicolas DURRANDE ,
    Single and multiple crack localization in beam-like structures using a Gaussian process regression approach
    Journal of Vibration and Control - 2017
    Informatique/Modélisation et simulation
    2017
    COMM
    Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch
    dont LIMOS : Pascal LAFOURCADE , Maxime PUYS ,
    Formally Verifying Flow Properties in Industrial Systems
    SECRYPT 2017 - 14th International Conference on Security and Cryptography - 2017
    Informatique/Systèmes embarqués
    2017
    COMM
    Narjes Ben Rajeb, Mouhebeddine Berrima, Matthieu Giraud, Pascal Lafourcade
    dont LIMOS : Pascal LAFOURCADE , Matthieu GIRAUD ,
    Formal Analyze of a Private Access Control Protocol to a Cloud Storage
    14th International Conference on Security and Cryptography SECRYPT 2017 - 2017
    Informatique/Cryptographie et sécurité
    2017
    COMM
    Matthieu Giraud, Alexandre Anzala-Yamajako, Olivier Bernard, Pascal Lafourcade
    dont LIMOS : Pascal LAFOURCADE , Matthieu GIRAUD ,
    Practical Passive Leakage-abuse Attacks Against Symmetric Searchable Encryption
    14th International Conference on Security and Cryptography SECRYPT 2017 - 2017
    Informatique/Cryptographie et sécurité
    2017
    COMM
    Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel
    dont LIMOS : Pascal LAFOURCADE ,
    LOCALPKI: A User-Centric Formally Proven Alternative to PKIX
    14th International Conference on Security and Cryptography SECRYPT - 2017
    Informatique/Cryptographie et sécurité
    2017
    COMM
    Ioana Boureanu, David Gerault, Pascal Lafourcade, Cristina Onete
    dont LIMOS : Pascal LAFOURCADE , David GERAULT ,
    Breaking and fixing the HB+DB protocol
    ACM Conference on Security and Privacy in Wireless and Mobile Networks - 2017
    Informatique/Cryptographie et sécurité
    2017
    COMM
    Diego Cattaruzza, Paolo Gianessi
    dont LIMOS : Paolo GIANESSI ,
    A Branch&Cut algorithm for the Multi-Trip Vehicle Routing Problem with Time Windows
    IFORS 2017 - 21st Conference of the International Federation of Operational Research Societies - 2017
    Informatique/Recherche opérationnelle
    2017
    COMM
    Raïssa Saleu, Laurent Deroussi, Dominique Feillet, Nathalie Grangeon, Alain Quilliot
    dont LIMOS : Alain QUILLIOT , Dominique FEILLET , Nathalie GRANGEON , Laurent DEROUSSI ,
    Optimization of urban delivery systems with drones
    VeRoLog (Annual Workshop of the EURO Working Group on Vehicle Routing and Logistics optimization) - 2017
    Informatique/Recherche opérationnelle
    2017
    COMM
    Philippe Lacomme, Aziz Moukrim, Alain Quilliot, Marina Vinot
    dont LIMOS : Alain QUILLIOT , Philippe LACOMME , Marina VINOT ,
    Optimal resolution of the transport problem from a flow into a RCPSP with routing
    sixth meeting of the EURO Working Group on Vehicle Routing and Logistics optimization (VeRoLog 2017) - 2017
    Informatique/Recherche opérationnelle
    2017
    COMM
    Valeria Borodin, Faicel Hnaien, Alexandre Dolgui
    dont LIMOS : Valeria BORODIN , Alexandre DOLGUI ,
    Random lead times in replenishment planning for single-level assembly systems: The value of information
    IFAC Wold Congress - 2017
    Informatique/Recherche opérationnelle
    2017
    COMM
    Benjamin Dalmas, Sylvie Norre, Sophie Rodier
    dont LIMOS : Sylvie NORRE , Sophie RODIER , Benjamin DALMAS ,
    Kite : a process-based mining methodology applied to the extraction of routing rules
    International Federation of Automamatic Control World Congress - 2017
    Informatique/Recherche opérationnelle
    2017
    COMM
    Khaled Lameche, Najib M Najid, Pierre Castagna, Khalid Kouiss
    dont LIMOS :
    Modularity in the design of reconfigurable manufacturing systems
    20th IFAC World Congress - 2017
    Informatique/Modélisation et simulation
    2017
    THESE
    Abdeslem Belghoul
    dont LIMOS :
    Optimizing Communication Cost in Distributed Query Processing
    Informatique/Base de données
    2017
    COMM
    Sunil Arya, Guilherme da Fonseca, David M Mount
    dont LIMOS :
    Near-Optimal ε-Kernel Construction and Related Problems
    Symposium on Computational Geometry (SoCG 2017) - 2017
    Informatique/Géométrie algorithmique
    2017
    COMM
    Gérard Chalhoub, Marie-Caroline Deux, Badr Rmili, Misson Michel
    dont LIMOS :
    Reliable High Data Rate Wireless Sensor Network for Heavy Lift Launch Vehicles
    European Conference for Aeronautics and Space Sciences (EUCASS) - 2017
    Informatique/Réseaux et télécommunications
    2017
    ART
    Warith Eddine Djeddi, Sadok Ben Yahia, Engelbert Mephu Nguifo
    dont LIMOS : Engelbert MEPHU NGUIFO ,
    A Novel Computational Approach for Global Alignment for Multiple Biological Networks
    IEEE/ACM Transactions on Computational Biology and Bioinformatics - 2017
    Informatique/Intelligence artificielle
    2017
    ART
    Sergey Kovalev, Xavier Delorme, Alexandre Dolgui, Ammar Oulamara
    dont LIMOS : Xavier DELORME , Alexandre DOLGUI ,
    Minimizing the number of stations and station activation costs for a production line
    Computers and Operations Research - 2017
    Informatique/Recherche opérationnelle
    2017
    ART
    Thomas Muehlenstaedt, Jana Fruth, Olivier Roustant
    dont LIMOS : Olivier ROUSTANT ,
    Computer experiments with functional inputs and scalar outputs by a norm-based approach
    Statistics and Computing - 2017
    Informatique/Modélisation et simulation
    2017
    ART
    Ignace Djitog, Hamzat Olanrewaju Aliyu, Mamadou Kaba Traoré
    dont LIMOS : Hamzat Olanrewaju ALIYU ,
    Multi-Perspective Modeling of Healthcare Systems
    International Journal of Privacy and Health Information Management - 2017
    Informatique/Modélisation et simulation
    2017
    ART
    Audrey Cerqueus, Xavier Gandibleux, Anthony Przybylski, Frédéric Saubion
    dont LIMOS : Audrey CERQUEUS ,
    On branching heuristics for the bi-objective 0/1 unidimensional knapsack problem
    Journal of Heuristics - 2017
    Informatique/Recherche opérationnelle
    2017
    COMM
    Stéphanie Mahévas, Victor Picheny, Patrick Lambert, Dumoulin Nicolas, Lauriane Rouan, Jean-Christophe Soulié, Hilaire Drouineau, Rodolphe Le Riche, Robert Faivre, Sigrid Lehuta, D. Brockoff
    dont LIMOS : Rodolphe LE RICHE ,
    Suivez le guide! Optimiser un modèle complexe suppose une bonne démarche et de bons outils
    Colloque Pêches et Changements Globaux 2017 - 2017
    Informatique/Modélisation et simulation
    2017
    COMM
    Alexandre Bazin, Jessie Carbonnel, Giacomo Kahn
    dont LIMOS : Giacomo KAHN , Alexandre BAZIN ,
    On-demand Generation of AOC-posets: Reducing the Complexity of Conceptual Navigation
    ISMIS: International Symposium on Methodologies for Intelligent Systems - 2017
    Informatique/Génie logiciel
    2017
    POSTER
    Bérénice Batut, Clémence Defois, Kevin Gravouil, Jean-François Brugère, Éric Peyretaillade, Pierre Peyret
    dont LIMOS : Kevin GRAVOUIL ,
    A Galaxy-based framework to analyze raw sequencing data from microbiota
    Informatique/Bio-informatique
    2017
    COMM
    Jean-Marc Tacnet, Simon Carladous, Jean Dezert, Deqiang Han, Mireille Batton-Hubert
    dont LIMOS : Mireille BATTON HUBERT ,
    New MCDM methods under uncertainty applied to integrated natural risks management
    IEEE International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications (CIVEMSA), 2017 - 2017
    Informatique/Modélisation et simulation
    2017
    ART
    Ignace Djitog, Hamzat Aliyu, Mamadou Kaba Traoré
    dont LIMOS :
    A model-driven framework for multi-paradigm modeling and holistic simulation of healthcare systems
    SIMULATION: Transactions of The Society for Modeling and Simulation International - 2017
    Informatique/Modélisation et simulation
    2017
    THESE
    Jinhua Zhao
    dont LIMOS :
    Maximum Bounded Rooted-Tree Problem : Algorithms and Polyhedra
    Maths
    2017
    COMM
    Jean Connier, Hong-Ling Shi, Christophe de Vaulx, Kun Mean Hou, Jian-Jin Li, Philippe Vaslin
    dont LIMOS : Kun Mean HOU , Jian-Jin LI , Philippe VASLIN , Jean CONNIER ,
    The 2SEES prototype: motivation, description and early experiments
    New Information Communication Sciences and Technology for Sustainable Development (NICST 2017) - 2017
    Informatique/Systèmes embarqués
    2017
    COMM
    Loukmen Regainia, Cédric Bouhours, Sébastien Salva
    dont LIMOS : Sébastien SALVA , Cédric BOUHOURS , Loukmen REGAINIA ,
    Un Data-Store pour la Génération de Cas de Tests
    16èmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels - 2017
    Informatique/Génie logiciel
    2017
    COMM
    Oscar Defrain, Bruno Durand, Grégory Lafitte
    dont LIMOS : Oscar DEFRAIN ,
    Infinite Time Busy Beavers
    CiE 2017 - 13th Conference on Computability in Europe - 2017
    Informatique/Complexité
    2017
    REPORT
    Chao Zhang, Farouk Toumani, Emmanuel Gangler
    dont LIMOS : Farouk TOUMANI , Chao ZHANG ,
    Symmetric and Asymmetric Aggregate Function in Massively Parallel Computing
    Informatique/Base de données
    2017
    COMM
    Wajdi Dhifli, Noemie Oliveira da Costa, Mohamed Elati
    dont LIMOS :
    An evolutionary schema for mining skyline clusters of attributed graph data
    2017 IEEE Congress on Evolutionary Computation (CEC) - 2017
    Informatique/Apprentissage
    2017
    COMM
    François Delobel, Nancy El Rachkidy, Alexandre Guitton
    dont LIMOS : Nancy EL RACHKIDY , Alexandre GUITTON , François DELOBEL ,
    Analysis of the delay of confirmed downlink frames in Class B of LoRaWAN
    85th Vehicular Technology Conference (VTC) - 2017
    Informatique/Réseaux et télécommunications
    2017
    COMM
    Chafik Samir
    dont LIMOS : Chafik SAMIR ,
    A Statistical Framework for the Cross-sectional Geometric Variability of Object Shapes and Functional Dynamics
    ISI World Statistics Congress - 2017
    Informatique/Apprentissage
    2017
    COMM
    Michel Lutz
    dont LIMOS : Michel LUTZ ,
    Keynote: data science for geosciences
    79th EAGE Conference & Exhibition 2017 - 2017
    Sciences de l'homme et de la societe
    2017
    COMM
    Loukmen Regainia, Cédric Bouhours, Sébastien Salva
    dont LIMOS : Sébastien SALVA , Cédric BOUHOURS , Loukmen REGAINIA ,
    Un Data-Store pour la Génération de Cas de Tests
    16th AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, journées du GDR GPL - 2017
    Informatique/Génie logiciel
    2017
    COMM
    Hamadoun Tall, Gérard Chalhoub, Michel Misson
    dont LIMOS : Hamadoun TALL , Michel MISSON ,
    M-CoLBA: Multichannel Collaborative Load Balancing Algorithm with queue overflow avoidance in WSNs
    IWCMC : ACM International Wireless Communications and Mobile Computing Conference - 2017
    2017
    COUV
    Pascale Minet, Gerard Chalhoub, Erwan Livolant, Michel Misson, Ridha Soua, Rana Diab, Badr Rmili, Jean-Francois Perelgritz
    dont LIMOS : Gérard CHALHOUB , Michel MISSON ,
    Multichannel Wireless Sensor Networks for Structural Health Monitoring of Aircraft and Launchers
    Informatique/Réseaux et télécommunications
    2017
    COMM
    Espéran Padonou, Olivier Roustant
    dont LIMOS : Olivier ROUSTANT ,
    Analyse de sensibilité en domaine circulaire
    SFdS 49èmes Journées de Statistique - 2017
    Informatique/Modélisation et simulation
    2017
    COMM
    Rodolphe Le Riche, Hossein Mohammadi, Nicolas Durrande, Eric Touboul, Xavier Bay
    dont LIMOS : Rodolphe LE RICHE , Xavier BAY , Nicolas DURRANDE , Eric TOUBOUL ,
    A Comparison of Regularization Methods for Gaussian Processes
    2017 SIAM Conference on Optimization - 2017
    Informatique/Modélisation et simulation
    2017
    COMM
    Alexandre Lima, Valeria Borodin, Stéphane Dauzère-Pérès, Philippe Vialletelle
    dont LIMOS : Valeria BORODIN , Stéphane DAUZERE PERES , Alexandre LIMA ,
    A decision support system for managing line stops of time constraint tunnels: FA, IE
    2017 28th Annual SEMI Advanced Semiconductor Manufacturing Conference (ASMC) - 2017
    Informatique/Recherche opérationnelle
    2017
    COMM
    Sophia Bourzgui, Agnès Roussy, Jakey Blue, Gaëlle Georges, Emilie Faivre, Karen Labory, Jacques Pinaton
    dont LIMOS : Sophia BOURZGUI ,
    Embedded spectroscopic reflectometry metrology on FEOL silicon dioxide trench polishing equipment: ER: Equipement reliability and productivity enhancements
    Advanced Semiconductor Manufacturing Conference (ASMC 2017 ) - 2017
    Sciences de l'ingenieur
    2017
    COMM
    Abderrahmane Moujahid, Khaled Medini, Xavier Boucher
    dont LIMOS : Xavier BOUCHER , Khaled MEDINI ,
    Gestion de la diversité des produits et services dans le contexte de la personnalisation de masse: vers un état de l’art et un cadre conceptuel
    12e Congrès International de Génie Industriel, Compiègne - 2017
    Informatique/Modélisation et simulation
    2017
    ART
    Florent Foucaud, Ararat Harutyunyan, Pavol Hell, Sylvain Legay, Yannis Manoussakis, Reza Naserasr
    dont LIMOS : Florent FOUCAUD ,
    The complexity of tropical graph homomorphisms.
    Discrete Applied Mathematics - 2017
    Maths
    2017
    COMM
    Laurent Mériade, Benoit Nautré, Corinne Rochette, Sophie Rodier, Damien Talbot
    dont LIMOS : Sophie RODIER ,
    La confiance interpersonnelle en milieu hospitalier : une proposition de lecture par la Proximité
    7ème colloque Santé Kedge Business School - 2017
    Sciences de l'homme et de la societe
    2017
    COMM
    I. Ferrahi, S. Bimonte, M.A. Kang, K. Boukhalfa
    dont LIMOS :
    Design and implementation of falling star: A non-redudant spatio-multidimensional logical model for document stores
    International Conference on Enterprise Information Systems (ICEIS) - 2017
    Sciences de l'environnement
    2017
    COMM
    Philippe Vaslin
    dont LIMOS : Philippe VASLIN ,
    Modélisation géométrique des réglages du Fauteuil Roulant Manuel (FRM)
    11èmes Journées Scientifiques de l’Université de Toulon - 2017
    Physique
    2017
    COMM
    Guillaume Bagan, Angela Bonifati, Radu Ciucanu, George Fletcher, Aurélien Lemay, Nicky Advokaat
    dont LIMOS : Radu CIUCANU ,
    gMark: Schema-Driven Generation of Graphs and Queries
    Data Engineering (ICDE), 2017 IEEE 33rd International Conference on - 2017
    Informatique/Base de données
    2017
    UNDEFINED
    Xavier Bay, Jean-Charles Croix
    dont LIMOS : Xavier BAY , Jean-Charles CROIX ,
    Karhunen-Loève decomposition of Gaussian measures on Banach spaces
    Maths
    2017
    COMM
    Philippe Lacomme, Matthieu Gondran, Marina Vinot
    dont LIMOS : Philippe LACOMME , Matthieu GONDRAN , Marina VINOT ,
    At the crossroads of scheduling problems and routing problems
    EU/ME - 18th Free workshop on metaheuristics for a better world - 2017
    Informatique/Recherche opérationnelle
    2017
    COMM
    Gildas Avoine, Xavier Bultel, Sébastien Gambs, David Gerault, Pascal Lafourcade, Cristina Onete, Jean-Marc Robert
    dont LIMOS : Pascal LAFOURCADE , Xavier BULTEL , David GERAULT ,
    A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol
    Asia Conference on Information, Computer and Communications Security - 2017
    Informatique/Cryptographie et sécurité