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.


Les 50 dernières publications du LIG

Voir toutes les publications du LIG dans HAL.

2018

Article dans une revue

titre
Towards sustainable and multifunctional agriculture in farmland landscapes: Lessons from the integrative approach of a French LTSER platform
auteur
Vincent Bretagnolle, Elsa Berthet, Nicolas Gross, Bertrand Gauffre, Christine Plumejeaud, Sylvie Houte, Isabelle Badenhausser, Karine Monceau, Fabrice Allier, Pascal Monestiez, Sabrina Gaba
article
Science of the Total Environment, Elsevier, 2018, 627, pp.822 - 834. 〈10.1016/j.scitotenv.2018.01.142〉
Accès au bibtex
BibTex
titre
Improving Arabic information retrieval using word embedding similarities
auteur
Abdelkader El Mahdaouy, Said El Alaoui Ouatik, Eric Gaussier
article
International Journal of Speech Technology, Springer Verlag, 2018, 21 (1), pp.121-136. 〈 https://doi.org/10.1007/s10772-018-9492-y〉
Accès au bibtex
BibTex
titre
FrameSTEP: A framework for annotating semantic trajectories based on episodes
auteur
Tales Paiva Nogueira, Tales Nogueira, Reinaldo B. Braga, Carina T. De Oliveira, Hervé Martin
article
Expert Systems with Applications, Elsevier, 2018, 92, pp.533 - 545. 〈10.1016/j.eswa.2017.10.004〉
Accès au bibtex
BibTex
titre
Epidemiological modelling of the 2005 French riots: a spreading wave and the role of contagion
auteur
Laurent Bonnasse-Gahot, Henri Berestycki, Marie-Aude Depuiset, Mirta B. Gordon, Sebastian Roché, Nancy Rodriguez, Jean-Pierre Nadal
article
Scientific Reports, Nature Publishing Group, 2018, 8 (1), pp.107. 〈10.1038/s41598-017-18093-4〉
Accès au bibtex
BibTex
titre
Chao: a framework for the development of orchestration technologies for technology-enhanced learning activities using tablets in classrooms
auteur
Patrick Wang, Pierre Tchounikine, Matthieu Quignard
article
International journal of technology enhanced learning, 2018, 10 (1/2), pp.1-21. 〈10.1504/IJTEL.2018.10008583〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01655616/file/ijTEL.pdf BibTex

Communication dans un congrès

titre
IoTChain: A Blockchain Security Architecture for the Internet of Things
auteur
Olivier Alphand, Michele Amoretti, Timothy Claeys, Simone Dall 'Asta, Andrzej Duda, Gianluigi Ferrari, Franck Rousseau, Bernard Tourancheau, Luca Veltri, Francesco Zanichelli
article
IEEE Wireless Communications and Networking Conference, Apr 2018, Barcelona, Spain
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01705455/file/paperWCNC2018final.pdf BibTex
titre
End-to-End Automatic Speech Translation of Audiobooks
auteur
Alexandre Bérard, Laurent Besacier, Ali Can Kocabiyikoglu, Olivier Pietquin
article
ICASSP 2018 - IEEE International Conference on Acoustics, Speech and Signal Processing, Apr 2018, Calgary, Alberta, Canada
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01709586/file/main.pdf BibTex
titre
Collective I/O Performance on the Santos Dumont Supercomputer
auteur
André Ramos Carneiro, Jean Luca Bez, Francieli Zanon Boito, Bruno Fagundes, Carla Osthoff, Philippe Navaux
article
26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2018), Mar 2018, Cambridge, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01711359/file/pdp2018.pdf BibTex
titre
PEAR: Prototyping Expressive Animated Robots - A framework for social robot prototyping
auteur
Etienne Balit, Dominique Vaufreydaz, Patrick Reignier
article
HUCAPP 2018 - 2nd International Conference on Human Computer Interaction Theory and Applications , Jan 2018, Funchal, Madeira, Portugal
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01698493/file/HUCAPP.pdf BibTex
titre
Modélisation de praxéologies personnelles a priori dans une situation de conception expérimentale en biologie
auteur
Catherine Bonnat
article
6ème Congrès International de la Théorie Anthropologique du Didactique, Jan 2018, Autrans, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01708033/file/CITAD_Bonnat.pdf BibTex
titre
Towards an Agent-based Model to Monitor Epidemics and Chronic Diseases in DR Congo
auteur
Jean-Claude Tshilenge Mfumu, Annabelle Mercier, Christine Verdier, Michel Occello
article
HEALTHINF 2018 co-located with the 11th International Joint Conference on Biomedical Engineering Systems and Technologies, Jan 2018, FUNCHAL, Madeira, Portugal
Accès au bibtex
BibTex
titre
Cycles in adversarial regularized learning
auteur
Panayotis Mertikopoulos, Christos H. Papadimitriou, Georgios Piliouras
article
SODA '18: Proceedings of the 29th annual ACM-SIAM symposium on discrete algorithms, Jan 2018, New Orleans, United States
Accès au bibtex
BibTex

Rapport

titre
Basics of Vectorization for Fortran Applications
auteur
Laércio Lima Pilla
article
[Research Report] RR-9147, Inria Grenoble Rhône-Alpes. 2018, pp.1-9
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01688488/file/RR-9147.pdf BibTex

Pré-publication, Document de travail

titre
Predicting At-Risk Patient Profiles from Big Prescription Data
auteur
Pierre Genevès, Thomas Calmant, Nabil Layaïda, Marion Lepelley, Svetlana Artemova, Jean-Luc Bosson
article
2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01517087/file/predictive.pdf BibTex
titre
On the Expressive Completeness of Bernays-Sch\"onfinkel-Ramsey Separation Logic
auteur
Mnacho Echenim, Radu Iosif, Nicolas Peltier
article
2018
Accès au bibtex
https://arxiv.org/pdf/1802.00195 BibTex

2017

Article dans une revue

titre
cK¢, a model to understand learners' understanding -- Discussing the case of functions
auteur
Nicolas Balacheff
article
El calculo y su ensenanza, 2017, IX (Jul-Dic), pp.1-23. 〈http://mattec.matedu.cinvestav.mx/el_calculo/index.php?vol=9&index_web=15&index_mgzne〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01673959/file/1-23-Balacheff-2017-calculus%20Mexique-VF.pdf BibTex
titre
Scheduling on power-heterogeneous processors
auteur
Susanne Albers, Evripidis Bampis, Dimitrios Letsios, Giorgio Lucarelli, Richard Stotz
article
Information and Computation, Elsevier, 2017, 257, pp.22 - 33. 〈10.1016/j.ic.2017.09.013〉
Accès au bibtex
BibTex
titre
Design methodology for workload-aware loop scheduling strategies based on genetic algorithm and simulation
auteur
Pedro Henrique Penna, Márcio Castro, Henrique Cota de Freitas, François Broquedis, Jean-François Méhaut
article
Concurrency and Computation: Practice and Experience, Wiley, 2017, 29 (22), 〈10.1002/cpe.3933〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01354028/file/main.pdf BibTex
titre
Defining the Pose of any 3D Rigid Object and an Associated Distance
auteur
Romain Brégier, Frédéric Devernay, Laetitia Leyrit, James Crowley
article
International Journal of Computer Vision, Springer Verlag, 2017, pp.1-25. 〈10.1007/s11263-017-1052-4〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01415027/file/article.pdf BibTex
titre
Mapping the narratives of natural disasters and their domino effects. The case study of floods impacting railways
auteur
Cécile Saint-Marc, Marlène Villanova-Oliver, Paule-Annick Davoine, Cicely Pams Capoccioni, Dorine Chenier
article
International Journal of Cartography, Taylor & Francis, 2017, pp.1 - 26. 〈10.1080/23729333.2017.1370862〉
Accès au bibtex
BibTex
titre
Protecting Secret Key Generation Systems Against Jamming: Energy Harvesting and Channel Hopping Approaches
auteur
E Belmega, Arsenia Chorti
article
IEEE Transactions on Information Forensics and Security, Institute of Electrical and Electronics Engineers, 2017, 12 (11), pp.2611-2626. 〈10.1109/TIFS.2017.2713342〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01668735/file/FINAL_VERSION.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, 2017, Special issue on ISSAC'15, 83, pp.187-210. 〈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
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation
auteur
Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga
article
Formal Aspects of Computing, Springer Verlag, 2017, 29 (6), pp.951 - 986. 〈10.1007/s00165-017-0422-6〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01653883/file/faoc1.pdf BibTex
titre
Trickle-D: High Fairness and Low Transmission Load with Dynamic Redundancy
auteur
Mališa Vučinić, Michał Król, † Baptiste Jonglez, Titouan Coladon, Bernard Tourancheau
article
IEEE internet of things journal, IEEE, 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01653203/file/trickle-dynamic-HAL.pdf BibTex
titre
Asynchronous synthesis techniques for coordinating autonomic managers in the cloud
auteur
Rim Abid, Gwen Salaün, Noël De Palma
article
Science of Computer Programming, Elsevier, 2017, 146, pp.87 - 103. 〈10.1016/j.scico.2017.05.005〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01630717/file/main_SCP_FACS.pdf BibTex
titre
Predictive Runtime Verification of Timed Properties
auteur
Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa
article
Journal of Systems and Software, Elsevier, 2017, 132, pp.353 - 365. 〈10.1016/j.jss.2017.06.060〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01666995/file/jss.pdf BibTex
titre
Routines and informal situations in children’s daily lives
auteur
Sandrine Depeau, Sonia Chardonnel, Isabelle André-Poyaud, Arnaud Lepetit, Jambon Francis, Erwan Quesseveur, Gombaud Jérôme, Allard Théodora, Choquet Charles-Antoine
article
Travel Behaviour and Society, Elsevier, 2017, 9, pp.70-80. 〈https://authors.elsevier.com/c/1Vjl3,oML0qBkR〉
Accès au bibtex
BibTex
titre
Disassembly Task Evaluation in Virtual Reality Environment
auteur
Peter Mitrouchev, Jingtao Chen, Sabine Coquillart, Franck Quaine
article
Research and Science Today, Research and Science Today, 2017, pp.84-91
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01686745/file/mit2017_Peter%201.pdf BibTex
titre
TTL Approximations of the Cache Replacement Algorithms LRU(m) and h-LRU
auteur
Nicolas Gast, Benny Van Houdt
article
Performance Evaluation, Elsevier, 2017, 〈10.1016/j.peva.2017.09.002〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01622059/file/multilevelLRU_PEVA_SI.pdf BibTex
titre
BOAST: A metaprogramming framework to produce portable and efficient computing kernels for HPC applications
auteur
Brice Videau, Kevin Pouget, Luigi Genovese, Thierry Deutsch, Dimitri Komatitsch, Frédéric Desprez, Jean-François Méhaut
article
International Journal of High Performance Computing Applications, SAGE Publications, 2017, 〈10.1177/1094342017718068〉
Accès au bibtex
BibTex
titre
Decentralized enforcement of document lifecycle constraints
auteur
Sylvain Hallé, Raphaël Khoury, Quentin Betti, Antoine El-Hokayem, Yliès Falcone
article
Information Systems, Elsevier, 2017, 〈10.1016/j.is.2017.08.002〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01653879/file/paper.pdf BibTex
titre
Formal analysis and offline monitoring of electronic exams
auteur
Ali Kassem, Yliès Falcone, Pascal Lafourcade
article
Formal Methods in System Design, Springer Verlag, 2017, 51 (1), pp.117 - 153. 〈10.1007/s10703-017-0280-0〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01653884/file/fmsd6.pdf BibTex
titre
Predictive runtime enforcement
auteur
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
article
Formal Methods in System Design, Springer Verlag, 2017, 51 (1), pp.154 - 199. 〈10.1007/s10703-017-0271-1〉
Accès au bibtex
BibTex
titre
BI4BI: A continuous evaluation system for Business Intelligence systems
auteur
Manel Brichni, Sophie Dupuy-Chessa, Lilia Gzara, Nadine Mandran
article
Expert Systems with Applications (ESWA), 2017
Accès au bibtex
BibTex
titre
Analyse de connaissances perceptivo-gestuelles dans un Système Tutoriel Intelligent
auteur
Ben-Manson Toussaint, Vanda Luengo, Jambon Francis
article
Sciences et Technologies de l'Information et de la Communication pour l'Éducation et la Formation (STICEF), 2017
Accès au bibtex
BibTex
titre
Ambient Atoms : un périphérique pour la visualisation ambiante d’informations
auteur
Sébastien Crouzy, Stan Borkowski, Sabine Coquillart
article
Open Science - Internet des objets, ISTE, 2017, 17 (2), 〈10.21494/ISTE.OP.2017.0152〉
Accès au bibtex
BibTex
titre
The Vectorial Lambda-Calculus
auteur
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
article
Journal of Information and Computation, Elsevier, 2017, 254 (1), pp.105-139. 〈10.1016/j.ic.2017.04.001〉
Accès au bibtex
https://arxiv.org/pdf/1308.1138 BibTex
titre
Optimal Enforcement of (Timed) Properties with Uncontrollable Events
auteur
Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2017, 〈10.1017/S0960129517000123〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01262444/file/MSCS-Hal-v4.pdf BibTex
titre
Efficient and versatile FPGA acceleration of support counting for stream mining of sequences and frequent itemsets
auteur
Adrien Prost-Boucle, Frédéric Pétrot, Vincent Leroy, Hande Alemdar
article
ACM Transactions on Reconfigurable Technology and Systems (TRETS), ACM, 2017, ACM Transactions on Reconfigurable Technology and Systems (TRETS), 10 (3), pp.21. 〈http://dl.acm.org/citation.cfm?id=3027485〉. 〈10.1145/3027485〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01474234/file/paper-hal.pdf BibTex
titre
Social network ordering based on communities to reduce cache misses
auteur
Thomas Messi Nguélé, Maurice Tchuente, Jean-François Méhaut
article
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2017, Special issue CRI 2015, Volume 24 - 2016-2017 - Special issue CRI 2015, pp.23 - 47
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01304968/file/ARIMA24pp23-47_1.pdf BibTex
titre
Distributed stochastic optimization via matrix exponential learning
auteur
Panayotis Mertikopoulos, Elena Belmega, Romain Negrel, Luca Sanguinetti
article
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2017, 65 (9), pp.2277-2290
Accès au bibtex
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, 2017, 103 (John Nash Memorial Special Issue), pp.41-66
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01098494/file/1412.6565v1.pdf BibTex
titre
Will the driver Seat Ever be Empty?
auteur
Thierry Fraichard
article
ERCIM News, ERCIM, 2017, pp.39-40
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01499572/file/17-ercim-fraichard.pdf BibTex
titre
A continuous-time approach to online optimization
auteur
Joon Kwon, Panayotis Mertikopoulos
article
Journal of Dynamics and Games, AIMS, 2017, 4 (2), pp.125-148
Accès au bibtex
BibTex
titre
Contextualized behavior patterns for change reasoning in Ambient Assisted Living: A formal model
auteur
Paula Lago, Claudia Jiménez-Guarín, Claudia Roncancio
article
Expert Systems, Wiley, 2017, 34 (2), 〈10.1111/exsy.12189〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01659743/file/exsy.pdf 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, 2017, 88, pp.33. 〈10.1016/j.jlamp.2016.09.002〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01412911/file/Evrard-Lang-16-auteur.pdf 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, 2017, 10 (3), http://www.tandfonline.com/toc/tjde20/10/3. 〈http://www.tandfonline.com/〉. 〈10.1080/17538947.2016.1222003〉
Accès au bibtex
BibTex
titre
Auction-based resource allocation in OpenFlow multi-tenant networks
auteur
Salvatore D'Oro, Laura Galluccio, Panayotis Mertikopoulos, Giacomo Morabito, Sergio Palazzo
article
Computer Networks, Elsevier, 2017, 115, pp.29-41
Accès au bibtex
BibTex
titre
CAP Bench: a benchmark suite for performance and energy evaluation of low-power many-core processors
auteur
Matheus A. Souza, Pedro Henrique Penna, Matheus M. Queiroz, Alyson D. Pereira, Luís Fabricio Wanderley Góes, Henrique Cota de Freitas, Márcio Castro, Philippe O.A. Navaux, Jean-François Méhaut
article
Concurrency and Computation: Practice and Experience, Wiley, 2017, 29 (4), 〈http://onlinelibrary.wiley.com〉. 〈10.1002/cpe.3892〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01330543/file/Cap.pdf BibTex
titre
L'alternance et les licences professionnelles du département STID de Grenoble
auteur
Caroline Bazzoli, Marlène Villanova, Frédérique Letue
article
Statistique et Enseignement (ISSN 2108-6745), Société Française de Statistique, 2017, Statitistique et Enseignement, 8 (1), pp.73-87
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01475962/file/597-2280-1-PB.pdf BibTex