Publications on HAL

logo de HalLIG page on the Hal archive is the portal for all LIG publications since 2009. It also contains a large part of older publications before 2009. Hal is a national open archive of publications and bibliographic notes.


The last 50 LIG publications

See all LIG publications on HAL.

2018

Journal articles

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
A Two-Level Plagiarism Detection System for Arabic Documents
auteur
El Moatez Billah Nagoudi, Ahmed Khorsi, Hadda Cherroun, Didier Schwab
article
Cybernetics and Information Technologies, In press, XX
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01706138/file/Final_papaer_ICT_Camera_Ready%20%283%29.pdf 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

Conference papers

titre
LINGUISTIC UNIT DISCOVERY FROM MULTI-MODAL INPUTS IN UNWRITTEN LANGUAGES: SUMMARY OF THE “SPEAKING ROSETTA” JSALT 2017 WORKSHOP
auteur
Odette Scharenborg, Laurent Besacier, Alan Black, Mark Hasegawa-Johnson, Florian Metze, Graham Neubig, Sebastian Stuker, Pierre Godard, Markus Muller, Lucas Ondel, Shruti Palaskar, Philip Arthur, Francesco Ciannella, Mingxing Du, Elin Larsen, Danny Merkx, Rachid Riad, Liming Wang, Emmanuel Dupoux
article
IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Apr 2018, Calgary, Alberta, Canada
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01709578/file/main.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
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
ASR PERFORMANCE PREDICTION ON UNSEEN BROADCAST PROGRAMS USING CONVOLUTIONAL NEURAL NETWORKS
auteur
Zied Elloumi, Laurent Besacier, Olivier Galibert, Juliette Kahn, Benjamin Lecouteux
article
IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Apr 2018, Calgary, Alberta, Canada
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01709779/file/20180214040820_904429_2819.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
PDP 2018 - 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing, Mar 2018, Cambridge, United Kingdom. pp.1-8, 〈http://www.pdp2018.org/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01711359/file/pdp2018.pdf BibTex
titre
BAYESIAN MODELS FOR UNIT DISCOVERY ON A VERY LOW RESOURCE LANGUAGE
auteur
Lucas Ondel, Pierre Godard, Laurent Besacier, Elin Larsen, Mark Hasegawa-Johnson, Odette Scharenborg, Emmanuel Dupoux, Lukas Burget, François Yvon, Sanjeev Khudanpur
article
IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Feb 2018, Calgary, Alberta, Canada
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01709589/file/main.pdf BibTex
titre
Augmenting Librispeech with French Translations: A Multimodal Corpus for Direct Speech Translation Evaluation
auteur
Ali Kocabiyikoglu, Laurent Besacier, Olivier Kraif
article
LREC (Language Resources and Evaluation Conference), Feb 2018, Miyazaki, Japan
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01709568/file/xample.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

Reports

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

Preprints, Working Papers, ...

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

Journal articles

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
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
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
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
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
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