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.
5665 documents
| Date publi Type |
Co-auteurs Titre journal ou conférence |
Domaines |
|---|---|---|
| 2017
COMM 
|
Benjamin Bergougnoux, Eduard Eiben, Robert Ganian, Sebastian Ordyniak, M S Ramanujan
dont LIMOS : Benjamin BERGOUGNOUX , Towards a Polynomial Kernel For Directed Feedback Vertex Set 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) - 2017 |
Informatique/Algorithme et structure de données |
| 2017
POSTER
|
Nicolas Spatola, Clément Belletier, Pierre Chausse, Maria Augustinova, Alice Normand, Vincent Barra, Pascal Huguet, Ludovic Ferrand
dont LIMOS : Vincent BARRA , Social robots will boost your cognitive performance |
Sciences de l'ingenieur |
| 2017
ART
|
Pascale Bendotti, Philippe Chrétienne, Pierre Fouilhoux, Alain Quilliot
dont LIMOS : Alain QUILLIOT , Anchored reactive and proactive solutions to the CPM-scheduling problem European Journal of Operational Research - 2017 |
Informatique/Recherche opérationnelle |
| 2017
COMM
|
Vanel Steve Siyou Fotso, Engelbert Mephu Nguifo, Philippe Vaslin
dont LIMOS : Engelbert MEPHU NGUIFO , Philippe VASLIN , Vanel Steve SIYOU FOTSO , Parameter Free Piecewise Dynamic Time Warping For Time Series Classification International Conference on Machine Learning (ICML), Time Series Workshop - 2017 |
Informatique/Intelligence artificielle |
| 2017
ART
|
Ali Kassem, Yliès Falcone, Pascal Lafourcade
dont LIMOS : Pascal LAFOURCADE , Formal analysis and offline monitoring of electronic exams Formal Methods in System Design - 2017 |
Informatique/Systèmes embarqués |
| 2017
COMM
|
Xavier Bultel, Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade
dont LIMOS : Radu CIUCANU , Pascal LAFOURCADE , Xavier BULTEL , Matthieu GIRAUD , Secure Matrix Multiplication with MapReduce 12th International Conference on Availability, Reliability and Security ARES - 2017 |
Informatique/Cryptographie et sécurité |
| 2017
ART
|
Vincent Barra, Nesma Settouti, Mohamed Amine Chikh
dont LIMOS : Vincent BARRA , A new feature selection approach based on ensemble methods in semi-supervised classification Pattern Analysis and Applications - 2017 |
Informatique/Apprentissage |
| 2017
COMM
|
Benjamin Bergougnoux, O-Joung Kwon, Mamadou Moustapha Kanté
dont LIMOS : Mamadou KANTE , Benjamin BERGOUGNOUX , An Optimal XP Algorithm for Hamiltonian Cycle on Graphs of Bounded Clique-Width WADS 2017 - 2017 |
Informatique/Mathématique discrète |
| 2017
COMM
|
Christian Serrano, Alexandre Dolgui, Xavier Delorme
dont LIMOS : Xavier DELORME , Christian SERRANO , Alexandre DOLGUI , Truck scheduling at a cross-dock with repackaging 24th International Conference on Production Research - 2017 |
Informatique/Modélisation et simulation |
| 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
|
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
|
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/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/Automatique |
| 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
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/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 : Guilherme DIAS DA FONSECA , 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 : Gérard CHALHOUB , 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 : Mamadou TRAORE , 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/Algorithme et structure de données |
| 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 |
Sciences du vivant |
| 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 : Mamadou TRAORE , 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 , Christophe DE VAULX , 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/Logique en informatique |
| 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 |
Sciences du vivant |
| 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/Imagerie médicale |
| 2017
COMM
|
Michel Lutz
dont LIMOS : Michel LUTZ , Keynote: data science for geosciences 79th EAGE Conference & Exhibition 2017 - 2017 |
Statistiques |
| 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 : Gérard CHALHOUB , 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 : Agnes ROUSSY , 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 |