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 |
|---|---|---|
| 2012
OUV 
|
Pascal Lafourcade, Stéphane Devismes, Michel Lévy
dont LIMOS : Pascal LAFOURCADE , Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre |
Informatique/Logique en informatique |
| 2012
ART
|
Eric Peyretaillade, Nicolas Parisot, Valérie Polonais, Sébastien Terrat, Jérémie Denonfoux, Eric Dugat-Bony, Ivan Wawrzyniak, Corinne Biderre-Petit, Antoine Mahul, Sébastien Rimour, Olivier Gonçalves, Stéphanie Bornes, Frédéric Delbac, Brigitte Chebance, Simone Duprat, Gaëlle Samson, Michael Katinka, Jean Weissenbach, Patrick Wincker, Pierre Peyret
dont LIMOS : Annotation of microsporidian genomes using transcriptional signals. Nature Communications - 2012 |
Sciences du vivant |
| 2012
ART
|
Vincent Soulignac, Jean-Louis Ermine, Jean-Luc Paris, Olivier Devise, Jean-Pierre Chanet
dont LIMOS : A knowledge management system for exchanging and creating knowledge in organic farming Electronic Journal of Knowledge Management - 2012 |
Sciences de l'environnement |
| 2012
ART
|
Bertrand Gauthier, Xavier Bay
dont LIMOS : Xavier BAY , Spectral approach for kernel-based interpolation Annales de la Faculté des Sciences de Toulouse. Mathématiques. - 2012 |
Statistiques |
| 2012
COUV
|
Nancy El Rachkidy, Alexandre Guitton, Michel Misson
dont LIMOS : Michel MISSON , Nancy EL RACHKIDY , Alexandre GUITTON , Reduction of the association phase of a ZigBee wireless sensor network |
Informatique/Réseaux et télécommunications |
| 2012
ART
|
Fatiha Bendali, Jean Mailfert, Xin Tang
dont LIMOS : Fatiha BENDALI AMOR , Jean MAILFERT , Composition of graphs and the Hop-constrained path problem International Journal of Mathematics in Operational Research - 2012 |
Informatique/Recherche opérationnelle |
| 2012
ART
|
Nathalie Grangeon, Sylvie Norre
dont LIMOS : Nathalie GRANGEON , Sylvie NORRE , Extending metaheuristics based on bin packing for SALBP to PALBP European Journal of Industrial Engineering - 2012 |
Informatique/Recherche opérationnelle |
| 2012
ART
|
Christophe Duhamel, Andréa Cynthia Santos, Lucas Guedes
dont LIMOS : Christophe DUHAMEL , Models and hybrid methods for the onshore wells maintenance problem Computers and Operations Research - 2012 |
Informatique/Recherche opérationnelle |
| 2012
COMM
|
C. Duhamel, Philippe Lacomme, H. Toussaint
dont LIMOS : Philippe LACOMME , Hélène TOUSSAINT , First linear formulation of the 3D-packing problem in the 3L-CVRP perspective 9th International Conference on Modeling - 2012 |
Informatique/Recherche opérationnelle |
| 2012
COMM
|
Hesham Ali, Laura Ricci, Italo Epicoco, Manuel Ujaldon, Jonathan Passerat-Palmbach, David R.C. Hill, Manuel Villén-Altamirano
dont LIMOS : David HILL , HPCS 2012 tutorials: Tutorial I: High performance computing in biomedical informatics 2012 International Conference on High Performance Computing & Simulation ( HPCS 2012) - 2012 |
Informatique/Modélisation et simulation |
| 2012
COMM
|
Philippe Fournier-Viger, Roger Nkambou, André Mayers, Engelbert Mephu Nguifo, Usef Faghihi
dont LIMOS : Engelbert MEPHU NGUIFO , Multi-paradigm Generation of Tutoring Feedback in Robotic Arm Manipulation Training Intelligent Tutoring Systems - 11th International Conference - 2012 |
Informatique/Apprentissage |
| 2012
ART
|
Fatiha Bendali, Jean Mailfert, Xing Tang
dont LIMOS : Fatiha BENDALI AMOR , Jean MAILFERT , Composition of graphs and Hop-constrained path problems International Journal of Mathematics in Operational Research - 2012 |
Informatique/Mathématique discrète |
| 2012
COMM
|
Guillaume Bresson, Romuald Aufrère, Roland Chapuis
dont LIMOS : Romuald AUFRERE , Real-time Decentralized Monocular SLAM International Conference on Control, Automation, Robotics and Vision - 2012 |
Sciences de l'ingenieur |
| 2012
COMM
|
G. Barbier, J. Flusin, V. Cucchi, François Pinet, David R.C. Hill
dont LIMOS : David HILL , Vine Model Design using a Domain Specific Modeling Language : Prototype and Proof of Concept ESM 2012 - 2012 |
Informatique/Modélisation et simulation |
| 2012
ART
|
Sylvie Guillaume, Dhouha Grissa, Engelbert Mephu Nguifo
dont LIMOS : Sylvie GUILLAUME , Engelbert MEPHU NGUIFO , Categorization of interestingness measures for knowledge extraction Computing Research Repository - 2012 |
Informatique/Apprentissage |
| 2012
COMM
|
Mamadou Moustapha Kanté, Vincent Limouzy, Arnaud Mary, Lhouari Nourine
dont LIMOS : Mamadou KANTE , Vincent LIMOUZY , Lhouari NOURINE , Arnaud MARY , On the Neighbourhood Helly of Some Graph Classes and Applications to the Enumeration of Minimal Dominating Sets Algorithms and Computation - 23rd International Symposium - 2012 |
Informatique/Algorithme et structure de données |
| 2012
COMM
|
Lhouari Nourine, Farouk Toumani
dont LIMOS : Lhouari NOURINE , Farouk TOUMANI , Formal Approaches for Synthesis of Web Service Business Protocols Web Services and Formal Methods - 9th International Workshop - 2012 |
Informatique/Base de données |
| 2012
COMM
|
David R.C. Hill
dont LIMOS : David HILL , How do we safely distribute random streams to our parallel stochastic models Asian Simulation Technology Conference - 2012 |
Informatique/Modélisation et simulation |
| 2012
ART
|
Arnaud Pêcher, Annegret K. Wagler
dont LIMOS : Annegret WAGLER , Polynomial time computability of some graph parameters for superclasses of perfect graphs International Journal of Mathematics in Operational Research - 2012 |
Informatique/Mathématique discrète |
| 2012
ART
|
Christophe Duhamel., Philippe Lacomme, Caroline Prodhon
dont LIMOS : Philippe LACOMME , A hybrid evolutionary local search with depth first search split procedure for the heterogeonous vehicle routing problems Engineering Applications of Artificial Intelligence - 2012 |
Informatique/Recherche opérationnelle |
| 2012
COMM
|
Henri Pierreval
dont LIMOS : Henri PIERREVAL , Learning and knowledge extraction from dynamic models for supporting decision making in the management and control of complex systems Invited Plenary Keynote International Conference on Information Systems and Technologies - 2012 |
Physique |
| 2012
COMM
|
Marie-José Huguet, Philippe Lacomme, Nikolay Tchernev
dont LIMOS : Philippe LACOMME , Nikolay TCHERNEV , Nouvelle heuristique pour le job-shop avec time-lags 13e congrès annuel de la Société française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF) - 2012 |
Informatique/Recherche opérationnelle |
| 2012
COMM
|
Yahya Pezeshki, Armand Baboli, N. Cheikhrouhou, Mohammad Reza Akbari Jokar, Jean-Pierre Campagne
dont LIMOS : Trust-based coordination mechanism in a divergent supply chain Proceedings of the 2012 Industrial and Systems Engineering Research Conference - 2012 |
Informatique/Recherche opérationnelle |
| 2012
REPORT
|
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
dont LIMOS : Pascal LAFOURCADE , Formal Verification of e-Auction Protocols |
Informatique/Cryptographie et sécurité |
| 2012
ART
|
Christophe Sauret, Joseph Bascou, Nicolas de Saint Remy, Helene Pillet, Philippe Vaslin, Francois Lavaste
dont LIMOS : Philippe VASLIN , Assessment of field rolling resistance of manual wheelchairs Journal of Rehabilitation Research and Development - 2012 |
Sciences de l'ingenieur |
| 2012
ART
|
Mohamed Essafi, Xavier Delorme, Alexandre Dolgui
dont LIMOS : Xavier DELORME , Alexandre DOLGUI , A Reactive GRASP and Path Relinking for Balancing Reconfigurable Transfer Lines International Journal of Production Research - 2012 |
Informatique/Modélisation et simulation |
| 2012
ART
|
Philippe Fournier-Viger, Usef Faghihi, Roger Nkambou, Engelbert Mephu Nguifo
dont LIMOS : Engelbert MEPHU NGUIFO , CMRules: Mining sequential rules common to several sequences Knowl.-Based Syst. - 2012 |
Informatique/Apprentissage |
| 2012
COMM
|
Hicham Reguieg, Farouk Toumani, Hamid Nezhad, Boualem Benatallah
dont LIMOS : Farouk TOUMANI , Using Mapreduce to Scale Events Correlation Discovery for Business Processes Mining Business Process Management - 10th International Conference - 2012 |
Informatique/Base de données |
| 2012
ART
|
Mamadou Moustapha Kanté
dont LIMOS : Mamadou KANTE , Well-quasi-ordering of matrices under Schur complement and applications to directed graphs Eur. J. Comb. - 2012 |
Informatique/Algorithme et structure de données |
| 2012
REPORT
|
Gérard Fleury, Romain Guidoux, Philippe Lacomme, Sylvie Rousset
dont LIMOS : Philippe LACOMME , Gérard FLEURY , Etude algorithmique préliminaire à la conception du module eMouve au sein d’ActivCollector : détection des activités physiques en conditions habituelles de vie à l’aide de smartphones |
Sciences du vivant |
| 2012
ART
|
Jean-François Landry, Jean-Pierre Dussault, Philippe Mahey
dont LIMOS : Philippe MAHEY , A robust controller for a two-layered approach applied to the game of billiards Entertainment Computing - 2012 |
Maths |
| 2012
REPORT
|
Evgeny R. Gafarov, Alexander Lazarev, Alexandre Dolgui, Frank Werner
dont LIMOS : Alexandre DOLGUI , A Graphical Approach to Solve an Investment Optimization Problem |
Informatique/Modélisation et simulation |
| 2012
COMM
|
Mathieu Richier, Roland Lenain, Benoît Thuilot, Christophe Debain
dont LIMOS : Robust multi-model observer dedicated to the rollover prevention. Application to ATVs in off-road context Communications, Computing and Control Applications (CCCA), 2012 2nd International Conference on - 2012 |
Sciences de l'ingenieur |
| 2012
ART
|
Nancy El Rachkidy, Alexandre Guitton, Michel Misson
dont LIMOS : Michel MISSON , Nancy EL RACHKIDY , Alexandre GUITTON , Pivot Routing Improves Wireless Sensor Networks Performance Journal of Networks - 2012 |
Informatique/Réseaux et télécommunications |
| 2012
COUV
|
Nancy El Rachkidy, Alexandre Guitton, Michel Misson
dont LIMOS : Michel MISSON , Nancy EL RACHKIDY , Alexandre GUITTON , Joint sink and route selection for anycast communications in wireless sensor networks |
Informatique/Réseaux et télécommunications |
| 2012
REPORT
|
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
dont LIMOS : Pascal LAFOURCADE , On Unique Decomposition of Processes in the Applied π-Calculus |
Informatique/Cryptographie et sécurité |
| 2012
COMM
|
Henri Pierreval, A. Baccouche
dont LIMOS : Henri PIERREVAL , simulation optimization under various environmental scenarios European Workshop on simulation optimization under uncertainty (workshop sur invitation et non selection) - 2012 |
Physique |
| 2012
OUV
|
J. Framinan, Henri Pierreval
dont LIMOS : Henri PIERREVAL , Advances in Pull Strategies |
Physique |
| 2012
ART
|
Mohamed Jelassi, Sadok Yahia, Engelbert Mephu Nguifo
dont LIMOS : Engelbert MEPHU NGUIFO , A scalable mining of frequent quadratic concepts in d-folksonomies Computing Research Repository - 2012 |
Informatique/Apprentissage |
| 2012
COMM
|
Wajdi Dhifli, Rabie Saidi, Engelbert Mephu Nguifo
dont LIMOS : Engelbert MEPHU NGUIFO , A novel approach for mining representative spatial motifs of proteins ACM International Conference on Bioinformatics - 2012 |
Informatique/Apprentissage |
| 2012
ART
|
Jose-M. Framinan, Henri Pierreval
dont LIMOS : Henri PIERREVAL , Special issue on pull strategies in manufacturing systems and supply chains: Recent advances Journal of Intelligent Manufacturing - 2012 |
Sciences de l'ingenieur |
| 2012
ART
|
Na Geng, Xiaolan Xie
dont LIMOS : Xiaolan XIE , Optimizing contracted resource capacity with two advance cancelation modes European Journal of Operational Research - 2012 |
Informatique/Recherche opérationnelle |
| 2012
ART
|
Xavier Delorme, Alexandre Dolgui, Mikhail Y. Kovalyov
dont LIMOS : Xavier DELORME , Alexandre DOLGUI , Combinatorial design of a minimum cost transfer line Omega - 2012 |
Informatique/Modélisation et simulation |
| 2012
COMM
|
Lakhdar Akroun, Boualem Benatallah, Lhouari Nourine, Farouk Toumani
dont LIMOS : Lhouari NOURINE , Farouk TOUMANI , On Decidability of Simulation in Data-Centeric Business Protocols Business Process Management Workshops - BPM 2012 International Workshops - 2012 |
Informatique/Base de données |
| 2012
COMM
|
Adrien Bartoli, Yan Gérard, François Chadebecq, Toby Collins
dont LIMOS : Yan GERARD , On template-based reconstruction from a single view: Analytical solutions and proofs of well-posedness for developable, isometric and conformal surfaces 2012 IEEE Conference on Computer Vision and Pattern Recognition - 2012 |
Informatique/Géométrie algorithmique |
| 2012
COMM
|
Laurent Lefèvre, Vicente Martin, Miguel Ordonez, Johnatan Pecero, Jean-Marc Pierson, Jesús Carretero, Pascal Bouvry, David R.C. Hill, Jesús Labarta, Reinhard Schneider, James Sexton, Mads Nygård, Gorka Lopez, Maria Mirto, Marco Passante, Giovanni Aloisio, Carsten Trinitis, Alexander Heinecke, Lamia Djoudi
dont LIMOS : David HILL , HPCS 2012 panels: Panel I: Energy efficient systems in next generation high performance data and compute centers 2012 International Conference on High Performance Computing & Simulation ( HPCS 2012) - 2012 |
Informatique/Modélisation et simulation |
| 2012
ART
|
Norbert Tsopzé, Engelbert Mephu Nguifo, Gilbert Tindo
dont LIMOS : Engelbert MEPHU NGUIFO , Une approche basée sur les treillis de Galois pour la définition des architectures des réseaux de neurones Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques - 2012 |
Informatique/Apprentissage |
| 2011
ART
|
Oscar Acosta, Jurgen Fripp, Vincent Doré, Pierrick Bourgeat, Jean-Marie Favreau, Gaël Chételat, Andrea Rueda, Victor L. Villemagne, Cassandra Szoeke, David Ames, Kathryn A. Ellis, Ralph N. Martins, Colin L. Masters, Christopher C. Rowe, Erik Bonner, Florence Gris, Di Xiao, Parnesh Raniga, Vincent Barra, Olivier Salvado
dont LIMOS : Vincent BARRA , Jean-Marie FAVREAU , Cortical surface mapping using topology correction, partial flattening and 3D shape context-based non-rigid registration for use in quantifying atrophy in Alzheimer's disease. Journal of Neuroscience Methods - 2011 |
Sciences du vivant |
| 2011
THESE
|
Nancy El Rachkidy
dont LIMOS : Nancy EL RACHKIDY , Cross-Layering et routage dans un réseau ad hoc : politique de relais de trame sur un réseau de capteurs sans fil organisé selon une topologie en arbre |
Informatique/Autre |
| 2011
THESE
|
Virginie André
dont LIMOS : Problème de livraison - collecte dans un environnement hospitalier : méthodes d'optimisation, modèle de simulation et couplages |
Sciences de l'ingenieur |