Publications dans HAL

logo de HalLa page Hal du LIG est le portail de référence pour les publications du LIG. Elle contient la quasi-totalité des publications internationales et des notices bibliographiques du LIG depuis 2009, et une grande partie des publications antérieures. Hal est l'archive ouverte nationale de publications et de notices bibliographiques.

Ci-dessous sont affichées les 50 dernières publications du LIG référencées dans HAL :

Voir toutes les publications du LIG dans HAL.

2017

Article dans des revues

titre
Reliable Self-deployment of Distributed Cloud Applications
auteur
Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel De Palma
article
Software: Practice and Experience, Wiley, 2017, 47 (1), pp.3-20. <10.1002/spe.2400>
Accès au bibtex
BibTex
titre
Find The Errors, Get The Better: Enhancing Machine Translation via Word Confidence Estimation
auteur
Ngoc Quang Luong, Laurent Besacier, Benjamin Lecouteux
article
Natural Language Engineering, Cambridge University Press (CUP), 2017
Accès au bibtex
BibTex

Communication dans un congrès

titre
Revising OpenStack to Operate Fog/Edge Computing infrastructures
auteur
Adrien Lebre, Jonathan Pastor, Anthony Simonet, Frédéric Desprez
article
IEEE International Conference on Cloud Engineering, Apr 2017, Vancouver, France. 2017, <http://conferences.computer.org/IC2E/2017/>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01273427/file/main_submitted.pdf BibTex
titre
On Attitude Estimation with Smartphones
auteur
Thibaud Michel, Pierre Genevès, Hassen Fourati, Nabil Layaïda
article
IEEE International Conference on Pervasive Computing and Communications, Mar 2017, Kona, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01376745/file/PerCom-2017.pdf BibTex
titre
Un outil de segmentation de courriels imbriqués en courriels individuels et en phrases
auteur
Ruslan Kalitvianski, Valérie Bellynck, Christian Boitet
article
Atelier Fouille des Données Complexes @ EGC-2017 (Extraction et Gestion des Connaissances), Jan 2017, Grenoble, France
Accès au bibtex
BibTex
titre
Multilingual Access to Educational Material Through Contributive Post-editing of MT Pre-translations by Foreign Students
auteur
Ruslan Kalitvianski, Valérie Bellynck, Christian Boitet
article
The 14th International Conference on Web-based Learning, Jan 2017, Guangzhou, China. 2015, Advances in Web-Based Learning -- ICWL 2015
Accès au bibtex
BibTex

Pré-publication, Document de travail

titre
TorchCraft: a Library for Machine Learning Research on Real-Time Strategy Games
auteur
Gabriel Synnaeve, Nardelli Nantas, Auvolat Alex, Soumith Chintala, Lacroix Timothée, Lin Zeming, Florian Richoux, Nicolas Usunier
article
2017
Accès au bibtex
https://arxiv.org/pdf/1611.00625 BibTex
titre
HAP: Building Pipelines with Heterogeneous Data and Hive
auteur
Damien Graux, Pierre Genevès, Nabil Layaïda
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01436850/file/report-hap.pdf BibTex
titre
Quantum Combinatorial Games
auteur
Paul Dorbec, Mehdi Mhalla
article
2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01429072/file/main.pdf BibTex

2016

Article dans des revues

titre
Coordination de la Gestion autonome de la Réparation et du Dimensionnement d'un Système multi-niveaux par Contrôle Discret
auteur
Soguy Mak-Karé Gueye, Noël De Palma, Eric Rutten, Alain Tchana, Nicolas Berthier
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2016, <10.3166/TSI.35.525-555>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01416992/file/paper%20%282%29.pdf BibTex
titre
Pourquoi faire des activités pratiques en sciences ?
auteur
Patricia Marzin-Janvier
article
Cahiers Pedagogiques, 2016, créer et expérimenter en sciences et technologie, pp.24-26. <www.cahiers-pedagogiques.com>
Accès au bibtex
BibTex
titre
Learning in games via reinforcement learning and regularization
auteur
Panayotis Mertikopoulos, William H. Sandholm
article
Mathematics of Operations Research, INFORMS, 2016, <10.1287/moor.2016.0778>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01073491/file/1407.6267v1.pdf BibTex
titre
Fast Computation of the Rank Profile Matrix and the Generalized Bruhat Decomposition
auteur
Jean-Guillaume Dumas, Clement Pernet, Ziad Sultan
article
Journal of Symbolic Computation, Elsevier, 2016, Special issue on ISSAC'15, <10.1016/j.jsc.2016.11.011>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01251223/file/elu_jsc.pdf BibTex
titre
Learning in games via reinforcement and regularization
auteur
Panayotis Mertikopoulos, William H. Sandholm
article
Mathematics of Operations Research, INFORMS, 2016, 41 (4), pp.1297-1324
Accès au bibtex
BibTex
titre
Automatic Distributed Code Generation from Formal Models of Asynchronous Processes Interacting by Multiway Rendezvous
auteur
Hugues Evrard, Frédéric Lang
article
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01412911/file/Evrard-Lang-16-auteur.pdf BibTex
titre
Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination
auteur
Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Jean-Louis Roch, Ziad Sultan
article
Parallel Computing, Elsevier, 2016, 57, pp.235-249. <10.1016/j.parco.2015.10.003>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01084238/file/parco_DumasGautierPernetRochSultan.pdf BibTex
titre
L'étude des inondations historiques majeures et leurs impacts
auteur
Cécile Saint-Marc, Cicely Pams Capoccioni, Redon Anne, Dorine Chenier
article
Revue Generale des Chemins de Fer, Elsevier, 2016, 263, <https://www.revue-rgcf.com/>
Accès au bibtex
BibTex
titre
Power Optimization in Random Wireless Networks
auteur
Aris L. Moustakas, Panayotis Mertikopoulos, Nicholas Bambos
article
IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2016, 62 (9), pp.5030-5058
Accès au bibtex
BibTex
titre
Spatio-Temporal evolutive Data Infrastructure: a Spatial Data Infrastructure for managing data flows of Territorial Statistical Information
auteur
Camille Bernard, Marlène Villanova-Oliver, Jérôme Gensel, Benoit Le Rubrus
article
INTERNATIONAL JOURNAL OF DIGITAL EARTH, 2016
Accès au bibtex
BibTex
titre
Positional scoring-based allocation of indivisible goods
auteur
Dorothea Baumeister, Sylvain Bouveret, Jérôme Lang, Nhan-Tam Nguyen, Trung Thanh Nguyen, Jörg Rothe, Abdallah Saffidine
article
Autonomous Agents and Multi-Agent Systems, Springer Verlag, 2016, <http://link.springer.com/article/10.1007/s10458-016-9340-x>. <10.1007/s10458-016-9340-x>
Accès au bibtex
BibTex
titre
A Superposition Calculus for Abductive Reasoning
auteur
Mnacho Echenim, Nicolas Peltier
article
Journal of Automated Reasoning, Springer Verlag, 2016, 57 (2), pp.97--134. <http://link.springer.com/article/10.1007/s10817-015-9344-2>
Accès au bibtex
BibTex
titre
Naming multi-modal clusters to identify persons in TV broadcast
auteur
Johann Poignant, Guillaume Fortier, Laurent Besacier, Georges Quénot
article
Multimedia Tools and Applications, Springer Verlag, 2016, 75 (15), pp.8999-9023. <10.1007/s11042-015-2723-1>
Accès au bibtex
BibTex
titre
On-line Human Activity Recognition from Audio and Home Automation Sensors: comparison of sequential and non-sequential models in realistic Smart Homes
auteur
Pedro Chahuara, Anthony Fleury, François Portet, Michel Vacher
article
Journal of ambient intelligence and smart environments, 2016, 8 (4), pp.399-422. <http://content.iospress.com/journals/journal-of-ambient-intelligence-and-smart-environments/8/4>. <10.3233/AIS-160386>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01336552/file/2016_JAISE_Chahuara_auteur.pdf BibTex
titre
Behavioral Types in Programming Languages
auteur
Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco Vasconcelos, Nobuko Yoshida
article
Foundations and Trends in Programming Languages, Now Publishers, 2016, 3 (2-3), pp.95-230. <10.1561/2500000031>
Accès au bibtex
BibTex
titre
Link-layer Security in TSCH Networks: Effect on Slot Duration
auteur
Savio Sciancalepore, Malisa Vucinic, Giuseppe Piro, Gennaro Boggia, Thomas Watteyne
article
Transactions on Emerging Telecommunications Technologies, Wiley, 2016, <10.1002/ett.3089>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01342664/file/sec-overhead.pdf BibTex
titre
Designing Autonomic Management Systems by using Reactive Control Techniques
auteur
Nicolas Berthier, Éric Rutten, Noël De Palma, Soguy Mak-Karé Gueye
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2016, 42 (7), pp.18. <http://dx.doi.org/10.1109/TSE.2015.2510004>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01242853/file/article.pdf BibTex
titre
VerChor: A Framework for the Design and Verification of Choreographies
auteur
Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye
article
IEEE Transactions on Services Computing, IEEE, 2016, 9 (4), pp.647-660. <10.1109/TSC.2015.2413401>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01198918/file/TSC-2013-12-0224-author.pdf BibTex
titre
On the robustness of learning in games with stochastically perturbed payoff observations
auteur
Mario Bravo, Panayotis Mertikopoulos
article
Games and Economic Behavior, Elsevier, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01098494/file/1412.6565v1.pdf BibTex
titre
Institution artificielle située pour une aide à la régulation de la gestion de crises
auteur
Lauren Thévin, Catherine Garbay, Olivier Boissier, Maiquel De Brito, Jomi Fred Hübner
article
revue d'intelligence artificielle (RIA), Lavoisier, 2016, 30 (1-2), pp.185--209. <10.3166/ria.30.185-209>
Accès au bibtex
BibTex
titre
Data Science : une formation internationale de niveau Master en science des données
auteur
Massih-Reza Amini, Jean-Baptiste Durand, Olivier Gaudoin, Eric Gaussier, Anatoli Iouditski
article
Statistique et Enseignement (ISSN 2108-6745), Société Française de Statistique, 2016, 7 (1), pp.95-102
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01342469/file/DataScience_revision2.pdf BibTex
titre
Transient and Steady-state Regime of a Family of List-based Cache Replacement Algorithms
auteur
Nicolas Gast, Benny Van Houdt
article
Queueing Systems, Springer Verlag, 2016, Special Issue: SIGMETRICS 2015, <10.1007/s11134-016-9487-9>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01334354/file/multilevelRANDOM_jversion.pdf BibTex
titre
Organising LTL Monitors over Distributed Systems with a Global Clock
auteur
Christian Colombo, Yliès Falcone
article
Formal Methods in System Design, Springer Verlag, 2016, 49 (1-2), pp.50. <http://link.springer.com/article/10.1007%2Fs10703-016-0251-x>. <10.1007/s10703-016-0251-x>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01315776/file/fmsd4.pdf BibTex
titre
Decentralised LTL Monitoring
auteur
Andreas Bauer, Yliès Falcone
article
Formal Methods in System Design, Springer Verlag, 2016, 48 (1-2), pp.48. <http://link.springer.com/article/10.1007%2Fs10703-016-0253-8>. <10.1007/s10703-016-0253-8>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01313730/file/fmsd3-author.pdf BibTex
titre
Analyzing multi-agent approaches for the design of advanced interactive and collaborative systems
auteur
Fabien Badeig, Emmanuel Adam, René Mandiau, Catherine Garbay
article
JAISE - Journal of Ambient Intelligence and Smart Environments, IOS Press, 2016, 8 (3), pp.325--346. <10.3233/AIS-160380>
Accès au bibtex
BibTex
titre
Learning Taxonomy Adaptation in Large-scale Classification
auteur
Rohit Babbar, Ioannis Partalas, Gaussier Eric, Massih-Reza Amini, Cécile Amblard
article
Journal of Machine Learning Research, Journal of Machine Learning Research, 2016, 17 (98), pp.1-37. <http://jmlr.org/papers/v17/14-207.html>
Accès au bibtex
BibTex
titre
Parallel Voronoi Computation for Physics-Based Simulations
auteur
Julio Toss, João Comba, Bruno Raffin
article
Computing in Science and Engineering, Institute of Electrical and Electronics Engineers, 2016, Visualization Corner, 18 (3), pp.88. <http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=7478505>. <10.1109/MCSE.2016.52>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01317549/file/VizCorner.pdf BibTex
titre
Generalized k-means-based clustering for temporal data under weighted and kernel time warp
auteur
Saeid Soheily-Khah, Ahlame Douzal-Chouakria, Eric Gaussier
article
Pattern Recognition Letters, 2016, 75, <http://www.sciencedirect.com/science/article/pii/S0167865516000763>. <10.1016/j.patrec.2016.03.007>
Accès au bibtex
BibTex
titre
A First-Person Experience with End-User Development for Smart Homes
auteur
Joëlle Coutaz, James Crowley
article
IEEE Pervasive Computing, Institute of Electrical and Electronics Engineers, 2016, 15, pp.26 - 39. <10.1109/MPRV.2016.24>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01422364/file/PervasivComputing16-coutaz-Crowley.pdf BibTex
titre
Supporting Flexible Regulation of Crisis Management by means of Situated Artificial Institution, Frontiers of Information Technology & Electronic Engineering
auteur
Maiquel De Brito, Lauren Thévin, Catherine Garbay, Olivier Boissier, Jomi Fred Hübner
article
Frontiers of Information Technology & Electronic Engineering (Frontiers of IT & EE), Springer, 2016, 17 (4), pp.309-324
Accès au bibtex
BibTex
titre
Efficient spectrum scheduling and power management for opportunistic users
auteur
Raouia Masmoudi, E Veronica Belmega, Inbar Fijalkow
article
EURASIP Journal on Wireless Communications and Networking, SpringerOpen, 2016, <http://jwcn.eurasipjournals.springeropen.com/articles/10.1186/s13638-016-0594-4>. <10.1186/s13638-016-0594-4>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01301779/file/MBF16.pdf BibTex
titre
Dynamic Rebinding for Concurrent Object Groups: Theory and Practice
auteur
Mario Bravetti, Elena Giachino, Michael Lienhardt, Peter Wong
article
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2016, <10.1016/j.jlamp.2016.03.002>
Accès au bibtex
BibTex
titre
Formal Modelling and Verification of GALS Systems Using GRL and CADP
auteur
Fatma Jebali, Frédéric Lang, Radu Mateescu
article
Formal Aspects of Computing, Springer Verlag, 2016, 28 (5), pp.767-804. <10.1007/s00165-016-0373-3>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01290449/file/fac2egui-crc.pdf BibTex
titre
Constant approximation algorithms for the one warehouse multiple retailers problem with backlog or lost-sales
auteur
Jean-Philippe Gayon, Guillaume Massonnet, C. Rapine, G. Stauffer
article
European Journal of Operational Research, Elsevier, 2016, 250 (1), pp.155 - 163. <10.1016/j.ejor.2015.10.054>
Accès au bibtex
BibTex
titre
Learning to be green: Robust energy efficiency maximization in dynamic MIMO-OFDM systems
auteur
Panayotis Mertikopoulos, Elena Belmega
article
IEEE Journal on Selected Areas in Communications, Institute of Electrical and Electronics Engineers, 2016, 34 (4), pp.743 - 757
Accès au bibtex
BibTex
titre
Verification of EB3 specifications using CADP
auteur
Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu
article
Formal Aspects of Computing, Springer Verlag, 2016, 28 (1), pp.145-178. <10.1007/s00165-016-0362-6>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01290460/file/FAOC.pdf BibTex
titre
Evaluating the SEE sensitivity of a 45nm SOI Multi-core Processor due to 14 MeV Neutrons
auteur
Pabo Ramos, Vanessa Vargas, M. Baylac, F. Villa, S. Rey, Juan Antonio Clemente, Nacer-Eddine Zergainoh, Jean-François Méhaut, Raoul Velazco
article
IEEE Transactions on Nuclear Science, Institute of Electrical and Electronics Engineers, 2016, 63 (4), pp.2193 - 2200. <10.1109/TNS.2016.2537643>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01280648/file/Ramos.pdf BibTex
titre
Imitation dynamics with payoff shocks
auteur
Panayotis Mertikopoulos, Yannick Viossat
article
International Journal of Game Theory, Springer Verlag, 2016, 45 (1-2), pp.291-320
Accès au bibtex
BibTex
titre
Runtime Enforcement of Regular Timed Properties by Suppressing and Delaying Events
auteur
Yliès Falcone, Thierry Jéron, Hervé Marchand, Srinivas Pinisetty
article
Science of Computer Programming, Elsevier, 2016, <10.1016/j.scico.2016.02.008>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01281727/file/SCP-final.pdf BibTex
titre
Hybrid approach for energy aware management of multi-cloud architecture integrating user machines
auteur
D Borgetto, Rodrigue Chakode, Benjamin Depardon, Cédric Eichler, Jean-Marie Garcia, H Hbaieb, Thierry Monteil, E Pelorce, A Rachdi, Ahmad Al Sheikh, P Stolf
article
Journal of Grid Computing, Springer Verlag, 2016, 14 (1), pp.91-108
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01228290/file/R2_GRID_COMPUTING.pdf BibTex
titre
Fully-automated Runtime Enforcement of Component-based Systems with Formal and Sound Recovery
auteur
Yliès Falcone, Mohamad Jaber
article
Software Tools for Technology Transfer (STTT), Springer, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01262658/file/sttt3-rebip-Falcone-Jaber.pdf BibTex